13.409 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.837 * * * [progress]: [2/2] Setting up program.
0.838 * [progress]: [Phase 2 of 3] Improving.
0.840 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
0.893 * * [simplify]: iteration  0 :  734  enodes  (cost  13 )
0.893 * * [simplify]: iteration  1 :  734  enodes  (cost  13 )
0.894 * [simplify]: Simplified to:
   (+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
0.895 * * [progress]: iteration 1 / 4
0.895 * * * [progress]: picking best candidate
0.896 * * * * [pick]: Picked  #<alt (λ (x y z t) (+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t))>
0.896 * * * [progress]: localizing error
0.903 * * * [progress]: generating rewritten candidates
0.903 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
0.921 * * * [progress]: generating series expansions
0.921 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
0.921 * [approximate]: Taking taylor expansion of (/ (* (- z t) x) y) in (x y z t) around 0
0.922 * [taylor]: Taking taylor expansion of (/ (* (- z t) x) y) in t
0.922 * [taylor]: Taking taylor expansion of (* (- z t) x) in t
0.922 * [taylor]: Taking taylor expansion of (- z t) in t
0.922 * [taylor]: Taking taylor expansion of z in t
0.922 * [taylor]: Taking taylor expansion of t in t
0.922 * [taylor]: Taking taylor expansion of x in t
0.922 * [taylor]: Taking taylor expansion of y in t
0.922 * [taylor]: Taking taylor expansion of (/ (* (- z t) x) y) in z
0.922 * [taylor]: Taking taylor expansion of (* (- z t) x) in z
0.922 * [taylor]: Taking taylor expansion of (- z t) in z
0.922 * [taylor]: Taking taylor expansion of z in z
0.922 * [taylor]: Taking taylor expansion of t in z
0.923 * [taylor]: Taking taylor expansion of x in z
0.923 * [taylor]: Taking taylor expansion of y in z
0.924 * [taylor]: Taking taylor expansion of (/ (* (- z t) x) y) in y
0.924 * [taylor]: Taking taylor expansion of (* (- z t) x) in y
0.924 * [taylor]: Taking taylor expansion of (- z t) in y
0.924 * [taylor]: Taking taylor expansion of z in y
0.924 * [taylor]: Taking taylor expansion of t in y
0.924 * [taylor]: Taking taylor expansion of x in y
0.924 * [taylor]: Taking taylor expansion of y in y
0.926 * [taylor]: Taking taylor expansion of (/ (* (- z t) x) y) in x
0.926 * [taylor]: Taking taylor expansion of (* (- z t) x) in x
0.926 * [taylor]: Taking taylor expansion of (- z t) in x
0.926 * [taylor]: Taking taylor expansion of z in x
0.926 * [taylor]: Taking taylor expansion of t in x
0.926 * [taylor]: Taking taylor expansion of x in x
0.926 * [taylor]: Taking taylor expansion of y in x
0.928 * [taylor]: Taking taylor expansion of (/ (* (- z t) x) y) in x
0.928 * [taylor]: Taking taylor expansion of (* (- z t) x) in x
0.928 * [taylor]: Taking taylor expansion of (- z t) in x
0.928 * [taylor]: Taking taylor expansion of z in x
0.928 * [taylor]: Taking taylor expansion of t in x
0.928 * [taylor]: Taking taylor expansion of x in x
0.928 * [taylor]: Taking taylor expansion of y in x
0.930 * [taylor]: Taking taylor expansion of (/ (- z t) y) in y
0.930 * [taylor]: Taking taylor expansion of (- z t) in y
0.930 * [taylor]: Taking taylor expansion of z in y
0.930 * [taylor]: Taking taylor expansion of t in y
0.930 * [taylor]: Taking taylor expansion of y in y
0.931 * [taylor]: Taking taylor expansion of (- z t) in z
0.931 * [taylor]: Taking taylor expansion of z in z
0.931 * [taylor]: Taking taylor expansion of t in z
0.932 * [taylor]: Taking taylor expansion of (neg t) in t
0.932 * [taylor]: Taking taylor expansion of t in t
0.934 * [taylor]: Taking taylor expansion of 0 in y
0.934 * [taylor]: Taking taylor expansion of 0 in z
0.935 * [taylor]: Taking taylor expansion of 0 in t
0.935 * [taylor]: Taking taylor expansion of 1 in t
0.937 * [taylor]: Taking taylor expansion of 0 in y
0.937 * [taylor]: Taking taylor expansion of 0 in z
0.937 * [taylor]: Taking taylor expansion of 0 in t
0.938 * [taylor]: Taking taylor expansion of 0 in z
0.938 * [taylor]: Taking taylor expansion of 0 in t
0.938 * [taylor]: Taking taylor expansion of 0 in t
0.939 * [taylor]: Taking taylor expansion of 0 in t
0.942 * [approximate]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in (x y z t) around 0
0.942 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in t
0.942 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in t
0.942 * [taylor]: Taking taylor expansion of y in t
0.942 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
0.942 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.942 * [taylor]: Taking taylor expansion of z in t
0.942 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.942 * [taylor]: Taking taylor expansion of t in t
0.943 * [taylor]: Taking taylor expansion of x in t
0.944 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in z
0.944 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in z
0.944 * [taylor]: Taking taylor expansion of y in z
0.944 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
0.944 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.944 * [taylor]: Taking taylor expansion of z in z
0.944 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.944 * [taylor]: Taking taylor expansion of t in z
0.944 * [taylor]: Taking taylor expansion of x in z
0.944 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in y
0.944 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in y
0.944 * [taylor]: Taking taylor expansion of y in y
0.944 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
0.944 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.944 * [taylor]: Taking taylor expansion of z in y
0.945 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.945 * [taylor]: Taking taylor expansion of t in y
0.945 * [taylor]: Taking taylor expansion of x in y
0.949 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x
0.949 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x
0.949 * [taylor]: Taking taylor expansion of y in x
0.950 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
0.950 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.950 * [taylor]: Taking taylor expansion of z in x
0.950 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.950 * [taylor]: Taking taylor expansion of t in x
0.950 * [taylor]: Taking taylor expansion of x in x
0.952 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x
0.952 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x
0.952 * [taylor]: Taking taylor expansion of y in x
0.952 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
0.952 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.952 * [taylor]: Taking taylor expansion of z in x
0.952 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.952 * [taylor]: Taking taylor expansion of t in x
0.953 * [taylor]: Taking taylor expansion of x in x
0.955 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y
0.955 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
0.955 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.955 * [taylor]: Taking taylor expansion of z in y
0.955 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.955 * [taylor]: Taking taylor expansion of t in y
0.955 * [taylor]: Taking taylor expansion of y in y
0.959 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
0.959 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.959 * [taylor]: Taking taylor expansion of z in z
0.959 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.959 * [taylor]: Taking taylor expansion of t in z
0.959 * [taylor]: Taking taylor expansion of 1 in t
0.963 * [taylor]: Taking taylor expansion of 0 in y
0.963 * [taylor]: Taking taylor expansion of 0 in z
0.966 * [taylor]: Taking taylor expansion of 0 in z
0.968 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
0.968 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.968 * [taylor]: Taking taylor expansion of t in t
0.973 * [taylor]: Taking taylor expansion of 0 in y
0.973 * [taylor]: Taking taylor expansion of 0 in z
0.973 * [taylor]: Taking taylor expansion of 0 in z
0.977 * [taylor]: Taking taylor expansion of 0 in z
0.977 * [taylor]: Taking taylor expansion of 0 in t
0.977 * [taylor]: Taking taylor expansion of 0 in t
0.979 * [taylor]: Taking taylor expansion of 0 in t
0.986 * [taylor]: Taking taylor expansion of 0 in y
0.986 * [taylor]: Taking taylor expansion of 0 in z
0.986 * [taylor]: Taking taylor expansion of 0 in z
0.986 * [taylor]: Taking taylor expansion of 0 in z
0.991 * [taylor]: Taking taylor expansion of 0 in z
0.991 * [taylor]: Taking taylor expansion of 0 in t
0.991 * [taylor]: Taking taylor expansion of 0 in t
0.991 * [taylor]: Taking taylor expansion of 0 in t
0.991 * [taylor]: Taking taylor expansion of 0 in t
0.991 * [taylor]: Taking taylor expansion of 0 in t
0.993 * [taylor]: Taking taylor expansion of 0 in t
1.000 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in (x y z t) around 0
1.000 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in t
1.000 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t
1.000 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.000 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.000 * [taylor]: Taking taylor expansion of t in t
1.000 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.000 * [taylor]: Taking taylor expansion of z in t
1.000 * [taylor]: Taking taylor expansion of y in t
1.000 * [taylor]: Taking taylor expansion of x in t
1.001 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in z
1.001 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z
1.001 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.001 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.001 * [taylor]: Taking taylor expansion of t in z
1.001 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.001 * [taylor]: Taking taylor expansion of z in z
1.001 * [taylor]: Taking taylor expansion of y in z
1.001 * [taylor]: Taking taylor expansion of x in z
1.002 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y
1.002 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
1.002 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.002 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.002 * [taylor]: Taking taylor expansion of t in y
1.002 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.002 * [taylor]: Taking taylor expansion of z in y
1.002 * [taylor]: Taking taylor expansion of y in y
1.002 * [taylor]: Taking taylor expansion of x in y
1.006 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
1.006 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
1.006 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.006 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.006 * [taylor]: Taking taylor expansion of t in x
1.007 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.007 * [taylor]: Taking taylor expansion of z in x
1.007 * [taylor]: Taking taylor expansion of y in x
1.007 * [taylor]: Taking taylor expansion of x in x
1.009 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
1.009 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
1.009 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.009 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.009 * [taylor]: Taking taylor expansion of t in x
1.009 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.009 * [taylor]: Taking taylor expansion of z in x
1.009 * [taylor]: Taking taylor expansion of y in x
1.009 * [taylor]: Taking taylor expansion of x in x
1.012 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
1.012 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.012 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.012 * [taylor]: Taking taylor expansion of t in y
1.012 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.012 * [taylor]: Taking taylor expansion of z in y
1.012 * [taylor]: Taking taylor expansion of y in y
1.015 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.015 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.015 * [taylor]: Taking taylor expansion of t in z
1.015 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.015 * [taylor]: Taking taylor expansion of z in z
1.016 * [taylor]: Taking taylor expansion of -1 in t
1.019 * [taylor]: Taking taylor expansion of 0 in y
1.019 * [taylor]: Taking taylor expansion of 0 in z
1.021 * [taylor]: Taking taylor expansion of 0 in z
1.022 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.022 * [taylor]: Taking taylor expansion of t in t
1.026 * [taylor]: Taking taylor expansion of 0 in y
1.026 * [taylor]: Taking taylor expansion of 0 in z
1.026 * [taylor]: Taking taylor expansion of 0 in z
1.029 * [taylor]: Taking taylor expansion of 0 in z
1.029 * [taylor]: Taking taylor expansion of 0 in t
1.029 * [taylor]: Taking taylor expansion of 0 in t
1.030 * [taylor]: Taking taylor expansion of 0 in t
1.035 * [taylor]: Taking taylor expansion of 0 in y
1.035 * [taylor]: Taking taylor expansion of 0 in z
1.035 * [taylor]: Taking taylor expansion of 0 in z
1.035 * [taylor]: Taking taylor expansion of 0 in z
1.039 * [taylor]: Taking taylor expansion of 0 in z
1.039 * [taylor]: Taking taylor expansion of 0 in t
1.039 * [taylor]: Taking taylor expansion of 0 in t
1.039 * [taylor]: Taking taylor expansion of 0 in t
1.039 * [taylor]: Taking taylor expansion of 0 in t
1.039 * [taylor]: Taking taylor expansion of 0 in t
1.041 * [taylor]: Taking taylor expansion of 0 in t
1.046 * * * [progress]: simplifying candidates
1.047 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (/.f64 x y) (-.f64 z t))
  (+.f64 (-.f64 (log.f64 x) (log.f64 y)) (log.f64 (-.f64 z t)))
  (+.f64 (log.f64 (/.f64 x y)) (log.f64 (-.f64 z t)))
  (exp.f64 (*.f64 (/.f64 x y) (-.f64 z t)))
  (log.f64 (*.f64 (/.f64 x y) (-.f64 z t)))
  (*.f64 (*.f64 (*.f64 (/.f64 x y) (-.f64 z t)) (*.f64 (/.f64 x y) (-.f64 z t))) (*.f64 (/.f64 x y) (-.f64 z t)))
  (*.f64 (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))))
  (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t)))
  (*.f64 (*.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (/.f64 x y)) (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)))
  (*.f64 (/.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 y y) y)) (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)))
  (sqrt.f64 (*.f64 (/.f64 x y) (-.f64 z t)))
  (sqrt.f64 (*.f64 (/.f64 x y) (-.f64 z t)))
  (*.f64 x (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
  (*.f64 y (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t))))
  (*.f64 x (-.f64 (*.f64 z z) (*.f64 t t)))
  (*.f64 y (+.f64 z t))
  (*.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 (-.f64 z t)))
  (*.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 (-.f64 z t)))
  (*.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y)) (sqrt.f64 (-.f64 z t)))
  (*.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y)) (sqrt.f64 (-.f64 z t)))
  (*.f64 z (/.f64 x y))
  (*.f64 (neg.f64 t) (/.f64 x y))
  (*.f64 (/.f64 x y) z)
  (*.f64 (/.f64 x y) (neg.f64 t))
  (*.f64 x (-.f64 z t))
  (*.f64 (/.f64 x y) (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
  (*.f64 (/.f64 x y) (-.f64 (*.f64 z z) (*.f64 t t)))
  (*.f64 (cbrt.f64 (/.f64 x y)) (-.f64 z t))
  (*.f64 (sqrt.f64 (/.f64 x y)) (-.f64 z t))
  (*.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)) (-.f64 z t))
  (*.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 y)) (-.f64 z t))
  (*.f64 (/.f64 (cbrt.f64 x) y) (-.f64 z t))
  (*.f64 (/.f64 (sqrt.f64 x) (cbrt.f64 y)) (-.f64 z t))
  (*.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y)) (-.f64 z t))
  (*.f64 (/.f64 (sqrt.f64 x) y) (-.f64 z t))
  (*.f64 (/.f64 x (cbrt.f64 y)) (-.f64 z t))
  (*.f64 (/.f64 x (sqrt.f64 y)) (-.f64 z t))
  (*.f64 (/.f64 x y) (-.f64 z t))
  (*.f64 (/.f64 x y) (-.f64 z t))
  (*.f64 (/.f64 1 y) (-.f64 z t))
  (*.f64 (/.f64 x y) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (*.f64 (/.f64 x y) (sqrt.f64 (-.f64 z t)))
  (*.f64 (/.f64 x y) 1)
  (*.f64 (/.f64 x y) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (*.f64 (/.f64 x y) 1)
  (-.f64 (/.f64 (*.f64 x z) y) (/.f64 (*.f64 t x) y))
  (-.f64 (/.f64 (*.f64 x z) y) (/.f64 (*.f64 t x) y))
  (-.f64 (/.f64 (*.f64 x z) y) (/.f64 (*.f64 t x) y))
1.096 * * [simplify]: iteration  0 :  5059  enodes  (cost  578 )
1.100 * [simplify]: Simplified to:
   (*.f64 (/.f64 x y) (-.f64 z t))
  (log.f64 (*.f64 (/.f64 x y) (-.f64 z t)))
  (log.f64 (*.f64 (/.f64 x y) (-.f64 z t)))
  (exp.f64 (*.f64 (/.f64 x y) (-.f64 z t)))
  (log.f64 (*.f64 (/.f64 x y) (-.f64 z t)))
  (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 3)
  (*.f64 (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))))
  (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t)))
  (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 3)
  (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 3)
  (sqrt.f64 (*.f64 (/.f64 x y) (-.f64 z t)))
  (sqrt.f64 (*.f64 (/.f64 x y) (-.f64 z t)))
  (*.f64 x (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
  (*.f64 y (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t))))
  (*.f64 x (-.f64 (*.f64 z z) (*.f64 t t)))
  (*.f64 y (+.f64 z t))
  (*.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 (-.f64 z t)))
  (*.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 (-.f64 z t)))
  (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 x) (sqrt.f64 y)))
  (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 x) (sqrt.f64 y)))
  (*.f64 (/.f64 x y) z)
  (*.f64 (/.f64 x y) (neg.f64 t))
  (*.f64 (/.f64 x y) z)
  (*.f64 (/.f64 x y) (neg.f64 t))
  (*.f64 x (-.f64 z t))
  (*.f64 (/.f64 x y) (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
  (*.f64 (/.f64 x y) (-.f64 (*.f64 z z) (*.f64 t t)))
  (*.f64 (-.f64 z t) (cbrt.f64 (/.f64 x y)))
  (*.f64 (-.f64 z t) (sqrt.f64 (/.f64 x y)))
  (*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) (cbrt.f64 y)))
  (*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) (sqrt.f64 y)))
  (*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) y))
  (*.f64 (-.f64 z t) (/.f64 (sqrt.f64 x) (cbrt.f64 y)))
  (*.f64 (-.f64 z t) (/.f64 (sqrt.f64 x) (sqrt.f64 y)))
  (*.f64 (-.f64 z t) (/.f64 (sqrt.f64 x) y))
  (*.f64 (-.f64 z t) (/.f64 x (cbrt.f64 y)))
  (*.f64 (-.f64 z t) (/.f64 x (sqrt.f64 y)))
  (*.f64 (/.f64 x y) (-.f64 z t))
  (*.f64 (/.f64 x y) (-.f64 z t))
  (/.f64 (-.f64 z t) y)
  (*.f64 (/.f64 x y) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (*.f64 (/.f64 x y) (sqrt.f64 (-.f64 z t)))
  (/.f64 x y)
  (*.f64 (/.f64 x y) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 x y)
  (*.f64 (/.f64 x y) (-.f64 z t))
  (*.f64 (/.f64 x y) (-.f64 z t))
  (*.f64 (/.f64 x y) (-.f64 z t))
1.100 * * * [progress]: adding candidates to table
1.135 * * [progress]: iteration 2 / 4
1.135 * * * [progress]: picking best candidate
1.138 * * * * [pick]: Picked  #<alt (λ (x y z t) (+.f64 (+.f64 (*.f64 (/.f64 x y) z) (*.f64 (/.f64 x y) (neg.f64 t))) t))>
1.138 * * * [progress]: localizing error
1.147 * * * [progress]: generating rewritten candidates
1.147 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2)
1.157 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1)
1.170 * * * [progress]: generating series expansions
1.170 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2)
1.171 * [approximate]: Taking taylor expansion of (* -1 (/ (* t x) y)) in (x y t) around 0
1.171 * [taylor]: Taking taylor expansion of (* -1 (/ (* t x) y)) in t
1.171 * [taylor]: Taking taylor expansion of -1 in t
1.171 * [taylor]: Taking taylor expansion of (/ (* t x) y) in t
1.171 * [taylor]: Taking taylor expansion of (* t x) in t
1.171 * [taylor]: Taking taylor expansion of t in t
1.171 * [taylor]: Taking taylor expansion of x in t
1.171 * [taylor]: Taking taylor expansion of y in t
1.172 * [taylor]: Taking taylor expansion of (* -1 (/ (* t x) y)) in y
1.172 * [taylor]: Taking taylor expansion of -1 in y
1.172 * [taylor]: Taking taylor expansion of (/ (* t x) y) in y
1.172 * [taylor]: Taking taylor expansion of (* t x) in y
1.172 * [taylor]: Taking taylor expansion of t in y
1.172 * [taylor]: Taking taylor expansion of x in y
1.172 * [taylor]: Taking taylor expansion of y in y
1.173 * [taylor]: Taking taylor expansion of (* -1 (/ (* t x) y)) in x
1.173 * [taylor]: Taking taylor expansion of -1 in x
1.173 * [taylor]: Taking taylor expansion of (/ (* t x) y) in x
1.173 * [taylor]: Taking taylor expansion of (* t x) in x
1.173 * [taylor]: Taking taylor expansion of t in x
1.173 * [taylor]: Taking taylor expansion of x in x
1.173 * [taylor]: Taking taylor expansion of y in x
1.174 * [taylor]: Taking taylor expansion of (* -1 (/ (* t x) y)) in x
1.174 * [taylor]: Taking taylor expansion of -1 in x
1.174 * [taylor]: Taking taylor expansion of (/ (* t x) y) in x
1.174 * [taylor]: Taking taylor expansion of (* t x) in x
1.174 * [taylor]: Taking taylor expansion of t in x
1.174 * [taylor]: Taking taylor expansion of x in x
1.174 * [taylor]: Taking taylor expansion of y in x
1.175 * [taylor]: Taking taylor expansion of (* -1 (/ t y)) in y
1.175 * [taylor]: Taking taylor expansion of -1 in y
1.175 * [taylor]: Taking taylor expansion of (/ t y) in y
1.175 * [taylor]: Taking taylor expansion of t in y
1.175 * [taylor]: Taking taylor expansion of y in y
1.175 * [taylor]: Taking taylor expansion of (* -1 t) in t
1.175 * [taylor]: Taking taylor expansion of -1 in t
1.175 * [taylor]: Taking taylor expansion of t in t
1.177 * [taylor]: Taking taylor expansion of 0 in y
1.178 * [taylor]: Taking taylor expansion of 0 in t
1.181 * [taylor]: Taking taylor expansion of 0 in y
1.181 * [taylor]: Taking taylor expansion of 0 in t
1.182 * [taylor]: Taking taylor expansion of 0 in t
1.185 * [approximate]: Taking taylor expansion of (* -1 (/ y (* t x))) in (x y t) around 0
1.185 * [taylor]: Taking taylor expansion of (* -1 (/ y (* t x))) in t
1.185 * [taylor]: Taking taylor expansion of -1 in t
1.185 * [taylor]: Taking taylor expansion of (/ y (* t x)) in t
1.185 * [taylor]: Taking taylor expansion of y in t
1.185 * [taylor]: Taking taylor expansion of (* t x) in t
1.185 * [taylor]: Taking taylor expansion of t in t
1.185 * [taylor]: Taking taylor expansion of x in t
1.186 * [taylor]: Taking taylor expansion of (* -1 (/ y (* t x))) in y
1.186 * [taylor]: Taking taylor expansion of -1 in y
1.186 * [taylor]: Taking taylor expansion of (/ y (* t x)) in y
1.186 * [taylor]: Taking taylor expansion of y in y
1.186 * [taylor]: Taking taylor expansion of (* t x) in y
1.186 * [taylor]: Taking taylor expansion of t in y
1.186 * [taylor]: Taking taylor expansion of x in y
1.186 * [taylor]: Taking taylor expansion of (* -1 (/ y (* t x))) in x
1.186 * [taylor]: Taking taylor expansion of -1 in x
1.186 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x
1.186 * [taylor]: Taking taylor expansion of y in x
1.186 * [taylor]: Taking taylor expansion of (* t x) in x
1.186 * [taylor]: Taking taylor expansion of t in x
1.186 * [taylor]: Taking taylor expansion of x in x
1.190 * [taylor]: Taking taylor expansion of (* -1 (/ y (* t x))) in x
1.190 * [taylor]: Taking taylor expansion of -1 in x
1.190 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x
1.190 * [taylor]: Taking taylor expansion of y in x
1.190 * [taylor]: Taking taylor expansion of (* t x) in x
1.190 * [taylor]: Taking taylor expansion of t in x
1.190 * [taylor]: Taking taylor expansion of x in x
1.191 * [taylor]: Taking taylor expansion of (* -1 (/ y t)) in y
1.191 * [taylor]: Taking taylor expansion of -1 in y
1.191 * [taylor]: Taking taylor expansion of (/ y t) in y
1.191 * [taylor]: Taking taylor expansion of y in y
1.191 * [taylor]: Taking taylor expansion of t in y
1.191 * [taylor]: Taking taylor expansion of (/ -1 t) in t
1.191 * [taylor]: Taking taylor expansion of -1 in t
1.191 * [taylor]: Taking taylor expansion of t in t
1.193 * [taylor]: Taking taylor expansion of 0 in y
1.193 * [taylor]: Taking taylor expansion of 0 in t
1.194 * [taylor]: Taking taylor expansion of 0 in t
1.196 * [taylor]: Taking taylor expansion of 0 in y
1.196 * [taylor]: Taking taylor expansion of 0 in t
1.196 * [taylor]: Taking taylor expansion of 0 in t
1.199 * [taylor]: Taking taylor expansion of 0 in t
1.203 * [taylor]: Taking taylor expansion of 0 in y
1.203 * [taylor]: Taking taylor expansion of 0 in t
1.203 * [taylor]: Taking taylor expansion of 0 in t
1.203 * [taylor]: Taking taylor expansion of 0 in t
1.205 * [taylor]: Taking taylor expansion of 0 in t
1.208 * [approximate]: Taking taylor expansion of (/ y (* t x)) in (x y t) around 0
1.208 * [taylor]: Taking taylor expansion of (/ y (* t x)) in t
1.208 * [taylor]: Taking taylor expansion of y in t
1.209 * [taylor]: Taking taylor expansion of (* t x) in t
1.209 * [taylor]: Taking taylor expansion of t in t
1.209 * [taylor]: Taking taylor expansion of x in t
1.209 * [taylor]: Taking taylor expansion of (/ y (* t x)) in y
1.209 * [taylor]: Taking taylor expansion of y in y
1.209 * [taylor]: Taking taylor expansion of (* t x) in y
1.209 * [taylor]: Taking taylor expansion of t in y
1.209 * [taylor]: Taking taylor expansion of x in y
1.210 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x
1.210 * [taylor]: Taking taylor expansion of y in x
1.210 * [taylor]: Taking taylor expansion of (* t x) in x
1.210 * [taylor]: Taking taylor expansion of t in x
1.210 * [taylor]: Taking taylor expansion of x in x
1.211 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x
1.211 * [taylor]: Taking taylor expansion of y in x
1.211 * [taylor]: Taking taylor expansion of (* t x) in x
1.211 * [taylor]: Taking taylor expansion of t in x
1.211 * [taylor]: Taking taylor expansion of x in x
1.211 * [taylor]: Taking taylor expansion of (/ y t) in y
1.211 * [taylor]: Taking taylor expansion of y in y
1.211 * [taylor]: Taking taylor expansion of t in y
1.212 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.212 * [taylor]: Taking taylor expansion of t in t
1.213 * [taylor]: Taking taylor expansion of 0 in y
1.213 * [taylor]: Taking taylor expansion of 0 in t
1.214 * [taylor]: Taking taylor expansion of 0 in t
1.216 * [taylor]: Taking taylor expansion of 0 in y
1.216 * [taylor]: Taking taylor expansion of 0 in t
1.216 * [taylor]: Taking taylor expansion of 0 in t
1.216 * [taylor]: Taking taylor expansion of 0 in t
1.219 * [taylor]: Taking taylor expansion of 0 in y
1.219 * [taylor]: Taking taylor expansion of 0 in t
1.219 * [taylor]: Taking taylor expansion of 0 in t
1.219 * [taylor]: Taking taylor expansion of 0 in t
1.220 * [taylor]: Taking taylor expansion of 0 in t
1.222 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1)
1.222 * [approximate]: Taking taylor expansion of (/ (* x z) y) in (x y z) around 0
1.222 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z
1.222 * [taylor]: Taking taylor expansion of (* x z) in z
1.222 * [taylor]: Taking taylor expansion of x in z
1.223 * [taylor]: Taking taylor expansion of z in z
1.223 * [taylor]: Taking taylor expansion of y in z
1.223 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y
1.223 * [taylor]: Taking taylor expansion of (* x z) in y
1.223 * [taylor]: Taking taylor expansion of x in y
1.223 * [taylor]: Taking taylor expansion of z in y
1.223 * [taylor]: Taking taylor expansion of y in y
1.224 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x
1.224 * [taylor]: Taking taylor expansion of (* x z) in x
1.224 * [taylor]: Taking taylor expansion of x in x
1.224 * [taylor]: Taking taylor expansion of z in x
1.224 * [taylor]: Taking taylor expansion of y in x
1.224 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x
1.224 * [taylor]: Taking taylor expansion of (* x z) in x
1.224 * [taylor]: Taking taylor expansion of x in x
1.224 * [taylor]: Taking taylor expansion of z in x
1.224 * [taylor]: Taking taylor expansion of y in x
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 z in z
1.226 * [taylor]: Taking taylor expansion of 0 in y
1.227 * [taylor]: Taking taylor expansion of 0 in z
1.228 * [taylor]: Taking taylor expansion of 0 in y
1.228 * [taylor]: Taking taylor expansion of 0 in z
1.229 * [taylor]: Taking taylor expansion of 0 in z
1.231 * [approximate]: Taking taylor expansion of (/ y (* x z)) in (x y z) around 0
1.231 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z
1.231 * [taylor]: Taking taylor expansion of y in z
1.231 * [taylor]: Taking taylor expansion of (* x z) in z
1.231 * [taylor]: Taking taylor expansion of x in z
1.231 * [taylor]: Taking taylor expansion of z in z
1.232 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y
1.232 * [taylor]: Taking taylor expansion of y in y
1.232 * [taylor]: Taking taylor expansion of (* x z) in y
1.232 * [taylor]: Taking taylor expansion of x in y
1.232 * [taylor]: Taking taylor expansion of z in y
1.232 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
1.232 * [taylor]: Taking taylor expansion of y in x
1.232 * [taylor]: Taking taylor expansion of (* x z) in x
1.232 * [taylor]: Taking taylor expansion of x in x
1.232 * [taylor]: Taking taylor expansion of z in x
1.233 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
1.233 * [taylor]: Taking taylor expansion of y in x
1.233 * [taylor]: Taking taylor expansion of (* x z) in x
1.233 * [taylor]: Taking taylor expansion of x in x
1.233 * [taylor]: Taking taylor expansion of z in x
1.234 * [taylor]: Taking taylor expansion of (/ y z) in y
1.234 * [taylor]: Taking taylor expansion of y in y
1.234 * [taylor]: Taking taylor expansion of z in y
1.234 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.234 * [taylor]: Taking taylor expansion of z in z
1.235 * [taylor]: Taking taylor expansion of 0 in y
1.235 * [taylor]: Taking taylor expansion of 0 in z
1.236 * [taylor]: Taking taylor expansion of 0 in z
1.238 * [taylor]: Taking taylor expansion of 0 in y
1.238 * [taylor]: Taking taylor expansion of 0 in z
1.238 * [taylor]: Taking taylor expansion of 0 in z
1.238 * [taylor]: Taking taylor expansion of 0 in z
1.241 * [taylor]: Taking taylor expansion of 0 in y
1.241 * [taylor]: Taking taylor expansion of 0 in z
1.241 * [taylor]: Taking taylor expansion of 0 in z
1.241 * [taylor]: Taking taylor expansion of 0 in z
1.242 * [taylor]: Taking taylor expansion of 0 in z
1.245 * [approximate]: Taking taylor expansion of (* -1 (/ y (* x z))) in (x y z) around 0
1.245 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in z
1.245 * [taylor]: Taking taylor expansion of -1 in z
1.245 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z
1.245 * [taylor]: Taking taylor expansion of y in z
1.245 * [taylor]: Taking taylor expansion of (* x z) in z
1.245 * [taylor]: Taking taylor expansion of x in z
1.245 * [taylor]: Taking taylor expansion of z in z
1.245 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in y
1.245 * [taylor]: Taking taylor expansion of -1 in y
1.245 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y
1.245 * [taylor]: Taking taylor expansion of y in y
1.245 * [taylor]: Taking taylor expansion of (* x z) in y
1.245 * [taylor]: Taking taylor expansion of x in y
1.246 * [taylor]: Taking taylor expansion of z in y
1.246 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in x
1.246 * [taylor]: Taking taylor expansion of -1 in x
1.246 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
1.246 * [taylor]: Taking taylor expansion of y in x
1.246 * [taylor]: Taking taylor expansion of (* x z) in x
1.246 * [taylor]: Taking taylor expansion of x in x
1.246 * [taylor]: Taking taylor expansion of z in x
1.247 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in x
1.247 * [taylor]: Taking taylor expansion of -1 in x
1.247 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
1.247 * [taylor]: Taking taylor expansion of y in x
1.247 * [taylor]: Taking taylor expansion of (* x z) in x
1.247 * [taylor]: Taking taylor expansion of x in x
1.247 * [taylor]: Taking taylor expansion of z in x
1.248 * [taylor]: Taking taylor expansion of (* -1 (/ y z)) in y
1.248 * [taylor]: Taking taylor expansion of -1 in y
1.248 * [taylor]: Taking taylor expansion of (/ y z) in y
1.248 * [taylor]: Taking taylor expansion of y in y
1.248 * [taylor]: Taking taylor expansion of z in y
1.249 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.249 * [taylor]: Taking taylor expansion of -1 in z
1.249 * [taylor]: Taking taylor expansion of z in z
1.251 * [taylor]: Taking taylor expansion of 0 in y
1.251 * [taylor]: Taking taylor expansion of 0 in z
1.252 * [taylor]: Taking taylor expansion of 0 in z
1.255 * [taylor]: Taking taylor expansion of 0 in y
1.255 * [taylor]: Taking taylor expansion of 0 in z
1.256 * [taylor]: Taking taylor expansion of 0 in z
1.257 * [taylor]: Taking taylor expansion of 0 in z
1.262 * [taylor]: Taking taylor expansion of 0 in y
1.262 * [taylor]: Taking taylor expansion of 0 in z
1.262 * [taylor]: Taking taylor expansion of 0 in z
1.262 * [taylor]: Taking taylor expansion of 0 in z
1.264 * [taylor]: Taking taylor expansion of 0 in z
1.266 * * * [progress]: simplifying candidates
1.267 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (/.f64 x y) (neg.f64 t))
  (+.f64 (-.f64 (log.f64 x) (log.f64 y)) (log.f64 (neg.f64 t)))
  (+.f64 (log.f64 (/.f64 x y)) (log.f64 (neg.f64 t)))
  (exp.f64 (*.f64 (/.f64 x y) (neg.f64 t)))
  (log.f64 (*.f64 (/.f64 x y) (neg.f64 t)))
  (*.f64 (*.f64 (*.f64 (/.f64 x y) (neg.f64 t)) (*.f64 (/.f64 x y) (neg.f64 t))) (*.f64 (/.f64 x y) (neg.f64 t)))
  (*.f64 (cbrt.f64 (*.f64 (/.f64 x y) (neg.f64 t))) (cbrt.f64 (*.f64 (/.f64 x y) (neg.f64 t))))
  (cbrt.f64 (*.f64 (/.f64 x y) (neg.f64 t)))
  (*.f64 (*.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (/.f64 x y)) (*.f64 (*.f64 (neg.f64 t) (neg.f64 t)) (neg.f64 t)))
  (*.f64 (/.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 y y) y)) (*.f64 (*.f64 (neg.f64 t) (neg.f64 t)) (neg.f64 t)))
  (sqrt.f64 (*.f64 (/.f64 x y) (neg.f64 t)))
  (sqrt.f64 (*.f64 (/.f64 x y) (neg.f64 t)))
  (*.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 (neg.f64 t)))
  (*.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 (neg.f64 t)))
  (*.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y)) (sqrt.f64 (neg.f64 t)))
  (*.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y)) (sqrt.f64 (neg.f64 t)))
  (*.f64 (/.f64 x y) t)
  (*.f64 x (neg.f64 t))
  (*.f64 (cbrt.f64 (/.f64 x y)) (neg.f64 t))
  (*.f64 (sqrt.f64 (/.f64 x y)) (neg.f64 t))
  (*.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)) (neg.f64 t))
  (*.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 y)) (neg.f64 t))
  (*.f64 (/.f64 (cbrt.f64 x) y) (neg.f64 t))
  (*.f64 (/.f64 (sqrt.f64 x) (cbrt.f64 y)) (neg.f64 t))
  (*.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y)) (neg.f64 t))
  (*.f64 (/.f64 (sqrt.f64 x) y) (neg.f64 t))
  (*.f64 (/.f64 x (cbrt.f64 y)) (neg.f64 t))
  (*.f64 (/.f64 x (sqrt.f64 y)) (neg.f64 t))
  (*.f64 (/.f64 x y) (neg.f64 t))
  (*.f64 (/.f64 x y) (neg.f64 t))
  (*.f64 (/.f64 1 y) (neg.f64 t))
  (*.f64 (/.f64 x y) (*.f64 (cbrt.f64 (neg.f64 t)) (cbrt.f64 (neg.f64 t))))
  (*.f64 (/.f64 x y) (sqrt.f64 (neg.f64 t)))
  (*.f64 (/.f64 x y) 1)
  (*.f64 (/.f64 x y) -1)
  (*.f64 (/.f64 x y) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (*.f64 (/.f64 x y) (sqrt.f64 t))
  (*.f64 (/.f64 x y) 1)
  (*.f64 (/.f64 x y) (neg.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t))))
  (*.f64 (/.f64 x y) (neg.f64 (sqrt.f64 t)))
  (*.f64 (/.f64 x y) (neg.f64 1))
  (*.f64 (/.f64 x y) z)
  (+.f64 (-.f64 (log.f64 x) (log.f64 y)) (log.f64 z))
  (+.f64 (log.f64 (/.f64 x y)) (log.f64 z))
  (exp.f64 (*.f64 (/.f64 x y) z))
  (log.f64 (*.f64 (/.f64 x y) z))
  (*.f64 (*.f64 (*.f64 (/.f64 x y) z) (*.f64 (/.f64 x y) z)) (*.f64 (/.f64 x y) z))
  (*.f64 (cbrt.f64 (*.f64 (/.f64 x y) z)) (cbrt.f64 (*.f64 (/.f64 x y) z)))
  (cbrt.f64 (*.f64 (/.f64 x y) z))
  (*.f64 (*.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (/.f64 x y)) (*.f64 (*.f64 z z) z))
  (*.f64 (/.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 y y) y)) (*.f64 (*.f64 z z) z))
  (sqrt.f64 (*.f64 (/.f64 x y) z))
  (sqrt.f64 (*.f64 (/.f64 x y) z))
  (*.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 z))
  (*.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 z))
  (*.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y)) (sqrt.f64 z))
  (*.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y)) (sqrt.f64 z))
  (*.f64 x z)
  (*.f64 (cbrt.f64 (/.f64 x y)) z)
  (*.f64 (sqrt.f64 (/.f64 x y)) z)
  (*.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)) z)
  (*.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 y)) z)
  (*.f64 (/.f64 (cbrt.f64 x) y) z)
  (*.f64 (/.f64 (sqrt.f64 x) (cbrt.f64 y)) z)
  (*.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y)) z)
  (*.f64 (/.f64 (sqrt.f64 x) y) z)
  (*.f64 (/.f64 x (cbrt.f64 y)) z)
  (*.f64 (/.f64 x (sqrt.f64 y)) z)
  (*.f64 (/.f64 x y) z)
  (*.f64 (/.f64 x y) z)
  (*.f64 (/.f64 1 y) z)
  (*.f64 (/.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (*.f64 (/.f64 x y) (sqrt.f64 z))
  (*.f64 (/.f64 x y) 1)
  (*.f64 -1 (/.f64 (*.f64 t x) y))
  (*.f64 -1 (/.f64 (*.f64 t x) y))
  (*.f64 -1 (/.f64 (*.f64 t x) y))
  (/.f64 (*.f64 x z) y)
  (/.f64 (*.f64 x z) y)
  (/.f64 (*.f64 x z) y)
1.331 * * [simplify]: iteration  0 :  4899  enodes  (cost  819 )
1.331 * * [simplify]: iteration  1 :  4899  enodes  (cost  819 )
1.336 * [simplify]: Simplified to:
   (*.f64 (/.f64 x y) (neg.f64 t))
  (log.f64 (*.f64 (/.f64 x y) (neg.f64 t)))
  (log.f64 (*.f64 (/.f64 x y) (neg.f64 t)))
  (exp.f64 (*.f64 (/.f64 x y) (neg.f64 t)))
  (log.f64 (*.f64 (/.f64 x y) (neg.f64 t)))
  (pow.f64 (*.f64 (/.f64 x y) (neg.f64 t)) 3)
  (*.f64 (cbrt.f64 (*.f64 (/.f64 x y) (neg.f64 t))) (cbrt.f64 (*.f64 (/.f64 x y) (neg.f64 t))))
  (cbrt.f64 (*.f64 (/.f64 x y) (neg.f64 t)))
  (pow.f64 (*.f64 (/.f64 x y) (neg.f64 t)) 3)
  (pow.f64 (*.f64 (/.f64 x y) (neg.f64 t)) 3)
  (sqrt.f64 (*.f64 (/.f64 x y) (neg.f64 t)))
  (sqrt.f64 (*.f64 (/.f64 x y) (neg.f64 t)))
  (*.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 (neg.f64 t)))
  (*.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 (neg.f64 t)))
  (*.f64 (sqrt.f64 (neg.f64 t)) (/.f64 (sqrt.f64 x) (sqrt.f64 y)))
  (*.f64 (sqrt.f64 (neg.f64 t)) (/.f64 (sqrt.f64 x) (sqrt.f64 y)))
  (*.f64 (/.f64 x y) t)
  (*.f64 x (neg.f64 t))
  (*.f64 (neg.f64 t) (cbrt.f64 (/.f64 x y)))
  (*.f64 (neg.f64 t) (sqrt.f64 (/.f64 x y)))
  (*.f64 (neg.f64 t) (/.f64 (cbrt.f64 x) (cbrt.f64 y)))
  (*.f64 (neg.f64 t) (/.f64 (cbrt.f64 x) (sqrt.f64 y)))
  (*.f64 (neg.f64 t) (/.f64 (cbrt.f64 x) y))
  (*.f64 (neg.f64 t) (/.f64 (sqrt.f64 x) (cbrt.f64 y)))
  (*.f64 (neg.f64 t) (/.f64 (sqrt.f64 x) (sqrt.f64 y)))
  (*.f64 (neg.f64 t) (/.f64 (sqrt.f64 x) y))
  (*.f64 (neg.f64 t) (/.f64 x (cbrt.f64 y)))
  (*.f64 (neg.f64 t) (/.f64 x (sqrt.f64 y)))
  (*.f64 (/.f64 x y) (neg.f64 t))
  (*.f64 (/.f64 x y) (neg.f64 t))
  (/.f64 (neg.f64 t) y)
  (*.f64 (/.f64 x y) (*.f64 (cbrt.f64 (neg.f64 t)) (cbrt.f64 (neg.f64 t))))
  (*.f64 (/.f64 x y) (sqrt.f64 (neg.f64 t)))
  (/.f64 x y)
  (neg.f64 (/.f64 x y))
  (*.f64 (/.f64 x y) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (*.f64 (/.f64 x y) (sqrt.f64 t))
  (/.f64 x y)
  (*.f64 (/.f64 x y) (neg.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t))))
  (*.f64 (/.f64 x y) (neg.f64 (sqrt.f64 t)))
  (neg.f64 (/.f64 x y))
  (*.f64 (/.f64 x y) z)
  (log.f64 (*.f64 (/.f64 x y) z))
  (log.f64 (*.f64 (/.f64 x y) z))
  (exp.f64 (*.f64 (/.f64 x y) z))
  (log.f64 (*.f64 (/.f64 x y) z))
  (pow.f64 (*.f64 (/.f64 x y) z) 3)
  (*.f64 (cbrt.f64 (*.f64 (/.f64 x y) z)) (cbrt.f64 (*.f64 (/.f64 x y) z)))
  (cbrt.f64 (*.f64 (/.f64 x y) z))
  (pow.f64 (*.f64 (/.f64 x y) z) 3)
  (pow.f64 (*.f64 (/.f64 x y) z) 3)
  (sqrt.f64 (*.f64 (/.f64 x y) z))
  (sqrt.f64 (*.f64 (/.f64 x y) z))
  (*.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 z))
  (*.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 z))
  (*.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y)) (sqrt.f64 z))
  (*.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y)) (sqrt.f64 z))
  (*.f64 x z)
  (*.f64 (cbrt.f64 (/.f64 x y)) z)
  (*.f64 (sqrt.f64 (/.f64 x y)) z)
  (*.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)) z)
  (*.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 y)) z)
  (*.f64 (/.f64 (cbrt.f64 x) y) z)
  (*.f64 (/.f64 (sqrt.f64 x) (cbrt.f64 y)) z)
  (*.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y)) z)
  (*.f64 (/.f64 (sqrt.f64 x) y) z)
  (*.f64 (/.f64 x (cbrt.f64 y)) z)
  (*.f64 (/.f64 x (sqrt.f64 y)) z)
  (*.f64 (/.f64 x y) z)
  (*.f64 (/.f64 x y) z)
  (/.f64 z y)
  (*.f64 (/.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (*.f64 (/.f64 x y) (sqrt.f64 z))
  (/.f64 x y)
  (*.f64 (/.f64 x y) (neg.f64 t))
  (*.f64 (/.f64 x y) (neg.f64 t))
  (*.f64 (/.f64 x y) (neg.f64 t))
  (*.f64 (/.f64 x y) z)
  (*.f64 (/.f64 x y) z)
  (*.f64 (/.f64 x y) z)
1.337 * * * [progress]: adding candidates to table
1.381 * * [progress]: iteration 3 / 4
1.381 * * * [progress]: picking best candidate
1.383 * * * * [pick]: Picked  #<alt (λ (x y z t) (+.f64 (/.f64 (*.f64 x (-.f64 z t)) y) t))>
1.383 * * * [progress]: localizing error
1.390 * * * [progress]: generating rewritten candidates
1.390 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
1.398 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1)
1.409 * * * [progress]: generating series expansions
1.409 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
1.409 * [approximate]: Taking taylor expansion of (/ (* (- z t) x) y) in (x z t y) around 0
1.409 * [taylor]: Taking taylor expansion of (/ (* (- z t) x) y) in y
1.409 * [taylor]: Taking taylor expansion of (* (- z t) x) in y
1.409 * [taylor]: Taking taylor expansion of (- z t) in y
1.409 * [taylor]: Taking taylor expansion of z in y
1.409 * [taylor]: Taking taylor expansion of t in y
1.409 * [taylor]: Taking taylor expansion of x in y
1.409 * [taylor]: Taking taylor expansion of y in y
1.411 * [taylor]: Taking taylor expansion of (/ (* (- z t) x) y) in t
1.411 * [taylor]: Taking taylor expansion of (* (- z t) x) in t
1.411 * [taylor]: Taking taylor expansion of (- z t) in t
1.411 * [taylor]: Taking taylor expansion of z in t
1.411 * [taylor]: Taking taylor expansion of t in t
1.411 * [taylor]: Taking taylor expansion of x in t
1.411 * [taylor]: Taking taylor expansion of y in t
1.412 * [taylor]: Taking taylor expansion of (/ (* (- z t) x) y) in z
1.412 * [taylor]: Taking taylor expansion of (* (- z t) x) in z
1.412 * [taylor]: Taking taylor expansion of (- z t) in z
1.412 * [taylor]: Taking taylor expansion of z in z
1.412 * [taylor]: Taking taylor expansion of t in z
1.412 * [taylor]: Taking taylor expansion of x in z
1.412 * [taylor]: Taking taylor expansion of y in z
1.413 * [taylor]: Taking taylor expansion of (/ (* (- z t) x) y) in x
1.413 * [taylor]: Taking taylor expansion of (* (- z t) x) in x
1.413 * [taylor]: Taking taylor expansion of (- z t) in x
1.413 * [taylor]: Taking taylor expansion of z in x
1.413 * [taylor]: Taking taylor expansion of t in x
1.413 * [taylor]: Taking taylor expansion of x in x
1.413 * [taylor]: Taking taylor expansion of y in x
1.415 * [taylor]: Taking taylor expansion of (/ (* (- z t) x) y) in x
1.415 * [taylor]: Taking taylor expansion of (* (- z t) x) in x
1.415 * [taylor]: Taking taylor expansion of (- z t) in x
1.415 * [taylor]: Taking taylor expansion of z in x
1.415 * [taylor]: Taking taylor expansion of t in x
1.415 * [taylor]: Taking taylor expansion of x in x
1.415 * [taylor]: Taking taylor expansion of y in x
1.418 * [taylor]: Taking taylor expansion of (/ (- z t) y) in z
1.418 * [taylor]: Taking taylor expansion of (- z t) in z
1.418 * [taylor]: Taking taylor expansion of z in z
1.418 * [taylor]: Taking taylor expansion of t in z
1.418 * [taylor]: Taking taylor expansion of y in z
1.419 * [taylor]: Taking taylor expansion of (* -1 (/ t y)) in t
1.419 * [taylor]: Taking taylor expansion of -1 in t
1.419 * [taylor]: Taking taylor expansion of (/ t y) in t
1.419 * [taylor]: Taking taylor expansion of t in t
1.419 * [taylor]: Taking taylor expansion of y in t
1.421 * [taylor]: Taking taylor expansion of 0 in z
1.421 * [taylor]: Taking taylor expansion of 0 in t
1.421 * [taylor]: Taking taylor expansion of 0 in y
1.423 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.423 * [taylor]: Taking taylor expansion of y in t
1.423 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.423 * [taylor]: Taking taylor expansion of y in y
1.423 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.424 * [taylor]: Taking taylor expansion of -1 in y
1.424 * [taylor]: Taking taylor expansion of y in y
1.427 * [taylor]: Taking taylor expansion of 0 in z
1.427 * [taylor]: Taking taylor expansion of 0 in t
1.427 * [taylor]: Taking taylor expansion of 0 in y
1.427 * [taylor]: Taking taylor expansion of 0 in t
1.427 * [taylor]: Taking taylor expansion of 0 in y
1.428 * [taylor]: Taking taylor expansion of 0 in t
1.428 * [taylor]: Taking taylor expansion of 0 in y
1.428 * [taylor]: Taking taylor expansion of 0 in y
1.429 * [taylor]: Taking taylor expansion of 0 in y
1.431 * [taylor]: Taking taylor expansion of 0 in y
1.435 * [taylor]: Taking taylor expansion of 0 in z
1.435 * [taylor]: Taking taylor expansion of 0 in t
1.435 * [taylor]: Taking taylor expansion of 0 in y
1.436 * [taylor]: Taking taylor expansion of 0 in t
1.436 * [taylor]: Taking taylor expansion of 0 in y
1.436 * [taylor]: Taking taylor expansion of 0 in t
1.436 * [taylor]: Taking taylor expansion of 0 in y
1.438 * [taylor]: Taking taylor expansion of 0 in t
1.438 * [taylor]: Taking taylor expansion of 0 in y
1.438 * [taylor]: Taking taylor expansion of 0 in y
1.438 * [taylor]: Taking taylor expansion of 0 in y
1.438 * [taylor]: Taking taylor expansion of 0 in y
1.438 * [taylor]: Taking taylor expansion of 0 in y
1.439 * [taylor]: Taking taylor expansion of 0 in y
1.440 * [taylor]: Taking taylor expansion of 0 in y
1.443 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in (x z t y) around 0
1.444 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in y
1.444 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y
1.444 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.444 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.444 * [taylor]: Taking taylor expansion of z in y
1.444 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.444 * [taylor]: Taking taylor expansion of t in y
1.444 * [taylor]: Taking taylor expansion of y in y
1.444 * [taylor]: Taking taylor expansion of x in y
1.449 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in t
1.449 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in t
1.449 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.449 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.449 * [taylor]: Taking taylor expansion of z in t
1.449 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.449 * [taylor]: Taking taylor expansion of t in t
1.449 * [taylor]: Taking taylor expansion of y in t
1.449 * [taylor]: Taking taylor expansion of x in t
1.450 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in z
1.450 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in z
1.450 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.450 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.450 * [taylor]: Taking taylor expansion of z in z
1.450 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.450 * [taylor]: Taking taylor expansion of t in z
1.450 * [taylor]: Taking taylor expansion of y in z
1.450 * [taylor]: Taking taylor expansion of x in z
1.451 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in x
1.451 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in x
1.451 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.451 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.451 * [taylor]: Taking taylor expansion of z in x
1.451 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.451 * [taylor]: Taking taylor expansion of t in x
1.451 * [taylor]: Taking taylor expansion of y in x
1.451 * [taylor]: Taking taylor expansion of x in x
1.454 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in x
1.454 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in x
1.454 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.454 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.454 * [taylor]: Taking taylor expansion of z in x
1.454 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.454 * [taylor]: Taking taylor expansion of t in x
1.454 * [taylor]: Taking taylor expansion of y in x
1.454 * [taylor]: Taking taylor expansion of x in x
1.456 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in z
1.456 * [taylor]: Taking taylor expansion of y in z
1.456 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.456 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.456 * [taylor]: Taking taylor expansion of z in z
1.457 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.457 * [taylor]: Taking taylor expansion of t in z
1.457 * [taylor]: Taking taylor expansion of y in t
1.461 * [taylor]: Taking taylor expansion of 0 in z
1.463 * [taylor]: Taking taylor expansion of (neg (/ y t)) in t
1.463 * [taylor]: Taking taylor expansion of (/ y t) in t
1.463 * [taylor]: Taking taylor expansion of y in t
1.463 * [taylor]: Taking taylor expansion of t in t
1.464 * [taylor]: Taking taylor expansion of (neg y) in y
1.464 * [taylor]: Taking taylor expansion of y in y
1.464 * [taylor]: Taking taylor expansion of y in y
1.469 * [taylor]: Taking taylor expansion of 0 in z
1.469 * [taylor]: Taking taylor expansion of 0 in t
1.472 * [taylor]: Taking taylor expansion of 0 in t
1.473 * [taylor]: Taking taylor expansion of 0 in y
1.473 * [taylor]: Taking taylor expansion of 0 in y
1.479 * [taylor]: Taking taylor expansion of 0 in z
1.479 * [taylor]: Taking taylor expansion of 0 in t
1.479 * [taylor]: Taking taylor expansion of 0 in t
1.483 * [taylor]: Taking taylor expansion of 0 in t
1.483 * [taylor]: Taking taylor expansion of 0 in y
1.483 * [taylor]: Taking taylor expansion of 0 in y
1.488 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in (x z t y) around 0
1.488 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y
1.488 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
1.488 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.488 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.488 * [taylor]: Taking taylor expansion of t in y
1.489 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.489 * [taylor]: Taking taylor expansion of z in y
1.489 * [taylor]: Taking taylor expansion of y in y
1.489 * [taylor]: Taking taylor expansion of x in y
1.493 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in t
1.493 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t
1.493 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.493 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.493 * [taylor]: Taking taylor expansion of t in t
1.493 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.493 * [taylor]: Taking taylor expansion of z in t
1.494 * [taylor]: Taking taylor expansion of y in t
1.494 * [taylor]: Taking taylor expansion of x in t
1.494 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in z
1.494 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z
1.494 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.494 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.494 * [taylor]: Taking taylor expansion of t in z
1.494 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.494 * [taylor]: Taking taylor expansion of z in z
1.494 * [taylor]: Taking taylor expansion of y in z
1.494 * [taylor]: Taking taylor expansion of x in z
1.495 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
1.495 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
1.495 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.495 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.495 * [taylor]: Taking taylor expansion of t in x
1.495 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.495 * [taylor]: Taking taylor expansion of z in x
1.495 * [taylor]: Taking taylor expansion of y in x
1.495 * [taylor]: Taking taylor expansion of x in x
1.498 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
1.498 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
1.498 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.498 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.498 * [taylor]: Taking taylor expansion of t in x
1.498 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.498 * [taylor]: Taking taylor expansion of z in x
1.498 * [taylor]: Taking taylor expansion of y in x
1.498 * [taylor]: Taking taylor expansion of x in x
1.500 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z
1.500 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.500 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.500 * [taylor]: Taking taylor expansion of t in z
1.501 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.501 * [taylor]: Taking taylor expansion of z in z
1.501 * [taylor]: Taking taylor expansion of y in z
1.501 * [taylor]: Taking taylor expansion of (* -1 y) in t
1.501 * [taylor]: Taking taylor expansion of -1 in t
1.501 * [taylor]: Taking taylor expansion of y in t
1.504 * [taylor]: Taking taylor expansion of 0 in z
1.505 * [taylor]: Taking taylor expansion of (/ y t) in t
1.505 * [taylor]: Taking taylor expansion of y in t
1.505 * [taylor]: Taking taylor expansion of t in t
1.506 * [taylor]: Taking taylor expansion of y in y
1.506 * [taylor]: Taking taylor expansion of (* -1 y) in y
1.506 * [taylor]: Taking taylor expansion of -1 in y
1.506 * [taylor]: Taking taylor expansion of y in y
1.510 * [taylor]: Taking taylor expansion of 0 in z
1.510 * [taylor]: Taking taylor expansion of 0 in t
1.512 * [taylor]: Taking taylor expansion of 0 in t
1.512 * [taylor]: Taking taylor expansion of 0 in y
1.513 * [taylor]: Taking taylor expansion of 0 in y
1.518 * [taylor]: Taking taylor expansion of 0 in z
1.518 * [taylor]: Taking taylor expansion of 0 in t
1.518 * [taylor]: Taking taylor expansion of 0 in t
1.520 * [taylor]: Taking taylor expansion of 0 in t
1.520 * [taylor]: Taking taylor expansion of 0 in y
1.520 * [taylor]: Taking taylor expansion of 0 in y
1.524 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1)
1.525 * [approximate]: Taking taylor expansion of (* (- z t) x) in (x z t) around 0
1.525 * [taylor]: Taking taylor expansion of (* (- z t) x) in t
1.525 * [taylor]: Taking taylor expansion of (- z t) in t
1.525 * [taylor]: Taking taylor expansion of z in t
1.525 * [taylor]: Taking taylor expansion of t in t
1.525 * [taylor]: Taking taylor expansion of x in t
1.525 * [taylor]: Taking taylor expansion of (* (- z t) x) in z
1.525 * [taylor]: Taking taylor expansion of (- z t) in z
1.525 * [taylor]: Taking taylor expansion of z in z
1.525 * [taylor]: Taking taylor expansion of t in z
1.525 * [taylor]: Taking taylor expansion of x in z
1.525 * [taylor]: Taking taylor expansion of (* (- z t) x) in x
1.525 * [taylor]: Taking taylor expansion of (- z t) in x
1.525 * [taylor]: Taking taylor expansion of z in x
1.525 * [taylor]: Taking taylor expansion of t in x
1.525 * [taylor]: Taking taylor expansion of x in x
1.525 * [taylor]: Taking taylor expansion of (* (- z t) x) in x
1.525 * [taylor]: Taking taylor expansion of (- z t) in x
1.525 * [taylor]: Taking taylor expansion of z in x
1.525 * [taylor]: Taking taylor expansion of t in x
1.525 * [taylor]: Taking taylor expansion of x in x
1.526 * [taylor]: Taking taylor expansion of 0 in z
1.526 * [taylor]: Taking taylor expansion of 0 in t
1.527 * [taylor]: Taking taylor expansion of (- z t) in z
1.527 * [taylor]: Taking taylor expansion of z in z
1.527 * [taylor]: Taking taylor expansion of t in z
1.527 * [taylor]: Taking taylor expansion of (neg t) in t
1.527 * [taylor]: Taking taylor expansion of t in t
1.527 * [taylor]: Taking taylor expansion of 0 in t
1.528 * [taylor]: Taking taylor expansion of 0 in z
1.528 * [taylor]: Taking taylor expansion of 0 in t
1.528 * [taylor]: Taking taylor expansion of 1 in t
1.529 * [taylor]: Taking taylor expansion of 0 in t
1.530 * [taylor]: Taking taylor expansion of 0 in z
1.530 * [taylor]: Taking taylor expansion of 0 in t
1.530 * [taylor]: Taking taylor expansion of 0 in t
1.530 * [taylor]: Taking taylor expansion of 0 in t
1.530 * [taylor]: Taking taylor expansion of 0 in t
1.533 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in (x z t) around 0
1.533 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in t
1.533 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.533 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.533 * [taylor]: Taking taylor expansion of z in t
1.533 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.533 * [taylor]: Taking taylor expansion of t in t
1.533 * [taylor]: Taking taylor expansion of x in t
1.534 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in z
1.534 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.534 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.534 * [taylor]: Taking taylor expansion of z in z
1.534 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.534 * [taylor]: Taking taylor expansion of t in z
1.534 * [taylor]: Taking taylor expansion of x in z
1.534 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in x
1.534 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.534 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.534 * [taylor]: Taking taylor expansion of z in x
1.534 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.535 * [taylor]: Taking taylor expansion of t in x
1.535 * [taylor]: Taking taylor expansion of x in x
1.536 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in x
1.536 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.536 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.536 * [taylor]: Taking taylor expansion of z in x
1.536 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.536 * [taylor]: Taking taylor expansion of t in x
1.537 * [taylor]: Taking taylor expansion of x in x
1.538 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.538 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.538 * [taylor]: Taking taylor expansion of z in z
1.538 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.538 * [taylor]: Taking taylor expansion of t in z
1.539 * [taylor]: Taking taylor expansion of 1 in t
1.542 * [taylor]: Taking taylor expansion of 0 in z
1.543 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.543 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.543 * [taylor]: Taking taylor expansion of t in t
1.550 * [taylor]: Taking taylor expansion of 0 in z
1.550 * [taylor]: Taking taylor expansion of 0 in t
1.552 * [taylor]: Taking taylor expansion of 0 in t
1.557 * [taylor]: Taking taylor expansion of 0 in z
1.557 * [taylor]: Taking taylor expansion of 0 in t
1.557 * [taylor]: Taking taylor expansion of 0 in t
1.560 * [taylor]: Taking taylor expansion of 0 in t
1.564 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in (x z t) around 0
1.564 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in t
1.564 * [taylor]: Taking taylor expansion of -1 in t
1.564 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) x) in t
1.564 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.564 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.564 * [taylor]: Taking taylor expansion of t in t
1.565 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.565 * [taylor]: Taking taylor expansion of z in t
1.565 * [taylor]: Taking taylor expansion of x in t
1.565 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in z
1.565 * [taylor]: Taking taylor expansion of -1 in z
1.565 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) x) in z
1.565 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.565 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.565 * [taylor]: Taking taylor expansion of t in z
1.565 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.565 * [taylor]: Taking taylor expansion of z in z
1.565 * [taylor]: Taking taylor expansion of x in z
1.566 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in x
1.566 * [taylor]: Taking taylor expansion of -1 in x
1.566 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) x) in x
1.566 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.566 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.566 * [taylor]: Taking taylor expansion of t in x
1.566 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.566 * [taylor]: Taking taylor expansion of z in x
1.566 * [taylor]: Taking taylor expansion of x in x
1.568 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in x
1.568 * [taylor]: Taking taylor expansion of -1 in x
1.568 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) x) in x
1.568 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.568 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.568 * [taylor]: Taking taylor expansion of t in x
1.568 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.568 * [taylor]: Taking taylor expansion of z in x
1.568 * [taylor]: Taking taylor expansion of x in x
1.571 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 t) (/ 1 z))) in z
1.571 * [taylor]: Taking taylor expansion of -1 in z
1.571 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.571 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.571 * [taylor]: Taking taylor expansion of t in z
1.571 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.571 * [taylor]: Taking taylor expansion of z in z
1.571 * [taylor]: Taking taylor expansion of 1 in t
1.576 * [taylor]: Taking taylor expansion of 0 in z
1.577 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.577 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.577 * [taylor]: Taking taylor expansion of t in t
1.583 * [taylor]: Taking taylor expansion of 0 in z
1.583 * [taylor]: Taking taylor expansion of 0 in t
1.585 * [taylor]: Taking taylor expansion of 0 in t
1.591 * [taylor]: Taking taylor expansion of 0 in z
1.591 * [taylor]: Taking taylor expansion of 0 in t
1.591 * [taylor]: Taking taylor expansion of 0 in t
1.595 * [taylor]: Taking taylor expansion of 0 in t
1.598 * * * [progress]: simplifying candidates
1.599 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (+.f64 (log.f64 x) (log.f64 (-.f64 z t))) (log.f64 y))
  (-.f64 (log.f64 (*.f64 x (-.f64 z t))) (log.f64 y))
  (exp.f64 (/.f64 (*.f64 x (-.f64 z t)) y))
  (log.f64 (/.f64 (*.f64 x (-.f64 z t)) y))
  (*.f64 (*.f64 (/.f64 (*.f64 x (-.f64 z t)) y) (/.f64 (*.f64 x (-.f64 z t)) y)) (/.f64 (*.f64 x (-.f64 z t)) y))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 x (-.f64 z t)) y)) (cbrt.f64 (/.f64 (*.f64 x (-.f64 z t)) y)))
  (cbrt.f64 (/.f64 (*.f64 x (-.f64 z t)) y))
  (/.f64 (*.f64 (*.f64 (*.f64 x (-.f64 z t)) (*.f64 x (-.f64 z t))) (*.f64 x (-.f64 z t))) (*.f64 (*.f64 y y) y))
  (/.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t))) (*.f64 (*.f64 y y) y))
  (sqrt.f64 (/.f64 (*.f64 x (-.f64 z t)) y))
  (sqrt.f64 (/.f64 (*.f64 x (-.f64 z t)) y))
  (neg.f64 (*.f64 x (-.f64 z t)))
  (neg.f64 y)
  (/.f64 x (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
  (/.f64 (-.f64 z t) (cbrt.f64 y))
  (/.f64 x (sqrt.f64 y))
  (/.f64 (-.f64 z t) (sqrt.f64 y))
  (/.f64 x 1)
  (/.f64 (-.f64 z t) y)
  (/.f64 y (*.f64 x (-.f64 z t)))
  (/.f64 1 y)
  (*.f64 y (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t))))
  (*.f64 y (+.f64 z t))
  (/.f64 y (-.f64 z t))
  (/.f64 (*.f64 x (-.f64 z t)) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
  (/.f64 (*.f64 x (-.f64 z t)) (sqrt.f64 y))
  (/.f64 (*.f64 x (-.f64 z t)) 1)
  (*.f64 x (-.f64 z t))
  (+.f64 (log.f64 x) (log.f64 (-.f64 z t)))
  (exp.f64 (*.f64 x (-.f64 z t)))
  (log.f64 (*.f64 x (-.f64 z t)))
  (*.f64 (*.f64 (*.f64 x (-.f64 z t)) (*.f64 x (-.f64 z t))) (*.f64 x (-.f64 z t)))
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 z t))) (cbrt.f64 (*.f64 x (-.f64 z t))))
  (cbrt.f64 (*.f64 x (-.f64 z t)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)))
  (sqrt.f64 (*.f64 x (-.f64 z t)))
  (sqrt.f64 (*.f64 x (-.f64 z t)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 z t)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 z t)))
  (*.f64 z x)
  (*.f64 (neg.f64 t) x)
  (*.f64 x z)
  (*.f64 x (neg.f64 t))
  (*.f64 x (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
  (*.f64 x (-.f64 (*.f64 z z) (*.f64 t t)))
  (*.f64 (cbrt.f64 x) (-.f64 z t))
  (*.f64 (sqrt.f64 x) (-.f64 z t))
  (*.f64 x (-.f64 z t))
  (*.f64 x (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (*.f64 x (sqrt.f64 (-.f64 z t)))
  (*.f64 x 1)
  (*.f64 x (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (*.f64 x 1)
  (-.f64 (/.f64 (*.f64 x z) y) (/.f64 (*.f64 t x) y))
  (-.f64 (/.f64 (*.f64 x z) y) (/.f64 (*.f64 t x) y))
  (-.f64 (/.f64 (*.f64 x z) y) (/.f64 (*.f64 t x) y))
  (-.f64 (*.f64 x z) (*.f64 t x))
  (-.f64 (*.f64 x z) (*.f64 t x))
  (-.f64 (*.f64 x z) (*.f64 t x))
1.654 * * [simplify]: iteration  0 :  4982  enodes  (cost  566 )
1.654 * * [simplify]: iteration  1 :  4982  enodes  (cost  566 )
1.658 * [simplify]: Simplified to:
   (log.f64 (/.f64 (*.f64 x (-.f64 z t)) y))
  (log.f64 (/.f64 (*.f64 x (-.f64 z t)) y))
  (exp.f64 (/.f64 (*.f64 x (-.f64 z t)) y))
  (log.f64 (/.f64 (*.f64 x (-.f64 z t)) y))
  (pow.f64 (/.f64 (*.f64 x (-.f64 z t)) y) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 x (-.f64 z t)) y)) (cbrt.f64 (/.f64 (*.f64 x (-.f64 z t)) y)))
  (cbrt.f64 (/.f64 (*.f64 x (-.f64 z t)) y))
  (pow.f64 (/.f64 (*.f64 x (-.f64 z t)) y) 3)
  (pow.f64 (/.f64 (*.f64 x (-.f64 z t)) y) 3)
  (sqrt.f64 (/.f64 (*.f64 x (-.f64 z t)) y))
  (sqrt.f64 (/.f64 (*.f64 x (-.f64 z t)) y))
  (*.f64 x (-.f64 t z))
  (neg.f64 y)
  (/.f64 x (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
  (/.f64 (-.f64 z t) (cbrt.f64 y))
  (/.f64 x (sqrt.f64 y))
  (/.f64 (-.f64 z t) (sqrt.f64 y))
  x
  (/.f64 (-.f64 z t) y)
  (/.f64 y (*.f64 x (-.f64 z t)))
  (/.f64 1 y)
  (*.f64 y (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t))))
  (*.f64 y (+.f64 z t))
  (/.f64 y (-.f64 z t))
  (*.f64 (-.f64 z t) (/.f64 x (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (*.f64 (-.f64 z t) (/.f64 x (sqrt.f64 y)))
  (*.f64 x (-.f64 z t))
  (*.f64 x (-.f64 z t))
  (log.f64 (*.f64 x (-.f64 z t)))
  (exp.f64 (*.f64 x (-.f64 z t)))
  (log.f64 (*.f64 x (-.f64 z t)))
  (pow.f64 (*.f64 x (-.f64 z t)) 3)
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 z t))) (cbrt.f64 (*.f64 x (-.f64 z t))))
  (cbrt.f64 (*.f64 x (-.f64 z t)))
  (pow.f64 (*.f64 x (-.f64 z t)) 3)
  (sqrt.f64 (*.f64 x (-.f64 z t)))
  (sqrt.f64 (*.f64 x (-.f64 z t)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 z t)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 z t)))
  (*.f64 x z)
  (*.f64 x (neg.f64 t))
  (*.f64 x z)
  (*.f64 x (neg.f64 t))
  (*.f64 x (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
  (*.f64 x (-.f64 (*.f64 z z) (*.f64 t t)))
  (*.f64 (-.f64 z t) (cbrt.f64 x))
  (*.f64 (-.f64 z t) (sqrt.f64 x))
  (*.f64 x (-.f64 z t))
  (*.f64 x (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (*.f64 x (sqrt.f64 (-.f64 z t)))
  x
  (*.f64 x (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  x
  (/.f64 (*.f64 x (-.f64 z t)) y)
  (/.f64 (*.f64 x (-.f64 z t)) y)
  (/.f64 (*.f64 x (-.f64 z t)) y)
  (*.f64 x (-.f64 z t))
  (*.f64 x (-.f64 z t))
  (*.f64 x (-.f64 z t))
1.658 * * * [progress]: adding candidates to table
1.682 * * [progress]: iteration 4 / 4
1.682 * * * [progress]: picking best candidate
1.685 * * * * [pick]: Picked  #<alt (λ (x y z t) (+.f64 (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t)))) t))>
1.685 * * * [progress]: localizing error
1.693 * * * [progress]: generating rewritten candidates
1.693 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2)
1.702 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
1.712 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2 2)
1.728 * * * [progress]: generating series expansions
1.728 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2)
1.729 * [approximate]: Taking taylor expansion of (/ y (* (- z t) x)) in (y x z t) around 0
1.729 * [taylor]: Taking taylor expansion of (/ y (* (- z t) x)) in t
1.729 * [taylor]: Taking taylor expansion of y in t
1.729 * [taylor]: Taking taylor expansion of (* (- z t) x) in t
1.729 * [taylor]: Taking taylor expansion of (- z t) in t
1.729 * [taylor]: Taking taylor expansion of z in t
1.729 * [taylor]: Taking taylor expansion of t in t
1.729 * [taylor]: Taking taylor expansion of x in t
1.730 * [taylor]: Taking taylor expansion of (/ y (* (- z t) x)) in z
1.730 * [taylor]: Taking taylor expansion of y in z
1.730 * [taylor]: Taking taylor expansion of (* (- z t) x) in z
1.730 * [taylor]: Taking taylor expansion of (- z t) in z
1.730 * [taylor]: Taking taylor expansion of z in z
1.730 * [taylor]: Taking taylor expansion of t in z
1.730 * [taylor]: Taking taylor expansion of x in z
1.731 * [taylor]: Taking taylor expansion of (/ y (* (- z t) x)) in x
1.731 * [taylor]: Taking taylor expansion of y in x
1.731 * [taylor]: Taking taylor expansion of (* (- z t) x) in x
1.731 * [taylor]: Taking taylor expansion of (- z t) in x
1.731 * [taylor]: Taking taylor expansion of z in x
1.731 * [taylor]: Taking taylor expansion of t in x
1.731 * [taylor]: Taking taylor expansion of x in x
1.733 * [taylor]: Taking taylor expansion of (/ y (* (- z t) x)) in y
1.733 * [taylor]: Taking taylor expansion of y in y
1.733 * [taylor]: Taking taylor expansion of (* (- z t) x) in y
1.733 * [taylor]: Taking taylor expansion of (- z t) in y
1.733 * [taylor]: Taking taylor expansion of z in y
1.733 * [taylor]: Taking taylor expansion of t in y
1.733 * [taylor]: Taking taylor expansion of x in y
1.734 * [taylor]: Taking taylor expansion of (/ y (* (- z t) x)) in y
1.734 * [taylor]: Taking taylor expansion of y in y
1.734 * [taylor]: Taking taylor expansion of (* (- z t) x) in y
1.734 * [taylor]: Taking taylor expansion of (- z t) in y
1.734 * [taylor]: Taking taylor expansion of z in y
1.735 * [taylor]: Taking taylor expansion of t in y
1.735 * [taylor]: Taking taylor expansion of x in y
1.736 * [taylor]: Taking taylor expansion of (/ 1 (* (- z t) x)) in x
1.736 * [taylor]: Taking taylor expansion of (* (- z t) x) in x
1.736 * [taylor]: Taking taylor expansion of (- z t) in x
1.736 * [taylor]: Taking taylor expansion of z in x
1.736 * [taylor]: Taking taylor expansion of t in x
1.736 * [taylor]: Taking taylor expansion of x in x
1.738 * [taylor]: Taking taylor expansion of (/ 1 (- z t)) in z
1.738 * [taylor]: Taking taylor expansion of (- z t) in z
1.738 * [taylor]: Taking taylor expansion of z in z
1.738 * [taylor]: Taking taylor expansion of t in z
1.738 * [taylor]: Taking taylor expansion of (/ -1 t) in t
1.738 * [taylor]: Taking taylor expansion of -1 in t
1.738 * [taylor]: Taking taylor expansion of t in t
1.741 * [taylor]: Taking taylor expansion of 0 in x
1.743 * [taylor]: Taking taylor expansion of 0 in z
1.743 * [taylor]: Taking taylor expansion of 0 in t
1.744 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow t 2))) in t
1.744 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
1.744 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.744 * [taylor]: Taking taylor expansion of t in t
1.750 * [taylor]: Taking taylor expansion of 0 in x
1.750 * [taylor]: Taking taylor expansion of 0 in z
1.750 * [taylor]: Taking taylor expansion of 0 in t
1.752 * [taylor]: Taking taylor expansion of 0 in z
1.752 * [taylor]: Taking taylor expansion of 0 in t
1.753 * [approximate]: Taking taylor expansion of (/ x (* (- (/ 1 z) (/ 1 t)) y)) in (y x z t) around 0
1.753 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 z) (/ 1 t)) y)) in t
1.753 * [taylor]: Taking taylor expansion of x in t
1.753 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in t
1.753 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.753 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.753 * [taylor]: Taking taylor expansion of z in t
1.754 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.754 * [taylor]: Taking taylor expansion of t in t
1.754 * [taylor]: Taking taylor expansion of y in t
1.755 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 z) (/ 1 t)) y)) in z
1.755 * [taylor]: Taking taylor expansion of x in z
1.755 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in z
1.755 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.755 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.755 * [taylor]: Taking taylor expansion of z in z
1.755 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.755 * [taylor]: Taking taylor expansion of t in z
1.755 * [taylor]: Taking taylor expansion of y in z
1.756 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 z) (/ 1 t)) y)) in x
1.756 * [taylor]: Taking taylor expansion of x in x
1.756 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in x
1.756 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.756 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.756 * [taylor]: Taking taylor expansion of z in x
1.756 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.756 * [taylor]: Taking taylor expansion of t in x
1.756 * [taylor]: Taking taylor expansion of y in x
1.759 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 z) (/ 1 t)) y)) in y
1.759 * [taylor]: Taking taylor expansion of x in y
1.759 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y
1.759 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.759 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.759 * [taylor]: Taking taylor expansion of z in y
1.759 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.759 * [taylor]: Taking taylor expansion of t in y
1.759 * [taylor]: Taking taylor expansion of y in y
1.764 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 z) (/ 1 t)) y)) in y
1.764 * [taylor]: Taking taylor expansion of x in y
1.764 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y
1.764 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.764 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.764 * [taylor]: Taking taylor expansion of z in y
1.764 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.764 * [taylor]: Taking taylor expansion of t in y
1.764 * [taylor]: Taking taylor expansion of y in y
1.769 * [taylor]: Taking taylor expansion of (/ x (- (/ 1 z) (/ 1 t))) in x
1.769 * [taylor]: Taking taylor expansion of x in x
1.769 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.769 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.769 * [taylor]: Taking taylor expansion of z in x
1.769 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.769 * [taylor]: Taking taylor expansion of t in x
1.771 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 t))) in z
1.771 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.771 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.771 * [taylor]: Taking taylor expansion of z in z
1.771 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.771 * [taylor]: Taking taylor expansion of t in z
1.771 * [taylor]: Taking taylor expansion of 1 in t
1.777 * [taylor]: Taking taylor expansion of 0 in x
1.777 * [taylor]: Taking taylor expansion of 0 in z
1.777 * [taylor]: Taking taylor expansion of 0 in t
1.781 * [taylor]: Taking taylor expansion of 0 in z
1.781 * [taylor]: Taking taylor expansion of 0 in t
1.784 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.784 * [taylor]: Taking taylor expansion of t in t
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 t
1.795 * [approximate]: Taking taylor expansion of (/ x (* (- (/ 1 t) (/ 1 z)) y)) in (y x z t) around 0
1.795 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 t) (/ 1 z)) y)) in t
1.795 * [taylor]: Taking taylor expansion of x in t
1.795 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t
1.795 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.795 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.795 * [taylor]: Taking taylor expansion of t in t
1.795 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.795 * [taylor]: Taking taylor expansion of z in t
1.795 * [taylor]: Taking taylor expansion of y in t
1.795 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 t) (/ 1 z)) y)) in z
1.796 * [taylor]: Taking taylor expansion of x in z
1.796 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z
1.796 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.796 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.796 * [taylor]: Taking taylor expansion of t in z
1.796 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.796 * [taylor]: Taking taylor expansion of z in z
1.796 * [taylor]: Taking taylor expansion of y in z
1.797 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 t) (/ 1 z)) y)) in x
1.797 * [taylor]: Taking taylor expansion of x in x
1.797 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
1.797 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.797 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.797 * [taylor]: Taking taylor expansion of t in x
1.797 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.797 * [taylor]: Taking taylor expansion of z in x
1.797 * [taylor]: Taking taylor expansion of y in x
1.799 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 t) (/ 1 z)) y)) in y
1.799 * [taylor]: Taking taylor expansion of x in y
1.799 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
1.799 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.799 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.799 * [taylor]: Taking taylor expansion of t in y
1.799 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.799 * [taylor]: Taking taylor expansion of z in y
1.799 * [taylor]: Taking taylor expansion of y in y
1.803 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 t) (/ 1 z)) y)) in y
1.803 * [taylor]: Taking taylor expansion of x in y
1.803 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
1.803 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.803 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.803 * [taylor]: Taking taylor expansion of t in y
1.803 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.803 * [taylor]: Taking taylor expansion of z in y
1.803 * [taylor]: Taking taylor expansion of y in y
1.807 * [taylor]: Taking taylor expansion of (/ x (- (/ 1 t) (/ 1 z))) in x
1.807 * [taylor]: Taking taylor expansion of x in x
1.807 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.807 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.807 * [taylor]: Taking taylor expansion of t in x
1.808 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.808 * [taylor]: Taking taylor expansion of z in x
1.809 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 z))) in z
1.809 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.809 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.809 * [taylor]: Taking taylor expansion of t in z
1.809 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.809 * [taylor]: Taking taylor expansion of z in z
1.810 * [taylor]: Taking taylor expansion of -1 in t
1.814 * [taylor]: Taking taylor expansion of 0 in x
1.814 * [taylor]: Taking taylor expansion of 0 in z
1.814 * [taylor]: Taking taylor expansion of 0 in t
1.818 * [taylor]: Taking taylor expansion of 0 in z
1.818 * [taylor]: Taking taylor expansion of 0 in t
1.820 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.820 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.820 * [taylor]: Taking taylor expansion of t in t
1.829 * [taylor]: Taking taylor expansion of 0 in x
1.829 * [taylor]: Taking taylor expansion of 0 in z
1.829 * [taylor]: Taking taylor expansion of 0 in t
1.829 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
1.830 * [approximate]: Taking taylor expansion of (/ (* (- z t) x) y) in (y x z t) around 0
1.830 * [taylor]: Taking taylor expansion of (/ (* (- z t) x) y) in t
1.830 * [taylor]: Taking taylor expansion of (* (- z t) x) in t
1.830 * [taylor]: Taking taylor expansion of (- z t) in t
1.830 * [taylor]: Taking taylor expansion of z in t
1.830 * [taylor]: Taking taylor expansion of t in t
1.830 * [taylor]: Taking taylor expansion of x in t
1.830 * [taylor]: Taking taylor expansion of y in t
1.831 * [taylor]: Taking taylor expansion of (/ (* (- z t) x) y) in z
1.831 * [taylor]: Taking taylor expansion of (* (- z t) x) in z
1.831 * [taylor]: Taking taylor expansion of (- z t) in z
1.831 * [taylor]: Taking taylor expansion of z in z
1.831 * [taylor]: Taking taylor expansion of t in z
1.831 * [taylor]: Taking taylor expansion of x in z
1.831 * [taylor]: Taking taylor expansion of y in z
1.832 * [taylor]: Taking taylor expansion of (/ (* (- z t) x) y) in x
1.832 * [taylor]: Taking taylor expansion of (* (- z t) x) in x
1.832 * [taylor]: Taking taylor expansion of (- z t) in x
1.832 * [taylor]: Taking taylor expansion of z in x
1.832 * [taylor]: Taking taylor expansion of t in x
1.832 * [taylor]: Taking taylor expansion of x in x
1.832 * [taylor]: Taking taylor expansion of y in x
1.834 * [taylor]: Taking taylor expansion of (/ (* (- z t) x) y) in y
1.834 * [taylor]: Taking taylor expansion of (* (- z t) x) in y
1.834 * [taylor]: Taking taylor expansion of (- z t) in y
1.834 * [taylor]: Taking taylor expansion of z in y
1.834 * [taylor]: Taking taylor expansion of t in y
1.834 * [taylor]: Taking taylor expansion of x in y
1.834 * [taylor]: Taking taylor expansion of y in y
1.835 * [taylor]: Taking taylor expansion of (/ (* (- z t) x) y) in y
1.835 * [taylor]: Taking taylor expansion of (* (- z t) x) in y
1.835 * [taylor]: Taking taylor expansion of (- z t) in y
1.835 * [taylor]: Taking taylor expansion of z in y
1.835 * [taylor]: Taking taylor expansion of t in y
1.835 * [taylor]: Taking taylor expansion of x in y
1.835 * [taylor]: Taking taylor expansion of y in y
1.837 * [taylor]: Taking taylor expansion of (* (- z t) x) in x
1.837 * [taylor]: Taking taylor expansion of (- z t) in x
1.837 * [taylor]: Taking taylor expansion of z in x
1.837 * [taylor]: Taking taylor expansion of t in x
1.837 * [taylor]: Taking taylor expansion of x in x
1.838 * [taylor]: Taking taylor expansion of (- z t) in z
1.838 * [taylor]: Taking taylor expansion of z in z
1.838 * [taylor]: Taking taylor expansion of t in z
1.838 * [taylor]: Taking taylor expansion of (neg t) in t
1.838 * [taylor]: Taking taylor expansion of t in t
1.840 * [taylor]: Taking taylor expansion of 0 in x
1.840 * [taylor]: Taking taylor expansion of 0 in z
1.840 * [taylor]: Taking taylor expansion of 0 in t
1.841 * [taylor]: Taking taylor expansion of 0 in z
1.841 * [taylor]: Taking taylor expansion of 0 in t
1.841 * [taylor]: Taking taylor expansion of 1 in t
1.843 * [taylor]: Taking taylor expansion of 0 in x
1.843 * [taylor]: Taking taylor expansion of 0 in z
1.843 * [taylor]: Taking taylor expansion of 0 in t
1.843 * [taylor]: Taking taylor expansion of 0 in z
1.843 * [taylor]: Taking taylor expansion of 0 in t
1.844 * [taylor]: Taking taylor expansion of 0 in z
1.844 * [taylor]: Taking taylor expansion of 0 in t
1.844 * [taylor]: Taking taylor expansion of 0 in t
1.844 * [taylor]: Taking taylor expansion of 0 in t
1.845 * [taylor]: Taking taylor expansion of 0 in t
1.848 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in (y x z t) around 0
1.848 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in t
1.848 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in t
1.848 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.848 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.848 * [taylor]: Taking taylor expansion of z in t
1.848 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.848 * [taylor]: Taking taylor expansion of t in t
1.848 * [taylor]: Taking taylor expansion of y in t
1.848 * [taylor]: Taking taylor expansion of x in t
1.849 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in z
1.849 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in z
1.849 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.849 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.849 * [taylor]: Taking taylor expansion of z in z
1.849 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.849 * [taylor]: Taking taylor expansion of t in z
1.849 * [taylor]: Taking taylor expansion of y in z
1.849 * [taylor]: Taking taylor expansion of x in z
1.850 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in x
1.850 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in x
1.850 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.850 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.850 * [taylor]: Taking taylor expansion of z in x
1.850 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.850 * [taylor]: Taking taylor expansion of t in x
1.850 * [taylor]: Taking taylor expansion of y in x
1.850 * [taylor]: Taking taylor expansion of x in x
1.852 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in y
1.852 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y
1.852 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.852 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.852 * [taylor]: Taking taylor expansion of z in y
1.852 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.852 * [taylor]: Taking taylor expansion of t in y
1.852 * [taylor]: Taking taylor expansion of y in y
1.852 * [taylor]: Taking taylor expansion of x in y
1.856 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in y
1.856 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y
1.856 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.856 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.856 * [taylor]: Taking taylor expansion of z in y
1.856 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.856 * [taylor]: Taking taylor expansion of t in y
1.857 * [taylor]: Taking taylor expansion of y in y
1.857 * [taylor]: Taking taylor expansion of x in y
1.861 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in x
1.861 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.861 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.861 * [taylor]: Taking taylor expansion of z in x
1.861 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.861 * [taylor]: Taking taylor expansion of t in x
1.861 * [taylor]: Taking taylor expansion of x in x
1.862 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.862 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.862 * [taylor]: Taking taylor expansion of z in z
1.862 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.862 * [taylor]: Taking taylor expansion of t in z
1.863 * [taylor]: Taking taylor expansion of 1 in t
1.867 * [taylor]: Taking taylor expansion of 0 in x
1.870 * [taylor]: Taking taylor expansion of 0 in z
1.872 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.872 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.872 * [taylor]: Taking taylor expansion of t in t
1.877 * [taylor]: Taking taylor expansion of 0 in x
1.877 * [taylor]: Taking taylor expansion of 0 in z
1.881 * [taylor]: Taking taylor expansion of 0 in z
1.881 * [taylor]: Taking taylor expansion of 0 in t
1.883 * [taylor]: Taking taylor expansion of 0 in t
1.890 * [taylor]: Taking taylor expansion of 0 in x
1.890 * [taylor]: Taking taylor expansion of 0 in z
1.890 * [taylor]: Taking taylor expansion of 0 in z
1.894 * [taylor]: Taking taylor expansion of 0 in z
1.894 * [taylor]: Taking taylor expansion of 0 in t
1.894 * [taylor]: Taking taylor expansion of 0 in t
1.894 * [taylor]: Taking taylor expansion of 0 in t
1.897 * [taylor]: Taking taylor expansion of 0 in t
1.906 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in (y x z t) around 0
1.906 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in t
1.906 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t
1.906 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.906 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.906 * [taylor]: Taking taylor expansion of t in t
1.906 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.906 * [taylor]: Taking taylor expansion of z in t
1.906 * [taylor]: Taking taylor expansion of y in t
1.906 * [taylor]: Taking taylor expansion of x in t
1.907 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in z
1.907 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z
1.907 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.907 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.907 * [taylor]: Taking taylor expansion of t in z
1.907 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.907 * [taylor]: Taking taylor expansion of z in z
1.907 * [taylor]: Taking taylor expansion of y in z
1.907 * [taylor]: Taking taylor expansion of x in z
1.908 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
1.908 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
1.908 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.908 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.908 * [taylor]: Taking taylor expansion of t in x
1.908 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.908 * [taylor]: Taking taylor expansion of z in x
1.908 * [taylor]: Taking taylor expansion of y in x
1.908 * [taylor]: Taking taylor expansion of x in x
1.910 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y
1.910 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
1.910 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.910 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.910 * [taylor]: Taking taylor expansion of t in y
1.910 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.910 * [taylor]: Taking taylor expansion of z in y
1.910 * [taylor]: Taking taylor expansion of y in y
1.910 * [taylor]: Taking taylor expansion of x in y
1.914 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y
1.914 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
1.914 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.914 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.914 * [taylor]: Taking taylor expansion of t in y
1.914 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.914 * [taylor]: Taking taylor expansion of z in y
1.915 * [taylor]: Taking taylor expansion of y in y
1.915 * [taylor]: Taking taylor expansion of x in y
1.920 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) x) in x
1.920 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.920 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.920 * [taylor]: Taking taylor expansion of t in x
1.920 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.920 * [taylor]: Taking taylor expansion of z in x
1.920 * [taylor]: Taking taylor expansion of x in x
1.922 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.922 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.922 * [taylor]: Taking taylor expansion of t in z
1.922 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.922 * [taylor]: Taking taylor expansion of z in z
1.922 * [taylor]: Taking taylor expansion of -1 in t
1.927 * [taylor]: Taking taylor expansion of 0 in x
1.930 * [taylor]: Taking taylor expansion of 0 in z
1.932 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.932 * [taylor]: Taking taylor expansion of t in t
1.937 * [taylor]: Taking taylor expansion of 0 in x
1.937 * [taylor]: Taking taylor expansion of 0 in z
1.941 * [taylor]: Taking taylor expansion of 0 in z
1.941 * [taylor]: Taking taylor expansion of 0 in t
1.943 * [taylor]: Taking taylor expansion of 0 in t
1.950 * [taylor]: Taking taylor expansion of 0 in x
1.950 * [taylor]: Taking taylor expansion of 0 in z
1.950 * [taylor]: Taking taylor expansion of 0 in z
1.954 * [taylor]: Taking taylor expansion of 0 in z
1.954 * [taylor]: Taking taylor expansion of 0 in t
1.954 * [taylor]: Taking taylor expansion of 0 in t
1.954 * [taylor]: Taking taylor expansion of 0 in t
1.956 * [taylor]: Taking taylor expansion of 0 in t
1.961 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2 2)
1.962 * [approximate]: Taking taylor expansion of (* (- z t) x) in (x z t) around 0
1.962 * [taylor]: Taking taylor expansion of (* (- z t) x) in t
1.962 * [taylor]: Taking taylor expansion of (- z t) in t
1.962 * [taylor]: Taking taylor expansion of z in t
1.962 * [taylor]: Taking taylor expansion of t in t
1.962 * [taylor]: Taking taylor expansion of x in t
1.962 * [taylor]: Taking taylor expansion of (* (- z t) x) in z
1.962 * [taylor]: Taking taylor expansion of (- z t) in z
1.962 * [taylor]: Taking taylor expansion of z in z
1.962 * [taylor]: Taking taylor expansion of t in z
1.962 * [taylor]: Taking taylor expansion of x in z
1.962 * [taylor]: Taking taylor expansion of (* (- z t) x) in x
1.962 * [taylor]: Taking taylor expansion of (- z t) in x
1.962 * [taylor]: Taking taylor expansion of z in x
1.962 * [taylor]: Taking taylor expansion of t in x
1.962 * [taylor]: Taking taylor expansion of x in x
1.962 * [taylor]: Taking taylor expansion of (* (- z t) x) in x
1.962 * [taylor]: Taking taylor expansion of (- z t) in x
1.962 * [taylor]: Taking taylor expansion of z in x
1.962 * [taylor]: Taking taylor expansion of t in x
1.962 * [taylor]: Taking taylor expansion of x in x
1.963 * [taylor]: Taking taylor expansion of 0 in z
1.963 * [taylor]: Taking taylor expansion of 0 in t
1.964 * [taylor]: Taking taylor expansion of (- z t) in z
1.964 * [taylor]: Taking taylor expansion of z in z
1.964 * [taylor]: Taking taylor expansion of t in z
1.964 * [taylor]: Taking taylor expansion of (neg t) in t
1.964 * [taylor]: Taking taylor expansion of t in t
1.964 * [taylor]: Taking taylor expansion of 0 in t
1.966 * [taylor]: Taking taylor expansion of 0 in z
1.966 * [taylor]: Taking taylor expansion of 0 in t
1.966 * [taylor]: Taking taylor expansion of 1 in t
1.966 * [taylor]: Taking taylor expansion of 0 in t
1.968 * [taylor]: Taking taylor expansion of 0 in z
1.968 * [taylor]: Taking taylor expansion of 0 in t
1.968 * [taylor]: Taking taylor expansion of 0 in t
1.969 * [taylor]: Taking taylor expansion of 0 in t
1.969 * [taylor]: Taking taylor expansion of 0 in t
1.971 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in (x z t) around 0
1.972 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in t
1.972 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.972 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.972 * [taylor]: Taking taylor expansion of z in t
1.972 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.972 * [taylor]: Taking taylor expansion of t in t
1.972 * [taylor]: Taking taylor expansion of x in t
1.973 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in z
1.973 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.973 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.973 * [taylor]: Taking taylor expansion of z in z
1.973 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.973 * [taylor]: Taking taylor expansion of t in z
1.973 * [taylor]: Taking taylor expansion of x in z
1.973 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in x
1.973 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.973 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.973 * [taylor]: Taking taylor expansion of z in x
1.974 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.974 * [taylor]: Taking taylor expansion of t in x
1.974 * [taylor]: Taking taylor expansion of x in x
1.975 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in x
1.975 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.975 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.975 * [taylor]: Taking taylor expansion of z in x
1.976 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.976 * [taylor]: Taking taylor expansion of t in x
1.976 * [taylor]: Taking taylor expansion of x in x
1.978 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.978 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.978 * [taylor]: Taking taylor expansion of z in z
1.978 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.978 * [taylor]: Taking taylor expansion of t in z
1.978 * [taylor]: Taking taylor expansion of 1 in t
1.981 * [taylor]: Taking taylor expansion of 0 in z
1.982 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.982 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.982 * [taylor]: Taking taylor expansion of t in t
1.986 * [taylor]: Taking taylor expansion of 0 in z
1.986 * [taylor]: Taking taylor expansion of 0 in t
1.988 * [taylor]: Taking taylor expansion of 0 in t
1.992 * [taylor]: Taking taylor expansion of 0 in z
1.992 * [taylor]: Taking taylor expansion of 0 in t
1.992 * [taylor]: Taking taylor expansion of 0 in t
1.994 * [taylor]: Taking taylor expansion of 0 in t
1.998 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in (x z t) around 0
1.998 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in t
1.998 * [taylor]: Taking taylor expansion of -1 in t
1.998 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) x) in t
1.998 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.998 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.998 * [taylor]: Taking taylor expansion of t in t
1.998 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.998 * [taylor]: Taking taylor expansion of z in t
1.998 * [taylor]: Taking taylor expansion of x in t
1.998 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in z
1.998 * [taylor]: Taking taylor expansion of -1 in z
1.998 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) x) in z
1.998 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.998 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.998 * [taylor]: Taking taylor expansion of t in z
1.999 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.999 * [taylor]: Taking taylor expansion of z in z
1.999 * [taylor]: Taking taylor expansion of x in z
1.999 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in x
1.999 * [taylor]: Taking taylor expansion of -1 in x
1.999 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) x) in x
1.999 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.999 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.999 * [taylor]: Taking taylor expansion of t in x
1.999 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.999 * [taylor]: Taking taylor expansion of z in x
2.000 * [taylor]: Taking taylor expansion of x in x
2.001 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in x
2.001 * [taylor]: Taking taylor expansion of -1 in x
2.001 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) x) in x
2.001 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
2.001 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.001 * [taylor]: Taking taylor expansion of t in x
2.001 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.001 * [taylor]: Taking taylor expansion of z in x
2.001 * [taylor]: Taking taylor expansion of x in x
2.003 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 t) (/ 1 z))) in z
2.003 * [taylor]: Taking taylor expansion of -1 in z
2.003 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
2.003 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.003 * [taylor]: Taking taylor expansion of t in z
2.003 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.003 * [taylor]: Taking taylor expansion of z in z
2.004 * [taylor]: Taking taylor expansion of 1 in t
2.006 * [taylor]: Taking taylor expansion of 0 in z
2.007 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
2.007 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.007 * [taylor]: Taking taylor expansion of t in t
2.011 * [taylor]: Taking taylor expansion of 0 in z
2.011 * [taylor]: Taking taylor expansion of 0 in t
2.013 * [taylor]: Taking taylor expansion of 0 in t
2.019 * [taylor]: Taking taylor expansion of 0 in z
2.019 * [taylor]: Taking taylor expansion of 0 in t
2.019 * [taylor]: Taking taylor expansion of 0 in t
2.022 * [taylor]: Taking taylor expansion of 0 in t
2.026 * * * [progress]: simplifying candidates
2.028 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (log.f64 y) (+.f64 (log.f64 x) (log.f64 (-.f64 z t))))
  (-.f64 (log.f64 y) (log.f64 (*.f64 x (-.f64 z t))))
  (exp.f64 (/.f64 y (*.f64 x (-.f64 z t))))
  (log.f64 (/.f64 y (*.f64 x (-.f64 z t))))
  (*.f64 (*.f64 (/.f64 y (*.f64 x (-.f64 z t))) (/.f64 y (*.f64 x (-.f64 z t)))) (/.f64 y (*.f64 x (-.f64 z t))))
  (*.f64 (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))) (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t))))
  (/.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 x (-.f64 z t)) (*.f64 x (-.f64 z t))) (*.f64 x (-.f64 z t))))
  (/.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t))))
  (sqrt.f64 (/.f64 y (*.f64 x (-.f64 z t))))
  (sqrt.f64 (/.f64 y (*.f64 x (-.f64 z t))))
  (neg.f64 y)
  (neg.f64 (*.f64 x (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) x)
  (/.f64 (cbrt.f64 y) (-.f64 z t))
  (/.f64 (sqrt.f64 y) x)
  (/.f64 (sqrt.f64 y) (-.f64 z t))
  (/.f64 1 x)
  (/.f64 y (-.f64 z t))
  (/.f64 (*.f64 x (-.f64 z t)) y)
  (/.f64 1 (*.f64 x (-.f64 z t)))
  (/.f64 y (*.f64 x (-.f64 (pow.f64 z 3) (pow.f64 t 3))))
  (/.f64 y (*.f64 x (-.f64 (*.f64 z z) (*.f64 t t))))
  (/.f64 (*.f64 x (-.f64 z t)) (cbrt.f64 y))
  (/.f64 (*.f64 x (-.f64 z t)) (sqrt.f64 y))
  (/.f64 (*.f64 x (-.f64 z t)) y)
  (/.f64 y x)
  (neg.f64 1)
  (-.f64 (log.f64 1) (-.f64 (log.f64 y) (+.f64 (log.f64 x) (log.f64 (-.f64 z t)))))
  (-.f64 (log.f64 1) (-.f64 (log.f64 y) (log.f64 (*.f64 x (-.f64 z t)))))
  (-.f64 (log.f64 1) (log.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (neg.f64 (-.f64 (log.f64 y) (+.f64 (log.f64 x) (log.f64 (-.f64 z t)))))
  (neg.f64 (-.f64 (log.f64 y) (log.f64 (*.f64 x (-.f64 z t)))))
  (neg.f64 (log.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (exp.f64 (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t)))))
  (log.f64 (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t)))))
  (*.f64 (*.f64 (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t)))) (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t))))) (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t)))))
  (*.f64 (cbrt.f64 (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t))))) (cbrt.f64 (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t))))))
  (cbrt.f64 (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (/.f64 y (*.f64 x (-.f64 z t))) (/.f64 y (*.f64 x (-.f64 z t)))) (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 x (-.f64 z t)) (*.f64 x (-.f64 z t))) (*.f64 x (-.f64 z t)))))
  (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)))))
  (sqrt.f64 (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t)))))
  (sqrt.f64 (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t)))))
  (neg.f64 1)
  (neg.f64 (/.f64 y (*.f64 x (-.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))) (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t))))))
  (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) x))
  (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 y) (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 y) x))
  (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 y) (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 x))
  (/.f64 (cbrt.f64 1) (/.f64 y (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1)
  (/.f64 (cbrt.f64 1) (/.f64 y (*.f64 x (-.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) y)
  (/.f64 (cbrt.f64 1) (/.f64 1 (*.f64 x (-.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 y (*.f64 x (-.f64 (pow.f64 z 3) (pow.f64 t 3)))))
  (/.f64 (cbrt.f64 1) (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 y (*.f64 x (-.f64 (*.f64 z z) (*.f64 t t)))))
  (/.f64 (cbrt.f64 1) (+.f64 z t))
  (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))) (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t))))))
  (/.f64 (sqrt.f64 1) (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) x))
  (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 y) (-.f64 z t)))
  (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 y) x))
  (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 y) (-.f64 z t)))
  (/.f64 (sqrt.f64 1) (/.f64 1 x))
  (/.f64 (sqrt.f64 1) (/.f64 y (-.f64 z t)))
  (/.f64 (sqrt.f64 1) 1)
  (/.f64 (sqrt.f64 1) (/.f64 y (*.f64 x (-.f64 z t))))
  (/.f64 (sqrt.f64 1) y)
  (/.f64 (sqrt.f64 1) (/.f64 1 (*.f64 x (-.f64 z t))))
  (/.f64 (sqrt.f64 1) (/.f64 y (*.f64 x (-.f64 (pow.f64 z 3) (pow.f64 t 3)))))
  (/.f64 (sqrt.f64 1) (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t))))
  (/.f64 (sqrt.f64 1) (/.f64 y (*.f64 x (-.f64 (*.f64 z z) (*.f64 t t)))))
  (/.f64 (sqrt.f64 1) (+.f64 z t))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))) (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t))))))
  (/.f64 1 (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 1 (sqrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 1 (sqrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) x))
  (/.f64 1 (/.f64 (cbrt.f64 y) (-.f64 z t)))
  (/.f64 1 (/.f64 (sqrt.f64 y) x))
  (/.f64 1 (/.f64 (sqrt.f64 y) (-.f64 z t)))
  (/.f64 1 (/.f64 1 x))
  (/.f64 1 (/.f64 y (-.f64 z t)))
  (/.f64 1 1)
  (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t))))
  (/.f64 1 y)
  (/.f64 1 (/.f64 1 (*.f64 x (-.f64 z t))))
  (/.f64 1 (/.f64 y (*.f64 x (-.f64 (pow.f64 z 3) (pow.f64 t 3)))))
  (/.f64 1 (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t))))
  (/.f64 1 (/.f64 y (*.f64 x (-.f64 (*.f64 z z) (*.f64 t t)))))
  (/.f64 1 (+.f64 z t))
  (/.f64 (/.f64 y (*.f64 x (-.f64 z t))) 1)
  (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t))))
  (/.f64 1 y)
  (/.f64 (/.f64 y (*.f64 x (-.f64 z t))) (cbrt.f64 1))
  (/.f64 (/.f64 y (*.f64 x (-.f64 z t))) (sqrt.f64 1))
  (/.f64 (/.f64 y (*.f64 x (-.f64 z t))) 1)
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))) (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t))))))
  (/.f64 1 (sqrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) x))
  (/.f64 1 (/.f64 (sqrt.f64 y) x))
  (/.f64 1 (/.f64 1 x))
  (/.f64 1 1)
  (/.f64 1 y)
  (/.f64 1 (/.f64 y (*.f64 x (-.f64 (pow.f64 z 3) (pow.f64 t 3)))))
  (/.f64 1 (/.f64 y (*.f64 x (-.f64 (*.f64 z z) (*.f64 t t)))))
  (*.f64 x (-.f64 z t))
  (+.f64 (log.f64 x) (log.f64 (-.f64 z t)))
  (exp.f64 (*.f64 x (-.f64 z t)))
  (log.f64 (*.f64 x (-.f64 z t)))
  (*.f64 (*.f64 (*.f64 x (-.f64 z t)) (*.f64 x (-.f64 z t))) (*.f64 x (-.f64 z t)))
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 z t))) (cbrt.f64 (*.f64 x (-.f64 z t))))
  (cbrt.f64 (*.f64 x (-.f64 z t)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)))
  (sqrt.f64 (*.f64 x (-.f64 z t)))
  (sqrt.f64 (*.f64 x (-.f64 z t)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 z t)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 z t)))
  (*.f64 z x)
  (*.f64 (neg.f64 t) x)
  (*.f64 x z)
  (*.f64 x (neg.f64 t))
  (*.f64 x (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
  (*.f64 x (-.f64 (*.f64 z z) (*.f64 t t)))
  (*.f64 (cbrt.f64 x) (-.f64 z t))
  (*.f64 (sqrt.f64 x) (-.f64 z t))
  (*.f64 x (-.f64 z t))
  (*.f64 x (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (*.f64 x (sqrt.f64 (-.f64 z t)))
  (*.f64 x 1)
  (*.f64 x (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (*.f64 x 1)
  0
  0
  0
  (-.f64 (/.f64 (*.f64 x z) y) (/.f64 (*.f64 t x) y))
  (-.f64 (/.f64 (*.f64 x z) y) (/.f64 (*.f64 t x) y))
  (-.f64 (/.f64 (*.f64 x z) y) (/.f64 (*.f64 t x) y))
  (-.f64 (*.f64 x z) (*.f64 t x))
  (-.f64 (*.f64 x z) (*.f64 t x))
  (-.f64 (*.f64 x z) (*.f64 t x))
2.096 * * [simplify]: iteration  0 :  5992  enodes  (cost  1657 )
2.107 * [simplify]: Simplified to:
   (log.f64 (/.f64 y (*.f64 x (-.f64 z t))))
  (log.f64 (/.f64 y (*.f64 x (-.f64 z t))))
  (exp.f64 (/.f64 y (*.f64 x (-.f64 z t))))
  (log.f64 (/.f64 y (*.f64 x (-.f64 z t))))
  (pow.f64 (/.f64 y (*.f64 x (-.f64 z t))) 3)
  (*.f64 (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))) (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t))))
  (pow.f64 (/.f64 y (*.f64 x (-.f64 z t))) 3)
  (pow.f64 (/.f64 y (*.f64 x (-.f64 z t))) 3)
  (sqrt.f64 (/.f64 y (*.f64 x (-.f64 z t))))
  (sqrt.f64 (/.f64 y (*.f64 x (-.f64 z t))))
  (neg.f64 y)
  (*.f64 x (-.f64 t z))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) x)
  (/.f64 (cbrt.f64 y) (-.f64 z t))
  (/.f64 (sqrt.f64 y) x)
  (/.f64 (sqrt.f64 y) (-.f64 z t))
  (/.f64 1 x)
  (/.f64 y (-.f64 z t))
  (/.f64 x (/.f64 y (-.f64 z t)))
  (/.f64 1 (*.f64 x (-.f64 z t)))
  (/.f64 y (*.f64 x (-.f64 (pow.f64 z 3) (pow.f64 t 3))))
  (/.f64 y (*.f64 x (-.f64 (*.f64 z z) (*.f64 t t))))
  (/.f64 x (/.f64 (cbrt.f64 y) (-.f64 z t)))
  (/.f64 x (/.f64 (sqrt.f64 y) (-.f64 z t)))
  (/.f64 x (/.f64 y (-.f64 z t)))
  (/.f64 y x)
  -1
  (log.f64 (/.f64 x (/.f64 y (-.f64 z t))))
  (log.f64 (/.f64 x (/.f64 y (-.f64 z t))))
  (log.f64 (/.f64 x (/.f64 y (-.f64 z t))))
  (log.f64 (/.f64 x (/.f64 y (-.f64 z t))))
  (log.f64 (/.f64 x (/.f64 y (-.f64 z t))))
  (log.f64 (/.f64 x (/.f64 y (-.f64 z t))))
  (exp.f64 (/.f64 x (/.f64 y (-.f64 z t))))
  (log.f64 (/.f64 x (/.f64 y (-.f64 z t))))
  (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 3)
  (*.f64 (cbrt.f64 (/.f64 x (/.f64 y (-.f64 z t)))) (cbrt.f64 (/.f64 x (/.f64 y (-.f64 z t)))))
  (cbrt.f64 (/.f64 x (/.f64 y (-.f64 z t))))
  (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 3)
  (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 3)
  (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 3)
  (sqrt.f64 (/.f64 x (/.f64 y (-.f64 z t))))
  (sqrt.f64 (/.f64 x (/.f64 y (-.f64 z t))))
  -1
  (/.f64 (neg.f64 y) (*.f64 x (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))) (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t))))))
  (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) x))
  (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 y) (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 y) x))
  (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 y) (-.f64 z t)))
  (*.f64 x (*.f64 (cbrt.f64 1) (cbrt.f64 1)))
  (/.f64 (cbrt.f64 1) (/.f64 y (-.f64 z t)))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (*.f64 (/.f64 (cbrt.f64 1) (/.f64 y (-.f64 z t))) x)
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) y)
  (*.f64 (*.f64 x (-.f64 z t)) (cbrt.f64 1))
  (*.f64 (*.f64 x (-.f64 (pow.f64 z 3) (pow.f64 t 3))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) y))
  (/.f64 (cbrt.f64 1) (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t))))
  (*.f64 (*.f64 x (-.f64 (*.f64 z z) (*.f64 t t))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) y))
  (/.f64 (cbrt.f64 1) (+.f64 z t))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))) (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t))))))
  (/.f64 1 (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 1 (sqrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 1 (sqrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 x (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
  (/.f64 (-.f64 z t) (cbrt.f64 y))
  (/.f64 x (sqrt.f64 y))
  (/.f64 (-.f64 z t) (sqrt.f64 y))
  x
  (/.f64 (-.f64 z t) y)
  1
  (/.f64 x (/.f64 y (-.f64 z t)))
  (/.f64 1 y)
  (*.f64 x (-.f64 z t))
  (/.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) (/.f64 y x))
  (/.f64 1 (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t))))
  (/.f64 (-.f64 (*.f64 z z) (*.f64 t t)) (/.f64 y x))
  (/.f64 1 (+.f64 z t))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))) (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t))))))
  (/.f64 1 (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 1 (sqrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 1 (sqrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 x (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
  (/.f64 (-.f64 z t) (cbrt.f64 y))
  (/.f64 x (sqrt.f64 y))
  (/.f64 (-.f64 z t) (sqrt.f64 y))
  x
  (/.f64 (-.f64 z t) y)
  1
  (/.f64 x (/.f64 y (-.f64 z t)))
  (/.f64 1 y)
  (*.f64 x (-.f64 z t))
  (/.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) (/.f64 y x))
  (/.f64 1 (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t))))
  (/.f64 (-.f64 (*.f64 z z) (*.f64 t t)) (/.f64 y x))
  (/.f64 1 (+.f64 z t))
  (/.f64 y (*.f64 x (-.f64 z t)))
  (/.f64 x (/.f64 y (-.f64 z t)))
  (/.f64 1 y)
  (/.f64 y (*.f64 (*.f64 x (-.f64 z t)) (cbrt.f64 1)))
  (/.f64 y (*.f64 x (-.f64 z t)))
  (/.f64 y (*.f64 x (-.f64 z t)))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))) (cbrt.f64 (/.f64 y (*.f64 x (-.f64 z t))))))
  (/.f64 1 (sqrt.f64 (/.f64 y (*.f64 x (-.f64 z t)))))
  (/.f64 x (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
  (/.f64 x (sqrt.f64 y))
  x
  1
  (/.f64 1 y)
  (/.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) (/.f64 y x))
  (/.f64 (-.f64 (*.f64 z z) (*.f64 t t)) (/.f64 y x))
  (*.f64 x (-.f64 z t))
  (log.f64 (*.f64 x (-.f64 z t)))
  (exp.f64 (*.f64 x (-.f64 z t)))
  (log.f64 (*.f64 x (-.f64 z t)))
  (pow.f64 (*.f64 x (-.f64 z t)) 3)
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 z t))) (cbrt.f64 (*.f64 x (-.f64 z t))))
  (cbrt.f64 (*.f64 x (-.f64 z t)))
  (pow.f64 (*.f64 x (-.f64 z t)) 3)
  (sqrt.f64 (*.f64 x (-.f64 z t)))
  (sqrt.f64 (*.f64 x (-.f64 z t)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 z t)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 z t)))
  (*.f64 x z)
  (*.f64 x (neg.f64 t))
  (*.f64 x z)
  (*.f64 x (neg.f64 t))
  (*.f64 x (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
  (*.f64 x (-.f64 (*.f64 z z) (*.f64 t t)))
  (*.f64 (-.f64 z t) (cbrt.f64 x))
  (*.f64 (-.f64 z t) (sqrt.f64 x))
  (*.f64 x (-.f64 z t))
  (*.f64 x (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (*.f64 x (sqrt.f64 (-.f64 z t)))
  x
  (*.f64 x (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  x
  0
  0
  0
  (/.f64 x (/.f64 y (-.f64 z t)))
  (/.f64 x (/.f64 y (-.f64 z t)))
  (/.f64 x (/.f64 y (-.f64 z t)))
  (*.f64 x (-.f64 z t))
  (*.f64 x (-.f64 z t))
  (*.f64 x (-.f64 z t))
2.107 * * * [progress]: adding candidates to table
2.165 * [progress]: [Phase 3 of 3] Extracting.
2.165 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+.f64 (/.f64 (*.f64 x (-.f64 z t)) y) t))> #<alt (λ (x y z t) (+.f64 (+.f64 (*.f64 (/.f64 x y) z) (*.f64 (/.f64 x y) (neg.f64 t))) t))> #<alt (λ (x y z t) (+.f64 (/.f64 1 (*.f64 (/.f64 1 x) (/.f64 y (-.f64 z t)))) t))> #<alt (λ (x y z t) (+.f64 (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t)))) t))> #<alt (λ (x y z t) (+.f64 (*.f64 x (/.f64 (-.f64 z t) y)) t))>)
2.166 * * * [regime-changes]: Trying 5 branch expressions: ((/.f64 x y) t z y x)
2.166 * * * * [regimes]: Trying to branch on (/.f64 x y) from (#<alt (λ (x y z t) (+.f64 (/.f64 (*.f64 x (-.f64 z t)) y) t))> #<alt (λ (x y z t) (+.f64 (+.f64 (*.f64 (/.f64 x y) z) (*.f64 (/.f64 x y) (neg.f64 t))) t))> #<alt (λ (x y z t) (+.f64 (/.f64 1 (*.f64 (/.f64 1 x) (/.f64 y (-.f64 z t)))) t))> #<alt (λ (x y z t) (+.f64 (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t)))) t))> #<alt (λ (x y z t) (+.f64 (*.f64 x (/.f64 (-.f64 z t) y)) t))>)
2.179 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+.f64 (/.f64 (*.f64 x (-.f64 z t)) y) t))> #<alt (λ (x y z t) (+.f64 (+.f64 (*.f64 (/.f64 x y) z) (*.f64 (/.f64 x y) (neg.f64 t))) t))> #<alt (λ (x y z t) (+.f64 (/.f64 1 (*.f64 (/.f64 1 x) (/.f64 y (-.f64 z t)))) t))> #<alt (λ (x y z t) (+.f64 (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t)))) t))> #<alt (λ (x y z t) (+.f64 (*.f64 x (/.f64 (-.f64 z t) y)) t))>)
2.201 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+.f64 (/.f64 (*.f64 x (-.f64 z t)) y) t))> #<alt (λ (x y z t) (+.f64 (+.f64 (*.f64 (/.f64 x y) z) (*.f64 (/.f64 x y) (neg.f64 t))) t))> #<alt (λ (x y z t) (+.f64 (/.f64 1 (*.f64 (/.f64 1 x) (/.f64 y (-.f64 z t)))) t))> #<alt (λ (x y z t) (+.f64 (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t)))) t))> #<alt (λ (x y z t) (+.f64 (*.f64 x (/.f64 (-.f64 z t) y)) t))>)
2.214 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+.f64 (/.f64 (*.f64 x (-.f64 z t)) y) t))> #<alt (λ (x y z t) (+.f64 (+.f64 (*.f64 (/.f64 x y) z) (*.f64 (/.f64 x y) (neg.f64 t))) t))> #<alt (λ (x y z t) (+.f64 (/.f64 1 (*.f64 (/.f64 1 x) (/.f64 y (-.f64 z t)))) t))> #<alt (λ (x y z t) (+.f64 (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t)))) t))> #<alt (λ (x y z t) (+.f64 (*.f64 x (/.f64 (-.f64 z t) y)) t))>)
2.237 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+.f64 (/.f64 (*.f64 x (-.f64 z t)) y) t))> #<alt (λ (x y z t) (+.f64 (+.f64 (*.f64 (/.f64 x y) z) (*.f64 (/.f64 x y) (neg.f64 t))) t))> #<alt (λ (x y z t) (+.f64 (/.f64 1 (*.f64 (/.f64 1 x) (/.f64 y (-.f64 z t)))) t))> #<alt (λ (x y z t) (+.f64 (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t)))) t))> #<alt (λ (x y z t) (+.f64 (*.f64 x (/.f64 (-.f64 z t) y)) t))>)
2.248 * * * [regime]: Found split indices: #<option (#s(si 1 43) #s(si 0 175) #s(si 4 255))>
2.249 * [binary-search]: Improving bounds with binary search for y and (#<alt (λ (x y z t) (+.f64 (/.f64 (*.f64 x (-.f64 z t)) y) t))> #<alt (λ (x y z t) (+.f64 (+.f64 (*.f64 (/.f64 x y) z) (*.f64 (/.f64 x y) (neg.f64 t))) t))> #<alt (λ (x y z t) (+.f64 (/.f64 1 (*.f64 (/.f64 1 x) (/.f64 y (-.f64 z t)))) t))> #<alt (λ (x y z t) (+.f64 (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t)))) t))> #<alt (λ (x y z t) (+.f64 (*.f64 x (/.f64 (-.f64 z t) y)) t))>)
2.273 * [regimes]: Found splitpoints: (#s(sp 1 y -7.715468660463849e+149) #s(sp 0 y 3.528241785312015e+35) #s(sp 4 y +nan.0)) , with alts (#<alt (λ (x y z t) (+.f64 (/.f64 (*.f64 x (-.f64 z t)) y) t))> #<alt (λ (x y z t) (+.f64 (+.f64 (*.f64 (/.f64 x y) z) (*.f64 (/.f64 x y) (neg.f64 t))) t))> #<alt (λ (x y z t) (+.f64 (/.f64 1 (*.f64 (/.f64 1 x) (/.f64 y (-.f64 z t)))) t))> #<alt (λ (x y z t) (+.f64 (/.f64 1 (/.f64 y (*.f64 x (-.f64 z t)))) t))> #<alt (λ (x y z t) (+.f64 (*.f64 x (/.f64 (-.f64 z t) y)) t))>)
2.273 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<=.f64 y -771546866046384928492999408262323257405179383890561034360360902010379675450133484580293942973220173763449046397313129076569644254007860558020718100480) (+.f64 (+.f64 (*.f64 (/.f64 x y) z) (*.f64 (/.f64 x y) (neg.f64 t))) t) (if (<=.f64 y 352824178531201519210814241691926528) (+.f64 (/.f64 (*.f64 x (-.f64 z t)) y) t) (+.f64 (*.f64 x (/.f64 (-.f64 z t) y)) t)))
2.276 * * [simplify]: iteration  0 :  66  enodes  (cost  57 )
2.276 * * [simplify]: iteration  1 :  66  enodes  (cost  57 )
2.276 * [simplify]: Simplified to:
   (if (<=.f64 y -771546866046384928492999408262323257405179383890561034360360902010379675450133484580293942973220173763449046397313129076569644254007860558020718100480) (+.f64 t (-.f64 (*.f64 (/.f64 x y) z) (*.f64 (/.f64 x y) t))) (if (<=.f64 y 352824178531201519210814241691926528) (+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y)) (+.f64 t (*.f64 x (/.f64 (-.f64 z t) y)))))
2.967 * [regime-testing]: End program error score: 2.1049301889435164
2.992 * [regime-testing]: Target error score: 2.0826903471792724