9.072 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.808 * * * [progress]: [2/2] Setting up program.
0.809 * [progress]: [Phase 2 of 3] Improving.
0.811 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t)
0.837 * * [simplify]: iteration  0 :  438  enodes  (cost  10 )
0.837 * * [simplify]: iteration  1 :  438  enodes  (cost  10 )
0.838 * [simplify]: Simplified to:
   (*.f64 y (*.f64 t (-.f64 x z)))
0.840 * * [progress]: iteration 1 / 4
0.840 * * * [progress]: picking best candidate
0.841 * * * * [pick]: Picked  #<alt (λ (x y z t) (*.f64 y (*.f64 t (-.f64 x z))))>
0.841 * * * [progress]: localizing error
0.847 * * * [progress]: generating rewritten candidates
0.847 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.855 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.869 * * * [progress]: generating series expansions
0.869 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.870 * [approximate]: Taking taylor expansion of (* t (* (- x z) y)) in (y t x z) around 0
0.870 * [taylor]: Taking taylor expansion of (* t (* (- x z) y)) in z
0.870 * [taylor]: Taking taylor expansion of t in z
0.870 * [taylor]: Taking taylor expansion of (* (- x z) y) in z
0.870 * [taylor]: Taking taylor expansion of (- x z) in z
0.870 * [taylor]: Taking taylor expansion of x in z
0.870 * [taylor]: Taking taylor expansion of z in z
0.870 * [taylor]: Taking taylor expansion of y in z
0.870 * [taylor]: Taking taylor expansion of (* t (* (- x z) y)) in x
0.870 * [taylor]: Taking taylor expansion of t in x
0.870 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
0.870 * [taylor]: Taking taylor expansion of (- x z) in x
0.870 * [taylor]: Taking taylor expansion of x in x
0.870 * [taylor]: Taking taylor expansion of z in x
0.870 * [taylor]: Taking taylor expansion of y in x
0.870 * [taylor]: Taking taylor expansion of (* t (* (- x z) y)) in t
0.870 * [taylor]: Taking taylor expansion of t in t
0.870 * [taylor]: Taking taylor expansion of (* (- x z) y) in t
0.870 * [taylor]: Taking taylor expansion of (- x z) in t
0.870 * [taylor]: Taking taylor expansion of x in t
0.870 * [taylor]: Taking taylor expansion of z in t
0.870 * [taylor]: Taking taylor expansion of y in t
0.870 * [taylor]: Taking taylor expansion of (* t (* (- x z) y)) in y
0.870 * [taylor]: Taking taylor expansion of t in y
0.870 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
0.870 * [taylor]: Taking taylor expansion of (- x z) in y
0.871 * [taylor]: Taking taylor expansion of x in y
0.871 * [taylor]: Taking taylor expansion of z in y
0.871 * [taylor]: Taking taylor expansion of y in y
0.871 * [taylor]: Taking taylor expansion of (* t (* (- x z) y)) in y
0.871 * [taylor]: Taking taylor expansion of t in y
0.871 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
0.871 * [taylor]: Taking taylor expansion of (- x z) in y
0.871 * [taylor]: Taking taylor expansion of x in y
0.871 * [taylor]: Taking taylor expansion of z in y
0.871 * [taylor]: Taking taylor expansion of y in y
0.872 * [taylor]: Taking taylor expansion of 0 in t
0.872 * [taylor]: Taking taylor expansion of 0 in x
0.872 * [taylor]: Taking taylor expansion of 0 in z
0.873 * [taylor]: Taking taylor expansion of (- (* t x) (* t z)) in t
0.873 * [taylor]: Taking taylor expansion of (* t x) in t
0.873 * [taylor]: Taking taylor expansion of t in t
0.873 * [taylor]: Taking taylor expansion of x in t
0.873 * [taylor]: Taking taylor expansion of (* t z) in t
0.873 * [taylor]: Taking taylor expansion of t in t
0.873 * [taylor]: Taking taylor expansion of z in t
0.873 * [taylor]: Taking taylor expansion of 0 in x
0.873 * [taylor]: Taking taylor expansion of 0 in z
0.873 * [taylor]: Taking taylor expansion of 0 in x
0.874 * [taylor]: Taking taylor expansion of 0 in z
0.874 * [taylor]: Taking taylor expansion of 0 in z
0.875 * [taylor]: Taking taylor expansion of 0 in t
0.875 * [taylor]: Taking taylor expansion of 0 in x
0.875 * [taylor]: Taking taylor expansion of 0 in z
0.876 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in (y t x z) around 0
0.876 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.876 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
0.877 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.877 * [taylor]: Taking taylor expansion of x in z
0.877 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.877 * [taylor]: Taking taylor expansion of z in z
0.877 * [taylor]: Taking taylor expansion of (* t y) in z
0.877 * [taylor]: Taking taylor expansion of t in z
0.877 * [taylor]: Taking taylor expansion of y in z
0.878 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.878 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
0.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.878 * [taylor]: Taking taylor expansion of x in x
0.878 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.878 * [taylor]: Taking taylor expansion of z in x
0.878 * [taylor]: Taking taylor expansion of (* t y) in x
0.878 * [taylor]: Taking taylor expansion of t in x
0.878 * [taylor]: Taking taylor expansion of y in x
0.879 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in t
0.879 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
0.879 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.879 * [taylor]: Taking taylor expansion of x in t
0.879 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.879 * [taylor]: Taking taylor expansion of z in t
0.879 * [taylor]: Taking taylor expansion of (* t y) in t
0.879 * [taylor]: Taking taylor expansion of t in t
0.879 * [taylor]: Taking taylor expansion of y in t
0.882 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.882 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
0.882 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.882 * [taylor]: Taking taylor expansion of x in y
0.882 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.882 * [taylor]: Taking taylor expansion of z in y
0.882 * [taylor]: Taking taylor expansion of (* t y) in y
0.882 * [taylor]: Taking taylor expansion of t in y
0.882 * [taylor]: Taking taylor expansion of y in y
0.885 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.885 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
0.885 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.885 * [taylor]: Taking taylor expansion of x in y
0.885 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.885 * [taylor]: Taking taylor expansion of z in y
0.885 * [taylor]: Taking taylor expansion of (* t y) in y
0.885 * [taylor]: Taking taylor expansion of t in y
0.885 * [taylor]: Taking taylor expansion of y in y
0.888 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in t
0.888 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
0.888 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.888 * [taylor]: Taking taylor expansion of x in t
0.888 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.888 * [taylor]: Taking taylor expansion of z in t
0.888 * [taylor]: Taking taylor expansion of t in t
0.890 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
0.890 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.890 * [taylor]: Taking taylor expansion of x in x
0.890 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.890 * [taylor]: Taking taylor expansion of z in x
0.890 * [taylor]: Taking taylor expansion of 1 in z
0.894 * [taylor]: Taking taylor expansion of 0 in t
0.897 * [taylor]: Taking taylor expansion of 0 in x
0.898 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.898 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.898 * [taylor]: Taking taylor expansion of z in z
0.903 * [taylor]: Taking taylor expansion of 0 in t
0.903 * [taylor]: Taking taylor expansion of 0 in x
0.907 * [taylor]: Taking taylor expansion of 0 in x
0.907 * [taylor]: Taking taylor expansion of 0 in z
0.909 * [taylor]: Taking taylor expansion of 0 in z
0.916 * [taylor]: Taking taylor expansion of 0 in t
0.916 * [taylor]: Taking taylor expansion of 0 in x
0.916 * [taylor]: Taking taylor expansion of 0 in x
0.920 * [taylor]: Taking taylor expansion of 0 in x
0.920 * [taylor]: Taking taylor expansion of 0 in z
0.920 * [taylor]: Taking taylor expansion of 0 in z
0.920 * [taylor]: Taking taylor expansion of 0 in z
0.922 * [taylor]: Taking taylor expansion of 0 in z
0.929 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in (y t x z) around 0
0.929 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.929 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
0.929 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.929 * [taylor]: Taking taylor expansion of z in z
0.929 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.929 * [taylor]: Taking taylor expansion of x in z
0.929 * [taylor]: Taking taylor expansion of (* t y) in z
0.929 * [taylor]: Taking taylor expansion of t in z
0.929 * [taylor]: Taking taylor expansion of y in z
0.930 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.930 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
0.930 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.930 * [taylor]: Taking taylor expansion of z in x
0.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.930 * [taylor]: Taking taylor expansion of x in x
0.930 * [taylor]: Taking taylor expansion of (* t y) in x
0.930 * [taylor]: Taking taylor expansion of t in x
0.930 * [taylor]: Taking taylor expansion of y in x
0.931 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in t
0.931 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
0.931 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.931 * [taylor]: Taking taylor expansion of z in t
0.931 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.931 * [taylor]: Taking taylor expansion of x in t
0.932 * [taylor]: Taking taylor expansion of (* t y) in t
0.932 * [taylor]: Taking taylor expansion of t in t
0.932 * [taylor]: Taking taylor expansion of y in t
0.934 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.934 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
0.934 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.934 * [taylor]: Taking taylor expansion of z in y
0.934 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.934 * [taylor]: Taking taylor expansion of x in y
0.934 * [taylor]: Taking taylor expansion of (* t y) in y
0.935 * [taylor]: Taking taylor expansion of t in y
0.935 * [taylor]: Taking taylor expansion of y in y
0.937 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.937 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
0.937 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.937 * [taylor]: Taking taylor expansion of z in y
0.937 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.937 * [taylor]: Taking taylor expansion of x in y
0.937 * [taylor]: Taking taylor expansion of (* t y) in y
0.937 * [taylor]: Taking taylor expansion of t in y
0.937 * [taylor]: Taking taylor expansion of y in y
0.940 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in t
0.940 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
0.940 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.940 * [taylor]: Taking taylor expansion of z in t
0.940 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.940 * [taylor]: Taking taylor expansion of x in t
0.940 * [taylor]: Taking taylor expansion of t in t
0.942 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
0.942 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.942 * [taylor]: Taking taylor expansion of z in x
0.942 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.942 * [taylor]: Taking taylor expansion of x in x
0.943 * [taylor]: Taking taylor expansion of -1 in z
0.946 * [taylor]: Taking taylor expansion of 0 in t
0.949 * [taylor]: Taking taylor expansion of 0 in x
0.950 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.950 * [taylor]: Taking taylor expansion of z in z
0.955 * [taylor]: Taking taylor expansion of 0 in t
0.955 * [taylor]: Taking taylor expansion of 0 in x
0.959 * [taylor]: Taking taylor expansion of 0 in x
0.959 * [taylor]: Taking taylor expansion of 0 in z
0.961 * [taylor]: Taking taylor expansion of 0 in z
0.968 * [taylor]: Taking taylor expansion of 0 in t
0.968 * [taylor]: Taking taylor expansion of 0 in x
0.968 * [taylor]: Taking taylor expansion of 0 in x
0.973 * [taylor]: Taking taylor expansion of 0 in x
0.973 * [taylor]: Taking taylor expansion of 0 in z
0.973 * [taylor]: Taking taylor expansion of 0 in z
0.973 * [taylor]: Taking taylor expansion of 0 in z
0.975 * [taylor]: Taking taylor expansion of 0 in z
0.980 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.981 * [approximate]: Taking taylor expansion of (* t (- x z)) in (t x z) around 0
0.981 * [taylor]: Taking taylor expansion of (* t (- x z)) in z
0.981 * [taylor]: Taking taylor expansion of t in z
0.981 * [taylor]: Taking taylor expansion of (- x z) in z
0.981 * [taylor]: Taking taylor expansion of x in z
0.981 * [taylor]: Taking taylor expansion of z in z
0.981 * [taylor]: Taking taylor expansion of (* t (- x z)) in x
0.981 * [taylor]: Taking taylor expansion of t in x
0.981 * [taylor]: Taking taylor expansion of (- x z) in x
0.981 * [taylor]: Taking taylor expansion of x in x
0.981 * [taylor]: Taking taylor expansion of z in x
0.981 * [taylor]: Taking taylor expansion of (* t (- x z)) in t
0.981 * [taylor]: Taking taylor expansion of t in t
0.981 * [taylor]: Taking taylor expansion of (- x z) in t
0.981 * [taylor]: Taking taylor expansion of x in t
0.981 * [taylor]: Taking taylor expansion of z in t
0.981 * [taylor]: Taking taylor expansion of (* t (- x z)) in t
0.982 * [taylor]: Taking taylor expansion of t in t
0.982 * [taylor]: Taking taylor expansion of (- x z) in t
0.982 * [taylor]: Taking taylor expansion of x in t
0.982 * [taylor]: Taking taylor expansion of z in t
0.982 * [taylor]: Taking taylor expansion of 0 in x
0.982 * [taylor]: Taking taylor expansion of 0 in z
0.983 * [taylor]: Taking taylor expansion of (- x z) in x
0.983 * [taylor]: Taking taylor expansion of x in x
0.983 * [taylor]: Taking taylor expansion of z in x
0.984 * [taylor]: Taking taylor expansion of (neg z) in z
0.984 * [taylor]: Taking taylor expansion of z in z
0.984 * [taylor]: Taking taylor expansion of 0 in z
0.985 * [taylor]: Taking taylor expansion of 0 in x
0.985 * [taylor]: Taking taylor expansion of 0 in z
0.985 * [taylor]: Taking taylor expansion of 1 in z
0.985 * [taylor]: Taking taylor expansion of 0 in z
0.987 * [taylor]: Taking taylor expansion of 0 in x
0.987 * [taylor]: Taking taylor expansion of 0 in z
0.987 * [taylor]: Taking taylor expansion of 0 in z
0.987 * [taylor]: Taking taylor expansion of 0 in z
0.987 * [taylor]: Taking taylor expansion of 0 in z
0.989 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in (t x z) around 0
0.990 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in z
0.990 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
0.990 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.990 * [taylor]: Taking taylor expansion of x in z
0.990 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.990 * [taylor]: Taking taylor expansion of z in z
0.990 * [taylor]: Taking taylor expansion of t in z
0.990 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in x
0.990 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
0.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.990 * [taylor]: Taking taylor expansion of x in x
0.991 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.991 * [taylor]: Taking taylor expansion of z in x
0.991 * [taylor]: Taking taylor expansion of t in x
0.991 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in t
0.991 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
0.991 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.991 * [taylor]: Taking taylor expansion of x in t
0.991 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.991 * [taylor]: Taking taylor expansion of z in t
0.992 * [taylor]: Taking taylor expansion of t in t
0.993 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in t
0.993 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
0.993 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.993 * [taylor]: Taking taylor expansion of x in t
0.993 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.993 * [taylor]: Taking taylor expansion of z in t
0.994 * [taylor]: Taking taylor expansion of t in t
0.995 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
0.995 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.995 * [taylor]: Taking taylor expansion of x in x
0.996 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.996 * [taylor]: Taking taylor expansion of z in x
0.996 * [taylor]: Taking taylor expansion of 1 in z
0.999 * [taylor]: Taking taylor expansion of 0 in x
1.001 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
1.001 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.001 * [taylor]: Taking taylor expansion of z in z
1.005 * [taylor]: Taking taylor expansion of 0 in x
1.005 * [taylor]: Taking taylor expansion of 0 in z
1.007 * [taylor]: Taking taylor expansion of 0 in z
1.013 * [taylor]: Taking taylor expansion of 0 in x
1.013 * [taylor]: Taking taylor expansion of 0 in z
1.013 * [taylor]: Taking taylor expansion of 0 in z
1.015 * [taylor]: Taking taylor expansion of 0 in z
1.020 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) t)) in (t x z) around 0
1.020 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) t)) in z
1.020 * [taylor]: Taking taylor expansion of -1 in z
1.020 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in z
1.020 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
1.020 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.020 * [taylor]: Taking taylor expansion of z in z
1.020 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.020 * [taylor]: Taking taylor expansion of x in z
1.021 * [taylor]: Taking taylor expansion of t in z
1.021 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) t)) in x
1.021 * [taylor]: Taking taylor expansion of -1 in x
1.021 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in x
1.021 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
1.021 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.021 * [taylor]: Taking taylor expansion of z in x
1.021 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.021 * [taylor]: Taking taylor expansion of x in x
1.021 * [taylor]: Taking taylor expansion of t in x
1.022 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) t)) in t
1.022 * [taylor]: Taking taylor expansion of -1 in t
1.022 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in t
1.022 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
1.022 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.022 * [taylor]: Taking taylor expansion of z in t
1.022 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.022 * [taylor]: Taking taylor expansion of x in t
1.022 * [taylor]: Taking taylor expansion of t in t
1.024 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) t)) in t
1.024 * [taylor]: Taking taylor expansion of -1 in t
1.024 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in t
1.024 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
1.024 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.024 * [taylor]: Taking taylor expansion of z in t
1.024 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.024 * [taylor]: Taking taylor expansion of x in t
1.024 * [taylor]: Taking taylor expansion of t in t
1.027 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 x))) in x
1.027 * [taylor]: Taking taylor expansion of -1 in x
1.027 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
1.027 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.027 * [taylor]: Taking taylor expansion of z in x
1.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.027 * [taylor]: Taking taylor expansion of x in x
1.027 * [taylor]: Taking taylor expansion of 1 in z
1.031 * [taylor]: Taking taylor expansion of 0 in x
1.033 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
1.033 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.033 * [taylor]: Taking taylor expansion of z in z
1.038 * [taylor]: Taking taylor expansion of 0 in x
1.039 * [taylor]: Taking taylor expansion of 0 in z
1.041 * [taylor]: Taking taylor expansion of 0 in z
1.048 * [taylor]: Taking taylor expansion of 0 in x
1.048 * [taylor]: Taking taylor expansion of 0 in z
1.048 * [taylor]: Taking taylor expansion of 0 in z
1.051 * [taylor]: Taking taylor expansion of 0 in z
1.055 * * * [progress]: simplifying candidates
1.056 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 y (*.f64 t (-.f64 x z)))
  (*.f64 y (*.f64 t (-.f64 x z)))
  (+.f64 (log.f64 y) (+.f64 (log.f64 t) (log.f64 (-.f64 x z))))
  (+.f64 (log.f64 y) (log.f64 (*.f64 t (-.f64 x z))))
  (exp.f64 (*.f64 y (*.f64 t (-.f64 x z))))
  (log.f64 (*.f64 y (*.f64 t (-.f64 x z))))
  (*.f64 (*.f64 (*.f64 y (*.f64 t (-.f64 x z))) (*.f64 y (*.f64 t (-.f64 x z)))) (*.f64 y (*.f64 t (-.f64 x z))))
  (*.f64 (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z)))))
  (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 t (-.f64 x z)) (*.f64 t (-.f64 x z))) (*.f64 t (-.f64 x z))))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (-.f64 x z) (-.f64 x z)) (-.f64 x z))))
  (sqrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))
  (sqrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))
  (*.f64 (*.f64 x t) y)
  (*.f64 (*.f64 (neg.f64 z) t) y)
  (*.f64 (*.f64 t x) y)
  (*.f64 (*.f64 t (neg.f64 z)) y)
  (*.f64 y (*.f64 x t))
  (*.f64 y (*.f64 (neg.f64 z) t))
  (*.f64 y (*.f64 t x))
  (*.f64 y (*.f64 t (neg.f64 z)))
  (*.f64 y (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))
  (*.f64 y (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))
  (*.f64 (cbrt.f64 y) (*.f64 t (-.f64 x z)))
  (*.f64 (sqrt.f64 y) (*.f64 t (-.f64 x z)))
  (*.f64 y (*.f64 t (-.f64 x z)))
  (*.f64 y t)
  (*.f64 t (-.f64 x z))
  (+.f64 (log.f64 t) (log.f64 (-.f64 x z)))
  (exp.f64 (*.f64 t (-.f64 x z)))
  (log.f64 (*.f64 t (-.f64 x z)))
  (*.f64 (*.f64 (*.f64 t (-.f64 x z)) (*.f64 t (-.f64 x z))) (*.f64 t (-.f64 x z)))
  (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z))))
  (cbrt.f64 (*.f64 t (-.f64 x z)))
  (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (-.f64 x z) (-.f64 x z)) (-.f64 x z)))
  (sqrt.f64 (*.f64 t (-.f64 x z)))
  (sqrt.f64 (*.f64 t (-.f64 x z)))
  (*.f64 (sqrt.f64 t) (sqrt.f64 (-.f64 x z)))
  (*.f64 (sqrt.f64 t) (sqrt.f64 (-.f64 x z)))
  (*.f64 x t)
  (*.f64 (neg.f64 z) t)
  (*.f64 t x)
  (*.f64 t (neg.f64 z))
  (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))
  (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))
  (*.f64 (cbrt.f64 t) (-.f64 x z))
  (*.f64 (sqrt.f64 t) (-.f64 x z))
  (*.f64 t (-.f64 x z))
  (*.f64 t (*.f64 (cbrt.f64 (-.f64 x z)) (cbrt.f64 (-.f64 x z))))
  (*.f64 t (sqrt.f64 (-.f64 x z)))
  (*.f64 t 1)
  (*.f64 t (+.f64 (sqrt.f64 x) (sqrt.f64 z)))
  (*.f64 t 1)
  0
  (-.f64 (*.f64 t (*.f64 x y)) (*.f64 t (*.f64 z y)))
  (-.f64 (*.f64 t (*.f64 x y)) (*.f64 t (*.f64 z y)))
  (-.f64 (*.f64 t x) (*.f64 t z))
  (-.f64 (*.f64 t x) (*.f64 t z))
  (-.f64 (*.f64 t x) (*.f64 t z))
1.100 * * [simplify]: iteration  0 :  5262  enodes  (cost  578 )
1.103 * [simplify]: Simplified to:
   (*.f64 y (*.f64 t (-.f64 x z)))
  (*.f64 y (*.f64 t (-.f64 x z)))
  (log.f64 (*.f64 y (*.f64 t (-.f64 x z))))
  (log.f64 (*.f64 y (*.f64 t (-.f64 x z))))
  (exp.f64 (*.f64 y (*.f64 t (-.f64 x z))))
  (log.f64 (*.f64 y (*.f64 t (-.f64 x z))))
  (pow.f64 (*.f64 y (*.f64 t (-.f64 x z))) 3)
  (*.f64 (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z)))))
  (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))
  (pow.f64 (*.f64 y (*.f64 t (-.f64 x z))) 3)
  (pow.f64 (*.f64 y (*.f64 t (-.f64 x z))) 3)
  (sqrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))
  (sqrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))
  (*.f64 y (*.f64 t x))
  (*.f64 y (*.f64 t (neg.f64 z)))
  (*.f64 y (*.f64 t x))
  (*.f64 y (*.f64 t (neg.f64 z)))
  (*.f64 y (*.f64 t x))
  (*.f64 y (*.f64 t (neg.f64 z)))
  (*.f64 y (*.f64 t x))
  (*.f64 y (*.f64 t (neg.f64 z)))
  (*.f64 y (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))
  (*.f64 y (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))
  (*.f64 (*.f64 t (-.f64 x z)) (cbrt.f64 y))
  (*.f64 (*.f64 t (-.f64 x z)) (sqrt.f64 y))
  (*.f64 y (*.f64 t (-.f64 x z)))
  (*.f64 y t)
  (*.f64 t (-.f64 x z))
  (log.f64 (*.f64 t (-.f64 x z)))
  (exp.f64 (*.f64 t (-.f64 x z)))
  (log.f64 (*.f64 t (-.f64 x z)))
  (pow.f64 (*.f64 t (-.f64 x z)) 3)
  (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z))))
  (cbrt.f64 (*.f64 t (-.f64 x z)))
  (pow.f64 (*.f64 t (-.f64 x z)) 3)
  (sqrt.f64 (*.f64 t (-.f64 x z)))
  (sqrt.f64 (*.f64 t (-.f64 x z)))
  (*.f64 (sqrt.f64 t) (sqrt.f64 (-.f64 x z)))
  (*.f64 (sqrt.f64 t) (sqrt.f64 (-.f64 x z)))
  (*.f64 t x)
  (*.f64 t (neg.f64 z))
  (*.f64 t x)
  (*.f64 t (neg.f64 z))
  (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))
  (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))
  (*.f64 (-.f64 x z) (cbrt.f64 t))
  (*.f64 (-.f64 x z) (sqrt.f64 t))
  (*.f64 t (-.f64 x z))
  (*.f64 t (*.f64 (cbrt.f64 (-.f64 x z)) (cbrt.f64 (-.f64 x z))))
  (*.f64 t (sqrt.f64 (-.f64 x z)))
  t
  (*.f64 t (+.f64 (sqrt.f64 x) (sqrt.f64 z)))
  t
  0
  (*.f64 y (*.f64 t (-.f64 x z)))
  (*.f64 y (*.f64 t (-.f64 x z)))
  (*.f64 t (-.f64 x z))
  (*.f64 t (-.f64 x z))
  (*.f64 t (-.f64 x z))
1.104 * * * [progress]: adding candidates to table
1.135 * * [progress]: iteration 2 / 4
1.135 * * * [progress]: picking best candidate
1.141 * * * * [pick]: Picked  #<alt (λ (x y z t) (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z)))))>
1.141 * * * [progress]: localizing error
1.150 * * * [progress]: generating rewritten candidates
1.150 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
1.155 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
1.161 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1.171 * * * [progress]: generating series expansions
1.171 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
1.172 * [approximate]: Taking taylor expansion of (* t (* x y)) in (y t x) around 0
1.172 * [taylor]: Taking taylor expansion of (* t (* x y)) in x
1.172 * [taylor]: Taking taylor expansion of t in x
1.172 * [taylor]: Taking taylor expansion of (* x y) in x
1.172 * [taylor]: Taking taylor expansion of x in x
1.172 * [taylor]: Taking taylor expansion of y in x
1.172 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
1.172 * [taylor]: Taking taylor expansion of t in t
1.172 * [taylor]: Taking taylor expansion of (* x y) in t
1.172 * [taylor]: Taking taylor expansion of x in t
1.172 * [taylor]: Taking taylor expansion of y in t
1.172 * [taylor]: Taking taylor expansion of (* t (* x y)) in y
1.172 * [taylor]: Taking taylor expansion of t in y
1.172 * [taylor]: Taking taylor expansion of (* x y) in y
1.172 * [taylor]: Taking taylor expansion of x in y
1.172 * [taylor]: Taking taylor expansion of y in y
1.172 * [taylor]: Taking taylor expansion of (* t (* x y)) in y
1.172 * [taylor]: Taking taylor expansion of t in y
1.172 * [taylor]: Taking taylor expansion of (* x y) in y
1.172 * [taylor]: Taking taylor expansion of x in y
1.172 * [taylor]: Taking taylor expansion of y in y
1.172 * [taylor]: Taking taylor expansion of 0 in t
1.172 * [taylor]: Taking taylor expansion of 0 in x
1.173 * [taylor]: Taking taylor expansion of (* t x) in t
1.173 * [taylor]: Taking taylor expansion of t in t
1.173 * [taylor]: Taking taylor expansion of x in t
1.173 * [taylor]: Taking taylor expansion of 0 in x
1.173 * [taylor]: Taking taylor expansion of 0 in x
1.174 * [taylor]: Taking taylor expansion of 0 in t
1.174 * [taylor]: Taking taylor expansion of 0 in x
1.174 * [taylor]: Taking taylor expansion of x in x
1.177 * [approximate]: Taking taylor expansion of (/ 1 (* t (* x y))) in (y t x) around 0
1.177 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in x
1.177 * [taylor]: Taking taylor expansion of (* t (* x y)) in x
1.178 * [taylor]: Taking taylor expansion of t in x
1.178 * [taylor]: Taking taylor expansion of (* x y) in x
1.178 * [taylor]: Taking taylor expansion of x in x
1.178 * [taylor]: Taking taylor expansion of y in x
1.179 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in t
1.179 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
1.179 * [taylor]: Taking taylor expansion of t in t
1.179 * [taylor]: Taking taylor expansion of (* x y) in t
1.179 * [taylor]: Taking taylor expansion of x in t
1.179 * [taylor]: Taking taylor expansion of y in t
1.181 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in y
1.181 * [taylor]: Taking taylor expansion of (* t (* x y)) in y
1.181 * [taylor]: Taking taylor expansion of t in y
1.181 * [taylor]: Taking taylor expansion of (* x y) in y
1.181 * [taylor]: Taking taylor expansion of x in y
1.181 * [taylor]: Taking taylor expansion of y in y
1.182 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in y
1.182 * [taylor]: Taking taylor expansion of (* t (* x y)) in y
1.182 * [taylor]: Taking taylor expansion of t in y
1.182 * [taylor]: Taking taylor expansion of (* x y) in y
1.182 * [taylor]: Taking taylor expansion of x in y
1.182 * [taylor]: Taking taylor expansion of y in y
1.183 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in t
1.183 * [taylor]: Taking taylor expansion of (* t x) in t
1.183 * [taylor]: Taking taylor expansion of t in t
1.183 * [taylor]: Taking taylor expansion of x in t
1.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.184 * [taylor]: Taking taylor expansion of x in x
1.186 * [taylor]: Taking taylor expansion of 0 in t
1.187 * [taylor]: Taking taylor expansion of 0 in x
1.189 * [taylor]: Taking taylor expansion of 0 in t
1.189 * [taylor]: Taking taylor expansion of 0 in x
1.191 * [taylor]: Taking taylor expansion of 0 in x
1.194 * [taylor]: Taking taylor expansion of 0 in t
1.195 * [taylor]: Taking taylor expansion of 0 in x
1.195 * [taylor]: Taking taylor expansion of 0 in x
1.196 * [taylor]: Taking taylor expansion of 0 in x
1.199 * [approximate]: Taking taylor expansion of (/ -1 (* t (* x y))) in (y t x) around 0
1.199 * [taylor]: Taking taylor expansion of (/ -1 (* t (* x y))) in x
1.199 * [taylor]: Taking taylor expansion of -1 in x
1.199 * [taylor]: Taking taylor expansion of (* t (* x y)) in x
1.199 * [taylor]: Taking taylor expansion of t in x
1.199 * [taylor]: Taking taylor expansion of (* x y) in x
1.199 * [taylor]: Taking taylor expansion of x in x
1.199 * [taylor]: Taking taylor expansion of y in x
1.201 * [taylor]: Taking taylor expansion of (/ -1 (* t (* x y))) in t
1.201 * [taylor]: Taking taylor expansion of -1 in t
1.201 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
1.201 * [taylor]: Taking taylor expansion of t in t
1.201 * [taylor]: Taking taylor expansion of (* x y) in t
1.201 * [taylor]: Taking taylor expansion of x in t
1.201 * [taylor]: Taking taylor expansion of y in t
1.202 * [taylor]: Taking taylor expansion of (/ -1 (* t (* x y))) in y
1.202 * [taylor]: Taking taylor expansion of -1 in y
1.202 * [taylor]: Taking taylor expansion of (* t (* x y)) in y
1.202 * [taylor]: Taking taylor expansion of t in y
1.202 * [taylor]: Taking taylor expansion of (* x y) in y
1.202 * [taylor]: Taking taylor expansion of x in y
1.202 * [taylor]: Taking taylor expansion of y in y
1.203 * [taylor]: Taking taylor expansion of (/ -1 (* t (* x y))) in y
1.203 * [taylor]: Taking taylor expansion of -1 in y
1.203 * [taylor]: Taking taylor expansion of (* t (* x y)) in y
1.203 * [taylor]: Taking taylor expansion of t in y
1.203 * [taylor]: Taking taylor expansion of (* x y) in y
1.204 * [taylor]: Taking taylor expansion of x in y
1.204 * [taylor]: Taking taylor expansion of y in y
1.205 * [taylor]: Taking taylor expansion of (/ -1 (* t x)) in t
1.205 * [taylor]: Taking taylor expansion of -1 in t
1.205 * [taylor]: Taking taylor expansion of (* t x) in t
1.205 * [taylor]: Taking taylor expansion of t in t
1.205 * [taylor]: Taking taylor expansion of x in t
1.205 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.205 * [taylor]: Taking taylor expansion of -1 in x
1.205 * [taylor]: Taking taylor expansion of x in x
1.208 * [taylor]: Taking taylor expansion of 0 in t
1.209 * [taylor]: Taking taylor expansion of 0 in x
1.213 * [taylor]: Taking taylor expansion of 0 in t
1.213 * [taylor]: Taking taylor expansion of 0 in x
1.215 * [taylor]: Taking taylor expansion of 0 in x
1.220 * [taylor]: Taking taylor expansion of 0 in t
1.220 * [taylor]: Taking taylor expansion of 0 in x
1.220 * [taylor]: Taking taylor expansion of 0 in x
1.222 * [taylor]: Taking taylor expansion of 0 in x
1.224 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
1.225 * [approximate]: Taking taylor expansion of (* -1 (* t (* z y))) in (y t z) around 0
1.225 * [taylor]: Taking taylor expansion of (* -1 (* t (* z y))) in z
1.225 * [taylor]: Taking taylor expansion of -1 in z
1.225 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.225 * [taylor]: Taking taylor expansion of t in z
1.225 * [taylor]: Taking taylor expansion of (* z y) in z
1.225 * [taylor]: Taking taylor expansion of z in z
1.225 * [taylor]: Taking taylor expansion of y in z
1.225 * [taylor]: Taking taylor expansion of (* -1 (* t (* z y))) in t
1.225 * [taylor]: Taking taylor expansion of -1 in t
1.225 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.225 * [taylor]: Taking taylor expansion of t in t
1.225 * [taylor]: Taking taylor expansion of (* z y) in t
1.225 * [taylor]: Taking taylor expansion of z in t
1.225 * [taylor]: Taking taylor expansion of y in t
1.225 * [taylor]: Taking taylor expansion of (* -1 (* t (* z y))) in y
1.225 * [taylor]: Taking taylor expansion of -1 in y
1.225 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.225 * [taylor]: Taking taylor expansion of t in y
1.225 * [taylor]: Taking taylor expansion of (* z y) in y
1.225 * [taylor]: Taking taylor expansion of z in y
1.225 * [taylor]: Taking taylor expansion of y in y
1.225 * [taylor]: Taking taylor expansion of (* -1 (* t (* z y))) in y
1.225 * [taylor]: Taking taylor expansion of -1 in y
1.225 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.225 * [taylor]: Taking taylor expansion of t in y
1.225 * [taylor]: Taking taylor expansion of (* z y) in y
1.225 * [taylor]: Taking taylor expansion of z in y
1.225 * [taylor]: Taking taylor expansion of y in y
1.226 * [taylor]: Taking taylor expansion of 0 in t
1.226 * [taylor]: Taking taylor expansion of 0 in z
1.227 * [taylor]: Taking taylor expansion of (neg (* t z)) in t
1.227 * [taylor]: Taking taylor expansion of (* t z) in t
1.227 * [taylor]: Taking taylor expansion of t in t
1.227 * [taylor]: Taking taylor expansion of z in t
1.227 * [taylor]: Taking taylor expansion of 0 in z
1.227 * [taylor]: Taking taylor expansion of 0 in z
1.228 * [taylor]: Taking taylor expansion of 0 in t
1.228 * [taylor]: Taking taylor expansion of 0 in z
1.229 * [taylor]: Taking taylor expansion of (neg z) in z
1.229 * [taylor]: Taking taylor expansion of z in z
1.230 * [approximate]: Taking taylor expansion of (/ -1 (* t (* z y))) in (y t z) around 0
1.230 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in z
1.230 * [taylor]: Taking taylor expansion of -1 in z
1.230 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.230 * [taylor]: Taking taylor expansion of t in z
1.230 * [taylor]: Taking taylor expansion of (* z y) in z
1.230 * [taylor]: Taking taylor expansion of z in z
1.230 * [taylor]: Taking taylor expansion of y in z
1.231 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
1.231 * [taylor]: Taking taylor expansion of -1 in t
1.231 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.231 * [taylor]: Taking taylor expansion of t in t
1.231 * [taylor]: Taking taylor expansion of (* z y) in t
1.231 * [taylor]: Taking taylor expansion of z in t
1.232 * [taylor]: Taking taylor expansion of y in t
1.233 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
1.233 * [taylor]: Taking taylor expansion of -1 in y
1.233 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.233 * [taylor]: Taking taylor expansion of t in y
1.233 * [taylor]: Taking taylor expansion of (* z y) in y
1.233 * [taylor]: Taking taylor expansion of z in y
1.233 * [taylor]: Taking taylor expansion of y in y
1.234 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
1.234 * [taylor]: Taking taylor expansion of -1 in y
1.234 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.234 * [taylor]: Taking taylor expansion of t in y
1.234 * [taylor]: Taking taylor expansion of (* z y) in y
1.234 * [taylor]: Taking taylor expansion of z in y
1.234 * [taylor]: Taking taylor expansion of y in y
1.235 * [taylor]: Taking taylor expansion of (/ -1 (* t z)) in t
1.235 * [taylor]: Taking taylor expansion of -1 in t
1.235 * [taylor]: Taking taylor expansion of (* t z) in t
1.236 * [taylor]: Taking taylor expansion of t in t
1.236 * [taylor]: Taking taylor expansion of z in t
1.236 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.236 * [taylor]: Taking taylor expansion of -1 in z
1.236 * [taylor]: Taking taylor expansion of z in z
1.238 * [taylor]: Taking taylor expansion of 0 in t
1.239 * [taylor]: Taking taylor expansion of 0 in z
1.242 * [taylor]: Taking taylor expansion of 0 in t
1.242 * [taylor]: Taking taylor expansion of 0 in z
1.243 * [taylor]: Taking taylor expansion of 0 in z
1.247 * [taylor]: Taking taylor expansion of 0 in t
1.247 * [taylor]: Taking taylor expansion of 0 in z
1.247 * [taylor]: Taking taylor expansion of 0 in z
1.249 * [taylor]: Taking taylor expansion of 0 in z
1.252 * [approximate]: Taking taylor expansion of (/ 1 (* t (* z y))) in (y t z) around 0
1.252 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
1.252 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.252 * [taylor]: Taking taylor expansion of t in z
1.252 * [taylor]: Taking taylor expansion of (* z y) in z
1.252 * [taylor]: Taking taylor expansion of z in z
1.252 * [taylor]: Taking taylor expansion of y in z
1.253 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
1.253 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.253 * [taylor]: Taking taylor expansion of t in t
1.253 * [taylor]: Taking taylor expansion of (* z y) in t
1.253 * [taylor]: Taking taylor expansion of z in t
1.253 * [taylor]: Taking taylor expansion of y in t
1.255 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
1.255 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.255 * [taylor]: Taking taylor expansion of t in y
1.255 * [taylor]: Taking taylor expansion of (* z y) in y
1.255 * [taylor]: Taking taylor expansion of z in y
1.255 * [taylor]: Taking taylor expansion of y in y
1.256 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
1.256 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.256 * [taylor]: Taking taylor expansion of t in y
1.256 * [taylor]: Taking taylor expansion of (* z y) in y
1.256 * [taylor]: Taking taylor expansion of z in y
1.256 * [taylor]: Taking taylor expansion of y in y
1.257 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.257 * [taylor]: Taking taylor expansion of (* t z) in t
1.257 * [taylor]: Taking taylor expansion of t in t
1.257 * [taylor]: Taking taylor expansion of z in t
1.258 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.258 * [taylor]: Taking taylor expansion of z in z
1.260 * [taylor]: Taking taylor expansion of 0 in t
1.261 * [taylor]: Taking taylor expansion of 0 in z
1.265 * [taylor]: Taking taylor expansion of 0 in t
1.265 * [taylor]: Taking taylor expansion of 0 in z
1.266 * [taylor]: Taking taylor expansion of 0 in z
1.271 * [taylor]: Taking taylor expansion of 0 in t
1.271 * [taylor]: Taking taylor expansion of 0 in z
1.271 * [taylor]: Taking taylor expansion of 0 in z
1.273 * [taylor]: Taking taylor expansion of 0 in z
1.275 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1.276 * [approximate]: Taking taylor expansion of (- (* t (* x y)) (* t (* z y))) in (y t x z) around 0
1.276 * [taylor]: Taking taylor expansion of (- (* t (* x y)) (* t (* z y))) in z
1.276 * [taylor]: Taking taylor expansion of (* t (* x y)) in z
1.276 * [taylor]: Taking taylor expansion of t 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 y)) in z
1.276 * [taylor]: Taking taylor expansion of t in z
1.276 * [taylor]: Taking taylor expansion of (* z y) in z
1.276 * [taylor]: Taking taylor expansion of z in z
1.276 * [taylor]: Taking taylor expansion of y in z
1.276 * [taylor]: Taking taylor expansion of (- (* t (* x y)) (* t (* z y))) in x
1.276 * [taylor]: Taking taylor expansion of (* t (* x y)) in x
1.276 * [taylor]: Taking taylor expansion of t in x
1.276 * [taylor]: Taking taylor expansion of (* x y) in x
1.276 * [taylor]: Taking taylor expansion of x in x
1.276 * [taylor]: Taking taylor expansion of y in x
1.277 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
1.277 * [taylor]: Taking taylor expansion of t in x
1.277 * [taylor]: Taking taylor expansion of (* z y) in x
1.277 * [taylor]: Taking taylor expansion of z in x
1.277 * [taylor]: Taking taylor expansion of y in x
1.277 * [taylor]: Taking taylor expansion of (- (* t (* x y)) (* t (* z y))) in t
1.277 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
1.277 * [taylor]: Taking taylor expansion of t in t
1.277 * [taylor]: Taking taylor expansion of (* x y) in t
1.277 * [taylor]: Taking taylor expansion of x in t
1.277 * [taylor]: Taking taylor expansion of y in t
1.277 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.277 * [taylor]: Taking taylor expansion of t in t
1.277 * [taylor]: Taking taylor expansion of (* z y) in t
1.277 * [taylor]: Taking taylor expansion of z in t
1.277 * [taylor]: Taking taylor expansion of y in t
1.277 * [taylor]: Taking taylor expansion of (- (* t (* x y)) (* t (* z y))) in y
1.277 * [taylor]: Taking taylor expansion of (* t (* x y)) in y
1.277 * [taylor]: Taking taylor expansion of t 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 y)) in y
1.277 * [taylor]: Taking taylor expansion of t in y
1.277 * [taylor]: Taking taylor expansion of (* z y) in y
1.277 * [taylor]: Taking taylor expansion of z in y
1.277 * [taylor]: Taking taylor expansion of y in y
1.277 * [taylor]: Taking taylor expansion of (- (* t (* x y)) (* t (* z y))) in y
1.277 * [taylor]: Taking taylor expansion of (* t (* x y)) in y
1.277 * [taylor]: Taking taylor expansion of t 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 y)) in y
1.277 * [taylor]: Taking taylor expansion of t in y
1.277 * [taylor]: Taking taylor expansion of (* z y) in y
1.277 * [taylor]: Taking taylor expansion of z in y
1.277 * [taylor]: Taking taylor expansion of y in y
1.278 * [taylor]: Taking taylor expansion of 0 in t
1.278 * [taylor]: Taking taylor expansion of 0 in x
1.278 * [taylor]: Taking taylor expansion of 0 in z
1.280 * [taylor]: Taking taylor expansion of (- (* t x) (* t z)) in t
1.280 * [taylor]: Taking taylor expansion of (* t x) in t
1.280 * [taylor]: Taking taylor expansion of t in t
1.280 * [taylor]: Taking taylor expansion of x in t
1.280 * [taylor]: Taking taylor expansion of (* t z) in t
1.280 * [taylor]: Taking taylor expansion of t in t
1.280 * [taylor]: Taking taylor expansion of z in t
1.280 * [taylor]: Taking taylor expansion of 0 in x
1.280 * [taylor]: Taking taylor expansion of 0 in z
1.280 * [taylor]: Taking taylor expansion of 0 in x
1.280 * [taylor]: Taking taylor expansion of 0 in z
1.280 * [taylor]: Taking taylor expansion of 0 in z
1.282 * [taylor]: Taking taylor expansion of 0 in t
1.282 * [taylor]: Taking taylor expansion of 0 in x
1.282 * [taylor]: Taking taylor expansion of 0 in z
1.284 * [approximate]: Taking taylor expansion of (- (/ 1 (* t (* x y))) (/ 1 (* t (* z y)))) in (y t x z) around 0
1.284 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* x y))) (/ 1 (* t (* z y)))) in z
1.284 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in z
1.284 * [taylor]: Taking taylor expansion of (* t (* x y)) in z
1.284 * [taylor]: Taking taylor expansion of t in z
1.284 * [taylor]: Taking taylor expansion of (* x y) in z
1.284 * [taylor]: Taking taylor expansion of x in z
1.284 * [taylor]: Taking taylor expansion of y in z
1.285 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
1.285 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.285 * [taylor]: Taking taylor expansion of t in z
1.285 * [taylor]: Taking taylor expansion of (* z y) in z
1.285 * [taylor]: Taking taylor expansion of z in z
1.285 * [taylor]: Taking taylor expansion of y in z
1.286 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* x y))) (/ 1 (* t (* z y)))) in x
1.286 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in x
1.286 * [taylor]: Taking taylor expansion of (* t (* x y)) in x
1.286 * [taylor]: Taking taylor expansion of t in x
1.286 * [taylor]: Taking taylor expansion of (* x y) in x
1.287 * [taylor]: Taking taylor expansion of x in x
1.287 * [taylor]: Taking taylor expansion of y in x
1.288 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
1.288 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
1.288 * [taylor]: Taking taylor expansion of t in x
1.288 * [taylor]: Taking taylor expansion of (* z y) in x
1.288 * [taylor]: Taking taylor expansion of z in x
1.288 * [taylor]: Taking taylor expansion of y in x
1.289 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* x y))) (/ 1 (* t (* z y)))) in t
1.289 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in t
1.289 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
1.289 * [taylor]: Taking taylor expansion of t 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.290 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
1.290 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.290 * [taylor]: Taking taylor expansion of t in t
1.290 * [taylor]: Taking taylor expansion of (* z y) in t
1.290 * [taylor]: Taking taylor expansion of z in t
1.290 * [taylor]: Taking taylor expansion of y in t
1.292 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* x y))) (/ 1 (* t (* z y)))) in y
1.292 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in y
1.292 * [taylor]: Taking taylor expansion of (* t (* x y)) in y
1.292 * [taylor]: Taking taylor expansion of t in y
1.292 * [taylor]: Taking taylor expansion of (* x y) in y
1.292 * [taylor]: Taking taylor expansion of x in y
1.292 * [taylor]: Taking taylor expansion of y in y
1.293 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
1.293 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.293 * [taylor]: Taking taylor expansion of t in y
1.293 * [taylor]: Taking taylor expansion of (* z y) in y
1.293 * [taylor]: Taking taylor expansion of z in y
1.293 * [taylor]: Taking taylor expansion of y in y
1.294 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* x y))) (/ 1 (* t (* z y)))) in y
1.294 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in y
1.294 * [taylor]: Taking taylor expansion of (* t (* x y)) in y
1.294 * [taylor]: Taking taylor expansion of t in y
1.294 * [taylor]: Taking taylor expansion of (* x y) in y
1.294 * [taylor]: Taking taylor expansion of x in y
1.294 * [taylor]: Taking taylor expansion of y in y
1.295 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
1.295 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.295 * [taylor]: Taking taylor expansion of t in y
1.295 * [taylor]: Taking taylor expansion of (* z y) in y
1.295 * [taylor]: Taking taylor expansion of z in y
1.295 * [taylor]: Taking taylor expansion of y in y
1.298 * [taylor]: Taking taylor expansion of (- (/ 1 (* t x)) (/ 1 (* t z))) in t
1.298 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in t
1.298 * [taylor]: Taking taylor expansion of (* t x) in t
1.298 * [taylor]: Taking taylor expansion of t in t
1.298 * [taylor]: Taking taylor expansion of x 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.300 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
1.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.300 * [taylor]: Taking taylor expansion of x in x
1.300 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.300 * [taylor]: Taking taylor expansion of z in x
1.300 * [taylor]: Taking taylor expansion of 1 in z
1.305 * [taylor]: Taking taylor expansion of 0 in t
1.307 * [taylor]: Taking taylor expansion of 0 in x
1.309 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
1.309 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.309 * [taylor]: Taking taylor expansion of z in z
1.315 * [taylor]: Taking taylor expansion of 0 in t
1.315 * [taylor]: Taking taylor expansion of 0 in x
1.319 * [taylor]: Taking taylor expansion of 0 in x
1.319 * [taylor]: Taking taylor expansion of 0 in z
1.321 * [taylor]: Taking taylor expansion of 0 in z
1.330 * [taylor]: Taking taylor expansion of 0 in t
1.330 * [taylor]: Taking taylor expansion of 0 in x
1.330 * [taylor]: Taking taylor expansion of 0 in x
1.334 * [taylor]: Taking taylor expansion of 0 in x
1.334 * [taylor]: Taking taylor expansion of 0 in z
1.334 * [taylor]: Taking taylor expansion of 0 in z
1.334 * [taylor]: Taking taylor expansion of 0 in z
1.337 * [taylor]: Taking taylor expansion of 0 in z
1.344 * [approximate]: Taking taylor expansion of (- (/ 1 (* t (* z y))) (/ 1 (* t (* x y)))) in (y t x z) around 0
1.344 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* z y))) (/ 1 (* t (* x y)))) in z
1.344 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
1.344 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.344 * [taylor]: Taking taylor expansion of t in z
1.344 * [taylor]: Taking taylor expansion of (* z y) in z
1.344 * [taylor]: Taking taylor expansion of z in z
1.344 * [taylor]: Taking taylor expansion of y in z
1.345 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in z
1.345 * [taylor]: Taking taylor expansion of (* t (* x y)) in z
1.345 * [taylor]: Taking taylor expansion of t in z
1.345 * [taylor]: Taking taylor expansion of (* x y) in z
1.345 * [taylor]: Taking taylor expansion of x in z
1.345 * [taylor]: Taking taylor expansion of y in z
1.346 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* z y))) (/ 1 (* t (* x y)))) in x
1.346 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
1.346 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
1.346 * [taylor]: Taking taylor expansion of t in x
1.346 * [taylor]: Taking taylor expansion of (* z y) in x
1.346 * [taylor]: Taking taylor expansion of z in x
1.346 * [taylor]: Taking taylor expansion of y in x
1.347 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in x
1.347 * [taylor]: Taking taylor expansion of (* t (* x y)) in x
1.347 * [taylor]: Taking taylor expansion of t in x
1.347 * [taylor]: Taking taylor expansion of (* x y) in x
1.347 * [taylor]: Taking taylor expansion of x in x
1.347 * [taylor]: Taking taylor expansion of y in x
1.348 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* z y))) (/ 1 (* t (* x y)))) in t
1.348 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
1.348 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.348 * [taylor]: Taking taylor expansion of t in t
1.348 * [taylor]: Taking taylor expansion of (* z y) in t
1.348 * [taylor]: Taking taylor expansion of z in t
1.348 * [taylor]: Taking taylor expansion of y in t
1.349 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in t
1.349 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
1.349 * [taylor]: Taking taylor expansion of t in t
1.349 * [taylor]: Taking taylor expansion of (* x y) in t
1.349 * [taylor]: Taking taylor expansion of x in t
1.349 * [taylor]: Taking taylor expansion of y in t
1.351 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* z y))) (/ 1 (* t (* x y)))) in y
1.351 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
1.351 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.351 * [taylor]: Taking taylor expansion of t in y
1.351 * [taylor]: Taking taylor expansion of (* z y) in y
1.351 * [taylor]: Taking taylor expansion of z in y
1.351 * [taylor]: Taking taylor expansion of y in y
1.352 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in y
1.352 * [taylor]: Taking taylor expansion of (* t (* x y)) in y
1.352 * [taylor]: Taking taylor expansion of t in y
1.352 * [taylor]: Taking taylor expansion of (* x y) in y
1.352 * [taylor]: Taking taylor expansion of x in y
1.352 * [taylor]: Taking taylor expansion of y in y
1.353 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* z y))) (/ 1 (* t (* x y)))) in y
1.353 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
1.354 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.354 * [taylor]: Taking taylor expansion of t in y
1.354 * [taylor]: Taking taylor expansion of (* z y) in y
1.354 * [taylor]: Taking taylor expansion of z in y
1.354 * [taylor]: Taking taylor expansion of y in y
1.355 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in y
1.355 * [taylor]: Taking taylor expansion of (* t (* x y)) in y
1.355 * [taylor]: Taking taylor expansion of t in y
1.355 * [taylor]: Taking taylor expansion of (* x y) in y
1.355 * [taylor]: Taking taylor expansion of x in y
1.355 * [taylor]: Taking taylor expansion of y in y
1.357 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z)) (/ 1 (* t x))) in t
1.357 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.357 * [taylor]: Taking taylor expansion of (* t z) in t
1.357 * [taylor]: Taking taylor expansion of t in t
1.357 * [taylor]: Taking taylor expansion of z in t
1.358 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in t
1.358 * [taylor]: Taking taylor expansion of (* t x) in t
1.358 * [taylor]: Taking taylor expansion of t in t
1.358 * [taylor]: Taking taylor expansion of x in t
1.360 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
1.360 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.360 * [taylor]: Taking taylor expansion of z in x
1.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.360 * [taylor]: Taking taylor expansion of x in x
1.360 * [taylor]: Taking taylor expansion of -1 in z
1.365 * [taylor]: Taking taylor expansion of 0 in t
1.368 * [taylor]: Taking taylor expansion of 0 in x
1.369 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.369 * [taylor]: Taking taylor expansion of z in z
1.375 * [taylor]: Taking taylor expansion of 0 in t
1.375 * [taylor]: Taking taylor expansion of 0 in x
1.379 * [taylor]: Taking taylor expansion of 0 in x
1.379 * [taylor]: Taking taylor expansion of 0 in z
1.381 * [taylor]: Taking taylor expansion of 0 in z
1.389 * [taylor]: Taking taylor expansion of 0 in t
1.389 * [taylor]: Taking taylor expansion of 0 in x
1.389 * [taylor]: Taking taylor expansion of 0 in x
1.394 * [taylor]: Taking taylor expansion of 0 in x
1.394 * [taylor]: Taking taylor expansion of 0 in z
1.394 * [taylor]: Taking taylor expansion of 0 in z
1.394 * [taylor]: Taking taylor expansion of 0 in z
1.396 * [taylor]: Taking taylor expansion of 0 in z
1.401 * * * [progress]: simplifying candidates
1.402 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 y (*.f64 t x))
  (*.f64 y (*.f64 t x))
  (+.f64 (log.f64 y) (+.f64 (log.f64 t) (log.f64 x)))
  (+.f64 (log.f64 y) (log.f64 (*.f64 t x)))
  (exp.f64 (*.f64 y (*.f64 t x)))
  (log.f64 (*.f64 y (*.f64 t x)))
  (*.f64 (*.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t x))) (*.f64 y (*.f64 t x)))
  (*.f64 (cbrt.f64 (*.f64 y (*.f64 t x))) (cbrt.f64 (*.f64 y (*.f64 t x))))
  (cbrt.f64 (*.f64 y (*.f64 t x)))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 t x) (*.f64 t x)) (*.f64 t x)))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 x x) x)))
  (sqrt.f64 (*.f64 y (*.f64 t x)))
  (sqrt.f64 (*.f64 y (*.f64 t x)))
  (*.f64 (cbrt.f64 y) (*.f64 t x))
  (*.f64 (sqrt.f64 y) (*.f64 t x))
  (*.f64 y (*.f64 t x))
  (*.f64 y t)
  (*.f64 y (*.f64 t (neg.f64 z)))
  (*.f64 y (*.f64 t (neg.f64 z)))
  (+.f64 (log.f64 y) (+.f64 (log.f64 t) (log.f64 (neg.f64 z))))
  (+.f64 (log.f64 y) (log.f64 (*.f64 t (neg.f64 z))))
  (exp.f64 (*.f64 y (*.f64 t (neg.f64 z))))
  (log.f64 (*.f64 y (*.f64 t (neg.f64 z))))
  (*.f64 (*.f64 (*.f64 y (*.f64 t (neg.f64 z))) (*.f64 y (*.f64 t (neg.f64 z)))) (*.f64 y (*.f64 t (neg.f64 z))))
  (*.f64 (cbrt.f64 (*.f64 y (*.f64 t (neg.f64 z)))) (cbrt.f64 (*.f64 y (*.f64 t (neg.f64 z)))))
  (cbrt.f64 (*.f64 y (*.f64 t (neg.f64 z))))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 t (neg.f64 z)) (*.f64 t (neg.f64 z))) (*.f64 t (neg.f64 z))))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (neg.f64 z) (neg.f64 z)) (neg.f64 z))))
  (sqrt.f64 (*.f64 y (*.f64 t (neg.f64 z))))
  (sqrt.f64 (*.f64 y (*.f64 t (neg.f64 z))))
  (*.f64 y (*.f64 t z))
  (*.f64 (cbrt.f64 y) (*.f64 t (neg.f64 z)))
  (*.f64 (sqrt.f64 y) (*.f64 t (neg.f64 z)))
  (*.f64 y (*.f64 t (neg.f64 z)))
  (*.f64 y t)
  (*.f64 (exp.f64 (*.f64 y (*.f64 t x))) (exp.f64 (*.f64 y (*.f64 t (neg.f64 z)))))
  (exp.f64 (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z)))))
  (log.f64 (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z)))))
  (*.f64 (*.f64 (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z)))) (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z))))) (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z)))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z))))) (cbrt.f64 (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z))))))
  (cbrt.f64 (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z)))))
  (sqrt.f64 (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z)))))
  (sqrt.f64 (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z)))))
  (+.f64 (pow.f64 (*.f64 y (*.f64 t x)) 3) (pow.f64 (*.f64 y (*.f64 t (neg.f64 z))) 3))
  (+.f64 (*.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t x))) (-.f64 (*.f64 (*.f64 y (*.f64 t (neg.f64 z))) (*.f64 y (*.f64 t (neg.f64 z)))) (*.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z))))))
  (-.f64 (*.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t x))) (*.f64 (*.f64 y (*.f64 t (neg.f64 z))) (*.f64 y (*.f64 t (neg.f64 z)))))
  (-.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z))))
  (+.f64 (*.f64 t x) (*.f64 t (neg.f64 z)))
  0
  (*.f64 t (*.f64 x y))
  (*.f64 t (*.f64 x y))
  0
  (*.f64 -1 (*.f64 t (*.f64 z y)))
  (*.f64 -1 (*.f64 t (*.f64 z y)))
  0
  (-.f64 (*.f64 t (*.f64 x y)) (*.f64 t (*.f64 z y)))
  (-.f64 (*.f64 t (*.f64 x y)) (*.f64 t (*.f64 z y)))
1.464 * * [simplify]: iteration  0 :  5103  enodes  (cost  610 )
1.469 * [simplify]: Simplified to:
   (*.f64 y (*.f64 t x))
  (*.f64 y (*.f64 t x))
  (log.f64 (*.f64 y (*.f64 t x)))
  (log.f64 (*.f64 y (*.f64 t x)))
  (exp.f64 (*.f64 y (*.f64 t x)))
  (log.f64 (*.f64 y (*.f64 t x)))
  (pow.f64 (*.f64 y (*.f64 t x)) 3)
  (*.f64 (cbrt.f64 (*.f64 y (*.f64 t x))) (cbrt.f64 (*.f64 y (*.f64 t x))))
  (cbrt.f64 (*.f64 y (*.f64 t x)))
  (pow.f64 (*.f64 y (*.f64 t x)) 3)
  (pow.f64 (*.f64 y (*.f64 t x)) 3)
  (sqrt.f64 (*.f64 y (*.f64 t x)))
  (sqrt.f64 (*.f64 y (*.f64 t x)))
  (*.f64 (*.f64 t x) (cbrt.f64 y))
  (*.f64 (*.f64 t x) (sqrt.f64 y))
  (*.f64 y (*.f64 t x))
  (*.f64 y t)
  (*.f64 y (*.f64 t (neg.f64 z)))
  (*.f64 y (*.f64 t (neg.f64 z)))
  (log.f64 (*.f64 y (*.f64 t (neg.f64 z))))
  (log.f64 (*.f64 y (*.f64 t (neg.f64 z))))
  (exp.f64 (*.f64 y (*.f64 t (neg.f64 z))))
  (log.f64 (*.f64 y (*.f64 t (neg.f64 z))))
  (pow.f64 (*.f64 y (*.f64 t (neg.f64 z))) 3)
  (*.f64 (cbrt.f64 (*.f64 y (*.f64 t (neg.f64 z)))) (cbrt.f64 (*.f64 y (*.f64 t (neg.f64 z)))))
  (cbrt.f64 (*.f64 y (*.f64 t (neg.f64 z))))
  (pow.f64 (*.f64 y (*.f64 t (neg.f64 z))) 3)
  (pow.f64 (*.f64 y (*.f64 t (neg.f64 z))) 3)
  (sqrt.f64 (*.f64 y (*.f64 t (neg.f64 z))))
  (sqrt.f64 (*.f64 y (*.f64 t (neg.f64 z))))
  (*.f64 y (*.f64 t z))
  (*.f64 (cbrt.f64 y) (*.f64 t (neg.f64 z)))
  (*.f64 (sqrt.f64 y) (*.f64 t (neg.f64 z)))
  (*.f64 y (*.f64 t (neg.f64 z)))
  (*.f64 y t)
  (pow.f64 (pow.f64 (exp.f64 y) t) (-.f64 x z))
  (pow.f64 (pow.f64 (exp.f64 y) t) (-.f64 x z))
  (log.f64 (*.f64 (*.f64 y t) (-.f64 x z)))
  (pow.f64 (*.f64 (*.f64 y t) (-.f64 x z)) 3)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z))))
  (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))
  (sqrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))
  (sqrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))
  (*.f64 (pow.f64 (*.f64 y t) 3) (-.f64 (pow.f64 x 3) (pow.f64 z 3)))
  (*.f64 (*.f64 y t) (-.f64 (*.f64 x (*.f64 y (*.f64 t x))) (*.f64 z (*.f64 (*.f64 y t) (-.f64 (neg.f64 z) x)))))
  (*.f64 (*.f64 (*.f64 y y) (*.f64 t t)) (-.f64 (*.f64 x x) (*.f64 z z)))
  (*.f64 (*.f64 y t) (+.f64 x z))
  (*.f64 t (-.f64 x z))
  0
  (*.f64 y (*.f64 t x))
  (*.f64 y (*.f64 t x))
  0
  (*.f64 y (*.f64 t (neg.f64 z)))
  (*.f64 y (*.f64 t (neg.f64 z)))
  0
  (*.f64 (*.f64 y t) (-.f64 x z))
  (*.f64 (*.f64 y t) (-.f64 x z))
1.469 * * * [progress]: adding candidates to table
1.493 * * [progress]: iteration 3 / 4
1.493 * * * [progress]: picking best candidate
1.500 * * * * [pick]: Picked  #<alt (λ (x y z t) (*.f64 (*.f64 y t) (-.f64 x z)))>
1.500 * * * [progress]: localizing error
1.505 * * * [progress]: generating rewritten candidates
1.505 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.515 * * * [progress]: generating series expansions
1.515 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.516 * [approximate]: Taking taylor expansion of (* t (* (- x z) y)) in (y t x z) around 0
1.516 * [taylor]: Taking taylor expansion of (* t (* (- x z) y)) in z
1.516 * [taylor]: Taking taylor expansion of t in z
1.516 * [taylor]: Taking taylor expansion of (* (- x z) y) in z
1.516 * [taylor]: Taking taylor expansion of (- x z) in z
1.516 * [taylor]: Taking taylor expansion of x in z
1.516 * [taylor]: Taking taylor expansion of z in z
1.516 * [taylor]: Taking taylor expansion of y in z
1.516 * [taylor]: Taking taylor expansion of (* t (* (- x z) y)) in x
1.517 * [taylor]: Taking taylor expansion of t in x
1.517 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
1.517 * [taylor]: Taking taylor expansion of (- x z) in x
1.517 * [taylor]: Taking taylor expansion of x in x
1.517 * [taylor]: Taking taylor expansion of z in x
1.517 * [taylor]: Taking taylor expansion of y in x
1.517 * [taylor]: Taking taylor expansion of (* t (* (- x z) y)) in t
1.517 * [taylor]: Taking taylor expansion of t in t
1.517 * [taylor]: Taking taylor expansion of (* (- x z) y) in t
1.517 * [taylor]: Taking taylor expansion of (- x z) in t
1.517 * [taylor]: Taking taylor expansion of x in t
1.517 * [taylor]: Taking taylor expansion of z in t
1.517 * [taylor]: Taking taylor expansion of y in t
1.517 * [taylor]: Taking taylor expansion of (* t (* (- x z) y)) in y
1.517 * [taylor]: Taking taylor expansion of t in y
1.517 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
1.517 * [taylor]: Taking taylor expansion of (- x z) in y
1.517 * [taylor]: Taking taylor expansion of x in y
1.517 * [taylor]: Taking taylor expansion of z in y
1.517 * [taylor]: Taking taylor expansion of y in y
1.517 * [taylor]: Taking taylor expansion of (* t (* (- x z) y)) in y
1.517 * [taylor]: Taking taylor expansion of t in y
1.517 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
1.517 * [taylor]: Taking taylor expansion of (- x z) in y
1.517 * [taylor]: Taking taylor expansion of x in y
1.517 * [taylor]: Taking taylor expansion of z in y
1.517 * [taylor]: Taking taylor expansion of y in y
1.518 * [taylor]: Taking taylor expansion of 0 in t
1.518 * [taylor]: Taking taylor expansion of 0 in x
1.518 * [taylor]: Taking taylor expansion of 0 in z
1.519 * [taylor]: Taking taylor expansion of (- (* t x) (* t z)) in t
1.519 * [taylor]: Taking taylor expansion of (* t x) in t
1.519 * [taylor]: Taking taylor expansion of t in t
1.519 * [taylor]: Taking taylor expansion of x 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 0 in x
1.520 * [taylor]: Taking taylor expansion of 0 in z
1.520 * [taylor]: Taking taylor expansion of 0 in x
1.520 * [taylor]: Taking taylor expansion of 0 in z
1.520 * [taylor]: Taking taylor expansion of 0 in z
1.521 * [taylor]: Taking taylor expansion of 0 in t
1.521 * [taylor]: Taking taylor expansion of 0 in x
1.521 * [taylor]: Taking taylor expansion of 0 in z
1.523 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in (y t x z) around 0
1.523 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.523 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
1.523 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.523 * [taylor]: Taking taylor expansion of x in z
1.523 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.523 * [taylor]: Taking taylor expansion of z in z
1.523 * [taylor]: Taking taylor expansion of (* t y) in z
1.523 * [taylor]: Taking taylor expansion of t in z
1.523 * [taylor]: Taking taylor expansion of y in z
1.524 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.524 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
1.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.524 * [taylor]: Taking taylor expansion of x in x
1.524 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.524 * [taylor]: Taking taylor expansion of z in x
1.525 * [taylor]: Taking taylor expansion of (* t y) in x
1.525 * [taylor]: Taking taylor expansion of t in x
1.525 * [taylor]: Taking taylor expansion of y in x
1.525 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in t
1.525 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
1.525 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.525 * [taylor]: Taking taylor expansion of x in t
1.525 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.525 * [taylor]: Taking taylor expansion of z in t
1.526 * [taylor]: Taking taylor expansion of (* t y) in t
1.526 * [taylor]: Taking taylor expansion of t in t
1.526 * [taylor]: Taking taylor expansion of y in t
1.528 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
1.528 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
1.528 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.528 * [taylor]: Taking taylor expansion of x in y
1.528 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.528 * [taylor]: Taking taylor expansion of z in y
1.528 * [taylor]: Taking taylor expansion of (* t y) in y
1.528 * [taylor]: Taking taylor expansion of t in y
1.528 * [taylor]: Taking taylor expansion of y in y
1.530 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
1.530 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
1.530 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.530 * [taylor]: Taking taylor expansion of x in y
1.531 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.531 * [taylor]: Taking taylor expansion of z in y
1.531 * [taylor]: Taking taylor expansion of (* t y) in y
1.531 * [taylor]: Taking taylor expansion of t in y
1.531 * [taylor]: Taking taylor expansion of y in y
1.533 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in t
1.533 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
1.533 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.533 * [taylor]: Taking taylor expansion of x in t
1.534 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.534 * [taylor]: Taking taylor expansion of z in t
1.534 * [taylor]: Taking taylor expansion of t in t
1.535 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
1.535 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.535 * [taylor]: Taking taylor expansion of x in x
1.535 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.535 * [taylor]: Taking taylor expansion of z in x
1.535 * [taylor]: Taking taylor expansion of 1 in z
1.538 * [taylor]: Taking taylor expansion of 0 in t
1.540 * [taylor]: Taking taylor expansion of 0 in x
1.541 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
1.541 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.541 * [taylor]: Taking taylor expansion of z in z
1.546 * [taylor]: Taking taylor expansion of 0 in t
1.546 * [taylor]: Taking taylor expansion of 0 in x
1.548 * [taylor]: Taking taylor expansion of 0 in x
1.548 * [taylor]: Taking taylor expansion of 0 in z
1.550 * [taylor]: Taking taylor expansion of 0 in z
1.554 * [taylor]: Taking taylor expansion of 0 in t
1.554 * [taylor]: Taking taylor expansion of 0 in x
1.555 * [taylor]: Taking taylor expansion of 0 in x
1.558 * [taylor]: Taking taylor expansion of 0 in x
1.558 * [taylor]: Taking taylor expansion of 0 in z
1.558 * [taylor]: Taking taylor expansion of 0 in z
1.558 * [taylor]: Taking taylor expansion of 0 in z
1.559 * [taylor]: Taking taylor expansion of 0 in z
1.566 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in (y t x z) around 0
1.566 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.566 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
1.566 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.566 * [taylor]: Taking taylor expansion of z in z
1.566 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.566 * [taylor]: Taking taylor expansion of x in z
1.566 * [taylor]: Taking taylor expansion of (* t y) in z
1.566 * [taylor]: Taking taylor expansion of t in z
1.566 * [taylor]: Taking taylor expansion of y in z
1.569 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.569 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
1.569 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.569 * [taylor]: Taking taylor expansion of z in x
1.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.569 * [taylor]: Taking taylor expansion of x in x
1.569 * [taylor]: Taking taylor expansion of (* t y) in x
1.569 * [taylor]: Taking taylor expansion of t in x
1.569 * [taylor]: Taking taylor expansion of y in x
1.570 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in t
1.570 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
1.570 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.570 * [taylor]: Taking taylor expansion of z in t
1.570 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.570 * [taylor]: Taking taylor expansion of x in t
1.570 * [taylor]: Taking taylor expansion of (* t y) in t
1.570 * [taylor]: Taking taylor expansion of t in t
1.570 * [taylor]: Taking taylor expansion of y in t
1.572 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
1.572 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
1.572 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.572 * [taylor]: Taking taylor expansion of z in y
1.572 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.572 * [taylor]: Taking taylor expansion of x in y
1.572 * [taylor]: Taking taylor expansion of (* t y) in y
1.572 * [taylor]: Taking taylor expansion of t in y
1.572 * [taylor]: Taking taylor expansion of y in y
1.574 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
1.574 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
1.574 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.574 * [taylor]: Taking taylor expansion of z in y
1.575 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.575 * [taylor]: Taking taylor expansion of x in y
1.575 * [taylor]: Taking taylor expansion of (* t y) in y
1.575 * [taylor]: Taking taylor expansion of t in y
1.575 * [taylor]: Taking taylor expansion of y in y
1.577 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in t
1.577 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
1.577 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.577 * [taylor]: Taking taylor expansion of z in t
1.577 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.577 * [taylor]: Taking taylor expansion of x in t
1.577 * [taylor]: Taking taylor expansion of t in t
1.579 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
1.579 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.579 * [taylor]: Taking taylor expansion of z in x
1.579 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.579 * [taylor]: Taking taylor expansion of x in x
1.580 * [taylor]: Taking taylor expansion of -1 in z
1.583 * [taylor]: Taking taylor expansion of 0 in t
1.586 * [taylor]: Taking taylor expansion of 0 in x
1.587 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.587 * [taylor]: Taking taylor expansion of z in z
1.592 * [taylor]: Taking taylor expansion of 0 in t
1.592 * [taylor]: Taking taylor expansion of 0 in x
1.596 * [taylor]: Taking taylor expansion of 0 in x
1.596 * [taylor]: Taking taylor expansion of 0 in z
1.598 * [taylor]: Taking taylor expansion of 0 in z
1.605 * [taylor]: Taking taylor expansion of 0 in t
1.605 * [taylor]: Taking taylor expansion of 0 in x
1.605 * [taylor]: Taking taylor expansion of 0 in x
1.610 * [taylor]: Taking taylor expansion of 0 in x
1.610 * [taylor]: Taking taylor expansion of 0 in z
1.610 * [taylor]: Taking taylor expansion of 0 in z
1.610 * [taylor]: Taking taylor expansion of 0 in z
1.612 * [taylor]: Taking taylor expansion of 0 in z
1.618 * * * [progress]: simplifying candidates
1.618 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 y t) (-.f64 x z))
  (*.f64 (*.f64 y t) (-.f64 x z))
  (+.f64 (+.f64 (log.f64 y) (log.f64 t)) (log.f64 (-.f64 x z)))
  (+.f64 (log.f64 (*.f64 y t)) (log.f64 (-.f64 x z)))
  (exp.f64 (*.f64 (*.f64 y t) (-.f64 x z)))
  (log.f64 (*.f64 (*.f64 y t) (-.f64 x z)))
  (*.f64 (*.f64 (*.f64 (*.f64 y t) (-.f64 x z)) (*.f64 (*.f64 y t) (-.f64 x z))) (*.f64 (*.f64 y t) (-.f64 x z)))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z))))
  (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))
  (*.f64 (*.f64 (*.f64 (*.f64 y t) (*.f64 y t)) (*.f64 y t)) (*.f64 (*.f64 (-.f64 x z) (-.f64 x z)) (-.f64 x z)))
  (*.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 (-.f64 x z) (-.f64 x z)) (-.f64 x z)))
  (sqrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))
  (sqrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))
  (*.f64 x (*.f64 y t))
  (*.f64 (neg.f64 z) (*.f64 y t))
  (*.f64 (*.f64 y t) x)
  (*.f64 (*.f64 y t) (neg.f64 z))
  (*.f64 (*.f64 y t) (-.f64 (pow.f64 x 3) (pow.f64 z 3)))
  (*.f64 (*.f64 y t) (-.f64 (*.f64 x x) (*.f64 z z)))
  (*.f64 t (-.f64 x z))
  (*.f64 (*.f64 y t) (*.f64 (cbrt.f64 (-.f64 x z)) (cbrt.f64 (-.f64 x z))))
  (*.f64 (*.f64 y t) (sqrt.f64 (-.f64 x z)))
  (*.f64 (*.f64 y t) 1)
  (*.f64 (*.f64 y t) (+.f64 (sqrt.f64 x) (sqrt.f64 z)))
  (*.f64 (*.f64 y t) 1)
  0
  (-.f64 (*.f64 t (*.f64 x y)) (*.f64 t (*.f64 z y)))
  (-.f64 (*.f64 t (*.f64 x y)) (*.f64 t (*.f64 z y)))
1.668 * * [simplify]: iteration  0 :  4991  enodes  (cost  315 )
1.668 * * [simplify]: iteration  1 :  4991  enodes  (cost  315 )
1.670 * [simplify]: Simplified to:
   (*.f64 (*.f64 y t) (-.f64 x z))
  (*.f64 (*.f64 y t) (-.f64 x z))
  (log.f64 (*.f64 (*.f64 y t) (-.f64 x z)))
  (log.f64 (*.f64 (*.f64 y t) (-.f64 x z)))
  (exp.f64 (*.f64 (*.f64 y t) (-.f64 x z)))
  (log.f64 (*.f64 (*.f64 y t) (-.f64 x z)))
  (pow.f64 (*.f64 (*.f64 y t) (-.f64 x z)) 3)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z))))
  (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))
  (pow.f64 (*.f64 (*.f64 y t) (-.f64 x z)) 3)
  (pow.f64 (*.f64 (*.f64 y t) (-.f64 x z)) 3)
  (sqrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))
  (sqrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))
  (*.f64 (*.f64 y t) x)
  (*.f64 (*.f64 y t) (neg.f64 z))
  (*.f64 (*.f64 y t) x)
  (*.f64 (*.f64 y t) (neg.f64 z))
  (*.f64 (*.f64 y t) (-.f64 (pow.f64 x 3) (pow.f64 z 3)))
  (*.f64 (*.f64 y t) (-.f64 (*.f64 x x) (*.f64 z z)))
  (*.f64 t (-.f64 x z))
  (*.f64 (*.f64 y t) (*.f64 (cbrt.f64 (-.f64 x z)) (cbrt.f64 (-.f64 x z))))
  (*.f64 (*.f64 y t) (sqrt.f64 (-.f64 x z)))
  (*.f64 y t)
  (*.f64 (*.f64 y t) (+.f64 (sqrt.f64 x) (sqrt.f64 z)))
  (*.f64 y t)
  0
  (*.f64 (*.f64 y t) (-.f64 x z))
  (*.f64 (*.f64 y t) (-.f64 x z))
1.670 * * * [progress]: adding candidates to table
1.680 * * [progress]: iteration 4 / 4
1.680 * * * [progress]: picking best candidate
1.687 * * * * [pick]: Picked  #<alt (λ (x y z t) (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))))>
1.687 * * * [progress]: localizing error
1.696 * * * [progress]: generating rewritten candidates
1.696 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.702 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
1.707 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
1.712 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.748 * * * [progress]: generating series expansions
1.748 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.749 * [approximate]: Taking taylor expansion of (pow (* t (- x z)) 1/3) in (t x z) around 0
1.749 * [taylor]: Taking taylor expansion of (pow (* t (- x z)) 1/3) in z
1.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t (- x z))))) in z
1.749 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t (- x z)))) in z
1.749 * [taylor]: Taking taylor expansion of 1/3 in z
1.749 * [taylor]: Taking taylor expansion of (log (* t (- x z))) in z
1.749 * [taylor]: Taking taylor expansion of (* t (- x z)) in z
1.749 * [taylor]: Taking taylor expansion of t in z
1.749 * [taylor]: Taking taylor expansion of (- x z) in z
1.749 * [taylor]: Taking taylor expansion of x in z
1.749 * [taylor]: Taking taylor expansion of z in z
1.750 * [taylor]: Taking taylor expansion of (pow (* t (- x z)) 1/3) in x
1.750 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t (- x z))))) in x
1.750 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t (- x z)))) in x
1.750 * [taylor]: Taking taylor expansion of 1/3 in x
1.750 * [taylor]: Taking taylor expansion of (log (* t (- x z))) in x
1.750 * [taylor]: Taking taylor expansion of (* t (- x z)) in x
1.750 * [taylor]: Taking taylor expansion of t in x
1.750 * [taylor]: Taking taylor expansion of (- x z) in x
1.750 * [taylor]: Taking taylor expansion of x in x
1.750 * [taylor]: Taking taylor expansion of z in x
1.752 * [taylor]: Taking taylor expansion of (pow (* t (- x z)) 1/3) in t
1.752 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t (- x z))))) in t
1.752 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t (- x z)))) in t
1.752 * [taylor]: Taking taylor expansion of 1/3 in t
1.752 * [taylor]: Taking taylor expansion of (log (* t (- x z))) in t
1.752 * [taylor]: Taking taylor expansion of (* t (- x z)) in t
1.752 * [taylor]: Taking taylor expansion of t in t
1.752 * [taylor]: Taking taylor expansion of (- x z) in t
1.752 * [taylor]: Taking taylor expansion of x in t
1.752 * [taylor]: Taking taylor expansion of z in t
1.755 * [taylor]: Taking taylor expansion of (pow (* t (- x z)) 1/3) in t
1.755 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t (- x z))))) in t
1.756 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t (- x z)))) in t
1.756 * [taylor]: Taking taylor expansion of 1/3 in t
1.756 * [taylor]: Taking taylor expansion of (log (* t (- x z))) in t
1.756 * [taylor]: Taking taylor expansion of (* t (- x z)) in t
1.756 * [taylor]: Taking taylor expansion of t in t
1.756 * [taylor]: Taking taylor expansion of (- x z) in t
1.756 * [taylor]: Taking taylor expansion of x in t
1.756 * [taylor]: Taking taylor expansion of z in t
1.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (- x z)) (log t)))) in x
1.759 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (- x z)) (log t))) in x
1.759 * [taylor]: Taking taylor expansion of 1/3 in x
1.759 * [taylor]: Taking taylor expansion of (+ (log (- x z)) (log t)) in x
1.759 * [taylor]: Taking taylor expansion of (log (- x z)) in x
1.759 * [taylor]: Taking taylor expansion of (- x z) in x
1.759 * [taylor]: Taking taylor expansion of x in x
1.759 * [taylor]: Taking taylor expansion of z in x
1.760 * [taylor]: Taking taylor expansion of (log t) in x
1.760 * [taylor]: Taking taylor expansion of t in x
1.761 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (neg z)) (log t)))) in z
1.761 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (neg z)) (log t))) in z
1.761 * [taylor]: Taking taylor expansion of 1/3 in z
1.761 * [taylor]: Taking taylor expansion of (+ (log (neg z)) (log t)) in z
1.761 * [taylor]: Taking taylor expansion of (log (neg z)) in z
1.761 * [taylor]: Taking taylor expansion of (neg z) in z
1.761 * [taylor]: Taking taylor expansion of z in z
1.762 * [taylor]: Taking taylor expansion of (log t) in z
1.762 * [taylor]: Taking taylor expansion of t in z
1.768 * [taylor]: Taking taylor expansion of 0 in x
1.768 * [taylor]: Taking taylor expansion of 0 in z
1.773 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (+ (log (neg z)) (log t)))) z)) in z
1.773 * [taylor]: Taking taylor expansion of -1/3 in z
1.773 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log (neg z)) (log t)))) z) in z
1.773 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (neg z)) (log t)))) in z
1.773 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (neg z)) (log t))) in z
1.773 * [taylor]: Taking taylor expansion of 1/3 in z
1.773 * [taylor]: Taking taylor expansion of (+ (log (neg z)) (log t)) in z
1.773 * [taylor]: Taking taylor expansion of (log (neg z)) in z
1.773 * [taylor]: Taking taylor expansion of (neg z) in z
1.773 * [taylor]: Taking taylor expansion of z in z
1.774 * [taylor]: Taking taylor expansion of (log t) in z
1.774 * [taylor]: Taking taylor expansion of t in z
1.776 * [taylor]: Taking taylor expansion of z in z
1.793 * [taylor]: Taking taylor expansion of 0 in x
1.793 * [taylor]: Taking taylor expansion of 0 in z
1.793 * [taylor]: Taking taylor expansion of 0 in z
1.801 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (+ (log (neg z)) (log t)))) (pow z 2))) in z
1.801 * [taylor]: Taking taylor expansion of -1/9 in z
1.801 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log (neg z)) (log t)))) (pow z 2)) in z
1.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (neg z)) (log t)))) in z
1.801 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (neg z)) (log t))) in z
1.801 * [taylor]: Taking taylor expansion of 1/3 in z
1.801 * [taylor]: Taking taylor expansion of (+ (log (neg z)) (log t)) in z
1.801 * [taylor]: Taking taylor expansion of (log (neg z)) in z
1.801 * [taylor]: Taking taylor expansion of (neg z) in z
1.801 * [taylor]: Taking taylor expansion of z in z
1.802 * [taylor]: Taking taylor expansion of (log t) in z
1.802 * [taylor]: Taking taylor expansion of t in z
1.804 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.804 * [taylor]: Taking taylor expansion of z in z
1.822 * [approximate]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) t) 1/3) in (t x z) around 0
1.822 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) t) 1/3) in z
1.822 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t)))) in z
1.822 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t))) in z
1.822 * [taylor]: Taking taylor expansion of 1/3 in z
1.822 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) t)) in z
1.822 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in z
1.822 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
1.822 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.822 * [taylor]: Taking taylor expansion of x in z
1.822 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.822 * [taylor]: Taking taylor expansion of z in z
1.822 * [taylor]: Taking taylor expansion of t in z
1.824 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) t) 1/3) in x
1.824 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t)))) in x
1.824 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t))) in x
1.824 * [taylor]: Taking taylor expansion of 1/3 in x
1.825 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) t)) in x
1.825 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in x
1.825 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
1.825 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.825 * [taylor]: Taking taylor expansion of x in x
1.825 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.825 * [taylor]: Taking taylor expansion of z in x
1.825 * [taylor]: Taking taylor expansion of t in x
1.827 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) t) 1/3) in t
1.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t)))) in t
1.827 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t))) in t
1.827 * [taylor]: Taking taylor expansion of 1/3 in t
1.827 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) t)) in t
1.827 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in t
1.827 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
1.827 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.827 * [taylor]: Taking taylor expansion of x in t
1.827 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.827 * [taylor]: Taking taylor expansion of z in t
1.827 * [taylor]: Taking taylor expansion of t in t
1.831 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) t) 1/3) in t
1.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t)))) in t
1.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t))) in t
1.832 * [taylor]: Taking taylor expansion of 1/3 in t
1.832 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) t)) in t
1.832 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in t
1.832 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
1.832 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.832 * [taylor]: Taking taylor expansion of x in t
1.832 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.832 * [taylor]: Taking taylor expansion of z in t
1.832 * [taylor]: Taking taylor expansion of t in t
1.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ 1 x) (/ 1 z))) (log t)))) in x
1.836 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ 1 x) (/ 1 z))) (log t))) in x
1.836 * [taylor]: Taking taylor expansion of 1/3 in x
1.836 * [taylor]: Taking taylor expansion of (- (log (- (/ 1 x) (/ 1 z))) (log t)) in x
1.837 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x
1.837 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
1.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.837 * [taylor]: Taking taylor expansion of x in x
1.837 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.837 * [taylor]: Taking taylor expansion of z in x
1.837 * [taylor]: Taking taylor expansion of (log t) in x
1.837 * [taylor]: Taking taylor expansion of t in x
1.839 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log t) (log x)))) in z
1.839 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log t) (log x))) in z
1.839 * [taylor]: Taking taylor expansion of -1/3 in z
1.839 * [taylor]: Taking taylor expansion of (+ (log t) (log x)) in z
1.839 * [taylor]: Taking taylor expansion of (log t) in z
1.839 * [taylor]: Taking taylor expansion of t in z
1.839 * [taylor]: Taking taylor expansion of (log x) in z
1.839 * [taylor]: Taking taylor expansion of x in z
1.847 * [taylor]: Taking taylor expansion of 0 in x
1.847 * [taylor]: Taking taylor expansion of 0 in z
1.852 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* -1/3 (+ (log t) (log x)))) z)) in z
1.852 * [taylor]: Taking taylor expansion of -1/3 in z
1.852 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (log t) (log x)))) z) in z
1.852 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log t) (log x)))) in z
1.852 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log t) (log x))) in z
1.852 * [taylor]: Taking taylor expansion of -1/3 in z
1.852 * [taylor]: Taking taylor expansion of (+ (log t) (log x)) in z
1.852 * [taylor]: Taking taylor expansion of (log t) in z
1.852 * [taylor]: Taking taylor expansion of t in z
1.852 * [taylor]: Taking taylor expansion of (log x) in z
1.852 * [taylor]: Taking taylor expansion of x in z
1.853 * [taylor]: Taking taylor expansion of z in z
1.868 * [taylor]: Taking taylor expansion of 0 in x
1.868 * [taylor]: Taking taylor expansion of 0 in z
1.868 * [taylor]: Taking taylor expansion of 0 in z
1.877 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* -1/3 (+ (log t) (log x)))) (pow z 2))) in z
1.877 * [taylor]: Taking taylor expansion of -1/9 in z
1.877 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (log t) (log x)))) (pow z 2)) in z
1.877 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log t) (log x)))) in z
1.877 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log t) (log x))) in z
1.877 * [taylor]: Taking taylor expansion of -1/3 in z
1.877 * [taylor]: Taking taylor expansion of (+ (log t) (log x)) in z
1.877 * [taylor]: Taking taylor expansion of (log t) in z
1.877 * [taylor]: Taking taylor expansion of t in z
1.877 * [taylor]: Taking taylor expansion of (log x) in z
1.877 * [taylor]: Taking taylor expansion of x in z
1.878 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.878 * [taylor]: Taking taylor expansion of z in z
1.894 * [approximate]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) (cbrt -1)) in (t x z) around 0
1.894 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) (cbrt -1)) in z
1.894 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) in z
1.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t)))) in z
1.894 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t))) in z
1.894 * [taylor]: Taking taylor expansion of 1/3 in z
1.894 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) t)) in z
1.894 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in z
1.894 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
1.894 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.894 * [taylor]: Taking taylor expansion of z in z
1.894 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.894 * [taylor]: Taking taylor expansion of x in z
1.894 * [taylor]: Taking taylor expansion of t in z
1.896 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.896 * [taylor]: Taking taylor expansion of -1 in z
1.897 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) (cbrt -1)) in x
1.897 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) in x
1.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t)))) in x
1.897 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t))) in x
1.897 * [taylor]: Taking taylor expansion of 1/3 in x
1.897 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) t)) in x
1.897 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in x
1.897 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
1.897 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.897 * [taylor]: Taking taylor expansion of z in x
1.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.897 * [taylor]: Taking taylor expansion of x in x
1.897 * [taylor]: Taking taylor expansion of t in x
1.900 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.900 * [taylor]: Taking taylor expansion of -1 in x
1.900 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) (cbrt -1)) in t
1.900 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) in t
1.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t)))) in t
1.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t))) in t
1.900 * [taylor]: Taking taylor expansion of 1/3 in t
1.900 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) t)) in t
1.900 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in t
1.900 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
1.900 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.900 * [taylor]: Taking taylor expansion of z in t
1.900 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.900 * [taylor]: Taking taylor expansion of x in t
1.901 * [taylor]: Taking taylor expansion of t in t
1.904 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.905 * [taylor]: Taking taylor expansion of -1 in t
1.905 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) (cbrt -1)) in t
1.905 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) in t
1.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t)))) in t
1.905 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t))) in t
1.905 * [taylor]: Taking taylor expansion of 1/3 in t
1.905 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) t)) in t
1.905 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in t
1.905 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
1.905 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.905 * [taylor]: Taking taylor expansion of z in t
1.905 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.905 * [taylor]: Taking taylor expansion of x in t
1.905 * [taylor]: Taking taylor expansion of t in t
1.910 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.910 * [taylor]: Taking taylor expansion of -1 in t
1.911 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (- (/ 1 z) (/ 1 x))) (log t))))) in x
1.911 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.911 * [taylor]: Taking taylor expansion of -1 in x
1.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ 1 z) (/ 1 x))) (log t)))) in x
1.912 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ 1 z) (/ 1 x))) (log t))) in x
1.912 * [taylor]: Taking taylor expansion of 1/3 in x
1.912 * [taylor]: Taking taylor expansion of (- (log (- (/ 1 z) (/ 1 x))) (log t)) in x
1.912 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x
1.912 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
1.912 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.912 * [taylor]: Taking taylor expansion of z in x
1.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.912 * [taylor]: Taking taylor expansion of x in x
1.912 * [taylor]: Taking taylor expansion of (log t) in x
1.912 * [taylor]: Taking taylor expansion of t in x
1.915 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) in z
1.916 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) in z
1.916 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (+ (log x) (log t)))) in z
1.916 * [taylor]: Taking taylor expansion of 1/3 in z
1.916 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log x) (log t))) in z
1.916 * [taylor]: Taking taylor expansion of (log -1) in z
1.916 * [taylor]: Taking taylor expansion of -1 in z
1.916 * [taylor]: Taking taylor expansion of (+ (log x) (log t)) in z
1.916 * [taylor]: Taking taylor expansion of (log x) in z
1.916 * [taylor]: Taking taylor expansion of x in z
1.916 * [taylor]: Taking taylor expansion of (log t) in z
1.916 * [taylor]: Taking taylor expansion of t in z
1.918 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.918 * [taylor]: Taking taylor expansion of -1 in z
1.933 * [taylor]: Taking taylor expansion of 0 in x
1.933 * [taylor]: Taking taylor expansion of 0 in z
1.941 * [taylor]: Taking taylor expansion of (neg (* 1/3 (/ (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) z))) in z
1.941 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) z)) in z
1.941 * [taylor]: Taking taylor expansion of 1/3 in z
1.941 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) z) in z
1.941 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) in z
1.941 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) in z
1.941 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (+ (log x) (log t)))) in z
1.941 * [taylor]: Taking taylor expansion of 1/3 in z
1.941 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log x) (log t))) in z
1.941 * [taylor]: Taking taylor expansion of (log -1) in z
1.941 * [taylor]: Taking taylor expansion of -1 in z
1.942 * [taylor]: Taking taylor expansion of (+ (log x) (log t)) in z
1.942 * [taylor]: Taking taylor expansion of (log x) in z
1.942 * [taylor]: Taking taylor expansion of x in z
1.942 * [taylor]: Taking taylor expansion of (log t) in z
1.942 * [taylor]: Taking taylor expansion of t in z
1.944 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.945 * [taylor]: Taking taylor expansion of -1 in z
1.945 * [taylor]: Taking taylor expansion of z in z
1.975 * [taylor]: Taking taylor expansion of 0 in x
1.975 * [taylor]: Taking taylor expansion of 0 in z
1.975 * [taylor]: Taking taylor expansion of 0 in z
1.990 * [taylor]: Taking taylor expansion of (neg (* 1/9 (/ (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) (pow z 2)))) in z
1.990 * [taylor]: Taking taylor expansion of (* 1/9 (/ (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) (pow z 2))) in z
1.990 * [taylor]: Taking taylor expansion of 1/9 in z
1.990 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) (pow z 2)) in z
1.990 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) in z
1.990 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) in z
1.990 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (+ (log x) (log t)))) in z
1.990 * [taylor]: Taking taylor expansion of 1/3 in z
1.990 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log x) (log t))) in z
1.990 * [taylor]: Taking taylor expansion of (log -1) in z
1.990 * [taylor]: Taking taylor expansion of -1 in z
1.990 * [taylor]: Taking taylor expansion of (+ (log x) (log t)) in z
1.990 * [taylor]: Taking taylor expansion of (log x) in z
1.990 * [taylor]: Taking taylor expansion of x in z
1.990 * [taylor]: Taking taylor expansion of (log t) in z
1.990 * [taylor]: Taking taylor expansion of t in z
1.993 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.993 * [taylor]: Taking taylor expansion of -1 in z
1.993 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.993 * [taylor]: Taking taylor expansion of z in z
2.018 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
2.019 * [approximate]: Taking taylor expansion of (pow (* t (- x z)) 1/3) in (t x z) around 0
2.019 * [taylor]: Taking taylor expansion of (pow (* t (- x z)) 1/3) in z
2.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t (- x z))))) in z
2.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t (- x z)))) in z
2.019 * [taylor]: Taking taylor expansion of 1/3 in z
2.019 * [taylor]: Taking taylor expansion of (log (* t (- x z))) in z
2.019 * [taylor]: Taking taylor expansion of (* t (- x z)) in z
2.019 * [taylor]: Taking taylor expansion of t in z
2.019 * [taylor]: Taking taylor expansion of (- x z) in z
2.019 * [taylor]: Taking taylor expansion of x in z
2.019 * [taylor]: Taking taylor expansion of z in z
2.021 * [taylor]: Taking taylor expansion of (pow (* t (- x z)) 1/3) in x
2.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t (- x z))))) in x
2.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t (- x z)))) in x
2.021 * [taylor]: Taking taylor expansion of 1/3 in x
2.021 * [taylor]: Taking taylor expansion of (log (* t (- x z))) in x
2.021 * [taylor]: Taking taylor expansion of (* t (- x z)) in x
2.021 * [taylor]: Taking taylor expansion of t in x
2.021 * [taylor]: Taking taylor expansion of (- x z) in x
2.021 * [taylor]: Taking taylor expansion of x in x
2.021 * [taylor]: Taking taylor expansion of z in x
2.023 * [taylor]: Taking taylor expansion of (pow (* t (- x z)) 1/3) in t
2.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t (- x z))))) in t
2.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t (- x z)))) in t
2.023 * [taylor]: Taking taylor expansion of 1/3 in t
2.023 * [taylor]: Taking taylor expansion of (log (* t (- x z))) in t
2.023 * [taylor]: Taking taylor expansion of (* t (- x z)) in t
2.023 * [taylor]: Taking taylor expansion of t in t
2.023 * [taylor]: Taking taylor expansion of (- x z) in t
2.023 * [taylor]: Taking taylor expansion of x in t
2.024 * [taylor]: Taking taylor expansion of z in t
2.027 * [taylor]: Taking taylor expansion of (pow (* t (- x z)) 1/3) in t
2.027 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t (- x z))))) in t
2.027 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t (- x z)))) in t
2.028 * [taylor]: Taking taylor expansion of 1/3 in t
2.028 * [taylor]: Taking taylor expansion of (log (* t (- x z))) in t
2.028 * [taylor]: Taking taylor expansion of (* t (- x z)) in t
2.028 * [taylor]: Taking taylor expansion of t in t
2.028 * [taylor]: Taking taylor expansion of (- x z) in t
2.028 * [taylor]: Taking taylor expansion of x in t
2.028 * [taylor]: Taking taylor expansion of z in t
2.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (- x z)) (log t)))) in x
2.032 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (- x z)) (log t))) in x
2.032 * [taylor]: Taking taylor expansion of 1/3 in x
2.032 * [taylor]: Taking taylor expansion of (+ (log (- x z)) (log t)) in x
2.032 * [taylor]: Taking taylor expansion of (log (- x z)) in x
2.032 * [taylor]: Taking taylor expansion of (- x z) in x
2.032 * [taylor]: Taking taylor expansion of x in x
2.032 * [taylor]: Taking taylor expansion of z in x
2.033 * [taylor]: Taking taylor expansion of (log t) in x
2.033 * [taylor]: Taking taylor expansion of t in x
2.034 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (neg z)) (log t)))) in z
2.034 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (neg z)) (log t))) in z
2.034 * [taylor]: Taking taylor expansion of 1/3 in z
2.034 * [taylor]: Taking taylor expansion of (+ (log (neg z)) (log t)) in z
2.034 * [taylor]: Taking taylor expansion of (log (neg z)) in z
2.034 * [taylor]: Taking taylor expansion of (neg z) in z
2.034 * [taylor]: Taking taylor expansion of z in z
2.035 * [taylor]: Taking taylor expansion of (log t) in z
2.035 * [taylor]: Taking taylor expansion of t in z
2.043 * [taylor]: Taking taylor expansion of 0 in x
2.043 * [taylor]: Taking taylor expansion of 0 in z
2.048 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (+ (log (neg z)) (log t)))) z)) in z
2.048 * [taylor]: Taking taylor expansion of -1/3 in z
2.048 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log (neg z)) (log t)))) z) in z
2.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (neg z)) (log t)))) in z
2.048 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (neg z)) (log t))) in z
2.048 * [taylor]: Taking taylor expansion of 1/3 in z
2.048 * [taylor]: Taking taylor expansion of (+ (log (neg z)) (log t)) in z
2.048 * [taylor]: Taking taylor expansion of (log (neg z)) in z
2.048 * [taylor]: Taking taylor expansion of (neg z) in z
2.048 * [taylor]: Taking taylor expansion of z in z
2.049 * [taylor]: Taking taylor expansion of (log t) in z
2.049 * [taylor]: Taking taylor expansion of t in z
2.051 * [taylor]: Taking taylor expansion of z in z
2.068 * [taylor]: Taking taylor expansion of 0 in x
2.068 * [taylor]: Taking taylor expansion of 0 in z
2.068 * [taylor]: Taking taylor expansion of 0 in z
2.076 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (+ (log (neg z)) (log t)))) (pow z 2))) in z
2.076 * [taylor]: Taking taylor expansion of -1/9 in z
2.076 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log (neg z)) (log t)))) (pow z 2)) in z
2.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (neg z)) (log t)))) in z
2.077 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (neg z)) (log t))) in z
2.077 * [taylor]: Taking taylor expansion of 1/3 in z
2.077 * [taylor]: Taking taylor expansion of (+ (log (neg z)) (log t)) in z
2.077 * [taylor]: Taking taylor expansion of (log (neg z)) in z
2.077 * [taylor]: Taking taylor expansion of (neg z) in z
2.077 * [taylor]: Taking taylor expansion of z in z
2.077 * [taylor]: Taking taylor expansion of (log t) in z
2.077 * [taylor]: Taking taylor expansion of t in z
2.079 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.079 * [taylor]: Taking taylor expansion of z in z
2.097 * [approximate]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) t) 1/3) in (t x z) around 0
2.097 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) t) 1/3) in z
2.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t)))) in z
2.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t))) in z
2.097 * [taylor]: Taking taylor expansion of 1/3 in z
2.097 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) t)) in z
2.097 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in z
2.097 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
2.098 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.098 * [taylor]: Taking taylor expansion of x in z
2.098 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.098 * [taylor]: Taking taylor expansion of z in z
2.098 * [taylor]: Taking taylor expansion of t in z
2.100 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) t) 1/3) in x
2.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t)))) in x
2.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t))) in x
2.100 * [taylor]: Taking taylor expansion of 1/3 in x
2.100 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) t)) in x
2.100 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in x
2.100 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
2.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.100 * [taylor]: Taking taylor expansion of x in x
2.101 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.101 * [taylor]: Taking taylor expansion of z in x
2.101 * [taylor]: Taking taylor expansion of t in x
2.103 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) t) 1/3) in t
2.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t)))) in t
2.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t))) in t
2.103 * [taylor]: Taking taylor expansion of 1/3 in t
2.103 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) t)) in t
2.103 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in t
2.103 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
2.103 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.103 * [taylor]: Taking taylor expansion of x in t
2.103 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.103 * [taylor]: Taking taylor expansion of z in t
2.103 * [taylor]: Taking taylor expansion of t in t
2.107 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) t) 1/3) in t
2.107 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t)))) in t
2.107 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t))) in t
2.107 * [taylor]: Taking taylor expansion of 1/3 in t
2.107 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) t)) in t
2.107 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in t
2.107 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
2.107 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.107 * [taylor]: Taking taylor expansion of x in t
2.107 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.107 * [taylor]: Taking taylor expansion of z in t
2.107 * [taylor]: Taking taylor expansion of t in t
2.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ 1 x) (/ 1 z))) (log t)))) in x
2.111 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ 1 x) (/ 1 z))) (log t))) in x
2.111 * [taylor]: Taking taylor expansion of 1/3 in x
2.111 * [taylor]: Taking taylor expansion of (- (log (- (/ 1 x) (/ 1 z))) (log t)) in x
2.111 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x
2.111 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
2.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.112 * [taylor]: Taking taylor expansion of x in x
2.112 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.112 * [taylor]: Taking taylor expansion of z in x
2.112 * [taylor]: Taking taylor expansion of (log t) in x
2.112 * [taylor]: Taking taylor expansion of t in x
2.114 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log t) (log x)))) in z
2.114 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log t) (log x))) in z
2.114 * [taylor]: Taking taylor expansion of -1/3 in z
2.114 * [taylor]: Taking taylor expansion of (+ (log t) (log x)) in z
2.114 * [taylor]: Taking taylor expansion of (log t) in z
2.114 * [taylor]: Taking taylor expansion of t in z
2.114 * [taylor]: Taking taylor expansion of (log x) in z
2.114 * [taylor]: Taking taylor expansion of x in z
2.122 * [taylor]: Taking taylor expansion of 0 in x
2.122 * [taylor]: Taking taylor expansion of 0 in z
2.128 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* -1/3 (+ (log t) (log x)))) z)) in z
2.128 * [taylor]: Taking taylor expansion of -1/3 in z
2.128 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (log t) (log x)))) z) in z
2.128 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log t) (log x)))) in z
2.128 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log t) (log x))) in z
2.128 * [taylor]: Taking taylor expansion of -1/3 in z
2.128 * [taylor]: Taking taylor expansion of (+ (log t) (log x)) in z
2.128 * [taylor]: Taking taylor expansion of (log t) in z
2.128 * [taylor]: Taking taylor expansion of t in z
2.128 * [taylor]: Taking taylor expansion of (log x) in z
2.128 * [taylor]: Taking taylor expansion of x in z
2.129 * [taylor]: Taking taylor expansion of z in z
2.149 * [taylor]: Taking taylor expansion of 0 in x
2.149 * [taylor]: Taking taylor expansion of 0 in z
2.149 * [taylor]: Taking taylor expansion of 0 in z
2.158 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* -1/3 (+ (log t) (log x)))) (pow z 2))) in z
2.158 * [taylor]: Taking taylor expansion of -1/9 in z
2.159 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (log t) (log x)))) (pow z 2)) in z
2.159 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log t) (log x)))) in z
2.159 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log t) (log x))) in z
2.159 * [taylor]: Taking taylor expansion of -1/3 in z
2.159 * [taylor]: Taking taylor expansion of (+ (log t) (log x)) in z
2.159 * [taylor]: Taking taylor expansion of (log t) in z
2.159 * [taylor]: Taking taylor expansion of t in z
2.159 * [taylor]: Taking taylor expansion of (log x) in z
2.159 * [taylor]: Taking taylor expansion of x in z
2.160 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.160 * [taylor]: Taking taylor expansion of z in z
2.178 * [approximate]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) (cbrt -1)) in (t x z) around 0
2.178 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) (cbrt -1)) in z
2.178 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) in z
2.178 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t)))) in z
2.178 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t))) in z
2.178 * [taylor]: Taking taylor expansion of 1/3 in z
2.178 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) t)) in z
2.178 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in z
2.178 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
2.178 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.178 * [taylor]: Taking taylor expansion of z in z
2.178 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.178 * [taylor]: Taking taylor expansion of x in z
2.178 * [taylor]: Taking taylor expansion of t in z
2.180 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.180 * [taylor]: Taking taylor expansion of -1 in z
2.181 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) (cbrt -1)) in x
2.181 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) in x
2.181 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t)))) in x
2.181 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t))) in x
2.181 * [taylor]: Taking taylor expansion of 1/3 in x
2.181 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) t)) in x
2.181 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in x
2.181 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
2.181 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.181 * [taylor]: Taking taylor expansion of z in x
2.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.181 * [taylor]: Taking taylor expansion of x in x
2.181 * [taylor]: Taking taylor expansion of t in x
2.184 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.184 * [taylor]: Taking taylor expansion of -1 in x
2.184 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) (cbrt -1)) in t
2.184 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) in t
2.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t)))) in t
2.184 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t))) in t
2.184 * [taylor]: Taking taylor expansion of 1/3 in t
2.184 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) t)) in t
2.184 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in t
2.184 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
2.184 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.184 * [taylor]: Taking taylor expansion of z in t
2.184 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.184 * [taylor]: Taking taylor expansion of x in t
2.185 * [taylor]: Taking taylor expansion of t in t
2.190 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.190 * [taylor]: Taking taylor expansion of -1 in t
2.190 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) (cbrt -1)) in t
2.190 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) in t
2.190 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t)))) in t
2.190 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t))) in t
2.190 * [taylor]: Taking taylor expansion of 1/3 in t
2.191 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) t)) in t
2.191 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in t
2.191 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
2.191 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.191 * [taylor]: Taking taylor expansion of z in t
2.191 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.191 * [taylor]: Taking taylor expansion of x in t
2.191 * [taylor]: Taking taylor expansion of t in t
2.196 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.196 * [taylor]: Taking taylor expansion of -1 in t
2.198 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (- (/ 1 z) (/ 1 x))) (log t))))) in x
2.198 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.198 * [taylor]: Taking taylor expansion of -1 in x
2.198 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ 1 z) (/ 1 x))) (log t)))) in x
2.198 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ 1 z) (/ 1 x))) (log t))) in x
2.198 * [taylor]: Taking taylor expansion of 1/3 in x
2.198 * [taylor]: Taking taylor expansion of (- (log (- (/ 1 z) (/ 1 x))) (log t)) in x
2.198 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x
2.198 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
2.198 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.198 * [taylor]: Taking taylor expansion of z in x
2.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.199 * [taylor]: Taking taylor expansion of x in x
2.199 * [taylor]: Taking taylor expansion of (log t) in x
2.199 * [taylor]: Taking taylor expansion of t in x
2.203 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) in z
2.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) in z
2.203 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (+ (log x) (log t)))) in z
2.203 * [taylor]: Taking taylor expansion of 1/3 in z
2.203 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log x) (log t))) in z
2.203 * [taylor]: Taking taylor expansion of (log -1) in z
2.203 * [taylor]: Taking taylor expansion of -1 in z
2.203 * [taylor]: Taking taylor expansion of (+ (log x) (log t)) in z
2.203 * [taylor]: Taking taylor expansion of (log x) in z
2.203 * [taylor]: Taking taylor expansion of x in z
2.203 * [taylor]: Taking taylor expansion of (log t) in z
2.203 * [taylor]: Taking taylor expansion of t in z
2.206 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.206 * [taylor]: Taking taylor expansion of -1 in z
2.217 * [taylor]: Taking taylor expansion of 0 in x
2.217 * [taylor]: Taking taylor expansion of 0 in z
2.225 * [taylor]: Taking taylor expansion of (neg (* 1/3 (/ (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) z))) in z
2.225 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) z)) in z
2.225 * [taylor]: Taking taylor expansion of 1/3 in z
2.225 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) z) in z
2.225 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) in z
2.225 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) in z
2.225 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (+ (log x) (log t)))) in z
2.225 * [taylor]: Taking taylor expansion of 1/3 in z
2.225 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log x) (log t))) in z
2.225 * [taylor]: Taking taylor expansion of (log -1) in z
2.225 * [taylor]: Taking taylor expansion of -1 in z
2.226 * [taylor]: Taking taylor expansion of (+ (log x) (log t)) in z
2.226 * [taylor]: Taking taylor expansion of (log x) in z
2.226 * [taylor]: Taking taylor expansion of x in z
2.226 * [taylor]: Taking taylor expansion of (log t) in z
2.226 * [taylor]: Taking taylor expansion of t in z
2.229 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.229 * [taylor]: Taking taylor expansion of -1 in z
2.229 * [taylor]: Taking taylor expansion of z in z
2.260 * [taylor]: Taking taylor expansion of 0 in x
2.260 * [taylor]: Taking taylor expansion of 0 in z
2.260 * [taylor]: Taking taylor expansion of 0 in z
2.274 * [taylor]: Taking taylor expansion of (neg (* 1/9 (/ (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) (pow z 2)))) in z
2.274 * [taylor]: Taking taylor expansion of (* 1/9 (/ (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) (pow z 2))) in z
2.274 * [taylor]: Taking taylor expansion of 1/9 in z
2.274 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) (pow z 2)) in z
2.274 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) in z
2.274 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) in z
2.274 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (+ (log x) (log t)))) in z
2.274 * [taylor]: Taking taylor expansion of 1/3 in z
2.274 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log x) (log t))) in z
2.274 * [taylor]: Taking taylor expansion of (log -1) in z
2.274 * [taylor]: Taking taylor expansion of -1 in z
2.274 * [taylor]: Taking taylor expansion of (+ (log x) (log t)) in z
2.274 * [taylor]: Taking taylor expansion of (log x) in z
2.274 * [taylor]: Taking taylor expansion of x in z
2.274 * [taylor]: Taking taylor expansion of (log t) in z
2.274 * [taylor]: Taking taylor expansion of t in z
2.277 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.277 * [taylor]: Taking taylor expansion of -1 in z
2.277 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.277 * [taylor]: Taking taylor expansion of z in z
2.303 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
2.304 * [approximate]: Taking taylor expansion of (pow (* t (- x z)) 1/3) in (t x z) around 0
2.304 * [taylor]: Taking taylor expansion of (pow (* t (- x z)) 1/3) in z
2.304 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t (- x z))))) in z
2.304 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t (- x z)))) in z
2.304 * [taylor]: Taking taylor expansion of 1/3 in z
2.304 * [taylor]: Taking taylor expansion of (log (* t (- x z))) in z
2.304 * [taylor]: Taking taylor expansion of (* t (- x z)) in z
2.304 * [taylor]: Taking taylor expansion of t in z
2.304 * [taylor]: Taking taylor expansion of (- x z) in z
2.304 * [taylor]: Taking taylor expansion of x in z
2.304 * [taylor]: Taking taylor expansion of z in z
2.305 * [taylor]: Taking taylor expansion of (pow (* t (- x z)) 1/3) in x
2.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t (- x z))))) in x
2.305 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t (- x z)))) in x
2.305 * [taylor]: Taking taylor expansion of 1/3 in x
2.305 * [taylor]: Taking taylor expansion of (log (* t (- x z))) in x
2.305 * [taylor]: Taking taylor expansion of (* t (- x z)) in x
2.305 * [taylor]: Taking taylor expansion of t in x
2.305 * [taylor]: Taking taylor expansion of (- x z) in x
2.305 * [taylor]: Taking taylor expansion of x in x
2.305 * [taylor]: Taking taylor expansion of z in x
2.307 * [taylor]: Taking taylor expansion of (pow (* t (- x z)) 1/3) in t
2.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t (- x z))))) in t
2.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t (- x z)))) in t
2.307 * [taylor]: Taking taylor expansion of 1/3 in t
2.307 * [taylor]: Taking taylor expansion of (log (* t (- x z))) in t
2.307 * [taylor]: Taking taylor expansion of (* t (- x z)) in t
2.307 * [taylor]: Taking taylor expansion of t in t
2.307 * [taylor]: Taking taylor expansion of (- x z) in t
2.307 * [taylor]: Taking taylor expansion of x in t
2.307 * [taylor]: Taking taylor expansion of z in t
2.311 * [taylor]: Taking taylor expansion of (pow (* t (- x z)) 1/3) in t
2.311 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t (- x z))))) in t
2.311 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t (- x z)))) in t
2.311 * [taylor]: Taking taylor expansion of 1/3 in t
2.311 * [taylor]: Taking taylor expansion of (log (* t (- x z))) in t
2.311 * [taylor]: Taking taylor expansion of (* t (- x z)) in t
2.311 * [taylor]: Taking taylor expansion of t in t
2.311 * [taylor]: Taking taylor expansion of (- x z) in t
2.311 * [taylor]: Taking taylor expansion of x in t
2.311 * [taylor]: Taking taylor expansion of z in t
2.314 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (- x z)) (log t)))) in x
2.314 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (- x z)) (log t))) in x
2.314 * [taylor]: Taking taylor expansion of 1/3 in x
2.314 * [taylor]: Taking taylor expansion of (+ (log (- x z)) (log t)) in x
2.315 * [taylor]: Taking taylor expansion of (log (- x z)) in x
2.315 * [taylor]: Taking taylor expansion of (- x z) in x
2.315 * [taylor]: Taking taylor expansion of x in x
2.315 * [taylor]: Taking taylor expansion of z in x
2.315 * [taylor]: Taking taylor expansion of (log t) in x
2.315 * [taylor]: Taking taylor expansion of t in x
2.316 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (neg z)) (log t)))) in z
2.317 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (neg z)) (log t))) in z
2.317 * [taylor]: Taking taylor expansion of 1/3 in z
2.317 * [taylor]: Taking taylor expansion of (+ (log (neg z)) (log t)) in z
2.317 * [taylor]: Taking taylor expansion of (log (neg z)) in z
2.317 * [taylor]: Taking taylor expansion of (neg z) in z
2.317 * [taylor]: Taking taylor expansion of z in z
2.317 * [taylor]: Taking taylor expansion of (log t) in z
2.317 * [taylor]: Taking taylor expansion of t in z
2.323 * [taylor]: Taking taylor expansion of 0 in x
2.323 * [taylor]: Taking taylor expansion of 0 in z
2.327 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (+ (log (neg z)) (log t)))) z)) in z
2.327 * [taylor]: Taking taylor expansion of -1/3 in z
2.327 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log (neg z)) (log t)))) z) in z
2.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (neg z)) (log t)))) in z
2.327 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (neg z)) (log t))) in z
2.327 * [taylor]: Taking taylor expansion of 1/3 in z
2.327 * [taylor]: Taking taylor expansion of (+ (log (neg z)) (log t)) in z
2.327 * [taylor]: Taking taylor expansion of (log (neg z)) in z
2.327 * [taylor]: Taking taylor expansion of (neg z) in z
2.327 * [taylor]: Taking taylor expansion of z in z
2.328 * [taylor]: Taking taylor expansion of (log t) in z
2.328 * [taylor]: Taking taylor expansion of t in z
2.329 * [taylor]: Taking taylor expansion of z in z
2.346 * [taylor]: Taking taylor expansion of 0 in x
2.346 * [taylor]: Taking taylor expansion of 0 in z
2.346 * [taylor]: Taking taylor expansion of 0 in z
2.355 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (+ (log (neg z)) (log t)))) (pow z 2))) in z
2.355 * [taylor]: Taking taylor expansion of -1/9 in z
2.355 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log (neg z)) (log t)))) (pow z 2)) in z
2.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (neg z)) (log t)))) in z
2.355 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (neg z)) (log t))) in z
2.355 * [taylor]: Taking taylor expansion of 1/3 in z
2.355 * [taylor]: Taking taylor expansion of (+ (log (neg z)) (log t)) in z
2.355 * [taylor]: Taking taylor expansion of (log (neg z)) in z
2.355 * [taylor]: Taking taylor expansion of (neg z) in z
2.355 * [taylor]: Taking taylor expansion of z in z
2.356 * [taylor]: Taking taylor expansion of (log t) in z
2.356 * [taylor]: Taking taylor expansion of t in z
2.358 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.358 * [taylor]: Taking taylor expansion of z in z
2.376 * [approximate]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) t) 1/3) in (t x z) around 0
2.376 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) t) 1/3) in z
2.376 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t)))) in z
2.376 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t))) in z
2.376 * [taylor]: Taking taylor expansion of 1/3 in z
2.376 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) t)) in z
2.376 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in z
2.376 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
2.376 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.376 * [taylor]: Taking taylor expansion of x in z
2.376 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.376 * [taylor]: Taking taylor expansion of z in z
2.377 * [taylor]: Taking taylor expansion of t in z
2.379 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) t) 1/3) in x
2.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t)))) in x
2.379 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t))) in x
2.379 * [taylor]: Taking taylor expansion of 1/3 in x
2.379 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) t)) in x
2.379 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in x
2.379 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
2.379 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.379 * [taylor]: Taking taylor expansion of x in x
2.379 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.379 * [taylor]: Taking taylor expansion of z in x
2.379 * [taylor]: Taking taylor expansion of t in x
2.381 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) t) 1/3) in t
2.381 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t)))) in t
2.381 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t))) in t
2.381 * [taylor]: Taking taylor expansion of 1/3 in t
2.381 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) t)) in t
2.381 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in t
2.381 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
2.381 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.381 * [taylor]: Taking taylor expansion of x in t
2.381 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.382 * [taylor]: Taking taylor expansion of z in t
2.382 * [taylor]: Taking taylor expansion of t in t
2.387 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) t) 1/3) in t
2.387 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t)))) in t
2.387 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) t))) in t
2.387 * [taylor]: Taking taylor expansion of 1/3 in t
2.387 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) t)) in t
2.387 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in t
2.387 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
2.387 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.387 * [taylor]: Taking taylor expansion of x in t
2.388 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.388 * [taylor]: Taking taylor expansion of z in t
2.388 * [taylor]: Taking taylor expansion of t in t
2.393 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ 1 x) (/ 1 z))) (log t)))) in x
2.393 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ 1 x) (/ 1 z))) (log t))) in x
2.393 * [taylor]: Taking taylor expansion of 1/3 in x
2.393 * [taylor]: Taking taylor expansion of (- (log (- (/ 1 x) (/ 1 z))) (log t)) in x
2.393 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x
2.393 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
2.393 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.393 * [taylor]: Taking taylor expansion of x in x
2.393 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.393 * [taylor]: Taking taylor expansion of z in x
2.394 * [taylor]: Taking taylor expansion of (log t) in x
2.394 * [taylor]: Taking taylor expansion of t in x
2.396 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log t) (log x)))) in z
2.396 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log t) (log x))) in z
2.396 * [taylor]: Taking taylor expansion of -1/3 in z
2.396 * [taylor]: Taking taylor expansion of (+ (log t) (log x)) in z
2.396 * [taylor]: Taking taylor expansion of (log t) in z
2.396 * [taylor]: Taking taylor expansion of t in z
2.396 * [taylor]: Taking taylor expansion of (log x) in z
2.396 * [taylor]: Taking taylor expansion of x in z
2.405 * [taylor]: Taking taylor expansion of 0 in x
2.405 * [taylor]: Taking taylor expansion of 0 in z
2.413 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* -1/3 (+ (log t) (log x)))) z)) in z
2.413 * [taylor]: Taking taylor expansion of -1/3 in z
2.413 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (log t) (log x)))) z) in z
2.413 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log t) (log x)))) in z
2.413 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log t) (log x))) in z
2.413 * [taylor]: Taking taylor expansion of -1/3 in z
2.413 * [taylor]: Taking taylor expansion of (+ (log t) (log x)) in z
2.413 * [taylor]: Taking taylor expansion of (log t) in z
2.413 * [taylor]: Taking taylor expansion of t in z
2.413 * [taylor]: Taking taylor expansion of (log x) in z
2.414 * [taylor]: Taking taylor expansion of x in z
2.415 * [taylor]: Taking taylor expansion of z in z
2.434 * [taylor]: Taking taylor expansion of 0 in x
2.434 * [taylor]: Taking taylor expansion of 0 in z
2.434 * [taylor]: Taking taylor expansion of 0 in z
2.445 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* -1/3 (+ (log t) (log x)))) (pow z 2))) in z
2.445 * [taylor]: Taking taylor expansion of -1/9 in z
2.445 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (log t) (log x)))) (pow z 2)) in z
2.445 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log t) (log x)))) in z
2.445 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log t) (log x))) in z
2.445 * [taylor]: Taking taylor expansion of -1/3 in z
2.445 * [taylor]: Taking taylor expansion of (+ (log t) (log x)) in z
2.445 * [taylor]: Taking taylor expansion of (log t) in z
2.445 * [taylor]: Taking taylor expansion of t in z
2.445 * [taylor]: Taking taylor expansion of (log x) in z
2.445 * [taylor]: Taking taylor expansion of x in z
2.446 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.446 * [taylor]: Taking taylor expansion of z in z
2.462 * [approximate]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) (cbrt -1)) in (t x z) around 0
2.462 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) (cbrt -1)) in z
2.462 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) in z
2.462 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t)))) in z
2.462 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t))) in z
2.462 * [taylor]: Taking taylor expansion of 1/3 in z
2.462 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) t)) in z
2.462 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in z
2.462 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
2.462 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.462 * [taylor]: Taking taylor expansion of z in z
2.462 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.462 * [taylor]: Taking taylor expansion of x in z
2.462 * [taylor]: Taking taylor expansion of t in z
2.464 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.464 * [taylor]: Taking taylor expansion of -1 in z
2.464 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) (cbrt -1)) in x
2.464 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) in x
2.464 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t)))) in x
2.464 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t))) in x
2.464 * [taylor]: Taking taylor expansion of 1/3 in x
2.464 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) t)) in x
2.464 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in x
2.464 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
2.465 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.465 * [taylor]: Taking taylor expansion of z in x
2.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.465 * [taylor]: Taking taylor expansion of x in x
2.465 * [taylor]: Taking taylor expansion of t in x
2.467 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.467 * [taylor]: Taking taylor expansion of -1 in x
2.467 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) (cbrt -1)) in t
2.467 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) in t
2.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t)))) in t
2.467 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t))) in t
2.467 * [taylor]: Taking taylor expansion of 1/3 in t
2.467 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) t)) in t
2.467 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in t
2.467 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
2.467 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.467 * [taylor]: Taking taylor expansion of z in t
2.468 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.468 * [taylor]: Taking taylor expansion of x in t
2.468 * [taylor]: Taking taylor expansion of t in t
2.472 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.472 * [taylor]: Taking taylor expansion of -1 in t
2.472 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) (cbrt -1)) in t
2.472 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) t) 1/3) in t
2.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t)))) in t
2.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) t))) in t
2.472 * [taylor]: Taking taylor expansion of 1/3 in t
2.472 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) t)) in t
2.472 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in t
2.472 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
2.472 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.472 * [taylor]: Taking taylor expansion of z in t
2.472 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.472 * [taylor]: Taking taylor expansion of x in t
2.473 * [taylor]: Taking taylor expansion of t in t
2.476 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.476 * [taylor]: Taking taylor expansion of -1 in t
2.478 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (- (/ 1 z) (/ 1 x))) (log t))))) in x
2.478 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.478 * [taylor]: Taking taylor expansion of -1 in x
2.478 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ 1 z) (/ 1 x))) (log t)))) in x
2.478 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ 1 z) (/ 1 x))) (log t))) in x
2.478 * [taylor]: Taking taylor expansion of 1/3 in x
2.478 * [taylor]: Taking taylor expansion of (- (log (- (/ 1 z) (/ 1 x))) (log t)) in x
2.478 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x
2.478 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
2.478 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.478 * [taylor]: Taking taylor expansion of z in x
2.478 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.478 * [taylor]: Taking taylor expansion of x in x
2.479 * [taylor]: Taking taylor expansion of (log t) in x
2.479 * [taylor]: Taking taylor expansion of t in x
2.482 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) in z
2.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) in z
2.482 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (+ (log x) (log t)))) in z
2.482 * [taylor]: Taking taylor expansion of 1/3 in z
2.482 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log x) (log t))) in z
2.482 * [taylor]: Taking taylor expansion of (log -1) in z
2.482 * [taylor]: Taking taylor expansion of -1 in z
2.482 * [taylor]: Taking taylor expansion of (+ (log x) (log t)) in z
2.482 * [taylor]: Taking taylor expansion of (log x) in z
2.482 * [taylor]: Taking taylor expansion of x in z
2.483 * [taylor]: Taking taylor expansion of (log t) in z
2.483 * [taylor]: Taking taylor expansion of t in z
2.485 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.485 * [taylor]: Taking taylor expansion of -1 in z
2.497 * [taylor]: Taking taylor expansion of 0 in x
2.497 * [taylor]: Taking taylor expansion of 0 in z
2.505 * [taylor]: Taking taylor expansion of (neg (* 1/3 (/ (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) z))) in z
2.506 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) z)) in z
2.506 * [taylor]: Taking taylor expansion of 1/3 in z
2.506 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) z) in z
2.506 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) in z
2.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) in z
2.506 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (+ (log x) (log t)))) in z
2.506 * [taylor]: Taking taylor expansion of 1/3 in z
2.506 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log x) (log t))) in z
2.506 * [taylor]: Taking taylor expansion of (log -1) in z
2.506 * [taylor]: Taking taylor expansion of -1 in z
2.506 * [taylor]: Taking taylor expansion of (+ (log x) (log t)) in z
2.506 * [taylor]: Taking taylor expansion of (log x) in z
2.506 * [taylor]: Taking taylor expansion of x in z
2.506 * [taylor]: Taking taylor expansion of (log t) in z
2.506 * [taylor]: Taking taylor expansion of t in z
2.509 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.509 * [taylor]: Taking taylor expansion of -1 in z
2.509 * [taylor]: Taking taylor expansion of z in z
2.538 * [taylor]: Taking taylor expansion of 0 in x
2.538 * [taylor]: Taking taylor expansion of 0 in z
2.539 * [taylor]: Taking taylor expansion of 0 in z
2.552 * [taylor]: Taking taylor expansion of (neg (* 1/9 (/ (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) (pow z 2)))) in z
2.552 * [taylor]: Taking taylor expansion of (* 1/9 (/ (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) (pow z 2))) in z
2.552 * [taylor]: Taking taylor expansion of 1/9 in z
2.552 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) (pow z 2)) in z
2.552 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) (cbrt -1)) in z
2.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (+ (log x) (log t))))) in z
2.552 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (+ (log x) (log t)))) in z
2.552 * [taylor]: Taking taylor expansion of 1/3 in z
2.552 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log x) (log t))) in z
2.552 * [taylor]: Taking taylor expansion of (log -1) in z
2.552 * [taylor]: Taking taylor expansion of -1 in z
2.553 * [taylor]: Taking taylor expansion of (+ (log x) (log t)) in z
2.553 * [taylor]: Taking taylor expansion of (log x) in z
2.553 * [taylor]: Taking taylor expansion of x in z
2.553 * [taylor]: Taking taylor expansion of (log t) in z
2.553 * [taylor]: Taking taylor expansion of t in z
2.555 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.555 * [taylor]: Taking taylor expansion of -1 in z
2.556 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.556 * [taylor]: Taking taylor expansion of z in z
2.580 * * * * [progress]: [ 4 / 4 ] generating series at (2)
2.584 * [approximate]: Taking taylor expansion of (* t (* (- x z) y)) in (y t x z) around 0
2.584 * [taylor]: Taking taylor expansion of (* t (* (- x z) y)) in z
2.584 * [taylor]: Taking taylor expansion of t in z
2.584 * [taylor]: Taking taylor expansion of (* (- x z) y) in z
2.584 * [taylor]: Taking taylor expansion of (- x z) in z
2.584 * [taylor]: Taking taylor expansion of x in z
2.584 * [taylor]: Taking taylor expansion of z in z
2.584 * [taylor]: Taking taylor expansion of y in z
2.584 * [taylor]: Taking taylor expansion of (* t (* (- x z) y)) in x
2.584 * [taylor]: Taking taylor expansion of t in x
2.584 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
2.584 * [taylor]: Taking taylor expansion of (- x z) in x
2.584 * [taylor]: Taking taylor expansion of x in x
2.584 * [taylor]: Taking taylor expansion of z in x
2.584 * [taylor]: Taking taylor expansion of y in x
2.584 * [taylor]: Taking taylor expansion of (* t (* (- x z) y)) in t
2.584 * [taylor]: Taking taylor expansion of t in t
2.584 * [taylor]: Taking taylor expansion of (* (- x z) y) in t
2.584 * [taylor]: Taking taylor expansion of (- x z) in t
2.584 * [taylor]: Taking taylor expansion of x in t
2.584 * [taylor]: Taking taylor expansion of z in t
2.584 * [taylor]: Taking taylor expansion of y in t
2.584 * [taylor]: Taking taylor expansion of (* t (* (- x z) y)) in y
2.584 * [taylor]: Taking taylor expansion of t in y
2.584 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
2.584 * [taylor]: Taking taylor expansion of (- x z) in y
2.584 * [taylor]: Taking taylor expansion of x in y
2.584 * [taylor]: Taking taylor expansion of z in y
2.584 * [taylor]: Taking taylor expansion of y in y
2.585 * [taylor]: Taking taylor expansion of (* t (* (- x z) y)) in y
2.585 * [taylor]: Taking taylor expansion of t in y
2.585 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
2.585 * [taylor]: Taking taylor expansion of (- x z) in y
2.585 * [taylor]: Taking taylor expansion of x in y
2.585 * [taylor]: Taking taylor expansion of z in y
2.585 * [taylor]: Taking taylor expansion of y in y
2.586 * [taylor]: Taking taylor expansion of 0 in t
2.586 * [taylor]: Taking taylor expansion of 0 in x
2.586 * [taylor]: Taking taylor expansion of 0 in z
2.587 * [taylor]: Taking taylor expansion of (- (* t x) (* t z)) in t
2.587 * [taylor]: Taking taylor expansion of (* t x) in t
2.587 * [taylor]: Taking taylor expansion of t in t
2.587 * [taylor]: Taking taylor expansion of x in t
2.587 * [taylor]: Taking taylor expansion of (* t z) in t
2.587 * [taylor]: Taking taylor expansion of t in t
2.587 * [taylor]: Taking taylor expansion of z in t
2.588 * [taylor]: Taking taylor expansion of 0 in x
2.588 * [taylor]: Taking taylor expansion of 0 in z
2.588 * [taylor]: Taking taylor expansion of 0 in x
2.588 * [taylor]: Taking taylor expansion of 0 in z
2.588 * [taylor]: Taking taylor expansion of 0 in z
2.590 * [taylor]: Taking taylor expansion of 0 in t
2.590 * [taylor]: Taking taylor expansion of 0 in x
2.590 * [taylor]: Taking taylor expansion of 0 in z
2.595 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in (y t x z) around 0
2.595 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
2.595 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
2.595 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.595 * [taylor]: Taking taylor expansion of x in z
2.595 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.595 * [taylor]: Taking taylor expansion of z in z
2.596 * [taylor]: Taking taylor expansion of (* t y) in z
2.596 * [taylor]: Taking taylor expansion of t in z
2.596 * [taylor]: Taking taylor expansion of y in z
2.596 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
2.596 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
2.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.596 * [taylor]: Taking taylor expansion of x in x
2.597 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.597 * [taylor]: Taking taylor expansion of z in x
2.597 * [taylor]: Taking taylor expansion of (* t y) in x
2.597 * [taylor]: Taking taylor expansion of t in x
2.597 * [taylor]: Taking taylor expansion of y in x
2.597 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in t
2.597 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
2.597 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.597 * [taylor]: Taking taylor expansion of x in t
2.598 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.598 * [taylor]: Taking taylor expansion of z in t
2.598 * [taylor]: Taking taylor expansion of (* t y) in t
2.598 * [taylor]: Taking taylor expansion of t in t
2.598 * [taylor]: Taking taylor expansion of y in t
2.600 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
2.600 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
2.600 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.600 * [taylor]: Taking taylor expansion of x in y
2.600 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.600 * [taylor]: Taking taylor expansion of z in y
2.600 * [taylor]: Taking taylor expansion of (* t y) in y
2.600 * [taylor]: Taking taylor expansion of t in y
2.600 * [taylor]: Taking taylor expansion of y in y
2.602 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
2.602 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
2.602 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.602 * [taylor]: Taking taylor expansion of x in y
2.602 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.602 * [taylor]: Taking taylor expansion of z in y
2.603 * [taylor]: Taking taylor expansion of (* t y) in y
2.603 * [taylor]: Taking taylor expansion of t in y
2.603 * [taylor]: Taking taylor expansion of y in y
2.605 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in t
2.605 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
2.605 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.605 * [taylor]: Taking taylor expansion of x in t
2.605 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.605 * [taylor]: Taking taylor expansion of z in t
2.605 * [taylor]: Taking taylor expansion of t in t
2.606 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
2.606 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.606 * [taylor]: Taking taylor expansion of x in x
2.606 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.607 * [taylor]: Taking taylor expansion of z in x
2.607 * [taylor]: Taking taylor expansion of 1 in z
2.609 * [taylor]: Taking taylor expansion of 0 in t
2.612 * [taylor]: Taking taylor expansion of 0 in x
2.613 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
2.613 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.613 * [taylor]: Taking taylor expansion of z in z
2.616 * [taylor]: Taking taylor expansion of 0 in t
2.616 * [taylor]: Taking taylor expansion of 0 in x
2.619 * [taylor]: Taking taylor expansion of 0 in x
2.619 * [taylor]: Taking taylor expansion of 0 in z
2.621 * [taylor]: Taking taylor expansion of 0 in z
2.626 * [taylor]: Taking taylor expansion of 0 in t
2.626 * [taylor]: Taking taylor expansion of 0 in x
2.626 * [taylor]: Taking taylor expansion of 0 in x
2.629 * [taylor]: Taking taylor expansion of 0 in x
2.630 * [taylor]: Taking taylor expansion of 0 in z
2.630 * [taylor]: Taking taylor expansion of 0 in z
2.630 * [taylor]: Taking taylor expansion of 0 in z
2.631 * [taylor]: Taking taylor expansion of 0 in z
2.644 * [approximate]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in (y t x z) around 0
2.644 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in z
2.644 * [taylor]: Taking taylor expansion of -1 in z
2.644 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in z
2.644 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in z
2.644 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
2.644 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.644 * [taylor]: Taking taylor expansion of -1 in z
2.645 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
2.645 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.645 * [taylor]: Taking taylor expansion of z in z
2.645 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.645 * [taylor]: Taking taylor expansion of x in z
2.645 * [taylor]: Taking taylor expansion of (* t y) in z
2.645 * [taylor]: Taking taylor expansion of t in z
2.645 * [taylor]: Taking taylor expansion of y in z
2.647 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in x
2.647 * [taylor]: Taking taylor expansion of -1 in x
2.647 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in x
2.647 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in x
2.647 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
2.647 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.647 * [taylor]: Taking taylor expansion of -1 in x
2.647 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
2.647 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.647 * [taylor]: Taking taylor expansion of z in x
2.647 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.648 * [taylor]: Taking taylor expansion of x in x
2.648 * [taylor]: Taking taylor expansion of (* t y) in x
2.648 * [taylor]: Taking taylor expansion of t in x
2.648 * [taylor]: Taking taylor expansion of y in x
2.650 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in t
2.650 * [taylor]: Taking taylor expansion of -1 in t
2.650 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in t
2.650 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in t
2.650 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t
2.650 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.650 * [taylor]: Taking taylor expansion of -1 in t
2.650 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
2.650 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.650 * [taylor]: Taking taylor expansion of z in t
2.650 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.650 * [taylor]: Taking taylor expansion of x in t
2.651 * [taylor]: Taking taylor expansion of (* t y) in t
2.651 * [taylor]: Taking taylor expansion of t in t
2.651 * [taylor]: Taking taylor expansion of y in t
2.654 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in y
2.654 * [taylor]: Taking taylor expansion of -1 in y
2.654 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in y
2.654 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in y
2.654 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
2.654 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.654 * [taylor]: Taking taylor expansion of -1 in y
2.654 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
2.654 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.654 * [taylor]: Taking taylor expansion of z in y
2.655 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.655 * [taylor]: Taking taylor expansion of x in y
2.655 * [taylor]: Taking taylor expansion of (* t y) in y
2.655 * [taylor]: Taking taylor expansion of t in y
2.655 * [taylor]: Taking taylor expansion of y in y
2.658 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in y
2.658 * [taylor]: Taking taylor expansion of -1 in y
2.658 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in y
2.658 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in y
2.658 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
2.658 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.658 * [taylor]: Taking taylor expansion of -1 in y
2.659 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
2.659 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.659 * [taylor]: Taking taylor expansion of z in y
2.659 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.659 * [taylor]: Taking taylor expansion of x in y
2.659 * [taylor]: Taking taylor expansion of (* t y) in y
2.659 * [taylor]: Taking taylor expansion of t in y
2.659 * [taylor]: Taking taylor expansion of y in y
2.663 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) t)) in t
2.664 * [taylor]: Taking taylor expansion of -1 in t
2.664 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) t) in t
2.664 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in t
2.664 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t
2.664 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.664 * [taylor]: Taking taylor expansion of -1 in t
2.664 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
2.664 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.664 * [taylor]: Taking taylor expansion of z in t
2.664 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.664 * [taylor]: Taking taylor expansion of x in t
2.664 * [taylor]: Taking taylor expansion of t in t
2.668 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x)))) in x
2.668 * [taylor]: Taking taylor expansion of -1 in x
2.668 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in x
2.668 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
2.668 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.668 * [taylor]: Taking taylor expansion of -1 in x
2.668 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
2.668 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.668 * [taylor]: Taking taylor expansion of z in x
2.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.668 * [taylor]: Taking taylor expansion of x in x
2.670 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
2.670 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.670 * [taylor]: Taking taylor expansion of -1 in z
2.676 * [taylor]: Taking taylor expansion of 0 in t
2.681 * [taylor]: Taking taylor expansion of 0 in x
2.685 * [taylor]: Taking taylor expansion of (neg (/ (pow (cbrt -1) 3) z)) in z
2.685 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) z) in z
2.685 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
2.685 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.685 * [taylor]: Taking taylor expansion of -1 in z
2.686 * [taylor]: Taking taylor expansion of z in z
2.699 * [taylor]: Taking taylor expansion of 0 in t
2.699 * [taylor]: Taking taylor expansion of 0 in x
2.708 * [taylor]: Taking taylor expansion of 0 in x
2.708 * [taylor]: Taking taylor expansion of 0 in z
2.715 * [taylor]: Taking taylor expansion of 0 in z
2.730 * [taylor]: Taking taylor expansion of 0 in t
2.730 * [taylor]: Taking taylor expansion of 0 in x
2.731 * [taylor]: Taking taylor expansion of 0 in x
2.741 * [taylor]: Taking taylor expansion of 0 in x
2.742 * [taylor]: Taking taylor expansion of 0 in z
2.742 * [taylor]: Taking taylor expansion of 0 in z
2.742 * [taylor]: Taking taylor expansion of 0 in z
2.749 * [taylor]: Taking taylor expansion of 0 in z
2.762 * * * [progress]: simplifying candidates
2.763 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (log.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (cbrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))
  (cbrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 z z) (*.f64 x z))))
  (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))
  (cbrt.f64 (+.f64 x z))
  (cbrt.f64 t)
  (cbrt.f64 (-.f64 x z))
  (sqrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (sqrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (exp.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (log.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (cbrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))
  (cbrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 z z) (*.f64 x z))))
  (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))
  (cbrt.f64 (+.f64 x z))
  (cbrt.f64 t)
  (cbrt.f64 (-.f64 x z))
  (sqrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (sqrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (exp.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (log.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (cbrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))
  (cbrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 z z) (*.f64 x z))))
  (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))
  (cbrt.f64 (+.f64 x z))
  (cbrt.f64 t)
  (cbrt.f64 (-.f64 x z))
  (sqrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (sqrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (+.f64 (log.f64 y) (+.f64 (+.f64 (log.f64 (cbrt.f64 (*.f64 t (-.f64 x z)))) (log.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))) (log.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))))
  (+.f64 (log.f64 y) (+.f64 (log.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z))))) (log.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))))
  (+.f64 (log.f64 y) (log.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))))
  (exp.f64 (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))))
  (log.f64 (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))))
  (*.f64 (*.f64 (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))) (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z)))))) (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))))
  (*.f64 (cbrt.f64 (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z)))))) (cbrt.f64 (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z)))))))
  (cbrt.f64 (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))) (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z))))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z))))) (*.f64 t (-.f64 x z))))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 t (-.f64 x z)) (*.f64 t (-.f64 x z))) (*.f64 t (-.f64 x z))))
  (sqrt.f64 (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))))
  (sqrt.f64 (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))) (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))) (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))) (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))) (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))) (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))) (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))))
  (*.f64 (cbrt.f64 y) (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (*.f64 (sqrt.f64 y) (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (exp.f64 (*.f64 1/3 (+.f64 (log.f64 t) (+.f64 (log.f64 z) (log.f64 -1)))))
  (exp.f64 (*.f64 -1/3 (+.f64 (log.f64 (/.f64 1 t)) (log.f64 (/.f64 1 x)))))
  (*.f64 (exp.f64 (*.f64 1/3 (-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 t)) (log.f64 (/.f64 -1 x)))))) (cbrt.f64 -1))
  (exp.f64 (*.f64 1/3 (+.f64 (log.f64 t) (+.f64 (log.f64 z) (log.f64 -1)))))
  (exp.f64 (*.f64 -1/3 (+.f64 (log.f64 (/.f64 1 t)) (log.f64 (/.f64 1 x)))))
  (*.f64 (exp.f64 (*.f64 1/3 (-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 t)) (log.f64 (/.f64 -1 x)))))) (cbrt.f64 -1))
  (exp.f64 (*.f64 1/3 (+.f64 (log.f64 t) (+.f64 (log.f64 z) (log.f64 -1)))))
  (exp.f64 (*.f64 -1/3 (+.f64 (log.f64 (/.f64 1 t)) (log.f64 (/.f64 1 x)))))
  (*.f64 (exp.f64 (*.f64 1/3 (-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 t)) (log.f64 (/.f64 -1 x)))))) (cbrt.f64 -1))
  0
  (-.f64 (*.f64 t (*.f64 x y)) (*.f64 t (*.f64 z y)))
  (-.f64 (*.f64 t (*.f64 y (*.f64 z (pow.f64 (cbrt.f64 -1) 3)))) (*.f64 t (*.f64 x (*.f64 (pow.f64 (cbrt.f64 -1) 3) y))))
2.802 * * [simplify]: iteration  0 :  6022  enodes  (cost  1949 )
2.812 * [simplify]: Simplified to:
   (exp.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (log.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (*.f64 t (-.f64 x z))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (cbrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))
  (cbrt.f64 (+.f64 (*.f64 x x) (*.f64 z (+.f64 x z))))
  (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))
  (cbrt.f64 (+.f64 x z))
  (cbrt.f64 t)
  (cbrt.f64 (-.f64 x z))
  (sqrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (sqrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (exp.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (log.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (*.f64 t (-.f64 x z))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (cbrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))
  (cbrt.f64 (+.f64 (*.f64 x x) (*.f64 z (+.f64 x z))))
  (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))
  (cbrt.f64 (+.f64 x z))
  (cbrt.f64 t)
  (cbrt.f64 (-.f64 x z))
  (sqrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (sqrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (exp.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (log.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (*.f64 t (-.f64 x z))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z)))))
  (cbrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))))
  (cbrt.f64 (+.f64 (*.f64 x x) (*.f64 z (+.f64 x z))))
  (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))))
  (cbrt.f64 (+.f64 x z))
  (cbrt.f64 t)
  (cbrt.f64 (-.f64 x z))
  (sqrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (sqrt.f64 (cbrt.f64 (*.f64 t (-.f64 x z))))
  (*.f64 (*.f64 t (-.f64 x z)) y)
  (*.f64 (*.f64 t (-.f64 x z)) y)
  (*.f64 (*.f64 t (-.f64 x z)) y)
  (log.f64 (*.f64 (*.f64 t (-.f64 x z)) y))
  (log.f64 (*.f64 (*.f64 t (-.f64 x z)) y))
  (log.f64 (*.f64 (*.f64 t (-.f64 x z)) y))
  (exp.f64 (*.f64 (*.f64 t (-.f64 x z)) y))
  (log.f64 (*.f64 (*.f64 t (-.f64 x z)) y))
  (pow.f64 (*.f64 (*.f64 t (-.f64 x z)) y) 3)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 t (-.f64 x z)) y)) (cbrt.f64 (*.f64 (*.f64 t (-.f64 x z)) y)))
  (cbrt.f64 (*.f64 (*.f64 t (-.f64 x z)) y))
  (pow.f64 (*.f64 (*.f64 t (-.f64 x z)) y) 3)
  (pow.f64 (*.f64 (*.f64 t (-.f64 x z)) y) 3)
  (pow.f64 (*.f64 (*.f64 t (-.f64 x z)) y) 3)
  (sqrt.f64 (*.f64 (*.f64 t (-.f64 x z)) y))
  (sqrt.f64 (*.f64 (*.f64 t (-.f64 x z)) y))
  (*.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))) y)
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))))))
  (*.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))) y)
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3)))))))
  (*.f64 y (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z)))))))
  (*.f64 (*.f64 t (-.f64 x z)) (cbrt.f64 y))
  (*.f64 (*.f64 t (-.f64 x z)) (sqrt.f64 y))
  (*.f64 (*.f64 t (-.f64 x z)) y)
  (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) y)
  (cbrt.f64 (*.f64 t (neg.f64 z)))
  (*.f64 (cbrt.f64 t) (pow.f64 x 1/3))
  (*.f64 (cbrt.f64 (/.f64 t (/.f64 -1 x))) (cbrt.f64 -1))
  (cbrt.f64 (*.f64 t (neg.f64 z)))
  (*.f64 (cbrt.f64 t) (pow.f64 x 1/3))
  (*.f64 (cbrt.f64 (/.f64 t (/.f64 -1 x))) (cbrt.f64 -1))
  (cbrt.f64 (*.f64 t (neg.f64 z)))
  (*.f64 (cbrt.f64 t) (pow.f64 x 1/3))
  (*.f64 (cbrt.f64 (/.f64 t (/.f64 -1 x))) (cbrt.f64 -1))
  0
  (*.f64 (*.f64 t (-.f64 x z)) y)
  (*.f64 (*.f64 t (-.f64 x z)) y)
2.812 * * * [progress]: adding candidates to table
2.877 * [progress]: [Phase 3 of 3] Extracting.
2.877 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (*.f64 y (cbrt.f64 (pow.f64 (*.f64 t (-.f64 x z)) 3))))> #<alt (λ (x y z t) (*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t))> #<alt (λ (x y z t) (/.f64 (*.f64 (*.f64 y t) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (+.f64 (*.f64 x x) (+.f64 (*.f64 z z) (*.f64 x z)))))> #<alt (λ (x y z t) (*.f64 (*.f64 y t) (-.f64 x z)))> #<alt (λ (x y z t) (/.f64 (*.f64 (*.f64 y t) (-.f64 (*.f64 x x) (*.f64 z z))) (+.f64 x z)))> #<alt (λ (x y z t) (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))))> #<alt (λ (x y z t) (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z)))))> #<alt (λ (x y z t) (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))))> #<alt (λ (x y z t) (*.f64 (*.f64 (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))))>)
2.880 * * * [regime-changes]: Trying 6 branch expressions: ((-.f64 (*.f64 x y) (*.f64 z y)) (*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t) t z y x)
2.880 * * * * [regimes]: Trying to branch on (-.f64 (*.f64 x y) (*.f64 z y)) from (#<alt (λ (x y z t) (*.f64 y (cbrt.f64 (pow.f64 (*.f64 t (-.f64 x z)) 3))))> #<alt (λ (x y z t) (*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t))> #<alt (λ (x y z t) (/.f64 (*.f64 (*.f64 y t) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (+.f64 (*.f64 x x) (+.f64 (*.f64 z z) (*.f64 x z)))))> #<alt (λ (x y z t) (*.f64 (*.f64 y t) (-.f64 x z)))> #<alt (λ (x y z t) (/.f64 (*.f64 (*.f64 y t) (-.f64 (*.f64 x x) (*.f64 z z))) (+.f64 x z)))> #<alt (λ (x y z t) (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))))> #<alt (λ (x y z t) (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z)))))> #<alt (λ (x y z t) (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))))> #<alt (λ (x y z t) (*.f64 (*.f64 (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))))>)
2.923 * * * * [regimes]: Trying to branch on (*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t) from (#<alt (λ (x y z t) (*.f64 y (cbrt.f64 (pow.f64 (*.f64 t (-.f64 x z)) 3))))> #<alt (λ (x y z t) (*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t))> #<alt (λ (x y z t) (/.f64 (*.f64 (*.f64 y t) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (+.f64 (*.f64 x x) (+.f64 (*.f64 z z) (*.f64 x z)))))> #<alt (λ (x y z t) (*.f64 (*.f64 y t) (-.f64 x z)))> #<alt (λ (x y z t) (/.f64 (*.f64 (*.f64 y t) (-.f64 (*.f64 x x) (*.f64 z z))) (+.f64 x z)))> #<alt (λ (x y z t) (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))))> #<alt (λ (x y z t) (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z)))))> #<alt (λ (x y z t) (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))))> #<alt (λ (x y z t) (*.f64 (*.f64 (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))))>)
2.958 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (*.f64 y (cbrt.f64 (pow.f64 (*.f64 t (-.f64 x z)) 3))))> #<alt (λ (x y z t) (*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t))> #<alt (λ (x y z t) (/.f64 (*.f64 (*.f64 y t) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (+.f64 (*.f64 x x) (+.f64 (*.f64 z z) (*.f64 x z)))))> #<alt (λ (x y z t) (*.f64 (*.f64 y t) (-.f64 x z)))> #<alt (λ (x y z t) (/.f64 (*.f64 (*.f64 y t) (-.f64 (*.f64 x x) (*.f64 z z))) (+.f64 x z)))> #<alt (λ (x y z t) (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))))> #<alt (λ (x y z t) (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z)))))> #<alt (λ (x y z t) (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))))> #<alt (λ (x y z t) (*.f64 (*.f64 (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))))>)
2.991 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (*.f64 y (cbrt.f64 (pow.f64 (*.f64 t (-.f64 x z)) 3))))> #<alt (λ (x y z t) (*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t))> #<alt (λ (x y z t) (/.f64 (*.f64 (*.f64 y t) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (+.f64 (*.f64 x x) (+.f64 (*.f64 z z) (*.f64 x z)))))> #<alt (λ (x y z t) (*.f64 (*.f64 y t) (-.f64 x z)))> #<alt (λ (x y z t) (/.f64 (*.f64 (*.f64 y t) (-.f64 (*.f64 x x) (*.f64 z z))) (+.f64 x z)))> #<alt (λ (x y z t) (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))))> #<alt (λ (x y z t) (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z)))))> #<alt (λ (x y z t) (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))))> #<alt (λ (x y z t) (*.f64 (*.f64 (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))))>)
3.007 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (*.f64 y (cbrt.f64 (pow.f64 (*.f64 t (-.f64 x z)) 3))))> #<alt (λ (x y z t) (*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t))> #<alt (λ (x y z t) (/.f64 (*.f64 (*.f64 y t) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (+.f64 (*.f64 x x) (+.f64 (*.f64 z z) (*.f64 x z)))))> #<alt (λ (x y z t) (*.f64 (*.f64 y t) (-.f64 x z)))> #<alt (λ (x y z t) (/.f64 (*.f64 (*.f64 y t) (-.f64 (*.f64 x x) (*.f64 z z))) (+.f64 x z)))> #<alt (λ (x y z t) (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))))> #<alt (λ (x y z t) (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z)))))> #<alt (λ (x y z t) (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))))> #<alt (λ (x y z t) (*.f64 (*.f64 (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))))>)
3.038 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (*.f64 y (cbrt.f64 (pow.f64 (*.f64 t (-.f64 x z)) 3))))> #<alt (λ (x y z t) (*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t))> #<alt (λ (x y z t) (/.f64 (*.f64 (*.f64 y t) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (+.f64 (*.f64 x x) (+.f64 (*.f64 z z) (*.f64 x z)))))> #<alt (λ (x y z t) (*.f64 (*.f64 y t) (-.f64 x z)))> #<alt (λ (x y z t) (/.f64 (*.f64 (*.f64 y t) (-.f64 (*.f64 x x) (*.f64 z z))) (+.f64 x z)))> #<alt (λ (x y z t) (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))))> #<alt (λ (x y z t) (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z)))))> #<alt (λ (x y z t) (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))))> #<alt (λ (x y z t) (*.f64 (*.f64 (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))))>)
3.070 * * * [regime]: Found split indices: #<option (#s(si 3 14) #s(si 1 102) #s(si 6 139) #s(si 1 229) #s(si 3 255))>
3.071 * [binary-search]: Only using regimes for bounds on (-.f64 (*.f64 x y) (*.f64 z y)) and (#<alt (λ (x y z t) (*.f64 y (cbrt.f64 (pow.f64 (*.f64 t (-.f64 x z)) 3))))> #<alt (λ (x y z t) (*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t))> #<alt (λ (x y z t) (/.f64 (*.f64 (*.f64 y t) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (+.f64 (*.f64 x x) (+.f64 (*.f64 z z) (*.f64 x z)))))> #<alt (λ (x y z t) (*.f64 (*.f64 y t) (-.f64 x z)))> #<alt (λ (x y z t) (/.f64 (*.f64 (*.f64 y t) (-.f64 (*.f64 x x) (*.f64 z z))) (+.f64 x z)))> #<alt (λ (x y z t) (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))))> #<alt (λ (x y z t) (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z)))))> #<alt (λ (x y z t) (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))))> #<alt (λ (x y z t) (*.f64 (*.f64 (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))))>)
3.071 * [regimes]: Found splitpoints: (#s(sp 3 (-.f64 (*.f64 x y) (*.f64 z y)) -inf.0) #s(sp 1 (-.f64 (*.f64 x y) (*.f64 z y)) -2.528554632800738e-156) #s(sp 6 (-.f64 (*.f64 x y) (*.f64 z y)) 1.742997195573958e-261) #s(sp 1 (-.f64 (*.f64 x y) (*.f64 z y)) 2.0277330427960423e+192) #s(sp 3 (-.f64 (*.f64 x y) (*.f64 z y)) +nan.0)) , with alts (#<alt (λ (x y z t) (*.f64 y (cbrt.f64 (pow.f64 (*.f64 t (-.f64 x z)) 3))))> #<alt (λ (x y z t) (*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t))> #<alt (λ (x y z t) (/.f64 (*.f64 (*.f64 y t) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (+.f64 (*.f64 x x) (+.f64 (*.f64 z z) (*.f64 x z)))))> #<alt (λ (x y z t) (*.f64 (*.f64 y t) (-.f64 x z)))> #<alt (λ (x y z t) (/.f64 (*.f64 (*.f64 y t) (-.f64 (*.f64 x x) (*.f64 z z))) (+.f64 x z)))> #<alt (λ (x y z t) (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))) (cbrt.f64 (*.f64 (*.f64 y t) (-.f64 x z)))))> #<alt (λ (x y z t) (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z)))))> #<alt (λ (x y z t) (*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 t (-.f64 x z))) (cbrt.f64 (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 t (-.f64 x z))))))> #<alt (λ (x y z t) (*.f64 (*.f64 (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z)))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))) (cbrt.f64 (*.f64 y (*.f64 t (-.f64 x z))))))>)
3.072 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<=.f64 (-.f64 (*.f64 x y) (*.f64 z y)) -inf.0) (*.f64 (*.f64 y t) (-.f64 x z)) (if (<=.f64 (-.f64 (*.f64 x y) (*.f64 z y)) -4885847128728789/1932268761508629172347675945465993672149463664853217499328617625725759571144780212268096883290961288981231808015751088588682539330521493827871454336733540374348490407411712) (*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t) (if (<=.f64 (-.f64 (*.f64 x y) (*.f64 z y)) 7724363509559133/4431655730240890570873208338468970537576854829965217289494788227426828912378562609985972388077248187630768787235596695692701891796424703919264169279046042638370307804487526041098494559032612254828927504367683640736543383320802092814913686932172352322971955256027412154745356288) (+.f64 (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t (neg.f64 z)))) (if (<=.f64 (-.f64 (*.f64 x y) (*.f64 z y)) 2027733042796042337099806491372276537628175662090910083845098957954092336694544690524372455325357185473943046773388388368943749984015762299780664213458459264060461086678199839332251981729234944) (*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t) (*.f64 (*.f64 y t) (-.f64 x z))))))
3.074 * * [simplify]: iteration  0 :  95  enodes  (cost  122 )
3.074 * * [simplify]: iteration  1 :  95  enodes  (cost  122 )
3.075 * [simplify]: Simplified to:
   (if (<=.f64 (-.f64 (*.f64 x y) (*.f64 y z)) -inf.0) (*.f64 (*.f64 y t) (-.f64 x z)) (if (<=.f64 (-.f64 (*.f64 x y) (*.f64 y z)) -4885847128728789/1932268761508629172347675945465993672149463664853217499328617625725759571144780212268096883290961288981231808015751088588682539330521493827871454336733540374348490407411712) (*.f64 (-.f64 (*.f64 x y) (*.f64 y z)) t) (if (<=.f64 (-.f64 (*.f64 x y) (*.f64 y z)) 7724363509559133/4431655730240890570873208338468970537576854829965217289494788227426828912378562609985972388077248187630768787235596695692701891796424703919264169279046042638370307804487526041098494559032612254828927504367683640736543383320802092814913686932172352322971955256027412154745356288) (-.f64 (*.f64 y (*.f64 x t)) (*.f64 y (*.f64 z t))) (if (<=.f64 (-.f64 (*.f64 x y) (*.f64 y z)) 2027733042796042337099806491372276537628175662090910083845098957954092336694544690524372455325357185473943046773388388368943749984015762299780664213458459264060461086678199839332251981729234944) (*.f64 (-.f64 (*.f64 x y) (*.f64 y z)) t) (*.f64 (*.f64 y t) (-.f64 x z))))))
3.786 * [regime-testing]: End program error score: 0.5849876640771391
3.813 * [regime-testing]: Target error score: 3.1696227133579264