15.104 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.045 * * * [progress]: [2/2] Setting up program.
0.050 * [progress]: [Phase 2 of 3] Improving.
0.050 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (- (* x x) (* (* y 4.0) (- (* z z) t)))
0.053 * * [simplify]: iteration  0 :  19  enodes  (cost  6 )
0.054 * * [simplify]: iteration  1 :  50  enodes  (cost  6 )
0.055 * * [simplify]: iteration  2 :  159  enodes  (cost  6 )
0.058 * * [simplify]: iteration  3 :  351  enodes  (cost  6 )
0.064 * * [simplify]: iteration  4 :  609  enodes  (cost  6 )
0.071 * * [simplify]: iteration  5 :  733  enodes  (cost  6 )
0.079 * * [simplify]: iteration  6 :  1068  enodes  (cost  6 )
0.088 * * [simplify]: iteration  7 :  1342  enodes  (cost  6 )
0.101 * * [simplify]: iteration  8 :  1506  enodes  (cost  6 )
0.112 * * [simplify]: iteration  9 :  1553  enodes  (cost  6 )
0.123 * * [simplify]: iteration  10 :  1553  enodes  (cost  6 )
0.123 * [simplify]: Simplified to:
  (- (* x x) (* (* y 4.0) (- (* z z) t)))
0.123 * * [progress]: iteration 1 / 4
0.123 * * * [progress]: picking best candidate
0.127 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (* x x) (* (* y 4.0) (- (* z z) t))))>
0.127 * * * [progress]: localizing error
0.136 * * * [progress]: generating rewritten candidates
0.136 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.143 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.148 * * * [progress]: generating series expansions
0.148 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.148 * [approximate]: Approximating (* 4.0 (* (- (pow z 2) t) y)) in (y z t) around 0
0.149 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in z
0.149 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
0.151 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in z
0.151 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
0.151 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
0.154 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in z
0.154 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
0.155 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
0.155 * [approximate]: Approximating (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in (y z t) around 0
0.158 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.159 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.162 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.164 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.167 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.169 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.175 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.175 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.177 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.187 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.187 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.188 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.191 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.192 * [approximate]: Approximating (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in (y z t) around 0
0.194 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.196 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.197 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.199 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.202 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.204 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.210 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.210 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.212 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.219 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.219 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.219 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.222 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.223 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.223 * [approximate]: Approximating (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in (x y z t) around 0
0.224 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in y
0.225 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in z
0.225 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.227 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in y
0.227 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in z
0.227 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.229 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in z
0.229 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.230 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.233 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in y
0.233 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in z
0.233 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.234 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in z
0.234 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.237 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in z
0.237 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.237 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.238 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.238 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.238 * [approximate]: Approximating (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in (x y z t) around 0
0.243 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in y
0.245 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in y
0.245 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.246 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in y
0.248 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.250 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in t
0.250 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.250 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.253 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in y
0.257 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.257 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.257 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.259 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in t
0.260 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in t
0.268 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in y
0.268 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.272 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.272 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.272 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.275 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in t
0.275 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in t
0.275 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in t
0.275 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in t
0.277 * [approximate]: Approximating (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in (x y z t) around 0
0.281 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in y
0.282 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in y
0.283 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.284 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in y
0.285 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.287 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in t
0.287 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.287 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.290 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in y
0.293 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.293 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.293 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.295 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in t
0.295 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in t
0.300 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in y
0.301 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.305 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.305 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.305 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.307 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in t
0.307 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in t
0.308 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in t
0.308 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in t
0.308 * * * [progress]: simplifying candidates
0.309 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (* y 4.0) (- (* z z) t))
  (* (* y 4.0) (- (* z z) t))
  (+ (+ (log y) (log 4.0)) (log (- (* z z) t)))
  (+ (log (* y 4.0)) (log (- (* z z) t)))
  (log (* (* y 4.0) (- (* z z) t)))
  (exp (* (* y 4.0) (- (* z z) t)))
  (* (* (* (* y y) y) (* (* 4.0 4.0) 4.0)) (* (* (- (* z z) t) (- (* z z) t)) (- (* z z) t)))
  (* (* (* (* y 4.0) (* y 4.0)) (* y 4.0)) (* (* (- (* z z) t) (- (* z z) t)) (- (* z z) t)))
  (* (cbrt (* (* y 4.0) (- (* z z) t))) (cbrt (* (* y 4.0) (- (* z z) t))))
  (cbrt (* (* y 4.0) (- (* z z) t)))
  (* (* (* (* y 4.0) (- (* z z) t)) (* (* y 4.0) (- (* z z) t))) (* (* y 4.0) (- (* z z) t)))
  (sqrt (* (* y 4.0) (- (* z z) t)))
  (sqrt (* (* y 4.0) (- (* z z) t)))
  (* (* y 4.0) (* z z))
  (* (* y 4.0) (neg t))
  (* (* y 4.0) (* z z))
  (* (* y 4.0) (neg t))
  (* (* z z) (* y 4.0))
  (* (neg t) (* y 4.0))
  (* (* z z) (* y 4.0))
  (* (neg t) (* y 4.0))
  (* (* y 4.0) (* (cbrt (- (* z z) t)) (cbrt (- (* z z) t))))
  (* (* y 4.0) (sqrt (- (* z z) t)))
  (* (* y 4.0) 1)
  (* (* y 4.0) (+ z (sqrt t)))
  (* 4.0 (- (* z z) t))
  (* (* y 4.0) (- (pow (* z z) 3) (pow t 3)))
  (* (* y 4.0) (- (* (* z z) (* z z)) (* t t)))
  (/ (exp (* x x)) (exp (* (* y 4.0) (- (* z z) t))))
  (log (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (exp (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (* (cbrt (- (* x x) (* (* y 4.0) (- (* z z) t)))) (cbrt (- (* x x) (* (* y 4.0) (- (* z z) t)))))
  (cbrt (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (* (* (- (* x x) (* (* y 4.0) (- (* z z) t))) (- (* x x) (* (* y 4.0) (- (* z z) t)))) (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (sqrt (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (sqrt (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (- (pow (* x x) 3) (pow (* (* y 4.0) (- (* z z) t)) 3))
  (+ (* (* x x) (* x x)) (+ (* (* (* y 4.0) (- (* z z) t)) (* (* y 4.0) (- (* z z) t))) (* (* x x) (* (* y 4.0) (- (* z z) t)))))
  (neg (* (* y 4.0) (- (* z z) t)))
  (- (* (* x x) (* x x)) (* (* (* y 4.0) (- (* z z) t)) (* (* y 4.0) (- (* z z) t))))
  (+ (* x x) (* (* y 4.0) (- (* z z) t)))
  (- (* x x) (* (* y 4.0) (* z z)))
  (- (* x x) (* (* y 4.0) (* z z)))
  (- (* x x) (* (* z z) (* y 4.0)))
  (- (* x x) (* (* z z) (* y 4.0)))
  (neg (* (* y 4.0) (- (* z z) t)))
  0
  (- (* 4.0 (* (pow z 2) y)) (* 4.0 (* t y)))
  (- (* 4.0 (* (pow z 2) y)) (* 4.0 (* t y)))
  (pow x 2)
  (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y)))
  (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y)))
0.313 * * [simplify]: iteration  0 :  269  enodes  (cost  322 )
0.319 * * [simplify]: iteration  1 :  1276  enodes  (cost  286 )
0.348 * * [simplify]: iteration  2 :  5001  enodes  (cost  281 )
0.350 * [simplify]: Simplified to:
  (* (* y 4.0) (- (* z z) t))
  (* (* y 4.0) (- (* z z) t))
  (log (* (* y 4.0) (- (* z z) t)))
  (log (* (* y 4.0) (- (* z z) t)))
  (log (* (* y 4.0) (- (* z z) t)))
  (exp (* (* y 4.0) (- (* z z) t)))
  (pow (* (* y 4.0) (- (* z z) t)) 3)
  (pow (* (* y 4.0) (- (* z z) t)) 3)
  (* (cbrt (* (* y 4.0) (- (* z z) t))) (cbrt (* (* y 4.0) (- (* z z) t))))
  (cbrt (* (* y 4.0) (- (* z z) t)))
  (pow (* (* y 4.0) (- (* z z) t)) 3)
  (sqrt (* (* y 4.0) (- (* z z) t)))
  (sqrt (* (* y 4.0) (- (* z z) t)))
  (* (* y 4.0) (* z z))
  (* (* y 4.0) (neg t))
  (* (* y 4.0) (* z z))
  (* (* y 4.0) (neg t))
  (* (* y 4.0) (* z z))
  (* (* y 4.0) (neg t))
  (* (* y 4.0) (* z z))
  (* (* y 4.0) (neg t))
  (* (* y 4.0) (* (cbrt (- (* z z) t)) (cbrt (- (* z z) t))))
  (* (* y 4.0) (sqrt (- (* z z) t)))
  (* y 4.0)
  (* (* y 4.0) (+ z (sqrt t)))
  (* 4.0 (- (* z z) t))
  (* (* y 4.0) (- (pow (* z z) 3) (pow t 3)))
  (* (* (+ (neg (* t t)) (pow z 4)) 4.0) y)
  (exp (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (log (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (exp (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (* (cbrt (- (* x x) (* (* y 4.0) (- (* z z) t)))) (cbrt (- (* x x) (* (* y 4.0) (- (* z z) t)))))
  (cbrt (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (pow (- (* x x) (* (* y 4.0) (- (* z z) t))) 3)
  (sqrt (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (sqrt (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (- (pow (* x x) 3) (pow (* (* y 4.0) (- (* z z) t)) 3))
  (+ (* (* (* y 4.0) (- (* z z) t)) (+ (* (* y 4.0) (- (* z z) t)) (pow x 2))) (* (* x x) (* x x)))
  (* (* y 4.0) (- t (pow z 2)))
  (+ (neg (* (* (* y 4.0) (- (* z z) t)) (* (* y 4.0) (- (* z z) t)))) (pow x 4))
  (+ (* x x) (* (* y 4.0) (- (* z z) t)))
  (- (* x x) (* (* z z) (* y 4.0)))
  (- (* x x) (* (* z z) (* y 4.0)))
  (- (* x x) (* (* z z) (* y 4.0)))
  (- (* x x) (* (* z z) (* y 4.0)))
  (* (* y 4.0) (- t (pow z 2)))
  0
  (* (* y 4.0) (- (* z z) t))
  (* (* y 4.0) (- (* z z) t))
  (pow x 2)
  (- (* x x) (* (* y 4.0) (- (* z z) t)))
  (- (* x x) (* (* y 4.0) (- (* z z) t)))
0.350 * * * [progress]: adding candidates to table
0.443 * * [progress]: iteration 2 / 4
0.443 * * * [progress]: picking best candidate
0.480 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (* x x) (* y (* 4.0 (- (* z z) t)))))>
0.480 * * * [progress]: localizing error
0.488 * * * [progress]: generating rewritten candidates
0.488 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.496 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.502 * * * [progress]: generating series expansions
0.502 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.502 * [approximate]: Approximating (* 4.0 (* (- (pow z 2) t) y)) in (y z t) around 0
0.503 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in z
0.503 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
0.504 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in z
0.505 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
0.505 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
0.508 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in z
0.508 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
0.509 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
0.509 * [approximate]: Approximating (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in (y z t) around 0
0.512 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.513 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.516 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.517 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.523 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.525 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.531 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.531 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.534 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.540 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.540 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.540 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.544 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.544 * [approximate]: Approximating (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in (y z t) around 0
0.547 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.548 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.550 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.552 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.555 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.557 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.562 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.563 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.565 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.572 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.572 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.572 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.575 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.575 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.576 * [approximate]: Approximating (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in (x y z t) around 0
0.576 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in y
0.578 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in z
0.578 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.580 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in y
0.580 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in z
0.580 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.581 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in z
0.582 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.582 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.586 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in y
0.586 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in z
0.586 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.586 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in z
0.586 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.589 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in z
0.589 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.589 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.590 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.590 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
0.591 * [approximate]: Approximating (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in (x y z t) around 0
0.598 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in y
0.599 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in y
0.599 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.601 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in y
0.602 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.604 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in t
0.604 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.604 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.608 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in y
0.612 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.612 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.612 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.614 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in t
0.614 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in t
0.620 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in y
0.620 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.624 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.624 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.624 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
0.627 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in t
0.628 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in t
0.628 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in t
0.628 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in t
0.629 * [approximate]: Approximating (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in (x y z t) around 0
0.634 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in y
0.635 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in y
0.635 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.637 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in y
0.638 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.640 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in t
0.640 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.640 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.643 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in y
0.646 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.646 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.646 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.648 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in t
0.648 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in t
0.653 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in y
0.653 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.657 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.657 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.657 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
0.659 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in t
0.660 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in t
0.660 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in t
0.660 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in t
0.661 * * * [progress]: simplifying candidates
0.661 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* y (* 4.0 (- (* z z) t)))
  (* y (* 4.0 (- (* z z) t)))
  (+ (log y) (+ (log 4.0) (log (- (* z z) t))))
  (+ (log y) (log (* 4.0 (- (* z z) t))))
  (log (* y (* 4.0 (- (* z z) t))))
  (exp (* y (* 4.0 (- (* z z) t))))
  (* (* (* y y) y) (* (* (* 4.0 4.0) 4.0) (* (* (- (* z z) t) (- (* z z) t)) (- (* z z) t))))
  (* (* (* y y) y) (* (* (* 4.0 (- (* z z) t)) (* 4.0 (- (* z z) t))) (* 4.0 (- (* z z) t))))
  (* (cbrt (* y (* 4.0 (- (* z z) t)))) (cbrt (* y (* 4.0 (- (* z z) t)))))
  (cbrt (* y (* 4.0 (- (* z z) t))))
  (* (* (* y (* 4.0 (- (* z z) t))) (* y (* 4.0 (- (* z z) t)))) (* y (* 4.0 (- (* z z) t))))
  (sqrt (* y (* 4.0 (- (* z z) t))))
  (sqrt (* y (* 4.0 (- (* z z) t))))
  (* y (* 4.0 (* z z)))
  (* y (* 4.0 (neg t)))
  (* y (* 4.0 (* z z)))
  (* y (* 4.0 (neg t)))
  (* y (* (* z z) 4.0))
  (* y (* (neg t) 4.0))
  (* y (* (* z z) 4.0))
  (* y (* (neg t) 4.0))
  (* (* 4.0 (* z z)) y)
  (* (* 4.0 (neg t)) y)
  (* (* 4.0 (* z z)) y)
  (* (* 4.0 (neg t)) y)
  (* (* (* z z) 4.0) y)
  (* (* (neg t) 4.0) y)
  (* (* (* z z) 4.0) y)
  (* (* (neg t) 4.0) y)
  (* y 4.0)
  (* (cbrt y) (* 4.0 (- (* z z) t)))
  (* (sqrt y) (* 4.0 (- (* z z) t)))
  (* y (* 4.0 (- (* z z) t)))
  (* y (* 4.0 (- (pow (* z z) 3) (pow t 3))))
  (* y (* 4.0 (- (* (* z z) (* z z)) (* t t))))
  (/ (exp (* x x)) (exp (* y (* 4.0 (- (* z z) t)))))
  (log (- (* x x) (* y (* 4.0 (- (* z z) t)))))
  (exp (- (* x x) (* y (* 4.0 (- (* z z) t)))))
  (* (cbrt (- (* x x) (* y (* 4.0 (- (* z z) t))))) (cbrt (- (* x x) (* y (* 4.0 (- (* z z) t))))))
  (cbrt (- (* x x) (* y (* 4.0 (- (* z z) t)))))
  (* (* (- (* x x) (* y (* 4.0 (- (* z z) t)))) (- (* x x) (* y (* 4.0 (- (* z z) t))))) (- (* x x) (* y (* 4.0 (- (* z z) t)))))
  (sqrt (- (* x x) (* y (* 4.0 (- (* z z) t)))))
  (sqrt (- (* x x) (* y (* 4.0 (- (* z z) t)))))
  (- (pow (* x x) 3) (pow (* y (* 4.0 (- (* z z) t))) 3))
  (+ (* (* x x) (* x x)) (+ (* (* y (* 4.0 (- (* z z) t))) (* y (* 4.0 (- (* z z) t)))) (* (* x x) (* y (* 4.0 (- (* z z) t))))))
  (neg (* y (* 4.0 (- (* z z) t))))
  (- (* (* x x) (* x x)) (* (* y (* 4.0 (- (* z z) t))) (* y (* 4.0 (- (* z z) t)))))
  (+ (* x x) (* y (* 4.0 (- (* z z) t))))
  (- (* x x) (* y (* 4.0 (* z z))))
  (- (* x x) (* y (* 4.0 (* z z))))
  (- (* x x) (* y (* (* z z) 4.0)))
  (- (* x x) (* y (* (* z z) 4.0)))
  (- (* x x) (* (* 4.0 (* z z)) y))
  (- (* x x) (* (* 4.0 (* z z)) y))
  (- (* x x) (* (* (* z z) 4.0) y))
  (- (* x x) (* (* (* z z) 4.0) y))
  (neg (* y (* 4.0 (- (* z z) t))))
  0
  (- (* 4.0 (* (pow z 2) y)) (* 4.0 (* t y)))
  (- (* 4.0 (* (pow z 2) y)) (* 4.0 (* t y)))
  (pow x 2)
  (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y)))
  (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y)))
0.666 * * [simplify]: iteration  0 :  268  enodes  (cost  359 )
0.672 * * [simplify]: iteration  1 :  970  enodes  (cost  323 )
0.694 * * [simplify]: iteration  2 :  4771  enodes  (cost  321 )
0.790 * * [simplify]: iteration  3 :  5001  enodes  (cost  321 )
0.792 * [simplify]: Simplified to:
  (* y (* 4.0 (- (* z z) t)))
  (* y (* 4.0 (- (* z z) t)))
  (log (* y (* 4.0 (- (* z z) t))))
  (log (* y (* 4.0 (- (* z z) t))))
  (log (* y (* 4.0 (- (* z z) t))))
  (exp (* y (* 4.0 (- (* z z) t))))
  (pow (* y (* 4.0 (- (* z z) t))) 3)
  (pow (* y (* 4.0 (- (* z z) t))) 3)
  (* (cbrt (* y (* 4.0 (- (* z z) t)))) (cbrt (* y (* 4.0 (- (* z z) t)))))
  (cbrt (* y (* 4.0 (- (* z z) t))))
  (pow (* y (* 4.0 (- (* z z) t))) 3)
  (sqrt (* y (* 4.0 (- (* z z) t))))
  (sqrt (* y (* 4.0 (- (* z z) t))))
  (* y (* (* z z) 4.0))
  (* y (* (neg t) 4.0))
  (* y (* (* z z) 4.0))
  (* y (* (neg t) 4.0))
  (* y (* (* z z) 4.0))
  (* y (* (neg t) 4.0))
  (* y (* (* z z) 4.0))
  (* y (* (neg t) 4.0))
  (* y (* (* z z) 4.0))
  (* y (* (neg t) 4.0))
  (* y (* (* z z) 4.0))
  (* y (* (neg t) 4.0))
  (* y (* (* z z) 4.0))
  (* y (* (neg t) 4.0))
  (* y (* (* z z) 4.0))
  (* y (* (neg t) 4.0))
  (* y 4.0)
  (* (cbrt y) (* 4.0 (- (* z z) t)))
  (* (sqrt y) (* 4.0 (- (* z z) t)))
  (* y (* 4.0 (- (* z z) t)))
  (* y (* 4.0 (- (pow (* z z) 3) (pow t 3))))
  (* y (* 4.0 (- (* (* z z) (* z z)) (* t t))))
  (exp (- (* x x) (* y (* 4.0 (- (* z z) t)))))
  (log (- (* x x) (* y (* 4.0 (- (* z z) t)))))
  (exp (- (* x x) (* y (* 4.0 (- (* z z) t)))))
  (* (cbrt (- (* x x) (* y (* 4.0 (- (* z z) t))))) (cbrt (- (* x x) (* y (* 4.0 (- (* z z) t))))))
  (cbrt (- (* x x) (* y (* 4.0 (- (* z z) t)))))
  (pow (- (* x x) (* y (* 4.0 (- (* z z) t)))) 3)
  (sqrt (- (* x x) (* y (* 4.0 (- (* z z) t)))))
  (sqrt (- (* x x) (* y (* 4.0 (- (* z z) t)))))
  (- (pow (* x x) 3) (pow (* y (* 4.0 (- (* z z) t))) 3))
  (+ (* (* y (* 4.0 (- (* z z) t))) (+ (* y (* 4.0 (- (* z z) t))) (pow x 2))) (* (* x x) (* x x)))
  (neg (* y (* 4.0 (- (* z z) t))))
  (+ (neg (* (* y (* 4.0 (- (* z z) t))) (* y (* 4.0 (- (* z z) t))))) (pow x 4))
  (+ (* x x) (* y (* 4.0 (- (* z z) t))))
  (- (* x x) (* (* (* z z) 4.0) y))
  (- (* x x) (* (* (* z z) 4.0) y))
  (- (* x x) (* (* (* z z) 4.0) y))
  (- (* x x) (* (* (* z z) 4.0) y))
  (- (* x x) (* (* (* z z) 4.0) y))
  (- (* x x) (* (* (* z z) 4.0) y))
  (- (* x x) (* (* (* z z) 4.0) y))
  (- (* x x) (* (* (* z z) 4.0) y))
  (neg (* y (* 4.0 (- (* z z) t))))
  0
  (* y (* 4.0 (- (* z z) t)))
  (* y (* 4.0 (- (* z z) t)))
  (pow x 2)
  (- (* x x) (* y (* 4.0 (- (* z z) t))))
  (- (* x x) (* y (* 4.0 (- (* z z) t))))
0.793 * * * [progress]: adding candidates to table
0.877 * * [progress]: iteration 3 / 4
0.877 * * * [progress]: picking best candidate
0.910 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (* x x) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t))))))>
0.910 * * * [progress]: localizing error
0.922 * * * [progress]: generating rewritten candidates
0.922 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.936 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
0.945 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
0.946 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
0.953 * * * [progress]: generating series expansions
0.953 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.953 * [approximate]: Approximating (* 4.0 (* (- (pow z 2) t) y)) in (y z t) around 0
0.954 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in z
0.954 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
0.956 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in z
0.956 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
0.957 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
0.959 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in z
0.959 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
0.960 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
0.960 * [approximate]: Approximating (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in (y z t) around 0
0.963 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.964 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.967 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.968 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.972 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.973 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.979 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.979 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.982 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.989 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.989 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.989 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.992 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.993 * [approximate]: Approximating (* 4.0 (/ (* (pow (cbrt -1) 3) (+ (/ 1 (pow z 2)) (/ 1 t))) y)) in (y z t) around 0
1.015 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (pow (cbrt -1) 3) (+ (/ 1 (pow z 2)) (/ 1 t))) y)) in z
1.017 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (pow (cbrt -1) 3) (+ (/ 1 (pow z 2)) (/ 1 t))) y)) in t
1.021 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (pow (cbrt -1) 3) (+ (/ 1 (pow z 2)) (/ 1 t))) y)) in z
1.023 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (pow (cbrt -1) 3) (+ (/ 1 (pow z 2)) (/ 1 t))) y)) in t
1.033 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (pow (cbrt -1) 3) (+ (/ 1 (pow z 2)) (/ 1 t))) y)) in z
1.035 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (pow (cbrt -1) 3) (+ (/ 1 (pow z 2)) (/ 1 t))) y)) in t
1.044 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (pow (cbrt -1) 3) (+ (/ 1 (pow z 2)) (/ 1 t))) y)) in z
1.044 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (pow (cbrt -1) 3) (+ (/ 1 (pow z 2)) (/ 1 t))) y)) in t
1.046 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (pow (cbrt -1) 3) (+ (/ 1 (pow z 2)) (/ 1 t))) y)) in t
1.057 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (pow (cbrt -1) 3) (+ (/ 1 (pow z 2)) (/ 1 t))) y)) in z
1.058 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (pow (cbrt -1) 3) (+ (/ 1 (pow z 2)) (/ 1 t))) y)) in t
1.058 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (pow (cbrt -1) 3) (+ (/ 1 (pow z 2)) (/ 1 t))) y)) in t
1.060 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (pow (cbrt -1) 3) (+ (/ 1 (pow z 2)) (/ 1 t))) y)) in t
1.061 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
1.062 * [approximate]: Approximating (* 4.0 (* (- (pow z 2) t) (pow y 1/3))) in (y z t) around 0
1.064 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) (pow y 1/3))) in z
1.064 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) (pow y 1/3))) in t
1.068 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) (pow y 1/3))) in z
1.068 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) (pow y 1/3))) in t
1.071 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) (pow y 1/3))) in t
1.079 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) (pow y 1/3))) in z
1.079 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) (pow y 1/3))) in t
1.079 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) (pow y 1/3))) in t
1.084 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) (pow y 1/3))) in t
1.097 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) (pow y 1/3))) in z
1.097 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) (pow y 1/3))) in t
1.097 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) (pow y 1/3))) in t
1.097 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) (pow y 1/3))) in t
1.097 * [approximate]: Approximating (* 4.0 (* (pow (/ 1 y) 1/3) (- (/ 1 (pow z 2)) (/ 1 t)))) in (y z t) around 0
1.102 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (/ 1 y) 1/3) (- (/ 1 (pow z 2)) (/ 1 t)))) in z
1.103 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (/ 1 y) 1/3) (- (/ 1 (pow z 2)) (/ 1 t)))) in t
1.111 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (/ 1 y) 1/3) (- (/ 1 (pow z 2)) (/ 1 t)))) in z
1.115 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (/ 1 y) 1/3) (- (/ 1 (pow z 2)) (/ 1 t)))) in t
1.122 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (/ 1 y) 1/3) (- (/ 1 (pow z 2)) (/ 1 t)))) in z
1.127 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (/ 1 y) 1/3) (- (/ 1 (pow z 2)) (/ 1 t)))) in t
1.140 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (/ 1 y) 1/3) (- (/ 1 (pow z 2)) (/ 1 t)))) in z
1.140 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (/ 1 y) 1/3) (- (/ 1 (pow z 2)) (/ 1 t)))) in t
1.148 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (/ 1 y) 1/3) (- (/ 1 (pow z 2)) (/ 1 t)))) in t
1.169 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (/ 1 y) 1/3) (- (/ 1 (pow z 2)) (/ 1 t)))) in z
1.169 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (/ 1 y) 1/3) (- (/ 1 (pow z 2)) (/ 1 t)))) in t
1.169 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (/ 1 y) 1/3) (- (/ 1 (pow z 2)) (/ 1 t)))) in t
1.180 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (/ 1 y) 1/3) (- (/ 1 (pow z 2)) (/ 1 t)))) in t
1.184 * [approximate]: Approximating (* 4.0 (* (* (cbrt -1) (+ (/ 1 (pow z 2)) (/ 1 t))) (pow (/ 1 y) 1/3))) in (y z t) around 0
1.193 * [taylor]: Taking taylor expansion of (* 4.0 (* (* (cbrt -1) (+ (/ 1 (pow z 2)) (/ 1 t))) (pow (/ 1 y) 1/3))) in z
1.197 * [taylor]: Taking taylor expansion of (* 4.0 (* (* (cbrt -1) (+ (/ 1 (pow z 2)) (/ 1 t))) (pow (/ 1 y) 1/3))) in t
1.204 * [taylor]: Taking taylor expansion of (* 4.0 (* (* (cbrt -1) (+ (/ 1 (pow z 2)) (/ 1 t))) (pow (/ 1 y) 1/3))) in z
1.209 * [taylor]: Taking taylor expansion of (* 4.0 (* (* (cbrt -1) (+ (/ 1 (pow z 2)) (/ 1 t))) (pow (/ 1 y) 1/3))) in t
1.220 * [taylor]: Taking taylor expansion of (* 4.0 (* (* (cbrt -1) (+ (/ 1 (pow z 2)) (/ 1 t))) (pow (/ 1 y) 1/3))) in z
1.229 * [taylor]: Taking taylor expansion of (* 4.0 (* (* (cbrt -1) (+ (/ 1 (pow z 2)) (/ 1 t))) (pow (/ 1 y) 1/3))) in t
1.247 * [taylor]: Taking taylor expansion of (* 4.0 (* (* (cbrt -1) (+ (/ 1 (pow z 2)) (/ 1 t))) (pow (/ 1 y) 1/3))) in z
1.247 * [taylor]: Taking taylor expansion of (* 4.0 (* (* (cbrt -1) (+ (/ 1 (pow z 2)) (/ 1 t))) (pow (/ 1 y) 1/3))) in t
1.258 * [taylor]: Taking taylor expansion of (* 4.0 (* (* (cbrt -1) (+ (/ 1 (pow z 2)) (/ 1 t))) (pow (/ 1 y) 1/3))) in t
1.288 * [taylor]: Taking taylor expansion of (* 4.0 (* (* (cbrt -1) (+ (/ 1 (pow z 2)) (/ 1 t))) (pow (/ 1 y) 1/3))) in z
1.289 * [taylor]: Taking taylor expansion of (* 4.0 (* (* (cbrt -1) (+ (/ 1 (pow z 2)) (/ 1 t))) (pow (/ 1 y) 1/3))) in t
1.289 * [taylor]: Taking taylor expansion of (* 4.0 (* (* (cbrt -1) (+ (/ 1 (pow z 2)) (/ 1 t))) (pow (/ 1 y) 1/3))) in t
1.303 * [taylor]: Taking taylor expansion of (* 4.0 (* (* (cbrt -1) (+ (/ 1 (pow z 2)) (/ 1 t))) (pow (/ 1 y) 1/3))) in t
1.305 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
1.305 * [approximate]: Approximating (pow y 1/3) in (y) around 0
1.363 * [approximate]: Approximating (pow (/ 1 y) 1/3) in (y) around 0
1.427 * [approximate]: Approximating (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
1.506 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
1.506 * [approximate]: Approximating (pow y 1/3) in (y) around 0
1.568 * [approximate]: Approximating (pow (/ 1 y) 1/3) in (y) around 0
1.628 * [approximate]: Approximating (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
1.714 * * * [progress]: simplifying candidates
1.716 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t))))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t))))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t))))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t))))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t))))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t))))
  (+ (+ (log (cbrt y)) (log (cbrt y))) (+ (log (cbrt y)) (+ (log 4.0) (log (- (* z z) t)))))
  (+ (+ (log (cbrt y)) (log (cbrt y))) (+ (log (cbrt y)) (log (* 4.0 (- (* z z) t)))))
  (+ (+ (log (cbrt y)) (log (cbrt y))) (log (* (cbrt y) (* 4.0 (- (* z z) t)))))
  (+ (log (* (cbrt y) (cbrt y))) (+ (log (cbrt y)) (+ (log 4.0) (log (- (* z z) t)))))
  (+ (log (* (cbrt y) (cbrt y))) (+ (log (cbrt y)) (log (* 4.0 (- (* z z) t)))))
  (+ (log (* (cbrt y) (cbrt y))) (log (* (cbrt y) (* 4.0 (- (* z z) t)))))
  (log (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t)))))
  (exp (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t)))))
  (* (* y y) (* y (* (* (* 4.0 4.0) 4.0) (* (* (- (* z z) t) (- (* z z) t)) (- (* z z) t)))))
  (* (* y y) (* y (* (* (* 4.0 (- (* z z) t)) (* 4.0 (- (* z z) t))) (* 4.0 (- (* z z) t)))))
  (* (* y y) (* (* (* (cbrt y) (* 4.0 (- (* z z) t))) (* (cbrt y) (* 4.0 (- (* z z) t)))) (* (cbrt y) (* 4.0 (- (* z z) t)))))
  (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* y (* (* (* 4.0 4.0) 4.0) (* (* (- (* z z) t) (- (* z z) t)) (- (* z z) t)))))
  (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* y (* (* (* 4.0 (- (* z z) t)) (* 4.0 (- (* z z) t))) (* 4.0 (- (* z z) t)))))
  (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (* (cbrt y) (* 4.0 (- (* z z) t))) (* (cbrt y) (* 4.0 (- (* z z) t)))) (* (cbrt y) (* 4.0 (- (* z z) t)))))
  (* (cbrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t))))) (cbrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t))))))
  (cbrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t)))))
  (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t))))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t)))))
  (sqrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t)))))
  (sqrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t)))))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (* z z))))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (neg t))))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (* z z))))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (neg t))))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (* z z) 4.0)))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (neg t) 4.0)))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (* z z) 4.0)))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (neg t) 4.0)))
  (* (* (cbrt y) (cbrt y)) (* (* 4.0 (* z z)) (cbrt y)))
  (* (* (cbrt y) (cbrt y)) (* (* 4.0 (neg t)) (cbrt y)))
  (* (* (cbrt y) (cbrt y)) (* (* 4.0 (* z z)) (cbrt y)))
  (* (* (cbrt y) (cbrt y)) (* (* 4.0 (neg t)) (cbrt y)))
  (* (* (cbrt y) (cbrt y)) (* (* (* z z) 4.0) (cbrt y)))
  (* (* (cbrt y) (cbrt y)) (* (* (neg t) 4.0) (cbrt y)))
  (* (* (cbrt y) (cbrt y)) (* (* (* z z) 4.0) (cbrt y)))
  (* (* (cbrt y) (cbrt y)) (* (* (neg t) 4.0) (cbrt y)))
  (* (* (cbrt y) (* 4.0 (* z z))) (* (cbrt y) (cbrt y)))
  (* (* (cbrt y) (* 4.0 (neg t))) (* (cbrt y) (cbrt y)))
  (* (* (cbrt y) (* 4.0 (* z z))) (* (cbrt y) (cbrt y)))
  (* (* (cbrt y) (* 4.0 (neg t))) (* (cbrt y) (cbrt y)))
  (* (* (cbrt y) (* (* z z) 4.0)) (* (cbrt y) (cbrt y)))
  (* (* (cbrt y) (* (neg t) 4.0)) (* (cbrt y) (cbrt y)))
  (* (* (cbrt y) (* (* z z) 4.0)) (* (cbrt y) (cbrt y)))
  (* (* (cbrt y) (* (neg t) 4.0)) (* (cbrt y) (cbrt y)))
  (* (* (* 4.0 (* z z)) (cbrt y)) (* (cbrt y) (cbrt y)))
  (* (* (* 4.0 (neg t)) (cbrt y)) (* (cbrt y) (cbrt y)))
  (* (* (* 4.0 (* z z)) (cbrt y)) (* (cbrt y) (cbrt y)))
  (* (* (* 4.0 (neg t)) (cbrt y)) (* (cbrt y) (cbrt y)))
  (* (* (* (* z z) 4.0) (cbrt y)) (* (cbrt y) (cbrt y)))
  (* (* (* (neg t) 4.0) (cbrt y)) (* (cbrt y) (cbrt y)))
  (* (* (* (* z z) 4.0) (cbrt y)) (* (cbrt y) (cbrt y)))
  (* (* (* (neg t) 4.0) (cbrt y)) (* (cbrt y) (cbrt y)))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (* (cbrt y) (* (cbrt y) (* 4.0 (- (* z z) t))))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (pow (* z z) 3) (pow t 3)))))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* (* z z) (* z z)) (* t t)))))
  (* (cbrt y) (* 4.0 (- (* z z) t)))
  (* (cbrt y) (* 4.0 (- (* z z) t)))
  (+ (log (cbrt y)) (+ (log 4.0) (log (- (* z z) t))))
  (+ (log (cbrt y)) (log (* 4.0 (- (* z z) t))))
  (log (* (cbrt y) (* 4.0 (- (* z z) t))))
  (exp (* (cbrt y) (* 4.0 (- (* z z) t))))
  (* y (* (* (* 4.0 4.0) 4.0) (* (* (- (* z z) t) (- (* z z) t)) (- (* z z) t))))
  (* y (* (* (* 4.0 (- (* z z) t)) (* 4.0 (- (* z z) t))) (* 4.0 (- (* z z) t))))
  (* (cbrt (* (cbrt y) (* 4.0 (- (* z z) t)))) (cbrt (* (cbrt y) (* 4.0 (- (* z z) t)))))
  (cbrt (* (cbrt y) (* 4.0 (- (* z z) t))))
  (* (* (* (cbrt y) (* 4.0 (- (* z z) t))) (* (cbrt y) (* 4.0 (- (* z z) t)))) (* (cbrt y) (* 4.0 (- (* z z) t))))
  (sqrt (* (cbrt y) (* 4.0 (- (* z z) t))))
  (sqrt (* (cbrt y) (* 4.0 (- (* z z) t))))
  (* (cbrt y) (* 4.0 (* z z)))
  (* (cbrt y) (* 4.0 (neg t)))
  (* (cbrt y) (* 4.0 (* z z)))
  (* (cbrt y) (* 4.0 (neg t)))
  (* (cbrt y) (* (* z z) 4.0))
  (* (cbrt y) (* (neg t) 4.0))
  (* (cbrt y) (* (* z z) 4.0))
  (* (cbrt y) (* (neg t) 4.0))
  (* (* 4.0 (* z z)) (cbrt y))
  (* (* 4.0 (neg t)) (cbrt y))
  (* (* 4.0 (* z z)) (cbrt y))
  (* (* 4.0 (neg t)) (cbrt y))
  (* (* (* z z) 4.0) (cbrt y))
  (* (* (neg t) 4.0) (cbrt y))
  (* (* (* z z) 4.0) (cbrt y))
  (* (* (neg t) 4.0) (cbrt y))
  (* (cbrt y) 4.0)
  (* (cbrt (cbrt y)) (* 4.0 (- (* z z) t)))
  (* (cbrt (sqrt y)) (* 4.0 (- (* z z) t)))
  (* (cbrt y) (* 4.0 (- (* z z) t)))
  (* (cbrt (cbrt y)) (* 4.0 (- (* z z) t)))
  (* (sqrt (cbrt y)) (* 4.0 (- (* z z) t)))
  (* (cbrt y) (* 4.0 (- (* z z) t)))
  (* (cbrt y) (* 4.0 (- (pow (* z z) 3) (pow t 3))))
  (* (cbrt y) (* 4.0 (- (* (* z z) (* z z)) (* t t))))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  0
  (- (* 4.0 (* (pow z 2) y)) (* 4.0 (* t y)))
  (- (* 4.0 (* (pow z 2) y)) (* 4.0 (* t y)))
  (- (* 4.0 (* (pow z 2) (pow y 1/3))) (* 4.0 (* t (pow y 1/3))))
  (- (* 4.0 (* (pow z 2) (pow y 1/3))) (* 4.0 (* t (pow y 1/3))))
  (- (* 4.0 (* (pow (* -1 y) 1/3) (* (cbrt -1) (pow z 2)))) (* 4.0 (* (pow (* -1 y) 1/3) (* (cbrt -1) t))))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
1.722 * * [simplify]: iteration  0 :  426  enodes  (cost  965 )
1.731 * * [simplify]: iteration  1 :  1738  enodes  (cost  694 )
1.767 * * [simplify]: iteration  2 :  5002  enodes  (cost  595 )
1.771 * [simplify]: Simplified to:
  (* y (* 4.0 (- (* z z) t)))
  (* y (* 4.0 (- (* z z) t)))
  (* y (* 4.0 (- (* z z) t)))
  (* y (* 4.0 (- (* z z) t)))
  (* y (* 4.0 (- (* z z) t)))
  (* y (* 4.0 (- (* z z) t)))
  (+ (log (* 4.0 (- (* z z) t))) (* 3 (log (cbrt y))))
  (+ (log (* 4.0 (- (* z z) t))) (* 3 (log (cbrt y))))
  (+ (log (* 4.0 (- (* z z) t))) (* 3 (log (cbrt y))))
  (+ (log (* 4.0 (- (* z z) t))) (* 3 (log (cbrt y))))
  (+ (log (* 4.0 (- (* z z) t))) (* 3 (log (cbrt y))))
  (+ (log (* 4.0 (- (* z z) t))) (* 3 (log (cbrt y))))
  (+ (log (* 4.0 (- (* z z) t))) (* 3 (log (cbrt y))))
  (pow (exp (* (pow (pow y 1/3) 3) (- (* z z) t))) 4.0)
  (* (* (* y y) (pow (* 4.0 (- (* z z) t)) 3)) y)
  (* (* (* y y) (pow (* 4.0 (- (* z z) t)) 3)) y)
  (* (* (* y y) (pow (* 4.0 (- (* z z) t)) 3)) y)
  (* (* (* y y) (pow (* 4.0 (- (* z z) t)) 3)) y)
  (* (* (* y y) (pow (* 4.0 (- (* z z) t)) 3)) y)
  (* (* (* y y) (pow (* 4.0 (- (* z z) t)) 3)) y)
  (* (cbrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t))))) (cbrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t))))))
  (cbrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t)))))
  (* (* (* y y) (pow (* 4.0 (- (* z z) t)) 3)) y)
  (sqrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t)))))
  (sqrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* 4.0 (- (* z z) t)))))
  (* 4.0 (* (pow z 2) y))
  (* (neg y) (* t 4.0))
  (* 4.0 (* (pow z 2) y))
  (* (neg y) (* t 4.0))
  (* 4.0 (* (pow z 2) y))
  (* (neg y) (* t 4.0))
  (* 4.0 (* (pow z 2) y))
  (* (neg y) (* t 4.0))
  (* 4.0 (* (pow z 2) y))
  (* (neg y) (* t 4.0))
  (* 4.0 (* (pow z 2) y))
  (* (neg y) (* t 4.0))
  (* 4.0 (* (pow z 2) y))
  (* (neg y) (* t 4.0))
  (* 4.0 (* (pow z 2) y))
  (* (neg y) (* t 4.0))
  (* 4.0 (* (pow z 2) y))
  (* (neg y) (* t 4.0))
  (* 4.0 (* (pow z 2) y))
  (* (neg y) (* t 4.0))
  (* 4.0 (* (pow z 2) y))
  (* (neg y) (* t 4.0))
  (* 4.0 (* (pow z 2) y))
  (* (neg y) (* t 4.0))
  (* 4.0 (* (pow z 2) y))
  (* (neg y) (* t 4.0))
  (* 4.0 (* (pow z 2) y))
  (* (neg y) (* t 4.0))
  (* 4.0 (* (pow z 2) y))
  (* (neg y) (* t 4.0))
  (* 4.0 (* (pow z 2) y))
  (* (neg y) (* t 4.0))
  y
  (* (* (pow y 2/3) (- (* z z) t)) 4.0)
  (* (* (pow (pow y 1/3) 3) (- (pow (* z z) 3) (pow t 3))) 4.0)
  (+ (* y (* 4.0 (pow z 4))) (* y (* 4.0 (neg (* t t)))))
  (* (cbrt y) (* 4.0 (- (* z z) t)))
  (* (cbrt y) (* 4.0 (- (* z z) t)))
  (log (* (cbrt y) (* 4.0 (- (* z z) t))))
  (log (* (cbrt y) (* 4.0 (- (* z z) t))))
  (log (* (cbrt y) (* 4.0 (- (* z z) t))))
  (exp (* (cbrt y) (* 4.0 (- (* z z) t))))
  (* (* y (pow (- (* z z) t) 3)) (pow 4.0 3))
  (* (* y (pow (- (* z z) t) 3)) (pow 4.0 3))
  (* (cbrt (* (cbrt y) (* 4.0 (- (* z z) t)))) (cbrt (* (cbrt y) (* 4.0 (- (* z z) t)))))
  (cbrt (* (cbrt y) (* 4.0 (- (* z z) t))))
  (* (* y (pow (- (* z z) t) 3)) (pow 4.0 3))
  (sqrt (* (cbrt y) (* 4.0 (- (* z z) t))))
  (sqrt (* (cbrt y) (* 4.0 (- (* z z) t))))
  (* (cbrt y) (* (* z z) 4.0))
  (* (cbrt y) (* (neg t) 4.0))
  (* (cbrt y) (* (* z z) 4.0))
  (* (cbrt y) (* (neg t) 4.0))
  (* (cbrt y) (* (* z z) 4.0))
  (* (cbrt y) (* (neg t) 4.0))
  (* (cbrt y) (* (* z z) 4.0))
  (* (cbrt y) (* (neg t) 4.0))
  (* (cbrt y) (* (* z z) 4.0))
  (* (cbrt y) (* (neg t) 4.0))
  (* (cbrt y) (* (* z z) 4.0))
  (* (cbrt y) (* (neg t) 4.0))
  (* (cbrt y) (* (* z z) 4.0))
  (* (cbrt y) (* (neg t) 4.0))
  (* (cbrt y) (* (* z z) 4.0))
  (* (cbrt y) (* (neg t) 4.0))
  (* (cbrt y) 4.0)
  (* (cbrt (cbrt y)) (* 4.0 (- (* z z) t)))
  (* (cbrt (sqrt y)) (* 4.0 (- (* z z) t)))
  (* (cbrt y) (* 4.0 (- (* z z) t)))
  (* (cbrt (cbrt y)) (* 4.0 (- (* z z) t)))
  (* (sqrt (cbrt y)) (* 4.0 (- (* z z) t)))
  (* (cbrt y) (* 4.0 (- (* z z) t)))
  (* (cbrt y) (* 4.0 (- (pow (* z z) 3) (pow t 3))))
  (* (+ (neg (* t t)) (pow z 4)) (* (cbrt y) 4.0))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (pow y 1/3)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (pow y 1/3)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  0
  (* y (* 4.0 (- (* z z) t)))
  (* y (* 4.0 (- (* z z) t)))
  (* (cbrt y) (* 4.0 (- (* z z) t)))
  (* (cbrt y) (* 4.0 (- (* z z) t)))
  (* (* (* (pow (* -1 y) 1/3) (cbrt -1)) (- (pow z 2) t)) 4.0)
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
1.772 * * * [progress]: adding candidates to table
2.086 * * [progress]: iteration 4 / 4
2.086 * * * [progress]: picking best candidate
2.114 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))>
2.114 * * * [progress]: localizing error
2.125 * * * [progress]: generating rewritten candidates
2.125 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
2.129 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
2.133 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
2.148 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
2.159 * * * [progress]: generating series expansions
2.159 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
2.159 * [approximate]: Approximating (sqrt (- (pow z 2) t)) in (z t) around 0
2.162 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) t)) in t
2.165 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) t)) in t
2.170 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) t)) in t
2.186 * [approximate]: Approximating (sqrt (- (/ 1 (pow z 2)) (/ 1 t))) in (z t) around 0
2.195 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 t))) in t
2.195 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 t))) in t
2.197 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 t))) in t
2.200 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 t))) in t
2.204 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 t))) in t
2.206 * [approximate]: Approximating (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))) in (z t) around 0
2.215 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))) in t
2.215 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))) in t
2.217 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))) in t
2.220 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))) in t
2.223 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))) in t
2.225 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
2.225 * [approximate]: Approximating (sqrt (- (pow z 2) t)) in (z t) around 0
2.228 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) t)) in t
2.230 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) t)) in t
2.232 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) t)) in t
2.254 * [approximate]: Approximating (sqrt (- (/ 1 (pow z 2)) (/ 1 t))) in (z t) around 0
2.263 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 t))) in t
2.263 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 t))) in t
2.265 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 t))) in t
2.268 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 t))) in t
2.272 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 t))) in t
2.274 * [approximate]: Approximating (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))) in (z t) around 0
2.282 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))) in t
2.282 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))) in t
2.285 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))) in t
2.287 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))) in t
2.290 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))) in t
2.292 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
2.293 * [approximate]: Approximating (* 4.0 (* (- (pow z 2) t) y)) in (y z t) around 0
2.293 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in z
2.293 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
2.295 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in z
2.295 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
2.296 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
2.298 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in z
2.298 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
2.299 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
2.299 * [approximate]: Approximating (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in (y z t) around 0
2.303 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
2.304 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
2.306 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
2.308 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
2.311 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
2.313 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
2.319 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
2.319 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
2.322 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
2.334 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
2.335 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
2.335 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
2.338 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
2.339 * [approximate]: Approximating (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in (y z t) around 0
2.341 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in z
2.343 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
2.345 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in z
2.347 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
2.350 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in z
2.351 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
2.357 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in z
2.357 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
2.359 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
2.366 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in z
2.366 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
2.366 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
2.369 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
2.370 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
2.370 * [approximate]: Approximating (* 4.0 (* (sqrt (- (pow z 2) t)) y)) in (y z t) around 0
2.374 * [taylor]: Taking taylor expansion of (* 4.0 (* (sqrt (- (pow z 2) t)) y)) in z
2.375 * [taylor]: Taking taylor expansion of (* 4.0 (* (sqrt (- (pow z 2) t)) y)) in t
2.375 * [taylor]: Taking taylor expansion of (* 4.0 (* (sqrt (- (pow z 2) t)) y)) in z
2.376 * [taylor]: Taking taylor expansion of (* 4.0 (* (sqrt (- (pow z 2) t)) y)) in t
2.379 * [taylor]: Taking taylor expansion of (* 4.0 (* (sqrt (- (pow z 2) t)) y)) in t
2.382 * [taylor]: Taking taylor expansion of (* 4.0 (* (sqrt (- (pow z 2) t)) y)) in z
2.382 * [taylor]: Taking taylor expansion of (* 4.0 (* (sqrt (- (pow z 2) t)) y)) in t
2.382 * [taylor]: Taking taylor expansion of (* 4.0 (* (sqrt (- (pow z 2) t)) y)) in t
2.383 * [approximate]: Approximating (* 4.0 (* (/ 1 y) (sqrt (- (/ 1 (pow z 2)) (/ 1 t))))) in (y z t) around 0
2.392 * [taylor]: Taking taylor expansion of (* 4.0 (* (/ 1 y) (sqrt (- (/ 1 (pow z 2)) (/ 1 t))))) in z
2.396 * [taylor]: Taking taylor expansion of (* 4.0 (* (/ 1 y) (sqrt (- (/ 1 (pow z 2)) (/ 1 t))))) in t
2.397 * [taylor]: Taking taylor expansion of (* 4.0 (* (/ 1 y) (sqrt (- (/ 1 (pow z 2)) (/ 1 t))))) in z
2.398 * [taylor]: Taking taylor expansion of (* 4.0 (* (/ 1 y) (sqrt (- (/ 1 (pow z 2)) (/ 1 t))))) in t
2.402 * [taylor]: Taking taylor expansion of (* 4.0 (* (/ 1 y) (sqrt (- (/ 1 (pow z 2)) (/ 1 t))))) in z
2.402 * [taylor]: Taking taylor expansion of (* 4.0 (* (/ 1 y) (sqrt (- (/ 1 (pow z 2)) (/ 1 t))))) in t
2.405 * [taylor]: Taking taylor expansion of (* 4.0 (* (/ 1 y) (sqrt (- (/ 1 (pow z 2)) (/ 1 t))))) in t
2.418 * [taylor]: Taking taylor expansion of (* 4.0 (* (/ 1 y) (sqrt (- (/ 1 (pow z 2)) (/ 1 t))))) in z
2.418 * [taylor]: Taking taylor expansion of (* 4.0 (* (/ 1 y) (sqrt (- (/ 1 (pow z 2)) (/ 1 t))))) in t
2.418 * [taylor]: Taking taylor expansion of (* 4.0 (* (/ 1 y) (sqrt (- (/ 1 (pow z 2)) (/ 1 t))))) in t
2.421 * [taylor]: Taking taylor expansion of (* 4.0 (* (/ 1 y) (sqrt (- (/ 1 (pow z 2)) (/ 1 t))))) in t
2.423 * [approximate]: Approximating (* -4.0 (* (/ 1 y) (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))))) in (y z t) around 0
2.431 * [taylor]: Taking taylor expansion of (* -4.0 (* (/ 1 y) (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))))) in z
2.435 * [taylor]: Taking taylor expansion of (* -4.0 (* (/ 1 y) (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))))) in t
2.437 * [taylor]: Taking taylor expansion of (* -4.0 (* (/ 1 y) (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))))) in z
2.437 * [taylor]: Taking taylor expansion of (* -4.0 (* (/ 1 y) (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))))) in t
2.441 * [taylor]: Taking taylor expansion of (* -4.0 (* (/ 1 y) (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))))) in z
2.441 * [taylor]: Taking taylor expansion of (* -4.0 (* (/ 1 y) (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))))) in t
2.444 * [taylor]: Taking taylor expansion of (* -4.0 (* (/ 1 y) (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))))) in t
2.451 * [taylor]: Taking taylor expansion of (* -4.0 (* (/ 1 y) (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))))) in z
2.451 * [taylor]: Taking taylor expansion of (* -4.0 (* (/ 1 y) (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))))) in t
2.451 * [taylor]: Taking taylor expansion of (* -4.0 (* (/ 1 y) (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))))) in t
2.454 * [taylor]: Taking taylor expansion of (* -4.0 (* (/ 1 y) (sqrt (+ (/ 1 (pow z 2)) (/ 1 t))))) in t
2.456 * * * [progress]: simplifying candidates
2.457 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (sqrt (- (* z z) t)))
  (exp (sqrt (- (* z z) t)))
  (* (cbrt (sqrt (- (* z z) t))) (cbrt (sqrt (- (* z z) t))))
  (cbrt (sqrt (- (* z z) t)))
  (* (* (sqrt (- (* z z) t)) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))
  (sqrt (* (cbrt (- (* z z) t)) (cbrt (- (* z z) t))))
  (sqrt (cbrt (- (* z z) t)))
  (sqrt (sqrt (- (* z z) t)))
  (sqrt (sqrt (- (* z z) t)))
  (sqrt 1)
  (sqrt (- (* z z) t))
  (sqrt (+ z (sqrt t)))
  (sqrt (- z (sqrt t)))
  (sqrt (- (pow (* z z) 3) (pow t 3)))
  (sqrt (+ (* (* z z) (* z z)) (+ (* t t) (* (* z z) t))))
  (sqrt (- (* (* z z) (* z z)) (* t t)))
  (sqrt (+ (* z z) t))
  (/ 1 2)
  (sqrt (sqrt (- (* z z) t)))
  (sqrt (sqrt (- (* z z) t)))
  (log (sqrt (- (* z z) t)))
  (exp (sqrt (- (* z z) t)))
  (* (cbrt (sqrt (- (* z z) t))) (cbrt (sqrt (- (* z z) t))))
  (cbrt (sqrt (- (* z z) t)))
  (* (* (sqrt (- (* z z) t)) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))
  (sqrt (* (cbrt (- (* z z) t)) (cbrt (- (* z z) t))))
  (sqrt (cbrt (- (* z z) t)))
  (sqrt (sqrt (- (* z z) t)))
  (sqrt (sqrt (- (* z z) t)))
  (sqrt 1)
  (sqrt (- (* z z) t))
  (sqrt (+ z (sqrt t)))
  (sqrt (- z (sqrt t)))
  (sqrt (- (pow (* z z) 3) (pow t 3)))
  (sqrt (+ (* (* z z) (* z z)) (+ (* t t) (* (* z z) t))))
  (sqrt (- (* (* z z) (* z z)) (* t t)))
  (sqrt (+ (* z z) t))
  (/ 1 2)
  (sqrt (sqrt (- (* z z) t)))
  (sqrt (sqrt (- (* z z) t)))
  (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))
  (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))
  (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))
  (+ (+ (+ (log y) (log 4.0)) (log (sqrt (- (* z z) t)))) (log (sqrt (- (* z z) t))))
  (+ (+ (log (* y 4.0)) (log (sqrt (- (* z z) t)))) (log (sqrt (- (* z z) t))))
  (+ (log (* (* y 4.0) (sqrt (- (* z z) t)))) (log (sqrt (- (* z z) t))))
  (log (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t))))
  (exp (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t))))
  (* (* (* (* (* y y) y) (* (* 4.0 4.0) 4.0)) (* (* (sqrt (- (* z z) t)) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))) (* (* (sqrt (- (* z z) t)) (sqrt (- (* z z) t))) (sqrt (- (* z z) t))))
  (* (* (* (* (* y 4.0) (* y 4.0)) (* y 4.0)) (* (* (sqrt (- (* z z) t)) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))) (* (* (sqrt (- (* z z) t)) (sqrt (- (* z z) t))) (sqrt (- (* z z) t))))
  (* (* (* (* (* y 4.0) (sqrt (- (* z z) t))) (* (* y 4.0) (sqrt (- (* z z) t)))) (* (* y 4.0) (sqrt (- (* z z) t)))) (* (* (sqrt (- (* z z) t)) (sqrt (- (* z z) t))) (sqrt (- (* z z) t))))
  (* (cbrt (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))) (cbrt (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))
  (cbrt (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t))))
  (* (* (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t))) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t))))
  (sqrt (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t))))
  (sqrt (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t))))
  (* (* (* y 4.0) (sqrt (- (pow (* z z) 3) (pow t 3)))) (sqrt (- (pow (* z z) 3) (pow t 3))))
  (* (sqrt (+ (* (* z z) (* z z)) (+ (* t t) (* (* z z) t)))) (sqrt (+ (* (* z z) (* z z)) (+ (* t t) (* (* z z) t)))))
  (* (* (* y 4.0) (sqrt (- (pow (* z z) 3) (pow t 3)))) (sqrt (- (* (* z z) (* z z)) (* t t))))
  (* (sqrt (+ (* (* z z) (* z z)) (+ (* t t) (* (* z z) t)))) (sqrt (+ (* z z) t)))
  (* (* (* y 4.0) (sqrt (- (* (* z z) (* z z)) (* t t)))) (sqrt (- (pow (* z z) 3) (pow t 3))))
  (* (sqrt (+ (* z z) t)) (sqrt (+ (* (* z z) (* z z)) (+ (* t t) (* (* z z) t)))))
  (* (* (* y 4.0) (sqrt (- (* (* z z) (* z z)) (* t t)))) (sqrt (- (* (* z z) (* z z)) (* t t))))
  (* (sqrt (+ (* z z) t)) (sqrt (+ (* z z) t)))
  (* (* (* y 4.0) (sqrt (- (* z z) t))) (* (cbrt (sqrt (- (* z z) t))) (cbrt (sqrt (- (* z z) t)))))
  (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (* (cbrt (- (* z z) t)) (cbrt (- (* z z) t)))))
  (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (sqrt (- (* z z) t))))
  (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt 1))
  (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (+ z (sqrt t))))
  (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (sqrt (- (* z z) t))))
  (* (* (* y 4.0) (sqrt (- (* z z) t))) 1)
  (* (sqrt (- (* z z) t)) (sqrt (- (* z z) t)))
  (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (pow (* z z) 3) (pow t 3))))
  (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* (* z z) (* z z)) (* t t))))
  (* (* (* y 4.0) (sqrt (- (pow (* z z) 3) (pow t 3)))) (sqrt (- (* z z) t)))
  (* (* (* y 4.0) (sqrt (- (* (* z z) (* z z)) (* t t)))) (sqrt (- (* z z) t)))
  (* (* y 4.0) (sqrt (- (* z z) t)))
  (* (* y 4.0) (sqrt (- (* z z) t)))
  (+ (+ (log y) (log 4.0)) (log (sqrt (- (* z z) t))))
  (+ (log (* y 4.0)) (log (sqrt (- (* z z) t))))
  (log (* (* y 4.0) (sqrt (- (* z z) t))))
  (exp (* (* y 4.0) (sqrt (- (* z z) t))))
  (* (* (* (* y y) y) (* (* 4.0 4.0) 4.0)) (* (* (sqrt (- (* z z) t)) (sqrt (- (* z z) t))) (sqrt (- (* z z) t))))
  (* (* (* (* y 4.0) (* y 4.0)) (* y 4.0)) (* (* (sqrt (- (* z z) t)) (sqrt (- (* z z) t))) (sqrt (- (* z z) t))))
  (* (cbrt (* (* y 4.0) (sqrt (- (* z z) t)))) (cbrt (* (* y 4.0) (sqrt (- (* z z) t)))))
  (cbrt (* (* y 4.0) (sqrt (- (* z z) t))))
  (* (* (* (* y 4.0) (sqrt (- (* z z) t))) (* (* y 4.0) (sqrt (- (* z z) t)))) (* (* y 4.0) (sqrt (- (* z z) t))))
  (sqrt (* (* y 4.0) (sqrt (- (* z z) t))))
  (sqrt (* (* y 4.0) (sqrt (- (* z z) t))))
  (* (* y 4.0) (* (cbrt (sqrt (- (* z z) t))) (cbrt (sqrt (- (* z z) t)))))
  (* (* y 4.0) (sqrt (* (cbrt (- (* z z) t)) (cbrt (- (* z z) t)))))
  (* (* y 4.0) (sqrt (sqrt (- (* z z) t))))
  (* (* y 4.0) (sqrt 1))
  (* (* y 4.0) (sqrt (+ z (sqrt t))))
  (* (* y 4.0) (sqrt (sqrt (- (* z z) t))))
  (* (* y 4.0) 1)
  (* 4.0 (sqrt (- (* z z) t)))
  (* (* y 4.0) (sqrt (- (pow (* z z) 3) (pow t 3))))
  (* (* y 4.0) (sqrt (- (* (* z z) (* z z)) (* t t))))
  (- (+ (* t NAN) (* (pow t 2) (pow NAN 3))) (* 1/2 (* NAN (pow z 2))))
  (- z (* 1/2 (/ t z)))
  (- (* 1/2 (/ t z)) z)
  (- (+ (* t NAN) (* (pow t 2) (pow NAN 3))) (* 1/2 (* NAN (pow z 2))))
  (- z (* 1/2 (/ t z)))
  (- (* 1/2 (/ t z)) z)
  0
  (- (* 4.0 (* (pow z 2) y)) (* 4.0 (* t y)))
  (- (* 4.0 (* (pow z 2) y)) (* 4.0 (* t y)))
  0
  (- (* 4.0 (* z y)) (* 2.0 (/ (* t y) z)))
  (- (* 2.0 (/ (* t y) z)) (* 4.0 (* z y)))
2.463 * * [simplify]: iteration  0 :  370  enodes  (cost  767 )
2.472 * * [simplify]: iteration  1 :  1766  enodes  (cost  653 )
2.508 * * [simplify]: iteration  2 :  5002  enodes  (cost  647 )
2.512 * [simplify]: Simplified to:
  (log (sqrt (- (* z z) t)))
  (exp (sqrt (- (* z z) t)))
  (* (cbrt (sqrt (- (* z z) t))) (cbrt (sqrt (- (* z z) t))))
  (cbrt (sqrt (- (* z z) t)))
  (pow (sqrt (- (* z z) t)) 3)
  (fabs (cbrt (- (* z z) t)))
  (sqrt (cbrt (- (* z z) t)))
  (sqrt (sqrt (- (* z z) t)))
  (sqrt (sqrt (- (* z z) t)))
  1
  (sqrt (- (* z z) t))
  (sqrt (+ z (sqrt t)))
  (sqrt (- z (sqrt t)))
  (sqrt (- (pow (* z z) 3) (pow t 3)))
  (sqrt (+ (* (* z z) (* z z)) (+ (* t t) (* (* z z) t))))
  (sqrt (- (* (* z z) (* z z)) (* t t)))
  (sqrt (+ (* z z) t))
  1/2
  (sqrt (sqrt (- (* z z) t)))
  (sqrt (sqrt (- (* z z) t)))
  (log (sqrt (- (* z z) t)))
  (exp (sqrt (- (* z z) t)))
  (* (cbrt (sqrt (- (* z z) t))) (cbrt (sqrt (- (* z z) t))))
  (cbrt (sqrt (- (* z z) t)))
  (pow (sqrt (- (* z z) t)) 3)
  (fabs (cbrt (- (* z z) t)))
  (sqrt (cbrt (- (* z z) t)))
  (sqrt (sqrt (- (* z z) t)))
  (sqrt (sqrt (- (* z z) t)))
  1
  (sqrt (- (* z z) t))
  (sqrt (+ z (sqrt t)))
  (sqrt (- z (sqrt t)))
  (sqrt (- (pow (* z z) 3) (pow t 3)))
  (sqrt (+ (* (* z z) (* z z)) (+ (* t t) (* (* z z) t))))
  (sqrt (- (* (* z z) (* z z)) (* t t)))
  (sqrt (+ (* z z) t))
  1/2
  (sqrt (sqrt (- (* z z) t)))
  (sqrt (sqrt (- (* z z) t)))
  (* (* y 4.0) (- (* z z) t))
  (* (* y 4.0) (- (* z z) t))
  (* (* y 4.0) (- (* z z) t))
  (+ (log (* y 4.0)) (log (- (* z z) t)))
  (+ (log (* y 4.0)) (log (- (* z z) t)))
  (+ (log (* y 4.0)) (log (- (* z z) t)))
  (+ (log (* y 4.0)) (log (- (* z z) t)))
  (pow (exp (* y 4.0)) (- (* z z) t))
  (pow (* (* y 4.0) (- (* z z) t)) 3)
  (pow (* (* y 4.0) (- (* z z) t)) 3)
  (pow (* (* y 4.0) (- (* z z) t)) 3)
  (* (cbrt (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))) (cbrt (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))
  (cbrt (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t))))
  (pow (* (* y 4.0) (- (* z z) t)) 3)
  (sqrt (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t))))
  (sqrt (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t))))
  (* (- (pow (* z z) 3) (pow t 3)) (* y 4.0))
  (+ (+ (pow z 4) (pow t 2)) (* (* z z) t))
  (* (* (* y 4.0) (sqrt (- (pow (* z z) 3) (pow t 3)))) (sqrt (- (* (* z z) (* z z)) (* t t))))
  (* (sqrt (+ (* (* z z) (* z z)) (+ (* t t) (* (* z z) t)))) (sqrt (+ (* z z) t)))
  (* (* (* y 4.0) (sqrt (- (pow (* z z) 3) (pow t 3)))) (sqrt (- (* (* z z) (* z z)) (* t t))))
  (* (sqrt (+ (* (* z z) (* z z)) (+ (* t t) (* (* z z) t)))) (sqrt (+ (* z z) t)))
  (* (- (pow z 4) (pow t 2)) (* y 4.0))
  (+ (* z z) t)
  (* (* (* y 4.0) (sqrt (- (* z z) t))) (* (cbrt (sqrt (- (* z z) t))) (cbrt (sqrt (- (* z z) t)))))
  (* (* y 4.0) (* (sqrt (- (* z z) t)) (fabs (cbrt (- (* z z) t)))))
  (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (sqrt (- (* z z) t))))
  (* (* y 4.0) (sqrt (- (* z z) t)))
  (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (+ z (sqrt t))))
  (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (sqrt (- (* z z) t))))
  (* (* y 4.0) (sqrt (- (* z z) t)))
  (- (* z z) t)
  (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (pow (* z z) 3) (pow t 3))))
  (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* (* z z) (* z z)) (* t t))))
  (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (pow (* z z) 3) (pow t 3))))
  (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* (* z z) (* z z)) (* t t))))
  (* (* y 4.0) (sqrt (- (* z z) t)))
  (* (* y 4.0) (sqrt (- (* z z) t)))
  (log (* (* y 4.0) (sqrt (- (* z z) t))))
  (log (* (* y 4.0) (sqrt (- (* z z) t))))
  (log (* (* y 4.0) (sqrt (- (* z z) t))))
  (exp (* (* y 4.0) (sqrt (- (* z z) t))))
  (pow (* (* y 4.0) (sqrt (- (* z z) t))) 3)
  (pow (* (* y 4.0) (sqrt (- (* z z) t))) 3)
  (* (cbrt (* (* y 4.0) (sqrt (- (* z z) t)))) (cbrt (* (* y 4.0) (sqrt (- (* z z) t)))))
  (cbrt (* (* y 4.0) (sqrt (- (* z z) t))))
  (pow (* (* y 4.0) (sqrt (- (* z z) t))) 3)
  (sqrt (* (* y 4.0) (sqrt (- (* z z) t))))
  (sqrt (* (* y 4.0) (sqrt (- (* z z) t))))
  (* (* y 4.0) (* (cbrt (sqrt (- (* z z) t))) (cbrt (sqrt (- (* z z) t)))))
  (* y (* 4.0 (fabs (cbrt (- (* z z) t)))))
  (* (* y 4.0) (sqrt (sqrt (- (* z z) t))))
  (* y 4.0)
  (* (* y 4.0) (sqrt (+ z (sqrt t))))
  (* (* y 4.0) (sqrt (sqrt (- (* z z) t))))
  (* y 4.0)
  (* 4.0 (sqrt (- (* z z) t)))
  (* (* y 4.0) (sqrt (- (pow (* z z) 3) (pow t 3))))
  (* (* y 4.0) (sqrt (- (* (* z z) (* z z)) (* t t))))
  (- (+ (* t NAN) (* (pow t 2) (pow NAN 3))) (* 1/2 (* NAN (pow z 2))))
  (- z (* 1/2 (/ t z)))
  (- (* 1/2 (/ t z)) z)
  (- (+ (* t NAN) (* (pow t 2) (pow NAN 3))) (* 1/2 (* NAN (pow z 2))))
  (- z (* 1/2 (/ t z)))
  (- (* 1/2 (/ t z)) z)
  0
  (* (* y 4.0) (- (* z z) t))
  (* (* y 4.0) (- (* z z) t))
  0
  (- (* 4.0 (* z y)) (* 2.0 (/ (* t y) z)))
  (- (* 2.0 (/ (* t y) z)) (* 4.0 (* z y)))
2.513 * * * [progress]: adding candidates to table
2.889 * [progress]: [Phase 3 of 3] Extracting.
2.889 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (- (* x x) (* (* (sqrt (* (* y 4.0) (sqrt (- (* z z) t)))) (sqrt (* (* y 4.0) (sqrt (- (* z z) t))))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (pow x 2))> #<alt (λ (x y z t) (/ (- (pow (* x x) 3) (pow (* (* y 4.0) (- (* z z) t)) 3)) (+ (* (* (* y 4.0) (- (* z z) t)) (+ (* (* y 4.0) (- (* z z) t)) (pow x 2))) (* (* x x) (* x x)))))> #<alt (λ (x y z t) (- (* x x) (* y (* 4.0 (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (sqrt (* (* y 4.0) (- (* z z) t))) (sqrt (* (* y 4.0) (- (* z z) t))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (- (* x x) (cbrt (pow (* (* y 4.0) (- (* z z) t)) 3))))>)
2.892 * * * [regime-changes]: Trying 9 branch expressions: ((* z z) (- (* z z) t) (* y 4.0) (* (* y 4.0) (- (* z z) t)) (* x x) t z y x)
2.892 * * * * [regimes]: Trying to branch on (* z z) from (#<alt (λ (x y z t) (- (* x x) (* (* (sqrt (* (* y 4.0) (sqrt (- (* z z) t)))) (sqrt (* (* y 4.0) (sqrt (- (* z z) t))))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (pow x 2))> #<alt (λ (x y z t) (/ (- (pow (* x x) 3) (pow (* (* y 4.0) (- (* z z) t)) 3)) (+ (* (* (* y 4.0) (- (* z z) t)) (+ (* (* y 4.0) (- (* z z) t)) (pow x 2))) (* (* x x) (* x x)))))> #<alt (λ (x y z t) (- (* x x) (* y (* 4.0 (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (sqrt (* (* y 4.0) (- (* z z) t))) (sqrt (* (* y 4.0) (- (* z z) t))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (- (* x x) (cbrt (pow (* (* y 4.0) (- (* z z) t)) 3))))>)
2.978 * * * * [regimes]: Trying to branch on (* z z) from (#<alt (λ (x y z t) (- (* x x) (* (* (sqrt (* (* y 4.0) (sqrt (- (* z z) t)))) (sqrt (* (* y 4.0) (sqrt (- (* z z) t))))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (pow x 2))> #<alt (λ (x y z t) (/ (- (pow (* x x) 3) (pow (* (* y 4.0) (- (* z z) t)) 3)) (+ (* (* (* y 4.0) (- (* z z) t)) (+ (* (* y 4.0) (- (* z z) t)) (pow x 2))) (* (* x x) (* x x)))))> #<alt (λ (x y z t) (- (* x x) (* y (* 4.0 (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (sqrt (* (* y 4.0) (- (* z z) t))) (sqrt (* (* y 4.0) (- (* z z) t))))))> #<alt (λ (x y z t) (- (* x x) (cbrt (pow (* (* y 4.0) (- (* z z) t)) 3))))>)
3.056 * * * * [regimes]: Trying to branch on (- (* z z) t) from (#<alt (λ (x y z t) (- (* x x) (* (* (sqrt (* (* y 4.0) (sqrt (- (* z z) t)))) (sqrt (* (* y 4.0) (sqrt (- (* z z) t))))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (pow x 2))> #<alt (λ (x y z t) (/ (- (pow (* x x) 3) (pow (* (* y 4.0) (- (* z z) t)) 3)) (+ (* (* (* y 4.0) (- (* z z) t)) (+ (* (* y 4.0) (- (* z z) t)) (pow x 2))) (* (* x x) (* x x)))))> #<alt (λ (x y z t) (- (* x x) (* y (* 4.0 (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (sqrt (* (* y 4.0) (- (* z z) t))) (sqrt (* (* y 4.0) (- (* z z) t))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (- (* x x) (cbrt (pow (* (* y 4.0) (- (* z z) t)) 3))))>)
3.148 * * * * [regimes]: Trying to branch on (- (* z z) t) from (#<alt (λ (x y z t) (- (* x x) (* (* (sqrt (* (* y 4.0) (sqrt (- (* z z) t)))) (sqrt (* (* y 4.0) (sqrt (- (* z z) t))))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (pow x 2))> #<alt (λ (x y z t) (/ (- (pow (* x x) 3) (pow (* (* y 4.0) (- (* z z) t)) 3)) (+ (* (* (* y 4.0) (- (* z z) t)) (+ (* (* y 4.0) (- (* z z) t)) (pow x 2))) (* (* x x) (* x x)))))> #<alt (λ (x y z t) (- (* x x) (* y (* 4.0 (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (sqrt (* (* y 4.0) (- (* z z) t))) (sqrt (* (* y 4.0) (- (* z z) t))))))> #<alt (λ (x y z t) (- (* x x) (cbrt (pow (* (* y 4.0) (- (* z z) t)) 3))))>)
3.228 * * * * [regimes]: Trying to branch on (* y 4.0) from (#<alt (λ (x y z t) (- (* x x) (* (* (sqrt (* (* y 4.0) (sqrt (- (* z z) t)))) (sqrt (* (* y 4.0) (sqrt (- (* z z) t))))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (pow x 2))> #<alt (λ (x y z t) (/ (- (pow (* x x) 3) (pow (* (* y 4.0) (- (* z z) t)) 3)) (+ (* (* (* y 4.0) (- (* z z) t)) (+ (* (* y 4.0) (- (* z z) t)) (pow x 2))) (* (* x x) (* x x)))))> #<alt (λ (x y z t) (- (* x x) (* y (* 4.0 (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (sqrt (* (* y 4.0) (- (* z z) t))) (sqrt (* (* y 4.0) (- (* z z) t))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (- (* x x) (cbrt (pow (* (* y 4.0) (- (* z z) t)) 3))))>)
3.310 * * * * [regimes]: Trying to branch on (* y 4.0) from (#<alt (λ (x y z t) (- (* x x) (* (* (sqrt (* (* y 4.0) (sqrt (- (* z z) t)))) (sqrt (* (* y 4.0) (sqrt (- (* z z) t))))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (pow x 2))> #<alt (λ (x y z t) (/ (- (pow (* x x) 3) (pow (* (* y 4.0) (- (* z z) t)) 3)) (+ (* (* (* y 4.0) (- (* z z) t)) (+ (* (* y 4.0) (- (* z z) t)) (pow x 2))) (* (* x x) (* x x)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (sqrt (* (* y 4.0) (- (* z z) t))) (sqrt (* (* y 4.0) (- (* z z) t))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (- (* x x) (cbrt (pow (* (* y 4.0) (- (* z z) t)) 3))))>)
3.401 * * * * [regimes]: Trying to branch on (* (* y 4.0) (- (* z z) t)) from (#<alt (λ (x y z t) (- (* x x) (* (* (sqrt (* (* y 4.0) (sqrt (- (* z z) t)))) (sqrt (* (* y 4.0) (sqrt (- (* z z) t))))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (pow x 2))> #<alt (λ (x y z t) (/ (- (pow (* x x) 3) (pow (* (* y 4.0) (- (* z z) t)) 3)) (+ (* (* (* y 4.0) (- (* z z) t)) (+ (* (* y 4.0) (- (* z z) t)) (pow x 2))) (* (* x x) (* x x)))))> #<alt (λ (x y z t) (- (* x x) (* y (* 4.0 (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (sqrt (* (* y 4.0) (- (* z z) t))) (sqrt (* (* y 4.0) (- (* z z) t))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (- (* x x) (cbrt (pow (* (* y 4.0) (- (* z z) t)) 3))))>)
3.493 * * * * [regimes]: Trying to branch on (* (* y 4.0) (- (* z z) t)) from (#<alt (λ (x y z t) (pow x 2))> #<alt (λ (x y z t) (/ (- (pow (* x x) 3) (pow (* (* y 4.0) (- (* z z) t)) 3)) (+ (* (* (* y 4.0) (- (* z z) t)) (+ (* (* y 4.0) (- (* z z) t)) (pow x 2))) (* (* x x) (* x x)))))> #<alt (λ (x y z t) (- (* x x) (* (sqrt (* (* y 4.0) (- (* z z) t))) (sqrt (* (* y 4.0) (- (* z z) t))))))> #<alt (λ (x y z t) (- (* x x) (cbrt (pow (* (* y 4.0) (- (* z z) t)) 3))))>)
3.564 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x y z t) (- (* x x) (* (* (sqrt (* (* y 4.0) (sqrt (- (* z z) t)))) (sqrt (* (* y 4.0) (sqrt (- (* z z) t))))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (pow x 2))> #<alt (λ (x y z t) (/ (- (pow (* x x) 3) (pow (* (* y 4.0) (- (* z z) t)) 3)) (+ (* (* (* y 4.0) (- (* z z) t)) (+ (* (* y 4.0) (- (* z z) t)) (pow x 2))) (* (* x x) (* x x)))))> #<alt (λ (x y z t) (- (* x x) (* y (* 4.0 (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (sqrt (* (* y 4.0) (- (* z z) t))) (sqrt (* (* y 4.0) (- (* z z) t))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (- (* x x) (cbrt (pow (* (* y 4.0) (- (* z z) t)) 3))))>)
3.644 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (- (* x x) (* (* (sqrt (* (* y 4.0) (sqrt (- (* z z) t)))) (sqrt (* (* y 4.0) (sqrt (- (* z z) t))))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (pow x 2))> #<alt (λ (x y z t) (/ (- (pow (* x x) 3) (pow (* (* y 4.0) (- (* z z) t)) 3)) (+ (* (* (* y 4.0) (- (* z z) t)) (+ (* (* y 4.0) (- (* z z) t)) (pow x 2))) (* (* x x) (* x x)))))> #<alt (λ (x y z t) (- (* x x) (* y (* 4.0 (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (sqrt (* (* y 4.0) (- (* z z) t))) (sqrt (* (* y 4.0) (- (* z z) t))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (- (* x x) (cbrt (pow (* (* y 4.0) (- (* z z) t)) 3))))>)
3.734 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (- (* x x) (* (* (sqrt (* (* y 4.0) (sqrt (- (* z z) t)))) (sqrt (* (* y 4.0) (sqrt (- (* z z) t))))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (pow x 2))> #<alt (λ (x y z t) (/ (- (pow (* x x) 3) (pow (* (* y 4.0) (- (* z z) t)) 3)) (+ (* (* (* y 4.0) (- (* z z) t)) (+ (* (* y 4.0) (- (* z z) t)) (pow x 2))) (* (* x x) (* x x)))))> #<alt (λ (x y z t) (- (* x x) (* y (* 4.0 (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (sqrt (* (* y 4.0) (- (* z z) t))) (sqrt (* (* y 4.0) (- (* z z) t))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (- (* x x) (cbrt (pow (* (* y 4.0) (- (* z z) t)) 3))))>)
3.831 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (- (* x x) (* (* (sqrt (* (* y 4.0) (sqrt (- (* z z) t)))) (sqrt (* (* y 4.0) (sqrt (- (* z z) t))))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (pow x 2))> #<alt (λ (x y z t) (/ (- (pow (* x x) 3) (pow (* (* y 4.0) (- (* z z) t)) 3)) (+ (* (* (* y 4.0) (- (* z z) t)) (+ (* (* y 4.0) (- (* z z) t)) (pow x 2))) (* (* x x) (* x x)))))> #<alt (λ (x y z t) (- (* x x) (* y (* 4.0 (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (sqrt (* (* y 4.0) (- (* z z) t))) (sqrt (* (* y 4.0) (- (* z z) t))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (- (* x x) (cbrt (pow (* (* y 4.0) (- (* z z) t)) 3))))>)
3.913 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (- (* x x) (* (* (sqrt (* (* y 4.0) (sqrt (- (* z z) t)))) (sqrt (* (* y 4.0) (sqrt (- (* z z) t))))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (pow x 2))> #<alt (λ (x y z t) (/ (- (pow (* x x) 3) (pow (* (* y 4.0) (- (* z z) t)) 3)) (+ (* (* (* y 4.0) (- (* z z) t)) (+ (* (* y 4.0) (- (* z z) t)) (pow x 2))) (* (* x x) (* x x)))))> #<alt (λ (x y z t) (- (* x x) (* y (* 4.0 (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (sqrt (* (* y 4.0) (- (* z z) t))) (sqrt (* (* y 4.0) (- (* z z) t))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (- (* x x) (cbrt (pow (* (* y 4.0) (- (* z z) t)) 3))))>)
3.995 * * * [regime]: Found split indices: #<option (#s(si 3 232) #s(si 6 255))>
3.996 * [binary-search]: Only using regimes for bounds on (* z z) and (#<alt (λ (x y z t) (- (* x x) (* (* (sqrt (* (* y 4.0) (sqrt (- (* z z) t)))) (sqrt (* (* y 4.0) (sqrt (- (* z z) t))))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (pow x 2))> #<alt (λ (x y z t) (/ (- (pow (* x x) 3) (pow (* (* y 4.0) (- (* z z) t)) 3)) (+ (* (* (* y 4.0) (- (* z z) t)) (+ (* (* y 4.0) (- (* z z) t)) (pow x 2))) (* (* x x) (* x x)))))> #<alt (λ (x y z t) (- (* x x) (* y (* 4.0 (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (sqrt (* (* y 4.0) (- (* z z) t))) (sqrt (* (* y 4.0) (- (* z z) t))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (- (* x x) (cbrt (pow (* (* y 4.0) (- (* z z) t)) 3))))>)
3.996 * [regimes]: Found splitpoints: (#s(sp 3 (* z z) 9.929981412137769e+300) #s(sp 6 (* z z) +nan.0)) , with alts (#<alt (λ (x y z t) (- (* x x) (* (* (sqrt (* (* y 4.0) (sqrt (- (* z z) t)))) (sqrt (* (* y 4.0) (sqrt (- (* z z) t))))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (pow x 2))> #<alt (λ (x y z t) (/ (- (pow (* x x) 3) (pow (* (* y 4.0) (- (* z z) t)) 3)) (+ (* (* (* y 4.0) (- (* z z) t)) (+ (* (* y 4.0) (- (* z z) t)) (pow x 2))) (* (* x x) (* x x)))))> #<alt (λ (x y z t) (- (* x x) (* y (* 4.0 (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (sqrt (* (* y 4.0) (- (* z z) t))) (sqrt (* (* y 4.0) (- (* z z) t))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (- (* x x) (cbrt (pow (* (* y 4.0) (- (* z z) t)) 3))))>)
3.997 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (if (<= (* z z) 9.929981412137769e+300) (- (* x x) (* y (* 4.0 (- (* z z) t)))) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))
3.998 * * [simplify]: iteration  0 :  27  enodes  (cost  16 )
3.998 * * [simplify]: iteration  1 :  27  enodes  (cost  16 )
3.998 * [simplify]: Simplified to:
  (if (<= (* z z) 9.929981412137769e+300) (- (* x x) (* y (* 4.0 (- (* z z) t)))) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))