25.957 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.036 * * * [progress]: [2/2] Setting up program.
0.039 * [progress]: [Phase 2 of 3] Improving.
0.039 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* x x) (* (* y 4.0) (- (* z z) t)))
0.043 * * [simplify]: iteration  0 :  21  enodes  (cost  6 )
0.045 * * [simplify]: iteration  1 :  52  enodes  (cost  6 )
0.049 * * [simplify]: iteration  2 :  171  enodes  (cost  6 )
0.054 * * [simplify]: iteration  3 :  401  enodes  (cost  6 )
0.064 * * [simplify]: iteration  4 :  829  enodes  (cost  6 )
0.076 * * [simplify]: iteration  5 :  1090  enodes  (cost  6 )
0.087 * * [simplify]: iteration  6 :  1610  enodes  (cost  6 )
0.102 * * [simplify]: iteration  7 :  1956  enodes  (cost  6 )
0.121 * * [simplify]: iteration  8 :  2252  enodes  (cost  6 )
0.137 * * [simplify]: iteration  9 :  2367  enodes  (cost  5 )
0.154 * * [simplify]: iteration  10 :  2367  enodes  (cost  5 )
0.154 * [simplify]: Simplified to:
   (fma x x (* (* y 4.0) (- t (* z z))))
0.160 * * [progress]: iteration 1 / 4
0.160 * * * [progress]: picking best candidate
0.162 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma x x (* (* y 4.0) (- t (* z z)))))>
0.162 * * * [progress]: localizing error
0.176 * * * [progress]: generating rewritten candidates
0.176 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3)
0.185 * * * [progress]: generating series expansions
0.185 * * * * [progress]: [ 1 / 1 ] generating series at (2 3)
0.185 * [approximate]: Taking taylor expansion of (* 4.0 (* (- t (pow z 2)) y)) in (y t z) around 0
0.185 * [taylor]: Taking taylor expansion of (* 4.0 (* (- t (pow z 2)) y)) in z
0.185 * [taylor]: Taking taylor expansion of 4.0 in z
0.185 * [taylor]: Taking taylor expansion of (* (- t (pow z 2)) y) in z
0.185 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in z
0.186 * [taylor]: Taking taylor expansion of t in z
0.186 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.186 * [taylor]: Taking taylor expansion of z in z
0.186 * [taylor]: Taking taylor expansion of y in z
0.186 * [taylor]: Taking taylor expansion of (* 4.0 (* (- t (pow z 2)) y)) in t
0.186 * [taylor]: Taking taylor expansion of 4.0 in t
0.186 * [taylor]: Taking taylor expansion of (* (- t (pow z 2)) y) in t
0.186 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in t
0.186 * [taylor]: Taking taylor expansion of t in t
0.186 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.186 * [taylor]: Taking taylor expansion of z in t
0.186 * [taylor]: Taking taylor expansion of y in t
0.186 * [taylor]: Taking taylor expansion of (* 4.0 (* (- t (pow z 2)) y)) in y
0.186 * [taylor]: Taking taylor expansion of 4.0 in y
0.186 * [taylor]: Taking taylor expansion of (* (- t (pow z 2)) y) in y
0.186 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in y
0.186 * [taylor]: Taking taylor expansion of t in y
0.186 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.186 * [taylor]: Taking taylor expansion of z in y
0.186 * [taylor]: Taking taylor expansion of y in y
0.186 * [taylor]: Taking taylor expansion of (* 4.0 (* (- t (pow z 2)) y)) in y
0.186 * [taylor]: Taking taylor expansion of 4.0 in y
0.186 * [taylor]: Taking taylor expansion of (* (- t (pow z 2)) y) in y
0.186 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in y
0.186 * [taylor]: Taking taylor expansion of t in y
0.186 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.186 * [taylor]: Taking taylor expansion of z in y
0.186 * [taylor]: Taking taylor expansion of y in y
0.187 * [taylor]: Taking taylor expansion of 0 in t
0.187 * [taylor]: Taking taylor expansion of 0 in z
0.189 * [taylor]: Taking taylor expansion of (- (* 4.0 t) (* 4.0 (pow z 2))) in t
0.189 * [taylor]: Taking taylor expansion of (* 4.0 t) in t
0.189 * [taylor]: Taking taylor expansion of 4.0 in t
0.189 * [taylor]: Taking taylor expansion of t in t
0.189 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in t
0.189 * [taylor]: Taking taylor expansion of 4.0 in t
0.189 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.189 * [taylor]: Taking taylor expansion of z in t
0.190 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow z 2))) in z
0.190 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in z
0.190 * [taylor]: Taking taylor expansion of 4.0 in z
0.190 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.190 * [taylor]: Taking taylor expansion of z in z
0.190 * [taylor]: Taking taylor expansion of 0 in z
0.193 * [taylor]: Taking taylor expansion of 0 in t
0.193 * [taylor]: Taking taylor expansion of 0 in z
0.195 * [taylor]: Taking taylor expansion of 4.0 in z
0.195 * [taylor]: Taking taylor expansion of 0 in z
0.198 * [taylor]: Taking taylor expansion of 0 in t
0.198 * [taylor]: Taking taylor expansion of 0 in z
0.198 * [taylor]: Taking taylor expansion of 0 in z
0.200 * [taylor]: Taking taylor expansion of 0 in z
0.200 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 t) (/ 1 (pow z 2))) y)) in (y t z) around 0
0.200 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 t) (/ 1 (pow z 2))) y)) in z
0.200 * [taylor]: Taking taylor expansion of 4.0 in z
0.200 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (pow z 2))) y) in z
0.200 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in z
0.200 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.200 * [taylor]: Taking taylor expansion of t in z
0.200 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.200 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.200 * [taylor]: Taking taylor expansion of z in z
0.201 * [taylor]: Taking taylor expansion of y in z
0.202 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 t) (/ 1 (pow z 2))) y)) in t
0.202 * [taylor]: Taking taylor expansion of 4.0 in t
0.202 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (pow z 2))) y) in t
0.202 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in t
0.202 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.202 * [taylor]: Taking taylor expansion of t in t
0.202 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.202 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.202 * [taylor]: Taking taylor expansion of z in t
0.202 * [taylor]: Taking taylor expansion of y in t
0.203 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 t) (/ 1 (pow z 2))) y)) in y
0.203 * [taylor]: Taking taylor expansion of 4.0 in y
0.203 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (pow z 2))) y) in y
0.203 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in y
0.203 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.203 * [taylor]: Taking taylor expansion of t in y
0.203 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.203 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.203 * [taylor]: Taking taylor expansion of z in y
0.203 * [taylor]: Taking taylor expansion of y in y
0.203 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 t) (/ 1 (pow z 2))) y)) in y
0.203 * [taylor]: Taking taylor expansion of 4.0 in y
0.203 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (pow z 2))) y) in y
0.203 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in y
0.203 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.203 * [taylor]: Taking taylor expansion of t in y
0.203 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.204 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.204 * [taylor]: Taking taylor expansion of z in y
0.204 * [taylor]: Taking taylor expansion of y in y
0.204 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ 1 t) (/ 1 (pow z 2)))) in t
0.204 * [taylor]: Taking taylor expansion of 4.0 in t
0.204 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in t
0.204 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.204 * [taylor]: Taking taylor expansion of t in t
0.205 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.205 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.205 * [taylor]: Taking taylor expansion of z in t
0.205 * [taylor]: Taking taylor expansion of 4.0 in z
0.208 * [taylor]: Taking taylor expansion of 0 in t
0.209 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow z 2)))) in z
0.209 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in z
0.209 * [taylor]: Taking taylor expansion of 4.0 in z
0.209 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.209 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.209 * [taylor]: Taking taylor expansion of z in z
0.214 * [taylor]: Taking taylor expansion of 0 in t
0.214 * [taylor]: Taking taylor expansion of 0 in z
0.216 * [taylor]: Taking taylor expansion of 0 in z
0.222 * [taylor]: Taking taylor expansion of 0 in t
0.223 * [taylor]: Taking taylor expansion of 0 in z
0.223 * [taylor]: Taking taylor expansion of 0 in z
0.225 * [taylor]: Taking taylor expansion of 0 in z
0.232 * [taylor]: Taking taylor expansion of 0 in t
0.232 * [taylor]: Taking taylor expansion of 0 in z
0.232 * [taylor]: Taking taylor expansion of 0 in z
0.232 * [taylor]: Taking taylor expansion of 0 in z
0.236 * [taylor]: Taking taylor expansion of 0 in z
0.239 * [approximate]: Taking taylor expansion of (* 4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in (y t z) around 0
0.239 * [taylor]: Taking taylor expansion of (* 4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.239 * [taylor]: Taking taylor expansion of 4.0 in z
0.239 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y) in z
0.239 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in z
0.239 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.239 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.239 * [taylor]: Taking taylor expansion of z in z
0.240 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.240 * [taylor]: Taking taylor expansion of t in z
0.240 * [taylor]: Taking taylor expansion of y in z
0.240 * [taylor]: Taking taylor expansion of (* 4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.240 * [taylor]: Taking taylor expansion of 4.0 in t
0.240 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y) in t
0.240 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in t
0.240 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.240 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.240 * [taylor]: Taking taylor expansion of z in t
0.241 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.241 * [taylor]: Taking taylor expansion of t in t
0.241 * [taylor]: Taking taylor expansion of y in t
0.241 * [taylor]: Taking taylor expansion of (* 4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in y
0.241 * [taylor]: Taking taylor expansion of 4.0 in y
0.241 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y) in y
0.241 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in y
0.241 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.241 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.241 * [taylor]: Taking taylor expansion of z in y
0.242 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.242 * [taylor]: Taking taylor expansion of t in y
0.242 * [taylor]: Taking taylor expansion of y in y
0.242 * [taylor]: Taking taylor expansion of (* 4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in y
0.242 * [taylor]: Taking taylor expansion of 4.0 in y
0.242 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y) in y
0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in y
0.242 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.242 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.242 * [taylor]: Taking taylor expansion of z in y
0.242 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.242 * [taylor]: Taking taylor expansion of t in y
0.242 * [taylor]: Taking taylor expansion of y in y
0.243 * [taylor]: Taking taylor expansion of (* 4.0 (+ (/ 1 (pow z 2)) (/ 1 t))) in t
0.243 * [taylor]: Taking taylor expansion of 4.0 in t
0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in t
0.243 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.243 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.243 * [taylor]: Taking taylor expansion of z in t
0.243 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.243 * [taylor]: Taking taylor expansion of t in t
0.244 * [taylor]: Taking taylor expansion of 4.0 in z
0.246 * [taylor]: Taking taylor expansion of 0 in t
0.247 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in z
0.247 * [taylor]: Taking taylor expansion of 4.0 in z
0.247 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.247 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.247 * [taylor]: Taking taylor expansion of z in z
0.251 * [taylor]: Taking taylor expansion of 0 in t
0.251 * [taylor]: Taking taylor expansion of 0 in z
0.253 * [taylor]: Taking taylor expansion of 0 in z
0.258 * [taylor]: Taking taylor expansion of 0 in t
0.258 * [taylor]: Taking taylor expansion of 0 in z
0.258 * [taylor]: Taking taylor expansion of 0 in z
0.260 * [taylor]: Taking taylor expansion of 0 in z
0.267 * [taylor]: Taking taylor expansion of 0 in t
0.267 * [taylor]: Taking taylor expansion of 0 in z
0.267 * [taylor]: Taking taylor expansion of 0 in z
0.267 * [taylor]: Taking taylor expansion of 0 in z
0.270 * [taylor]: Taking taylor expansion of 0 in z
0.272 * * * [progress]: simplifying candidates
0.276 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* (* y 4.0) (- t (* z z))))
  (log1p (* (* y 4.0) (- t (* z z))))
  (* (* y 4.0) (- t (* z z)))
  (* (* y 4.0) (- t (* z z)))
  (+ (+ (log y) (log 4.0)) (log (- t (* z z))))
  (+ (log (* y 4.0)) (log (- t (* z z))))
  (log (* (* y 4.0) (- t (* z z))))
  (exp (* (* y 4.0) (- t (* z z))))
  (* (* (* (* y y) y) (* (* 4.0 4.0) 4.0)) (* (* (- t (* z z)) (- t (* z z))) (- t (* z z))))
  (* (* (* (* y 4.0) (* y 4.0)) (* y 4.0)) (* (* (- t (* z z)) (- t (* z z))) (- t (* z z))))
  (* (cbrt (* (* y 4.0) (- t (* z z)))) (cbrt (* (* y 4.0) (- t (* z z)))))
  (cbrt (* (* y 4.0) (- t (* z z))))
  (* (* (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (- t (* z z)))) (* (* y 4.0) (- t (* z z))))
  (sqrt (* (* y 4.0) (- t (* z z))))
  (sqrt (* (* y 4.0) (- t (* z z))))
  (* (* y 4.0) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* z z))))
  (* (* y 4.0) (fma (- z) z (* z z)))
  (* (* y 4.0) (fma (sqrt t) (sqrt t) (- (* z z))))
  (* (* y 4.0) (fma (- z) z (* z z)))
  (* (* y 4.0) (fma 1 t (- (* z z))))
  (* (* y 4.0) (fma (- z) z (* z z)))
  (* (* y 4.0) t)
  (* (* y 4.0) (- (* z z)))
  (* (* y 4.0) t)
  (* (* y 4.0) (- (* z z)))
  (* (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* z z))) (* y 4.0))
  (* (fma (- z) z (* z z)) (* y 4.0))
  (* (fma (sqrt t) (sqrt t) (- (* z z))) (* y 4.0))
  (* (fma (- z) z (* z z)) (* y 4.0))
  (* (fma 1 t (- (* z z))) (* y 4.0))
  (* (fma (- z) z (* z z)) (* y 4.0))
  (* t (* y 4.0))
  (* (- (* z z)) (* y 4.0))
  (* t (* y 4.0))
  (* (- (* z z)) (* y 4.0))
  (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (* (* y 4.0) (sqrt (- t (* z z))))
  (* (* y 4.0) 1)
  (* (* y 4.0) (+ (sqrt t) z))
  (* 4.0 (- t (* z z)))
  (* (* y 4.0) (- (pow t 3) (pow (* z z) 3)))
  (* (* y 4.0) (- (* t t) (* (* z z) (* z z))))
  (* 4.0 (* t y))
  (- (* 4.0 (* t y)) (* 4.0 (* (pow z 2) y)))
  (- (* 4.0 (* t y)) (* 4.0 (* (pow z 2) y)))
0.282 * * [simplify]: iteration  0 :  230  enodes  (cost  249 )
0.290 * * [simplify]: iteration  1 :  1099  enodes  (cost  212 )
0.319 * * [simplify]: iteration  2 :  5001  enodes  (cost  207 )
0.321 * [simplify]: Simplified to:
   (expm1 (* (* y 4.0) (- t (* z z))))
  (log1p (* (* y 4.0) (- t (* z z))))
  (* (* y 4.0) (- t (* z z)))
  (* (* y 4.0) (- t (* z z)))
  (log (* (* y 4.0) (- t (* z z))))
  (log (* (* y 4.0) (- t (* z z))))
  (log (* (* y 4.0) (- t (* z z))))
  (exp (* (* y 4.0) (- t (* z z))))
  (pow (* (* y 4.0) (- t (* z z))) 3)
  (pow (* (* y 4.0) (- t (* z z))) 3)
  (* (cbrt (* (* y 4.0) (- t (* z z)))) (cbrt (* (* y 4.0) (- t (* z z)))))
  (cbrt (* (* y 4.0) (- t (* z z))))
  (pow (* (* y 4.0) (- t (* z z))) 3)
  (sqrt (* (* y 4.0) (- t (* z z))))
  (sqrt (* (* y 4.0) (- t (* z z))))
  (* (* y 4.0) (+ (pow (cbrt t) 3) (- (* z z))))
  (* (* y 4.0) (fma (- z) z (* z z)))
  (* (* y 4.0) (- t (* z z)))
  (* (* y 4.0) (fma (- z) z (* z z)))
  (* (* y 4.0) (- t (* z z)))
  (* (* y 4.0) (fma (- z) z (* z z)))
  (* (* y 4.0) t)
  (* (* y 4.0) (- (* z z)))
  (* (* y 4.0) t)
  (* (* y 4.0) (- (* z z)))
  (* (* y 4.0) (+ (pow (cbrt t) 3) (- (* z z))))
  (* (* y 4.0) (fma (- z) z (* z z)))
  (* (* y 4.0) (- t (* z z)))
  (* (* y 4.0) (fma (- z) z (* z z)))
  (* (* y 4.0) (- t (* z z)))
  (* (* y 4.0) (fma (- z) z (* z z)))
  (* (* y 4.0) t)
  (* (* y 4.0) (- (* z z)))
  (* (* y 4.0) t)
  (* (* y 4.0) (- (* z z)))
  (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (* (* y 4.0) (sqrt (- t (* z z))))
  (* y 4.0)
  (* (* y 4.0) (+ (sqrt t) z))
  (* 4.0 (- t (* z z)))
  (* (* y 4.0) (- (pow t 3) (pow (* z z) 3)))
  (* (* (* y 4.0) (- t (* z z))) (fma z z t))
  (* (* y 4.0) t)
  (* (* y 4.0) (- t (* z z)))
  (* (* y 4.0) (- t (* z z)))
0.321 * * * [progress]: adding candidates to table
0.393 * * [progress]: iteration 2 / 4
0.393 * * * [progress]: picking best candidate
0.413 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma x x (+ (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (fma (- z) z (* z z))))))>
0.413 * * * [progress]: localizing error
0.427 * * * [progress]: generating rewritten candidates
0.427 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3 2 2)
0.428 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3 1)
0.438 * * * [progress]: generating series expansions
0.438 * * * * [progress]: [ 1 / 2 ] generating series at (2 3 2 2)
0.438 * [approximate]: Taking taylor expansion of (fma (- z) z (pow z 2)) in (z) around 0
0.438 * [taylor]: Taking taylor expansion of (fma (- z) z (pow z 2)) in z
0.438 * [taylor]: Rewrote expression to (+ (* (- z) z) (pow z 2))
0.438 * [taylor]: Taking taylor expansion of (* (- z) z) in z
0.438 * [taylor]: Taking taylor expansion of (- z) in z
0.438 * [taylor]: Taking taylor expansion of z in z
0.438 * [taylor]: Taking taylor expansion of z in z
0.438 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.438 * [taylor]: Taking taylor expansion of z in z
0.438 * [taylor]: Taking taylor expansion of (fma (- z) z (pow z 2)) in z
0.438 * [taylor]: Rewrote expression to (+ (* (- z) z) (pow z 2))
0.438 * [taylor]: Taking taylor expansion of (* (- z) z) in z
0.438 * [taylor]: Taking taylor expansion of (- z) in z
0.438 * [taylor]: Taking taylor expansion of z in z
0.438 * [taylor]: Taking taylor expansion of z in z
0.438 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.438 * [taylor]: Taking taylor expansion of z in z
0.451 * [approximate]: Taking taylor expansion of (fma (- (/ 1 z)) (/ 1 z) (/ 1 (pow z 2))) in (z) around 0
0.451 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z)) (/ 1 z) (/ 1 (pow z 2))) in z
0.451 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z)) (/ 1 z)) (/ 1 (pow z 2)))
0.451 * [taylor]: Taking taylor expansion of (* (- (/ 1 z)) (/ 1 z)) in z
0.451 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.451 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.451 * [taylor]: Taking taylor expansion of z in z
0.451 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.451 * [taylor]: Taking taylor expansion of z in z
0.452 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.452 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.452 * [taylor]: Taking taylor expansion of z in z
0.452 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z)) (/ 1 z) (/ 1 (pow z 2))) in z
0.452 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z)) (/ 1 z)) (/ 1 (pow z 2)))
0.453 * [taylor]: Taking taylor expansion of (* (- (/ 1 z)) (/ 1 z)) in z
0.453 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.453 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.453 * [taylor]: Taking taylor expansion of z in z
0.453 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.453 * [taylor]: Taking taylor expansion of z in z
0.453 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.453 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.453 * [taylor]: Taking taylor expansion of z in z
0.479 * [approximate]: Taking taylor expansion of (fma (/ 1 z) (/ -1 z) (/ 1 (pow z 2))) in (z) around 0
0.479 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ -1 z) (/ 1 (pow z 2))) in z
0.479 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ -1 z)) (/ 1 (pow z 2)))
0.479 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ -1 z)) in z
0.479 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.479 * [taylor]: Taking taylor expansion of z in z
0.480 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.480 * [taylor]: Taking taylor expansion of -1 in z
0.480 * [taylor]: Taking taylor expansion of z in z
0.480 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.480 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.480 * [taylor]: Taking taylor expansion of z in z
0.481 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ -1 z) (/ 1 (pow z 2))) in z
0.481 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ -1 z)) (/ 1 (pow z 2)))
0.481 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ -1 z)) in z
0.481 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.481 * [taylor]: Taking taylor expansion of z in z
0.481 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.481 * [taylor]: Taking taylor expansion of -1 in z
0.481 * [taylor]: Taking taylor expansion of z in z
0.481 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.481 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.481 * [taylor]: Taking taylor expansion of z in z
0.498 * * * * [progress]: [ 2 / 2 ] generating series at (2 3 1)
0.498 * [approximate]: Taking taylor expansion of (* 4.0 (* (- t (pow z 2)) y)) in (y t z) around 0
0.498 * [taylor]: Taking taylor expansion of (* 4.0 (* (- t (pow z 2)) y)) in z
0.498 * [taylor]: Taking taylor expansion of 4.0 in z
0.498 * [taylor]: Taking taylor expansion of (* (- t (pow z 2)) y) in z
0.498 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in z
0.498 * [taylor]: Taking taylor expansion of t in z
0.498 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.498 * [taylor]: Taking taylor expansion of z in z
0.498 * [taylor]: Taking taylor expansion of y in z
0.498 * [taylor]: Taking taylor expansion of (* 4.0 (* (- t (pow z 2)) y)) in t
0.499 * [taylor]: Taking taylor expansion of 4.0 in t
0.499 * [taylor]: Taking taylor expansion of (* (- t (pow z 2)) y) in t
0.499 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in t
0.499 * [taylor]: Taking taylor expansion of t in t
0.499 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.499 * [taylor]: Taking taylor expansion of z in t
0.499 * [taylor]: Taking taylor expansion of y in t
0.499 * [taylor]: Taking taylor expansion of (* 4.0 (* (- t (pow z 2)) y)) in y
0.499 * [taylor]: Taking taylor expansion of 4.0 in y
0.499 * [taylor]: Taking taylor expansion of (* (- t (pow z 2)) y) in y
0.499 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in y
0.499 * [taylor]: Taking taylor expansion of t in y
0.499 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.499 * [taylor]: Taking taylor expansion of z in y
0.499 * [taylor]: Taking taylor expansion of y in y
0.499 * [taylor]: Taking taylor expansion of (* 4.0 (* (- t (pow z 2)) y)) in y
0.499 * [taylor]: Taking taylor expansion of 4.0 in y
0.499 * [taylor]: Taking taylor expansion of (* (- t (pow z 2)) y) in y
0.499 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in y
0.499 * [taylor]: Taking taylor expansion of t in y
0.499 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.499 * [taylor]: Taking taylor expansion of z in y
0.499 * [taylor]: Taking taylor expansion of y in y
0.500 * [taylor]: Taking taylor expansion of 0 in t
0.500 * [taylor]: Taking taylor expansion of 0 in z
0.501 * [taylor]: Taking taylor expansion of (- (* 4.0 t) (* 4.0 (pow z 2))) in t
0.501 * [taylor]: Taking taylor expansion of (* 4.0 t) in t
0.502 * [taylor]: Taking taylor expansion of 4.0 in t
0.502 * [taylor]: Taking taylor expansion of t in t
0.502 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in t
0.502 * [taylor]: Taking taylor expansion of 4.0 in t
0.502 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.502 * [taylor]: Taking taylor expansion of z in t
0.502 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow z 2))) in z
0.502 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in z
0.502 * [taylor]: Taking taylor expansion of 4.0 in z
0.502 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.502 * [taylor]: Taking taylor expansion of z in z
0.502 * [taylor]: Taking taylor expansion of 0 in z
0.505 * [taylor]: Taking taylor expansion of 0 in t
0.505 * [taylor]: Taking taylor expansion of 0 in z
0.507 * [taylor]: Taking taylor expansion of 4.0 in z
0.507 * [taylor]: Taking taylor expansion of 0 in z
0.509 * [taylor]: Taking taylor expansion of 0 in t
0.509 * [taylor]: Taking taylor expansion of 0 in z
0.509 * [taylor]: Taking taylor expansion of 0 in z
0.512 * [taylor]: Taking taylor expansion of 0 in z
0.512 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 t) (/ 1 (pow z 2))) y)) in (y t z) around 0
0.512 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 t) (/ 1 (pow z 2))) y)) in z
0.512 * [taylor]: Taking taylor expansion of 4.0 in z
0.512 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (pow z 2))) y) in z
0.512 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in z
0.512 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.512 * [taylor]: Taking taylor expansion of t in z
0.512 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.512 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.512 * [taylor]: Taking taylor expansion of z in z
0.513 * [taylor]: Taking taylor expansion of y in z
0.514 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 t) (/ 1 (pow z 2))) y)) in t
0.514 * [taylor]: Taking taylor expansion of 4.0 in t
0.514 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (pow z 2))) y) in t
0.514 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in t
0.514 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.514 * [taylor]: Taking taylor expansion of t in t
0.514 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.514 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.514 * [taylor]: Taking taylor expansion of z in t
0.514 * [taylor]: Taking taylor expansion of y in t
0.515 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 t) (/ 1 (pow z 2))) y)) in y
0.515 * [taylor]: Taking taylor expansion of 4.0 in y
0.515 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (pow z 2))) y) in y
0.515 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in y
0.515 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.515 * [taylor]: Taking taylor expansion of t in y
0.515 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.515 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.515 * [taylor]: Taking taylor expansion of z in y
0.515 * [taylor]: Taking taylor expansion of y in y
0.515 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 t) (/ 1 (pow z 2))) y)) in y
0.515 * [taylor]: Taking taylor expansion of 4.0 in y
0.515 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (pow z 2))) y) in y
0.515 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in y
0.515 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.515 * [taylor]: Taking taylor expansion of t in y
0.515 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.515 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.515 * [taylor]: Taking taylor expansion of z in y
0.516 * [taylor]: Taking taylor expansion of y in y
0.516 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ 1 t) (/ 1 (pow z 2)))) in t
0.516 * [taylor]: Taking taylor expansion of 4.0 in t
0.516 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in t
0.516 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.516 * [taylor]: Taking taylor expansion of t in t
0.517 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.517 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.517 * [taylor]: Taking taylor expansion of z in t
0.517 * [taylor]: Taking taylor expansion of 4.0 in z
0.519 * [taylor]: Taking taylor expansion of 0 in t
0.521 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow z 2)))) in z
0.521 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in z
0.521 * [taylor]: Taking taylor expansion of 4.0 in z
0.521 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.521 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.521 * [taylor]: Taking taylor expansion of z in z
0.525 * [taylor]: Taking taylor expansion of 0 in t
0.525 * [taylor]: Taking taylor expansion of 0 in z
0.527 * [taylor]: Taking taylor expansion of 0 in z
0.533 * [taylor]: Taking taylor expansion of 0 in t
0.534 * [taylor]: Taking taylor expansion of 0 in z
0.534 * [taylor]: Taking taylor expansion of 0 in z
0.536 * [taylor]: Taking taylor expansion of 0 in z
0.543 * [taylor]: Taking taylor expansion of 0 in t
0.544 * [taylor]: Taking taylor expansion of 0 in z
0.544 * [taylor]: Taking taylor expansion of 0 in z
0.544 * [taylor]: Taking taylor expansion of 0 in z
0.547 * [taylor]: Taking taylor expansion of 0 in z
0.550 * [approximate]: Taking taylor expansion of (* 4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in (y t z) around 0
0.550 * [taylor]: Taking taylor expansion of (* 4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in z
0.550 * [taylor]: Taking taylor expansion of 4.0 in z
0.550 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y) in z
0.550 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in z
0.550 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.550 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.550 * [taylor]: Taking taylor expansion of z in z
0.551 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.551 * [taylor]: Taking taylor expansion of t in z
0.551 * [taylor]: Taking taylor expansion of y in z
0.551 * [taylor]: Taking taylor expansion of (* 4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
0.551 * [taylor]: Taking taylor expansion of 4.0 in t
0.552 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y) in t
0.552 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in t
0.552 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.552 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.552 * [taylor]: Taking taylor expansion of z in t
0.552 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.552 * [taylor]: Taking taylor expansion of t in t
0.552 * [taylor]: Taking taylor expansion of y in t
0.552 * [taylor]: Taking taylor expansion of (* 4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in y
0.552 * [taylor]: Taking taylor expansion of 4.0 in y
0.552 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y) in y
0.552 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in y
0.553 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.553 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.553 * [taylor]: Taking taylor expansion of z in y
0.553 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.553 * [taylor]: Taking taylor expansion of t in y
0.553 * [taylor]: Taking taylor expansion of y in y
0.553 * [taylor]: Taking taylor expansion of (* 4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in y
0.553 * [taylor]: Taking taylor expansion of 4.0 in y
0.553 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y) in y
0.553 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in y
0.553 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.553 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.553 * [taylor]: Taking taylor expansion of z in y
0.553 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.553 * [taylor]: Taking taylor expansion of t in y
0.553 * [taylor]: Taking taylor expansion of y in y
0.554 * [taylor]: Taking taylor expansion of (* 4.0 (+ (/ 1 (pow z 2)) (/ 1 t))) in t
0.554 * [taylor]: Taking taylor expansion of 4.0 in t
0.554 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in t
0.554 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.554 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.554 * [taylor]: Taking taylor expansion of z in t
0.554 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.554 * [taylor]: Taking taylor expansion of t in t
0.555 * [taylor]: Taking taylor expansion of 4.0 in z
0.557 * [taylor]: Taking taylor expansion of 0 in t
0.558 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in z
0.558 * [taylor]: Taking taylor expansion of 4.0 in z
0.558 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.558 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.558 * [taylor]: Taking taylor expansion of z in z
0.562 * [taylor]: Taking taylor expansion of 0 in t
0.562 * [taylor]: Taking taylor expansion of 0 in z
0.567 * [taylor]: Taking taylor expansion of 0 in z
0.573 * [taylor]: Taking taylor expansion of 0 in t
0.573 * [taylor]: Taking taylor expansion of 0 in z
0.573 * [taylor]: Taking taylor expansion of 0 in z
0.575 * [taylor]: Taking taylor expansion of 0 in z
0.582 * [taylor]: Taking taylor expansion of 0 in t
0.582 * [taylor]: Taking taylor expansion of 0 in z
0.582 * [taylor]: Taking taylor expansion of 0 in z
0.582 * [taylor]: Taking taylor expansion of 0 in z
0.586 * [taylor]: Taking taylor expansion of 0 in z
0.588 * * * [progress]: simplifying candidates
0.589 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fma (- z) z (* z z)))
  (log1p (fma (- z) z (* z z)))
  (* (- z) z)
  (log (fma (- z) z (* z z)))
  (exp (fma (- z) z (* z z)))
  (* (cbrt (fma (- z) z (* z z))) (cbrt (fma (- z) z (* z z))))
  (cbrt (fma (- z) z (* z z)))
  (* (* (fma (- z) z (* z z)) (fma (- z) z (* z z))) (fma (- z) z (* z z)))
  (sqrt (fma (- z) z (* z z)))
  (sqrt (fma (- z) z (* z z)))
  (expm1 (* (* y 4.0) (- t (* z z))))
  (log1p (* (* y 4.0) (- t (* z z))))
  (* (* y 4.0) (- t (* z z)))
  (* (* y 4.0) (- t (* z z)))
  (+ (+ (log y) (log 4.0)) (log (- t (* z z))))
  (+ (log (* y 4.0)) (log (- t (* z z))))
  (log (* (* y 4.0) (- t (* z z))))
  (exp (* (* y 4.0) (- t (* z z))))
  (* (* (* (* y y) y) (* (* 4.0 4.0) 4.0)) (* (* (- t (* z z)) (- t (* z z))) (- t (* z z))))
  (* (* (* (* y 4.0) (* y 4.0)) (* y 4.0)) (* (* (- t (* z z)) (- t (* z z))) (- t (* z z))))
  (* (cbrt (* (* y 4.0) (- t (* z z)))) (cbrt (* (* y 4.0) (- t (* z z)))))
  (cbrt (* (* y 4.0) (- t (* z z))))
  (* (* (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (- t (* z z)))) (* (* y 4.0) (- t (* z z))))
  (sqrt (* (* y 4.0) (- t (* z z))))
  (sqrt (* (* y 4.0) (- t (* z z))))
  (* (* y 4.0) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* z z))))
  (* (* y 4.0) (fma (- z) z (* z z)))
  (* (* y 4.0) (fma (sqrt t) (sqrt t) (- (* z z))))
  (* (* y 4.0) (fma (- z) z (* z z)))
  (* (* y 4.0) (fma 1 t (- (* z z))))
  (* (* y 4.0) (fma (- z) z (* z z)))
  (* (* y 4.0) t)
  (* (* y 4.0) (- (* z z)))
  (* (* y 4.0) t)
  (* (* y 4.0) (- (* z z)))
  (* (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* z z))) (* y 4.0))
  (* (fma (- z) z (* z z)) (* y 4.0))
  (* (fma (sqrt t) (sqrt t) (- (* z z))) (* y 4.0))
  (* (fma (- z) z (* z z)) (* y 4.0))
  (* (fma 1 t (- (* z z))) (* y 4.0))
  (* (fma (- z) z (* z z)) (* y 4.0))
  (* t (* y 4.0))
  (* (- (* z z)) (* y 4.0))
  (* t (* y 4.0))
  (* (- (* z z)) (* y 4.0))
  (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (* (* y 4.0) (sqrt (- t (* z z))))
  (* (* y 4.0) 1)
  (* (* y 4.0) (+ (sqrt t) z))
  (* 4.0 (- t (* z z)))
  (* (* y 4.0) (- (pow t 3) (pow (* z z) 3)))
  (* (* y 4.0) (- (* t t) (* (* z z) (* z z))))
  0
  0
  0
  (* 4.0 (* t y))
  (- (* 4.0 (* t y)) (* 4.0 (* (pow z 2) y)))
  (- (* 4.0 (* t y)) (* 4.0 (* (pow z 2) y)))
0.595 * * [simplify]: iteration  0 :  241  enodes  (cost  299 )
0.603 * * [simplify]: iteration  1 :  1123  enodes  (cost  255 )
0.635 * * [simplify]: iteration  2 :  5002  enodes  (cost  250 )
0.637 * [simplify]: Simplified to:
   (expm1 (fma (- z) z (* z z)))
  (log1p (fma (- z) z (* z z)))
  (- (* z z))
  (log (fma (- z) z (* z z)))
  (exp (fma (- z) z (* z z)))
  (* (cbrt (fma (- z) z (* z z))) (cbrt (fma (- z) z (* z z))))
  (cbrt (fma (- z) z (* z z)))
  (pow (fma (- z) z (* z z)) 3)
  (sqrt (fma (- z) z (* z z)))
  (sqrt (fma (- z) z (* z z)))
  (expm1 (* (* y 4.0) (- t (* z z))))
  (log1p (* (* y 4.0) (- t (* z z))))
  (* (* y 4.0) (- t (* z z)))
  (* (* y 4.0) (- t (* z z)))
  (log (* (* y 4.0) (- t (* z z))))
  (log (* (* y 4.0) (- t (* z z))))
  (log (* (* y 4.0) (- t (* z z))))
  (exp (* (* y 4.0) (- t (* z z))))
  (pow (* (* y 4.0) (- t (* z z))) 3)
  (pow (* (* y 4.0) (- t (* z z))) 3)
  (* (cbrt (* (* y 4.0) (- t (* z z)))) (cbrt (* (* y 4.0) (- t (* z z)))))
  (cbrt (* (* y 4.0) (- t (* z z))))
  (pow (* (* y 4.0) (- t (* z z))) 3)
  (sqrt (* (* y 4.0) (- t (* z z))))
  (sqrt (* (* y 4.0) (- t (* z z))))
  (* (* y 4.0) (+ (pow (cbrt t) 3) (- (* z z))))
  (* (* y 4.0) (fma (- z) z (* z z)))
  (* (* y 4.0) (- t (* z z)))
  (* (* y 4.0) (fma (- z) z (* z z)))
  (* (* y 4.0) (- t (* z z)))
  (* (* y 4.0) (fma (- z) z (* z z)))
  (* (* y 4.0) t)
  (* (* y 4.0) (- (* z z)))
  (* (* y 4.0) t)
  (* (* y 4.0) (- (* z z)))
  (* (* y 4.0) (+ (pow (cbrt t) 3) (- (* z z))))
  (* (* y 4.0) (fma (- z) z (* z z)))
  (* (* y 4.0) (- t (* z z)))
  (* (* y 4.0) (fma (- z) z (* z z)))
  (* (* y 4.0) (- t (* z z)))
  (* (* y 4.0) (fma (- z) z (* z z)))
  (* (* y 4.0) t)
  (* (* y 4.0) (- (* z z)))
  (* (* y 4.0) t)
  (* (* y 4.0) (- (* z z)))
  (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (* (* y 4.0) (sqrt (- t (* z z))))
  (* y 4.0)
  (* (* y 4.0) (+ (sqrt t) z))
  (* 4.0 (- t (* z z)))
  (* (* y 4.0) (- (pow t 3) (pow (* z z) 3)))
  (* (* (* y 4.0) (- t (* z z))) (fma z z t))
  0
  0
  0
  (* (* y 4.0) t)
  (* (* y 4.0) (- t (* z z)))
  (* (* y 4.0) (- t (* z z)))
0.638 * * * [progress]: adding candidates to table
0.754 * * [progress]: iteration 3 / 4
0.754 * * * [progress]: picking best candidate
0.774 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))) (cbrt (- t (* z z))))))>
0.774 * * * [progress]: localizing error
0.786 * * * [progress]: generating rewritten candidates
0.786 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2)
0.789 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1 2 2)
0.792 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 2 1)
0.795 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1)
0.812 * * * [progress]: generating series expansions
0.812 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2)
0.812 * [approximate]: Taking taylor expansion of (pow (- t (pow z 2)) 1/3) in (t z) around 0
0.812 * [taylor]: Taking taylor expansion of (pow (- t (pow z 2)) 1/3) in z
0.812 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t (pow z 2))))) in z
0.812 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t (pow z 2)))) in z
0.812 * [taylor]: Taking taylor expansion of 1/3 in z
0.812 * [taylor]: Taking taylor expansion of (log (- t (pow z 2))) in z
0.812 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in z
0.812 * [taylor]: Taking taylor expansion of t in z
0.812 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.812 * [taylor]: Taking taylor expansion of z in z
0.813 * [taylor]: Taking taylor expansion of (pow (- t (pow z 2)) 1/3) in t
0.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t (pow z 2))))) in t
0.813 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t (pow z 2)))) in t
0.813 * [taylor]: Taking taylor expansion of 1/3 in t
0.813 * [taylor]: Taking taylor expansion of (log (- t (pow z 2))) in t
0.813 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in t
0.813 * [taylor]: Taking taylor expansion of t in t
0.813 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.813 * [taylor]: Taking taylor expansion of z in t
0.813 * [taylor]: Taking taylor expansion of (pow (- t (pow z 2)) 1/3) in t
0.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t (pow z 2))))) in t
0.813 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t (pow z 2)))) in t
0.813 * [taylor]: Taking taylor expansion of 1/3 in t
0.813 * [taylor]: Taking taylor expansion of (log (- t (pow z 2))) in t
0.813 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in t
0.813 * [taylor]: Taking taylor expansion of t in t
0.813 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.813 * [taylor]: Taking taylor expansion of z in t
0.814 * [taylor]: Taking taylor expansion of (pow (- (pow z 2)) 1/3) in z
0.814 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (pow z 2))))) in z
0.814 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (pow z 2)))) in z
0.814 * [taylor]: Taking taylor expansion of 1/3 in z
0.814 * [taylor]: Taking taylor expansion of (log (- (pow z 2))) in z
0.814 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z
0.814 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.814 * [taylor]: Taking taylor expansion of z in z
0.819 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow z 4)) 1/3)) in z
0.819 * [taylor]: Taking taylor expansion of -1/3 in z
0.819 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 4)) 1/3) in z
0.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 4))))) in z
0.819 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 4)))) in z
0.819 * [taylor]: Taking taylor expansion of 1/3 in z
0.819 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 4))) in z
0.819 * [taylor]: Taking taylor expansion of (/ -1 (pow z 4)) in z
0.819 * [taylor]: Taking taylor expansion of -1 in z
0.819 * [taylor]: Taking taylor expansion of (pow z 4) in z
0.819 * [taylor]: Taking taylor expansion of z in z
0.828 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow z 10)) 1/3)) in z
0.828 * [taylor]: Taking taylor expansion of -1/9 in z
0.828 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 10)) 1/3) in z
0.828 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 10))))) in z
0.828 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 10)))) in z
0.828 * [taylor]: Taking taylor expansion of 1/3 in z
0.828 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 10))) in z
0.828 * [taylor]: Taking taylor expansion of (/ -1 (pow z 10)) in z
0.828 * [taylor]: Taking taylor expansion of -1 in z
0.828 * [taylor]: Taking taylor expansion of (pow z 10) in z
0.828 * [taylor]: Taking taylor expansion of z in z
0.833 * [approximate]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 (pow z 2))) 1/3) in (t z) around 0
0.833 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 (pow z 2))) 1/3) in z
0.833 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 (pow z 2)))))) in z
0.833 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 (pow z 2))))) in z
0.833 * [taylor]: Taking taylor expansion of 1/3 in z
0.833 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 (pow z 2)))) in z
0.833 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in z
0.833 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.833 * [taylor]: Taking taylor expansion of t in z
0.833 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.833 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.833 * [taylor]: Taking taylor expansion of z in z
0.836 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 (pow z 2))) 1/3) in t
0.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 (pow z 2)))))) in t
0.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 (pow z 2))))) in t
0.836 * [taylor]: Taking taylor expansion of 1/3 in t
0.836 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 (pow z 2)))) in t
0.837 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in t
0.837 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.837 * [taylor]: Taking taylor expansion of t in t
0.837 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.837 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.837 * [taylor]: Taking taylor expansion of z in t
0.838 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 (pow z 2))) 1/3) in t
0.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 (pow z 2)))))) in t
0.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 (pow z 2))))) in t
0.838 * [taylor]: Taking taylor expansion of 1/3 in t
0.838 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 (pow z 2)))) in t
0.838 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in t
0.838 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.838 * [taylor]: Taking taylor expansion of t in t
0.838 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.838 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.838 * [taylor]: Taking taylor expansion of z in t
0.840 * [taylor]: Taking taylor expansion of (pow t -1/3) in z
0.840 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log t))) in z
0.840 * [taylor]: Taking taylor expansion of (* -1/3 (log t)) in z
0.840 * [taylor]: Taking taylor expansion of -1/3 in z
0.840 * [taylor]: Taking taylor expansion of (log t) in z
0.840 * [taylor]: Taking taylor expansion of t in z
0.842 * [taylor]: Taking taylor expansion of (* -1/3 (* (pow (/ 1 t) 1/3) (/ 1 (pow z 2)))) in z
0.842 * [taylor]: Taking taylor expansion of -1/3 in z
0.842 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (/ 1 (pow z 2))) in z
0.842 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
0.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
0.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
0.842 * [taylor]: Taking taylor expansion of 1/3 in z
0.842 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
0.842 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.842 * [taylor]: Taking taylor expansion of t in z
0.842 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.842 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.842 * [taylor]: Taking taylor expansion of z in z
0.856 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (/ 1 t) 1/3) (/ 1 (pow z 4)))) in z
0.856 * [taylor]: Taking taylor expansion of -1/9 in z
0.856 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (/ 1 (pow z 4))) in z
0.856 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
0.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
0.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
0.856 * [taylor]: Taking taylor expansion of 1/3 in z
0.856 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
0.856 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.856 * [taylor]: Taking taylor expansion of t in z
0.856 * [taylor]: Taking taylor expansion of (/ 1 (pow z 4)) in z
0.856 * [taylor]: Taking taylor expansion of (pow z 4) in z
0.856 * [taylor]: Taking taylor expansion of z in z
0.901 * [taylor]: Taking taylor expansion of (* -5/81 (* (pow (/ 1 t) 1/3) (/ 1 (pow z 6)))) in z
0.902 * [taylor]: Taking taylor expansion of -5/81 in z
0.902 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (/ 1 (pow z 6))) in z
0.902 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
0.902 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
0.902 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
0.902 * [taylor]: Taking taylor expansion of 1/3 in z
0.902 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
0.902 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.902 * [taylor]: Taking taylor expansion of t in z
0.902 * [taylor]: Taking taylor expansion of (/ 1 (pow z 6)) in z
0.902 * [taylor]: Taking taylor expansion of (pow z 6) in z
0.902 * [taylor]: Taking taylor expansion of z in z
0.965 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3)) in (t z) around 0
0.965 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3)) in z
0.965 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.965 * [taylor]: Taking taylor expansion of -1 in z
0.966 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3) in z
0.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow z 2)) (/ 1 t))))) in z
0.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow z 2)) (/ 1 t)))) in z
0.966 * [taylor]: Taking taylor expansion of 1/3 in z
0.966 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow z 2)) (/ 1 t))) in z
0.966 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in z
0.966 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.966 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.966 * [taylor]: Taking taylor expansion of z in z
0.967 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.967 * [taylor]: Taking taylor expansion of t in z
0.968 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3)) in t
0.968 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.968 * [taylor]: Taking taylor expansion of -1 in t
0.969 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3) in t
0.969 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow z 2)) (/ 1 t))))) in t
0.969 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow z 2)) (/ 1 t)))) in t
0.969 * [taylor]: Taking taylor expansion of 1/3 in t
0.969 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow z 2)) (/ 1 t))) in t
0.969 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in t
0.969 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.969 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.969 * [taylor]: Taking taylor expansion of z in t
0.969 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.969 * [taylor]: Taking taylor expansion of t in t
0.971 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3)) in t
0.971 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.971 * [taylor]: Taking taylor expansion of -1 in t
0.972 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3) in t
0.972 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow z 2)) (/ 1 t))))) in t
0.972 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow z 2)) (/ 1 t)))) in t
0.972 * [taylor]: Taking taylor expansion of 1/3 in t
0.972 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow z 2)) (/ 1 t))) in t
0.972 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in t
0.972 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.972 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.972 * [taylor]: Taking taylor expansion of z in t
0.972 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.972 * [taylor]: Taking taylor expansion of t in t
0.974 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in z
0.974 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.974 * [taylor]: Taking taylor expansion of -1 in z
0.975 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
0.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
0.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
0.975 * [taylor]: Taking taylor expansion of 1/3 in z
0.975 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
0.975 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.975 * [taylor]: Taking taylor expansion of t in z
0.979 * [taylor]: Taking taylor expansion of (* 1/3 (* (/ (cbrt -1) (pow z 2)) (pow (/ 1 t) 1/3))) in z
0.979 * [taylor]: Taking taylor expansion of 1/3 in z
0.979 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow z 2)) (pow (/ 1 t) 1/3)) in z
0.979 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow z 2)) in z
0.979 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.979 * [taylor]: Taking taylor expansion of -1 in z
0.980 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.980 * [taylor]: Taking taylor expansion of z in z
0.981 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
0.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
0.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
0.981 * [taylor]: Taking taylor expansion of 1/3 in z
0.981 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
0.981 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.981 * [taylor]: Taking taylor expansion of t in z
0.999 * [taylor]: Taking taylor expansion of (- (* 1/9 (* (/ (cbrt -1) (pow z 4)) (pow (/ 1 t) 1/3)))) in z
0.999 * [taylor]: Taking taylor expansion of (* 1/9 (* (/ (cbrt -1) (pow z 4)) (pow (/ 1 t) 1/3))) in z
0.999 * [taylor]: Taking taylor expansion of 1/9 in z
1.000 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow z 4)) (pow (/ 1 t) 1/3)) in z
1.000 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow z 4)) in z
1.000 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.000 * [taylor]: Taking taylor expansion of -1 in z
1.000 * [taylor]: Taking taylor expansion of (pow z 4) in z
1.001 * [taylor]: Taking taylor expansion of z in z
1.002 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
1.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
1.002 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
1.002 * [taylor]: Taking taylor expansion of 1/3 in z
1.002 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
1.002 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.002 * [taylor]: Taking taylor expansion of t in z
1.053 * [taylor]: Taking taylor expansion of (* 5/81 (* (/ (cbrt -1) (pow z 6)) (pow (/ 1 t) 1/3))) in z
1.053 * [taylor]: Taking taylor expansion of 5/81 in z
1.053 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow z 6)) (pow (/ 1 t) 1/3)) in z
1.053 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow z 6)) in z
1.053 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.053 * [taylor]: Taking taylor expansion of -1 in z
1.054 * [taylor]: Taking taylor expansion of (pow z 6) in z
1.054 * [taylor]: Taking taylor expansion of z in z
1.055 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
1.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
1.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
1.055 * [taylor]: Taking taylor expansion of 1/3 in z
1.055 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
1.055 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.055 * [taylor]: Taking taylor expansion of t in z
1.136 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1 2 2)
1.136 * [approximate]: Taking taylor expansion of (pow (- t (pow z 2)) 1/3) in (t z) around 0
1.136 * [taylor]: Taking taylor expansion of (pow (- t (pow z 2)) 1/3) in z
1.136 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t (pow z 2))))) in z
1.136 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t (pow z 2)))) in z
1.136 * [taylor]: Taking taylor expansion of 1/3 in z
1.136 * [taylor]: Taking taylor expansion of (log (- t (pow z 2))) in z
1.136 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in z
1.136 * [taylor]: Taking taylor expansion of t in z
1.136 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.136 * [taylor]: Taking taylor expansion of z in z
1.136 * [taylor]: Taking taylor expansion of (pow (- t (pow z 2)) 1/3) in t
1.136 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t (pow z 2))))) in t
1.136 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t (pow z 2)))) in t
1.136 * [taylor]: Taking taylor expansion of 1/3 in t
1.136 * [taylor]: Taking taylor expansion of (log (- t (pow z 2))) in t
1.136 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in t
1.136 * [taylor]: Taking taylor expansion of t in t
1.136 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.136 * [taylor]: Taking taylor expansion of z in t
1.137 * [taylor]: Taking taylor expansion of (pow (- t (pow z 2)) 1/3) in t
1.137 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t (pow z 2))))) in t
1.137 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t (pow z 2)))) in t
1.137 * [taylor]: Taking taylor expansion of 1/3 in t
1.137 * [taylor]: Taking taylor expansion of (log (- t (pow z 2))) in t
1.137 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in t
1.137 * [taylor]: Taking taylor expansion of t in t
1.137 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.137 * [taylor]: Taking taylor expansion of z in t
1.138 * [taylor]: Taking taylor expansion of (pow (- (pow z 2)) 1/3) in z
1.138 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (pow z 2))))) in z
1.138 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (pow z 2)))) in z
1.138 * [taylor]: Taking taylor expansion of 1/3 in z
1.138 * [taylor]: Taking taylor expansion of (log (- (pow z 2))) in z
1.138 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z
1.138 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.138 * [taylor]: Taking taylor expansion of z in z
1.143 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow z 4)) 1/3)) in z
1.143 * [taylor]: Taking taylor expansion of -1/3 in z
1.143 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 4)) 1/3) in z
1.143 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 4))))) in z
1.143 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 4)))) in z
1.143 * [taylor]: Taking taylor expansion of 1/3 in z
1.143 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 4))) in z
1.144 * [taylor]: Taking taylor expansion of (/ -1 (pow z 4)) in z
1.144 * [taylor]: Taking taylor expansion of -1 in z
1.144 * [taylor]: Taking taylor expansion of (pow z 4) in z
1.144 * [taylor]: Taking taylor expansion of z in z
1.155 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow z 10)) 1/3)) in z
1.155 * [taylor]: Taking taylor expansion of -1/9 in z
1.155 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 10)) 1/3) in z
1.155 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 10))))) in z
1.155 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 10)))) in z
1.155 * [taylor]: Taking taylor expansion of 1/3 in z
1.155 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 10))) in z
1.155 * [taylor]: Taking taylor expansion of (/ -1 (pow z 10)) in z
1.155 * [taylor]: Taking taylor expansion of -1 in z
1.155 * [taylor]: Taking taylor expansion of (pow z 10) in z
1.155 * [taylor]: Taking taylor expansion of z in z
1.161 * [approximate]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 (pow z 2))) 1/3) in (t z) around 0
1.161 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 (pow z 2))) 1/3) in z
1.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 (pow z 2)))))) in z
1.161 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 (pow z 2))))) in z
1.161 * [taylor]: Taking taylor expansion of 1/3 in z
1.161 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 (pow z 2)))) in z
1.161 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in z
1.161 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.161 * [taylor]: Taking taylor expansion of t in z
1.161 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.161 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.161 * [taylor]: Taking taylor expansion of z in z
1.164 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 (pow z 2))) 1/3) in t
1.164 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 (pow z 2)))))) in t
1.164 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 (pow z 2))))) in t
1.164 * [taylor]: Taking taylor expansion of 1/3 in t
1.164 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 (pow z 2)))) in t
1.164 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in t
1.164 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.164 * [taylor]: Taking taylor expansion of t in t
1.164 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.164 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.164 * [taylor]: Taking taylor expansion of z in t
1.166 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 (pow z 2))) 1/3) in t
1.166 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 (pow z 2)))))) in t
1.166 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 (pow z 2))))) in t
1.166 * [taylor]: Taking taylor expansion of 1/3 in t
1.166 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 (pow z 2)))) in t
1.166 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in t
1.166 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.166 * [taylor]: Taking taylor expansion of t in t
1.166 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.166 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.166 * [taylor]: Taking taylor expansion of z in t
1.168 * [taylor]: Taking taylor expansion of (pow t -1/3) in z
1.168 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log t))) in z
1.168 * [taylor]: Taking taylor expansion of (* -1/3 (log t)) in z
1.168 * [taylor]: Taking taylor expansion of -1/3 in z
1.168 * [taylor]: Taking taylor expansion of (log t) in z
1.168 * [taylor]: Taking taylor expansion of t in z
1.170 * [taylor]: Taking taylor expansion of (* -1/3 (* (pow (/ 1 t) 1/3) (/ 1 (pow z 2)))) in z
1.170 * [taylor]: Taking taylor expansion of -1/3 in z
1.170 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (/ 1 (pow z 2))) in z
1.170 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
1.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
1.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
1.170 * [taylor]: Taking taylor expansion of 1/3 in z
1.170 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
1.170 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.170 * [taylor]: Taking taylor expansion of t in z
1.171 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.171 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.171 * [taylor]: Taking taylor expansion of z in z
1.193 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (/ 1 t) 1/3) (/ 1 (pow z 4)))) in z
1.193 * [taylor]: Taking taylor expansion of -1/9 in z
1.193 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (/ 1 (pow z 4))) in z
1.193 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
1.193 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
1.193 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
1.193 * [taylor]: Taking taylor expansion of 1/3 in z
1.193 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
1.193 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.193 * [taylor]: Taking taylor expansion of t in z
1.193 * [taylor]: Taking taylor expansion of (/ 1 (pow z 4)) in z
1.193 * [taylor]: Taking taylor expansion of (pow z 4) in z
1.193 * [taylor]: Taking taylor expansion of z in z
1.238 * [taylor]: Taking taylor expansion of (* -5/81 (* (pow (/ 1 t) 1/3) (/ 1 (pow z 6)))) in z
1.238 * [taylor]: Taking taylor expansion of -5/81 in z
1.238 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (/ 1 (pow z 6))) in z
1.238 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
1.238 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
1.238 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
1.238 * [taylor]: Taking taylor expansion of 1/3 in z
1.238 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
1.238 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.238 * [taylor]: Taking taylor expansion of t in z
1.238 * [taylor]: Taking taylor expansion of (/ 1 (pow z 6)) in z
1.238 * [taylor]: Taking taylor expansion of (pow z 6) in z
1.238 * [taylor]: Taking taylor expansion of z in z
1.312 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3)) in (t z) around 0
1.312 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3)) in z
1.312 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.312 * [taylor]: Taking taylor expansion of -1 in z
1.313 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3) in z
1.313 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow z 2)) (/ 1 t))))) in z
1.313 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow z 2)) (/ 1 t)))) in z
1.314 * [taylor]: Taking taylor expansion of 1/3 in z
1.314 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow z 2)) (/ 1 t))) in z
1.314 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in z
1.314 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.314 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.314 * [taylor]: Taking taylor expansion of z in z
1.314 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.314 * [taylor]: Taking taylor expansion of t in z
1.315 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3)) in t
1.316 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.316 * [taylor]: Taking taylor expansion of -1 in t
1.317 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3) in t
1.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow z 2)) (/ 1 t))))) in t
1.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow z 2)) (/ 1 t)))) in t
1.317 * [taylor]: Taking taylor expansion of 1/3 in t
1.317 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow z 2)) (/ 1 t))) in t
1.317 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in t
1.317 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.317 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.317 * [taylor]: Taking taylor expansion of z in t
1.317 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.317 * [taylor]: Taking taylor expansion of t in t
1.318 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3)) in t
1.319 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.319 * [taylor]: Taking taylor expansion of -1 in t
1.319 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3) in t
1.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow z 2)) (/ 1 t))))) in t
1.320 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow z 2)) (/ 1 t)))) in t
1.320 * [taylor]: Taking taylor expansion of 1/3 in t
1.320 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow z 2)) (/ 1 t))) in t
1.320 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in t
1.320 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.320 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.320 * [taylor]: Taking taylor expansion of z in t
1.320 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.320 * [taylor]: Taking taylor expansion of t in t
1.322 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in z
1.322 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.322 * [taylor]: Taking taylor expansion of -1 in z
1.323 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
1.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
1.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
1.323 * [taylor]: Taking taylor expansion of 1/3 in z
1.323 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
1.323 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.323 * [taylor]: Taking taylor expansion of t in z
1.327 * [taylor]: Taking taylor expansion of (* 1/3 (* (/ (cbrt -1) (pow z 2)) (pow (/ 1 t) 1/3))) in z
1.327 * [taylor]: Taking taylor expansion of 1/3 in z
1.327 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow z 2)) (pow (/ 1 t) 1/3)) in z
1.327 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow z 2)) in z
1.327 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.327 * [taylor]: Taking taylor expansion of -1 in z
1.328 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.328 * [taylor]: Taking taylor expansion of z in z
1.330 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
1.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
1.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
1.330 * [taylor]: Taking taylor expansion of 1/3 in z
1.330 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
1.330 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.330 * [taylor]: Taking taylor expansion of t in z
1.347 * [taylor]: Taking taylor expansion of (- (* 1/9 (* (/ (cbrt -1) (pow z 4)) (pow (/ 1 t) 1/3)))) in z
1.348 * [taylor]: Taking taylor expansion of (* 1/9 (* (/ (cbrt -1) (pow z 4)) (pow (/ 1 t) 1/3))) in z
1.348 * [taylor]: Taking taylor expansion of 1/9 in z
1.348 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow z 4)) (pow (/ 1 t) 1/3)) in z
1.348 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow z 4)) in z
1.348 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.348 * [taylor]: Taking taylor expansion of -1 in z
1.349 * [taylor]: Taking taylor expansion of (pow z 4) in z
1.349 * [taylor]: Taking taylor expansion of z in z
1.350 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
1.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
1.350 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
1.350 * [taylor]: Taking taylor expansion of 1/3 in z
1.350 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
1.350 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.350 * [taylor]: Taking taylor expansion of t in z
1.415 * [taylor]: Taking taylor expansion of (* 5/81 (* (/ (cbrt -1) (pow z 6)) (pow (/ 1 t) 1/3))) in z
1.416 * [taylor]: Taking taylor expansion of 5/81 in z
1.416 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow z 6)) (pow (/ 1 t) 1/3)) in z
1.416 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow z 6)) in z
1.416 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.416 * [taylor]: Taking taylor expansion of -1 in z
1.417 * [taylor]: Taking taylor expansion of (pow z 6) in z
1.417 * [taylor]: Taking taylor expansion of z in z
1.418 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
1.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
1.418 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
1.419 * [taylor]: Taking taylor expansion of 1/3 in z
1.419 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
1.419 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.419 * [taylor]: Taking taylor expansion of t in z
1.490 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1 2 1)
1.490 * [approximate]: Taking taylor expansion of (pow (- t (pow z 2)) 1/3) in (t z) around 0
1.490 * [taylor]: Taking taylor expansion of (pow (- t (pow z 2)) 1/3) in z
1.490 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t (pow z 2))))) in z
1.491 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t (pow z 2)))) in z
1.491 * [taylor]: Taking taylor expansion of 1/3 in z
1.491 * [taylor]: Taking taylor expansion of (log (- t (pow z 2))) in z
1.491 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in z
1.491 * [taylor]: Taking taylor expansion of t in z
1.491 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.491 * [taylor]: Taking taylor expansion of z in z
1.491 * [taylor]: Taking taylor expansion of (pow (- t (pow z 2)) 1/3) in t
1.491 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t (pow z 2))))) in t
1.491 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t (pow z 2)))) in t
1.491 * [taylor]: Taking taylor expansion of 1/3 in t
1.491 * [taylor]: Taking taylor expansion of (log (- t (pow z 2))) in t
1.491 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in t
1.491 * [taylor]: Taking taylor expansion of t in t
1.491 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.491 * [taylor]: Taking taylor expansion of z in t
1.491 * [taylor]: Taking taylor expansion of (pow (- t (pow z 2)) 1/3) in t
1.491 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t (pow z 2))))) in t
1.492 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t (pow z 2)))) in t
1.492 * [taylor]: Taking taylor expansion of 1/3 in t
1.492 * [taylor]: Taking taylor expansion of (log (- t (pow z 2))) in t
1.492 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in t
1.492 * [taylor]: Taking taylor expansion of t in t
1.492 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.492 * [taylor]: Taking taylor expansion of z in t
1.492 * [taylor]: Taking taylor expansion of (pow (- (pow z 2)) 1/3) in z
1.492 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (pow z 2))))) in z
1.492 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (pow z 2)))) in z
1.492 * [taylor]: Taking taylor expansion of 1/3 in z
1.492 * [taylor]: Taking taylor expansion of (log (- (pow z 2))) in z
1.492 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z
1.492 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.492 * [taylor]: Taking taylor expansion of z in z
1.497 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow z 4)) 1/3)) in z
1.497 * [taylor]: Taking taylor expansion of -1/3 in z
1.498 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 4)) 1/3) in z
1.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 4))))) in z
1.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 4)))) in z
1.498 * [taylor]: Taking taylor expansion of 1/3 in z
1.498 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 4))) in z
1.498 * [taylor]: Taking taylor expansion of (/ -1 (pow z 4)) in z
1.498 * [taylor]: Taking taylor expansion of -1 in z
1.498 * [taylor]: Taking taylor expansion of (pow z 4) in z
1.498 * [taylor]: Taking taylor expansion of z in z
1.517 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow z 10)) 1/3)) in z
1.517 * [taylor]: Taking taylor expansion of -1/9 in z
1.517 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 10)) 1/3) in z
1.517 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 10))))) in z
1.517 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 10)))) in z
1.517 * [taylor]: Taking taylor expansion of 1/3 in z
1.517 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 10))) in z
1.517 * [taylor]: Taking taylor expansion of (/ -1 (pow z 10)) in z
1.517 * [taylor]: Taking taylor expansion of -1 in z
1.517 * [taylor]: Taking taylor expansion of (pow z 10) in z
1.517 * [taylor]: Taking taylor expansion of z in z
1.523 * [approximate]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 (pow z 2))) 1/3) in (t z) around 0
1.524 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 (pow z 2))) 1/3) in z
1.524 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 (pow z 2)))))) in z
1.524 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 (pow z 2))))) in z
1.524 * [taylor]: Taking taylor expansion of 1/3 in z
1.524 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 (pow z 2)))) in z
1.524 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in z
1.524 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.524 * [taylor]: Taking taylor expansion of t in z
1.524 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.524 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.524 * [taylor]: Taking taylor expansion of z in z
1.527 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 (pow z 2))) 1/3) in t
1.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 (pow z 2)))))) in t
1.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 (pow z 2))))) in t
1.527 * [taylor]: Taking taylor expansion of 1/3 in t
1.527 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 (pow z 2)))) in t
1.527 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in t
1.527 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.527 * [taylor]: Taking taylor expansion of t in t
1.527 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.527 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.527 * [taylor]: Taking taylor expansion of z in t
1.529 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 (pow z 2))) 1/3) in t
1.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 (pow z 2)))))) in t
1.529 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 (pow z 2))))) in t
1.529 * [taylor]: Taking taylor expansion of 1/3 in t
1.529 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 (pow z 2)))) in t
1.529 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in t
1.529 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.529 * [taylor]: Taking taylor expansion of t in t
1.529 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.529 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.529 * [taylor]: Taking taylor expansion of z in t
1.531 * [taylor]: Taking taylor expansion of (pow t -1/3) in z
1.531 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log t))) in z
1.531 * [taylor]: Taking taylor expansion of (* -1/3 (log t)) in z
1.531 * [taylor]: Taking taylor expansion of -1/3 in z
1.531 * [taylor]: Taking taylor expansion of (log t) in z
1.531 * [taylor]: Taking taylor expansion of t in z
1.533 * [taylor]: Taking taylor expansion of (* -1/3 (* (pow (/ 1 t) 1/3) (/ 1 (pow z 2)))) in z
1.533 * [taylor]: Taking taylor expansion of -1/3 in z
1.533 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (/ 1 (pow z 2))) in z
1.533 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
1.533 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
1.533 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
1.534 * [taylor]: Taking taylor expansion of 1/3 in z
1.534 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
1.534 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.534 * [taylor]: Taking taylor expansion of t in z
1.534 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.534 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.534 * [taylor]: Taking taylor expansion of z in z
1.548 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (/ 1 t) 1/3) (/ 1 (pow z 4)))) in z
1.548 * [taylor]: Taking taylor expansion of -1/9 in z
1.548 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (/ 1 (pow z 4))) in z
1.548 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
1.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
1.548 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
1.548 * [taylor]: Taking taylor expansion of 1/3 in z
1.548 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
1.548 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.548 * [taylor]: Taking taylor expansion of t in z
1.548 * [taylor]: Taking taylor expansion of (/ 1 (pow z 4)) in z
1.548 * [taylor]: Taking taylor expansion of (pow z 4) in z
1.548 * [taylor]: Taking taylor expansion of z in z
1.588 * [taylor]: Taking taylor expansion of (* -5/81 (* (pow (/ 1 t) 1/3) (/ 1 (pow z 6)))) in z
1.588 * [taylor]: Taking taylor expansion of -5/81 in z
1.588 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (/ 1 (pow z 6))) in z
1.588 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
1.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
1.588 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
1.588 * [taylor]: Taking taylor expansion of 1/3 in z
1.588 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
1.588 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.588 * [taylor]: Taking taylor expansion of t in z
1.588 * [taylor]: Taking taylor expansion of (/ 1 (pow z 6)) in z
1.588 * [taylor]: Taking taylor expansion of (pow z 6) in z
1.588 * [taylor]: Taking taylor expansion of z in z
1.653 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3)) in (t z) around 0
1.653 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3)) in z
1.653 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.653 * [taylor]: Taking taylor expansion of -1 in z
1.654 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3) in z
1.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow z 2)) (/ 1 t))))) in z
1.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow z 2)) (/ 1 t)))) in z
1.654 * [taylor]: Taking taylor expansion of 1/3 in z
1.654 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow z 2)) (/ 1 t))) in z
1.654 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in z
1.654 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.654 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.654 * [taylor]: Taking taylor expansion of z in z
1.655 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.655 * [taylor]: Taking taylor expansion of t in z
1.656 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3)) in t
1.656 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.656 * [taylor]: Taking taylor expansion of -1 in t
1.657 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3) in t
1.657 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow z 2)) (/ 1 t))))) in t
1.657 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow z 2)) (/ 1 t)))) in t
1.657 * [taylor]: Taking taylor expansion of 1/3 in t
1.657 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow z 2)) (/ 1 t))) in t
1.657 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in t
1.657 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.657 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.657 * [taylor]: Taking taylor expansion of z in t
1.657 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.657 * [taylor]: Taking taylor expansion of t in t
1.658 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3)) in t
1.658 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.658 * [taylor]: Taking taylor expansion of -1 in t
1.659 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 1/3) in t
1.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow z 2)) (/ 1 t))))) in t
1.659 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow z 2)) (/ 1 t)))) in t
1.659 * [taylor]: Taking taylor expansion of 1/3 in t
1.659 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow z 2)) (/ 1 t))) in t
1.659 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in t
1.659 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.659 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.659 * [taylor]: Taking taylor expansion of z in t
1.660 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.660 * [taylor]: Taking taylor expansion of t in t
1.661 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in z
1.661 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.661 * [taylor]: Taking taylor expansion of -1 in z
1.662 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
1.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
1.662 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
1.662 * [taylor]: Taking taylor expansion of 1/3 in z
1.662 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
1.662 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.662 * [taylor]: Taking taylor expansion of t in z
1.666 * [taylor]: Taking taylor expansion of (* 1/3 (* (/ (cbrt -1) (pow z 2)) (pow (/ 1 t) 1/3))) in z
1.666 * [taylor]: Taking taylor expansion of 1/3 in z
1.666 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow z 2)) (pow (/ 1 t) 1/3)) in z
1.666 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow z 2)) in z
1.666 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.666 * [taylor]: Taking taylor expansion of -1 in z
1.667 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.667 * [taylor]: Taking taylor expansion of z in z
1.668 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
1.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
1.668 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
1.668 * [taylor]: Taking taylor expansion of 1/3 in z
1.668 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
1.668 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.668 * [taylor]: Taking taylor expansion of t in z
1.686 * [taylor]: Taking taylor expansion of (- (* 1/9 (* (/ (cbrt -1) (pow z 4)) (pow (/ 1 t) 1/3)))) in z
1.686 * [taylor]: Taking taylor expansion of (* 1/9 (* (/ (cbrt -1) (pow z 4)) (pow (/ 1 t) 1/3))) in z
1.686 * [taylor]: Taking taylor expansion of 1/9 in z
1.686 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow z 4)) (pow (/ 1 t) 1/3)) in z
1.686 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow z 4)) in z
1.686 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.686 * [taylor]: Taking taylor expansion of -1 in z
1.687 * [taylor]: Taking taylor expansion of (pow z 4) in z
1.687 * [taylor]: Taking taylor expansion of z in z
1.688 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
1.688 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
1.688 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
1.688 * [taylor]: Taking taylor expansion of 1/3 in z
1.688 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
1.688 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.688 * [taylor]: Taking taylor expansion of t in z
1.744 * [taylor]: Taking taylor expansion of (* 5/81 (* (/ (cbrt -1) (pow z 6)) (pow (/ 1 t) 1/3))) in z
1.744 * [taylor]: Taking taylor expansion of 5/81 in z
1.744 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow z 6)) (pow (/ 1 t) 1/3)) in z
1.744 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow z 6)) in z
1.744 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.744 * [taylor]: Taking taylor expansion of -1 in z
1.745 * [taylor]: Taking taylor expansion of (pow z 6) in z
1.745 * [taylor]: Taking taylor expansion of z in z
1.746 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
1.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
1.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
1.747 * [taylor]: Taking taylor expansion of 1/3 in z
1.747 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
1.747 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.747 * [taylor]: Taking taylor expansion of t in z
1.820 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 1)
1.820 * [approximate]: Taking taylor expansion of (* 4.0 (* (pow (pow (- t (pow z 2)) 2) 1/3) y)) in (y t z) around 0
1.820 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (pow (- t (pow z 2)) 2) 1/3) y)) in z
1.820 * [taylor]: Taking taylor expansion of 4.0 in z
1.821 * [taylor]: Taking taylor expansion of (* (pow (pow (- t (pow z 2)) 2) 1/3) y) in z
1.821 * [taylor]: Taking taylor expansion of (pow (pow (- t (pow z 2)) 2) 1/3) in z
1.821 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- t (pow z 2)) 2)))) in z
1.821 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- t (pow z 2)) 2))) in z
1.821 * [taylor]: Taking taylor expansion of 1/3 in z
1.821 * [taylor]: Taking taylor expansion of (log (pow (- t (pow z 2)) 2)) in z
1.821 * [taylor]: Taking taylor expansion of (pow (- t (pow z 2)) 2) in z
1.821 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in z
1.821 * [taylor]: Taking taylor expansion of t in z
1.821 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.821 * [taylor]: Taking taylor expansion of z in z
1.821 * [taylor]: Taking taylor expansion of y in z
1.821 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (pow (- t (pow z 2)) 2) 1/3) y)) in t
1.821 * [taylor]: Taking taylor expansion of 4.0 in t
1.821 * [taylor]: Taking taylor expansion of (* (pow (pow (- t (pow z 2)) 2) 1/3) y) in t
1.821 * [taylor]: Taking taylor expansion of (pow (pow (- t (pow z 2)) 2) 1/3) in t
1.821 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- t (pow z 2)) 2)))) in t
1.821 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- t (pow z 2)) 2))) in t
1.821 * [taylor]: Taking taylor expansion of 1/3 in t
1.821 * [taylor]: Taking taylor expansion of (log (pow (- t (pow z 2)) 2)) in t
1.821 * [taylor]: Taking taylor expansion of (pow (- t (pow z 2)) 2) in t
1.821 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in t
1.821 * [taylor]: Taking taylor expansion of t in t
1.821 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.821 * [taylor]: Taking taylor expansion of z in t
1.822 * [taylor]: Taking taylor expansion of y in t
1.822 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (pow (- t (pow z 2)) 2) 1/3) y)) in y
1.822 * [taylor]: Taking taylor expansion of 4.0 in y
1.822 * [taylor]: Taking taylor expansion of (* (pow (pow (- t (pow z 2)) 2) 1/3) y) in y
1.822 * [taylor]: Taking taylor expansion of (pow (pow (- t (pow z 2)) 2) 1/3) in y
1.822 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- t (pow z 2)) 2)))) in y
1.822 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- t (pow z 2)) 2))) in y
1.822 * [taylor]: Taking taylor expansion of 1/3 in y
1.822 * [taylor]: Taking taylor expansion of (log (pow (- t (pow z 2)) 2)) in y
1.822 * [taylor]: Taking taylor expansion of (pow (- t (pow z 2)) 2) in y
1.822 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in y
1.822 * [taylor]: Taking taylor expansion of t in y
1.822 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.822 * [taylor]: Taking taylor expansion of z in y
1.823 * [taylor]: Taking taylor expansion of y in y
1.823 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (pow (- t (pow z 2)) 2) 1/3) y)) in y
1.823 * [taylor]: Taking taylor expansion of 4.0 in y
1.823 * [taylor]: Taking taylor expansion of (* (pow (pow (- t (pow z 2)) 2) 1/3) y) in y
1.823 * [taylor]: Taking taylor expansion of (pow (pow (- t (pow z 2)) 2) 1/3) in y
1.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- t (pow z 2)) 2)))) in y
1.823 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- t (pow z 2)) 2))) in y
1.823 * [taylor]: Taking taylor expansion of 1/3 in y
1.823 * [taylor]: Taking taylor expansion of (log (pow (- t (pow z 2)) 2)) in y
1.823 * [taylor]: Taking taylor expansion of (pow (- t (pow z 2)) 2) in y
1.823 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in y
1.823 * [taylor]: Taking taylor expansion of t in y
1.823 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.823 * [taylor]: Taking taylor expansion of z in y
1.824 * [taylor]: Taking taylor expansion of y in y
1.825 * [taylor]: Taking taylor expansion of 0 in t
1.825 * [taylor]: Taking taylor expansion of 0 in z
1.828 * [taylor]: Taking taylor expansion of (* 4.0 (pow (pow (- t (pow z 2)) 2) 1/3)) in t
1.828 * [taylor]: Taking taylor expansion of 4.0 in t
1.828 * [taylor]: Taking taylor expansion of (pow (pow (- t (pow z 2)) 2) 1/3) in t
1.828 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- t (pow z 2)) 2)))) in t
1.828 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- t (pow z 2)) 2))) in t
1.829 * [taylor]: Taking taylor expansion of 1/3 in t
1.829 * [taylor]: Taking taylor expansion of (log (pow (- t (pow z 2)) 2)) in t
1.829 * [taylor]: Taking taylor expansion of (pow (- t (pow z 2)) 2) in t
1.829 * [taylor]: Taking taylor expansion of (- t (pow z 2)) in t
1.829 * [taylor]: Taking taylor expansion of t in t
1.829 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.829 * [taylor]: Taking taylor expansion of z in t
1.829 * [taylor]: Taking taylor expansion of (* 4.0 (pow (pow z 4) 1/3)) in z
1.829 * [taylor]: Taking taylor expansion of 4.0 in z
1.829 * [taylor]: Taking taylor expansion of (pow (pow z 4) 1/3) in z
1.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 4)))) in z
1.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 4))) in z
1.829 * [taylor]: Taking taylor expansion of 1/3 in z
1.829 * [taylor]: Taking taylor expansion of (log (pow z 4)) in z
1.829 * [taylor]: Taking taylor expansion of (pow z 4) in z
1.829 * [taylor]: Taking taylor expansion of z in z
1.831 * [taylor]: Taking taylor expansion of 0 in z
1.837 * [taylor]: Taking taylor expansion of 0 in t
1.837 * [taylor]: Taking taylor expansion of 0 in z
1.839 * [taylor]: Taking taylor expansion of (- (* 2.6666666666666665 (pow (/ 1 (pow z 2)) 1/3))) in z
1.839 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (pow (/ 1 (pow z 2)) 1/3)) in z
1.839 * [taylor]: Taking taylor expansion of 2.6666666666666665 in z
1.839 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
1.839 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
1.839 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
1.839 * [taylor]: Taking taylor expansion of 1/3 in z
1.839 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.839 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.839 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.839 * [taylor]: Taking taylor expansion of z in z
1.841 * [taylor]: Taking taylor expansion of 0 in z
1.852 * [taylor]: Taking taylor expansion of 0 in t
1.852 * [taylor]: Taking taylor expansion of 0 in z
1.852 * [taylor]: Taking taylor expansion of 0 in z
1.853 * [approximate]: Taking taylor expansion of (* 4.0 (* (pow (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) 1/3) (/ 1 y))) in (y t z) around 0
1.853 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) 1/3) (/ 1 y))) in z
1.853 * [taylor]: Taking taylor expansion of 4.0 in z
1.853 * [taylor]: Taking taylor expansion of (* (pow (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) 1/3) (/ 1 y)) in z
1.853 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) 1/3) in z
1.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 t) (/ 1 (pow z 2))) 2)))) in z
1.853 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 t) (/ 1 (pow z 2))) 2))) in z
1.853 * [taylor]: Taking taylor expansion of 1/3 in z
1.853 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 t) (/ 1 (pow z 2))) 2)) in z
1.853 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) in z
1.853 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in z
1.853 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.853 * [taylor]: Taking taylor expansion of t in z
1.853 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.853 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.853 * [taylor]: Taking taylor expansion of z in z
1.855 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.856 * [taylor]: Taking taylor expansion of y in z
1.856 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) 1/3) (/ 1 y))) in t
1.856 * [taylor]: Taking taylor expansion of 4.0 in t
1.856 * [taylor]: Taking taylor expansion of (* (pow (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) 1/3) (/ 1 y)) in t
1.856 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) 1/3) in t
1.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 t) (/ 1 (pow z 2))) 2)))) in t
1.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 t) (/ 1 (pow z 2))) 2))) in t
1.856 * [taylor]: Taking taylor expansion of 1/3 in t
1.856 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 t) (/ 1 (pow z 2))) 2)) in t
1.856 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) in t
1.856 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in t
1.856 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.856 * [taylor]: Taking taylor expansion of t in t
1.856 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.856 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.856 * [taylor]: Taking taylor expansion of z in t
1.857 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.858 * [taylor]: Taking taylor expansion of y in t
1.858 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) 1/3) (/ 1 y))) in y
1.858 * [taylor]: Taking taylor expansion of 4.0 in y
1.858 * [taylor]: Taking taylor expansion of (* (pow (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) 1/3) (/ 1 y)) in y
1.858 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) 1/3) in y
1.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 t) (/ 1 (pow z 2))) 2)))) in y
1.858 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 t) (/ 1 (pow z 2))) 2))) in y
1.858 * [taylor]: Taking taylor expansion of 1/3 in y
1.858 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 t) (/ 1 (pow z 2))) 2)) in y
1.858 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) in y
1.858 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in y
1.858 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.858 * [taylor]: Taking taylor expansion of t in y
1.858 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.858 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.858 * [taylor]: Taking taylor expansion of z in y
1.859 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.859 * [taylor]: Taking taylor expansion of y in y
1.859 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) 1/3) (/ 1 y))) in y
1.859 * [taylor]: Taking taylor expansion of 4.0 in y
1.859 * [taylor]: Taking taylor expansion of (* (pow (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) 1/3) (/ 1 y)) in y
1.859 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) 1/3) in y
1.859 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 t) (/ 1 (pow z 2))) 2)))) in y
1.859 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 t) (/ 1 (pow z 2))) 2))) in y
1.859 * [taylor]: Taking taylor expansion of 1/3 in y
1.859 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 t) (/ 1 (pow z 2))) 2)) in y
1.859 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) in y
1.860 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in y
1.860 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.860 * [taylor]: Taking taylor expansion of t in y
1.860 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.860 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.860 * [taylor]: Taking taylor expansion of z in y
1.861 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.861 * [taylor]: Taking taylor expansion of y in y
1.861 * [taylor]: Taking taylor expansion of (* 4.0 (pow (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) 1/3)) in t
1.861 * [taylor]: Taking taylor expansion of 4.0 in t
1.862 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) 1/3) in t
1.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 t) (/ 1 (pow z 2))) 2)))) in t
1.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 t) (/ 1 (pow z 2))) 2))) in t
1.862 * [taylor]: Taking taylor expansion of 1/3 in t
1.862 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 t) (/ 1 (pow z 2))) 2)) in t
1.862 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 (pow z 2))) 2) in t
1.862 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (pow z 2))) in t
1.862 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.862 * [taylor]: Taking taylor expansion of t in t
1.862 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.862 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.862 * [taylor]: Taking taylor expansion of z in t
1.863 * [taylor]: Taking taylor expansion of (* 4.0 (pow (/ 1 (pow t 2)) 1/3)) in z
1.863 * [taylor]: Taking taylor expansion of 4.0 in z
1.863 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in z
1.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in z
1.864 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in z
1.864 * [taylor]: Taking taylor expansion of 1/3 in z
1.864 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in z
1.864 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in z
1.864 * [taylor]: Taking taylor expansion of (pow t 2) in z
1.864 * [taylor]: Taking taylor expansion of t in z
1.869 * [taylor]: Taking taylor expansion of 0 in t
1.869 * [taylor]: Taking taylor expansion of 0 in z
1.871 * [taylor]: Taking taylor expansion of (- (* 2.6666666666666665 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (pow z 2))))) in z
1.871 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (pow z 2)))) in z
1.871 * [taylor]: Taking taylor expansion of 2.6666666666666665 in z
1.871 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (pow z 2))) in z
1.871 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in z
1.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in z
1.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in z
1.871 * [taylor]: Taking taylor expansion of 1/3 in z
1.871 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in z
1.871 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in z
1.871 * [taylor]: Taking taylor expansion of (pow t 2) in z
1.871 * [taylor]: Taking taylor expansion of t in z
1.872 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.872 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.872 * [taylor]: Taking taylor expansion of z in z
1.890 * [taylor]: Taking taylor expansion of 0 in t
1.890 * [taylor]: Taking taylor expansion of 0 in z
1.890 * [taylor]: Taking taylor expansion of 0 in z
1.895 * [taylor]: Taking taylor expansion of (- (* 0.4444444444444444 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (pow z 4))))) in z
1.895 * [taylor]: Taking taylor expansion of (* 0.4444444444444444 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (pow z 4)))) in z
1.895 * [taylor]: Taking taylor expansion of 0.4444444444444444 in z
1.895 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (pow z 4))) in z
1.895 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in z
1.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in z
1.895 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in z
1.895 * [taylor]: Taking taylor expansion of 1/3 in z
1.895 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in z
1.895 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in z
1.895 * [taylor]: Taking taylor expansion of (pow t 2) in z
1.895 * [taylor]: Taking taylor expansion of t in z
1.895 * [taylor]: Taking taylor expansion of (/ 1 (pow z 4)) in z
1.895 * [taylor]: Taking taylor expansion of (pow z 4) in z
1.895 * [taylor]: Taking taylor expansion of z in z
1.931 * [approximate]: Taking taylor expansion of (* -4.0 (* (/ (pow (cbrt -1) 2) y) (pow (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) 1/3))) in (y t z) around 0
1.931 * [taylor]: Taking taylor expansion of (* -4.0 (* (/ (pow (cbrt -1) 2) y) (pow (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) 1/3))) in z
1.931 * [taylor]: Taking taylor expansion of -4.0 in z
1.931 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) y) (pow (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) 1/3)) in z
1.931 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) y) in z
1.931 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.931 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.931 * [taylor]: Taking taylor expansion of -1 in z
1.932 * [taylor]: Taking taylor expansion of y in z
1.934 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) 1/3) in z
1.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2)))) in z
1.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2))) in z
1.934 * [taylor]: Taking taylor expansion of 1/3 in z
1.934 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2)) in z
1.934 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) in z
1.934 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in z
1.934 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.934 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.934 * [taylor]: Taking taylor expansion of z in z
1.935 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.935 * [taylor]: Taking taylor expansion of t in z
1.936 * [taylor]: Taking taylor expansion of (* -4.0 (* (/ (pow (cbrt -1) 2) y) (pow (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) 1/3))) in t
1.936 * [taylor]: Taking taylor expansion of -4.0 in t
1.936 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) y) (pow (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) 1/3)) in t
1.936 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) y) in t
1.936 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
1.936 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.936 * [taylor]: Taking taylor expansion of -1 in t
1.937 * [taylor]: Taking taylor expansion of y in t
1.939 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) 1/3) in t
1.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2)))) in t
1.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2))) in t
1.939 * [taylor]: Taking taylor expansion of 1/3 in t
1.939 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2)) in t
1.939 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) in t
1.939 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in t
1.939 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.939 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.939 * [taylor]: Taking taylor expansion of z in t
1.939 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.939 * [taylor]: Taking taylor expansion of t in t
1.940 * [taylor]: Taking taylor expansion of (* -4.0 (* (/ (pow (cbrt -1) 2) y) (pow (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) 1/3))) in y
1.941 * [taylor]: Taking taylor expansion of -4.0 in y
1.941 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) y) (pow (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) 1/3)) in y
1.941 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) y) in y
1.941 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
1.941 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.941 * [taylor]: Taking taylor expansion of -1 in y
1.941 * [taylor]: Taking taylor expansion of y in y
1.944 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) 1/3) in y
1.944 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2)))) in y
1.944 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2))) in y
1.944 * [taylor]: Taking taylor expansion of 1/3 in y
1.944 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2)) in y
1.944 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) in y
1.944 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in y
1.944 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.944 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.944 * [taylor]: Taking taylor expansion of z in y
1.944 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.944 * [taylor]: Taking taylor expansion of t in y
1.945 * [taylor]: Taking taylor expansion of (* -4.0 (* (/ (pow (cbrt -1) 2) y) (pow (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) 1/3))) in y
1.945 * [taylor]: Taking taylor expansion of -4.0 in y
1.945 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) y) (pow (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) 1/3)) in y
1.945 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) y) in y
1.945 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
1.945 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.945 * [taylor]: Taking taylor expansion of -1 in y
1.946 * [taylor]: Taking taylor expansion of y in y
1.948 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) 1/3) in y
1.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2)))) in y
1.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2))) in y
1.948 * [taylor]: Taking taylor expansion of 1/3 in y
1.948 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2)) in y
1.948 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) in y
1.948 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in y
1.948 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.948 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.948 * [taylor]: Taking taylor expansion of z in y
1.948 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.948 * [taylor]: Taking taylor expansion of t in y
1.951 * [taylor]: Taking taylor expansion of (* -4.0 (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) 1/3))) in t
1.951 * [taylor]: Taking taylor expansion of -4.0 in t
1.951 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) 1/3)) in t
1.951 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
1.951 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.951 * [taylor]: Taking taylor expansion of -1 in t
1.952 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) 1/3) in t
1.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2)))) in t
1.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2))) in t
1.952 * [taylor]: Taking taylor expansion of 1/3 in t
1.952 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2)) in t
1.952 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow z 2)) (/ 1 t)) 2) in t
1.952 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in t
1.953 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.953 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.953 * [taylor]: Taking taylor expansion of z in t
1.953 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.953 * [taylor]: Taking taylor expansion of t in t
1.957 * [taylor]: Taking taylor expansion of (* -4.0 (* (pow (cbrt -1) 2) (pow (/ 1 (pow t 2)) 1/3))) in z
1.957 * [taylor]: Taking taylor expansion of -4.0 in z
1.957 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow t 2)) 1/3)) in z
1.957 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.957 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.957 * [taylor]: Taking taylor expansion of -1 in z
1.958 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in z
1.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in z
1.958 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in z
1.958 * [taylor]: Taking taylor expansion of 1/3 in z
1.958 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in z
1.958 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in z
1.958 * [taylor]: Taking taylor expansion of (pow t 2) in z
1.958 * [taylor]: Taking taylor expansion of t in z
1.968 * [taylor]: Taking taylor expansion of 0 in t
1.968 * [taylor]: Taking taylor expansion of 0 in z
1.975 * [taylor]: Taking taylor expansion of (- (* 2.6666666666666665 (* (/ (pow (cbrt -1) 2) (pow z 2)) (pow (/ 1 (pow t 2)) 1/3)))) in z
1.975 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (* (/ (pow (cbrt -1) 2) (pow z 2)) (pow (/ 1 (pow t 2)) 1/3))) in z
1.975 * [taylor]: Taking taylor expansion of 2.6666666666666665 in z
1.976 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (pow z 2)) (pow (/ 1 (pow t 2)) 1/3)) in z
1.976 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (pow z 2)) in z
1.976 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.976 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.976 * [taylor]: Taking taylor expansion of -1 in z
1.977 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.977 * [taylor]: Taking taylor expansion of z in z
1.979 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in z
1.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in z
1.979 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in z
1.979 * [taylor]: Taking taylor expansion of 1/3 in z
1.979 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in z
1.979 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in z
1.979 * [taylor]: Taking taylor expansion of (pow t 2) in z
1.979 * [taylor]: Taking taylor expansion of t in z
2.008 * [taylor]: Taking taylor expansion of 0 in t
2.008 * [taylor]: Taking taylor expansion of 0 in z
2.008 * [taylor]: Taking taylor expansion of 0 in z
2.025 * [taylor]: Taking taylor expansion of (* 0.4444444444444444 (* (/ (pow (cbrt -1) 2) (pow z 4)) (pow (/ 1 (pow t 2)) 1/3))) in z
2.025 * [taylor]: Taking taylor expansion of 0.4444444444444444 in z
2.025 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (pow z 4)) (pow (/ 1 (pow t 2)) 1/3)) in z
2.025 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (pow z 4)) in z
2.025 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
2.025 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.025 * [taylor]: Taking taylor expansion of -1 in z
2.026 * [taylor]: Taking taylor expansion of (pow z 4) in z
2.026 * [taylor]: Taking taylor expansion of z in z
2.029 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in z
2.029 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in z
2.029 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in z
2.029 * [taylor]: Taking taylor expansion of 1/3 in z
2.029 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in z
2.029 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in z
2.029 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.029 * [taylor]: Taking taylor expansion of t in z
2.068 * * * [progress]: simplifying candidates
2.070 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (cbrt (- t (* z z))))
  (log1p (cbrt (- t (* z z))))
  (log (cbrt (- t (* z z))))
  (exp (cbrt (- t (* z z))))
  (cbrt (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (cbrt (cbrt (- t (* z z))))
  (cbrt (sqrt (- t (* z z))))
  (cbrt (sqrt (- t (* z z))))
  (cbrt 1)
  (cbrt (- t (* z z)))
  (cbrt (+ (sqrt t) z))
  (cbrt (- (sqrt t) z))
  (cbrt (- (pow t 3) (pow (* z z) 3)))
  (cbrt (+ (* t t) (+ (* (* z z) (* z z)) (* t (* z z)))))
  (cbrt (- (* t t) (* (* z z) (* z z))))
  (cbrt (+ t (* z z)))
  (* (cbrt (cbrt (- t (* z z)))) (cbrt (cbrt (- t (* z z)))))
  (cbrt (cbrt (- t (* z z))))
  (* (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))) (cbrt (- t (* z z))))
  (sqrt (cbrt (- t (* z z))))
  (sqrt (cbrt (- t (* z z))))
  (expm1 (cbrt (- t (* z z))))
  (log1p (cbrt (- t (* z z))))
  (log (cbrt (- t (* z z))))
  (exp (cbrt (- t (* z z))))
  (cbrt (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (cbrt (cbrt (- t (* z z))))
  (cbrt (sqrt (- t (* z z))))
  (cbrt (sqrt (- t (* z z))))
  (cbrt 1)
  (cbrt (- t (* z z)))
  (cbrt (+ (sqrt t) z))
  (cbrt (- (sqrt t) z))
  (cbrt (- (pow t 3) (pow (* z z) 3)))
  (cbrt (+ (* t t) (+ (* (* z z) (* z z)) (* t (* z z)))))
  (cbrt (- (* t t) (* (* z z) (* z z))))
  (cbrt (+ t (* z z)))
  (* (cbrt (cbrt (- t (* z z)))) (cbrt (cbrt (- t (* z z)))))
  (cbrt (cbrt (- t (* z z))))
  (* (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))) (cbrt (- t (* z z))))
  (sqrt (cbrt (- t (* z z))))
  (sqrt (cbrt (- t (* z z))))
  (expm1 (cbrt (- t (* z z))))
  (log1p (cbrt (- t (* z z))))
  (log (cbrt (- t (* z z))))
  (exp (cbrt (- t (* z z))))
  (cbrt (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (cbrt (cbrt (- t (* z z))))
  (cbrt (sqrt (- t (* z z))))
  (cbrt (sqrt (- t (* z z))))
  (cbrt 1)
  (cbrt (- t (* z z)))
  (cbrt (+ (sqrt t) z))
  (cbrt (- (sqrt t) z))
  (cbrt (- (pow t 3) (pow (* z z) 3)))
  (cbrt (+ (* t t) (+ (* (* z z) (* z z)) (* t (* z z)))))
  (cbrt (- (* t t) (* (* z z) (* z z))))
  (cbrt (+ t (* z z)))
  (* (cbrt (cbrt (- t (* z z)))) (cbrt (cbrt (- t (* z z)))))
  (cbrt (cbrt (- t (* z z))))
  (* (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))) (cbrt (- t (* z z))))
  (sqrt (cbrt (- t (* z z))))
  (sqrt (cbrt (- t (* z z))))
  (expm1 (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))))
  (log1p (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))))
  (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (+ (+ (log y) (log 4.0)) (+ (log (cbrt (- t (* z z)))) (log (cbrt (- t (* z z))))))
  (+ (+ (log y) (log 4.0)) (log (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))))
  (+ (log (* y 4.0)) (+ (log (cbrt (- t (* z z)))) (log (cbrt (- t (* z z))))))
  (+ (log (* y 4.0)) (log (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))))
  (log (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))))
  (exp (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))))
  (* (* (* (* y y) y) (* (* 4.0 4.0) 4.0)) (* (- t (* z z)) (- t (* z z))))
  (* (* (* (* y y) y) (* (* 4.0 4.0) 4.0)) (* (* (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))))
  (* (* (* (* y 4.0) (* y 4.0)) (* y 4.0)) (* (- t (* z z)) (- t (* z z))))
  (* (* (* (* y 4.0) (* y 4.0)) (* y 4.0)) (* (* (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))))
  (* (cbrt (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))) (cbrt (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))))
  (cbrt (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))))
  (* (* (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))) (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))) (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))))
  (sqrt (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))))
  (sqrt (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))))
  (* (* y 4.0) (cbrt (- t (* z z))))
  (* 4.0 (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (* (* y 4.0) (* (cbrt (- (pow t 3) (pow (* z z) 3))) (cbrt (- (pow t 3) (pow (* z z) 3)))))
  (* (* y 4.0) (* (cbrt (- (pow t 3) (pow (* z z) 3))) (cbrt (- (* t t) (* (* z z) (* z z))))))
  (* (* y 4.0) (* (cbrt (- (* t t) (* (* z z) (* z z)))) (cbrt (- (pow t 3) (pow (* z z) 3)))))
  (* (* y 4.0) (* (cbrt (- (* t t) (* (* z z) (* z z)))) (cbrt (- (* t t) (* (* z z) (* z z))))))
  (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- (pow t 3) (pow (* z z) 3)))))
  (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- (* t t) (* (* z z) (* z z))))))
  (* (* y 4.0) (* (cbrt (- (pow t 3) (pow (* z z) 3))) (cbrt (- t (* z z)))))
  (* (* y 4.0) (* (cbrt (- (* t t) (* (* z z) (* z z)))) (cbrt (- t (* z z)))))
  (- (exp (* 1/3 (+ (* 2 (log z)) (log -1)))) (+ (* 1/3 (* (exp (* 1/3 (- (log -1) (* 4 (log z))))) t)) (* 1/9 (* (pow t 2) (exp (* 1/3 (- (log -1) (* 10 (log z)))))))))
  (pow (/ 1 t) -1/3)
  (* (pow (* -1 t) 1/3) (cbrt -1))
  (- (exp (* 1/3 (+ (* 2 (log z)) (log -1)))) (+ (* 1/3 (* (exp (* 1/3 (- (log -1) (* 4 (log z))))) t)) (* 1/9 (* (pow t 2) (exp (* 1/3 (- (log -1) (* 10 (log z)))))))))
  (pow (/ 1 t) -1/3)
  (* (pow (* -1 t) 1/3) (cbrt -1))
  (- (exp (* 1/3 (+ (* 2 (log z)) (log -1)))) (+ (* 1/3 (* (exp (* 1/3 (- (log -1) (* 4 (log z))))) t)) (* 1/9 (* (pow t 2) (exp (* 1/3 (- (log -1) (* 10 (log z)))))))))
  (pow (/ 1 t) -1/3)
  (* (pow (* -1 t) 1/3) (cbrt -1))
  (- (* 4.0 (* (pow (pow z 4) 1/3) y)) (* 2.6666666666666665 (* (* t y) (pow (/ 1 (pow z 2)) 1/3))))
  (* 4.0 (* (pow (pow t 2) 1/3) y))
  (* 4.0 (* (* (pow (cbrt -1) 2) y) (pow (pow t 2) 1/3)))
2.078 * * [simplify]: iteration  0 :  386  enodes  (cost  796 )
2.086 * * [simplify]: iteration  1 :  1295  enodes  (cost  707 )
2.115 * * [simplify]: iteration  2 :  5001  enodes  (cost  692 )
2.120 * [simplify]: Simplified to:
   (expm1 (cbrt (- t (* z z))))
  (log1p (cbrt (- t (* z z))))
  (log (cbrt (- t (* z z))))
  (exp (cbrt (- t (* z z))))
  (cbrt (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (cbrt (cbrt (- t (* z z))))
  (cbrt (sqrt (- t (* z z))))
  (cbrt (sqrt (- t (* z z))))
  (cbrt 1)
  (cbrt (- t (* z z)))
  (cbrt (+ (sqrt t) z))
  (cbrt (- (sqrt t) z))
  (cbrt (- (pow t 3) (pow (* z z) 3)))
  (cbrt (+ (* t t) (+ (* (* z z) (* z z)) (* t (* z z)))))
  (cbrt (- (* t t) (* (* z z) (* z z))))
  (cbrt (+ t (* z z)))
  (* (cbrt (cbrt (- t (* z z)))) (cbrt (cbrt (- t (* z z)))))
  (cbrt (cbrt (- t (* z z))))
  (- t (* z z))
  (sqrt (cbrt (- t (* z z))))
  (sqrt (cbrt (- t (* z z))))
  (expm1 (cbrt (- t (* z z))))
  (log1p (cbrt (- t (* z z))))
  (log (cbrt (- t (* z z))))
  (exp (cbrt (- t (* z z))))
  (cbrt (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (cbrt (cbrt (- t (* z z))))
  (cbrt (sqrt (- t (* z z))))
  (cbrt (sqrt (- t (* z z))))
  (cbrt 1)
  (cbrt (- t (* z z)))
  (cbrt (+ (sqrt t) z))
  (cbrt (- (sqrt t) z))
  (cbrt (- (pow t 3) (pow (* z z) 3)))
  (cbrt (+ (* t t) (+ (* (* z z) (* z z)) (* t (* z z)))))
  (cbrt (- (* t t) (* (* z z) (* z z))))
  (cbrt (+ t (* z z)))
  (* (cbrt (cbrt (- t (* z z)))) (cbrt (cbrt (- t (* z z)))))
  (cbrt (cbrt (- t (* z z))))
  (- t (* z z))
  (sqrt (cbrt (- t (* z z))))
  (sqrt (cbrt (- t (* z z))))
  (expm1 (cbrt (- t (* z z))))
  (log1p (cbrt (- t (* z z))))
  (log (cbrt (- t (* z z))))
  (exp (cbrt (- t (* z z))))
  (cbrt (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (cbrt (cbrt (- t (* z z))))
  (cbrt (sqrt (- t (* z z))))
  (cbrt (sqrt (- t (* z z))))
  (cbrt 1)
  (cbrt (- t (* z z)))
  (cbrt (+ (sqrt t) z))
  (cbrt (- (sqrt t) z))
  (cbrt (- (pow t 3) (pow (* z z) 3)))
  (cbrt (+ (* t t) (+ (* (* z z) (* z z)) (* t (* z z)))))
  (cbrt (- (* t t) (* (* z z) (* z z))))
  (cbrt (+ t (* z z)))
  (* (cbrt (cbrt (- t (* z z)))) (cbrt (cbrt (- t (* z z)))))
  (cbrt (cbrt (- t (* z z))))
  (- t (* z z))
  (sqrt (cbrt (- t (* z z))))
  (sqrt (cbrt (- t (* z z))))
  (expm1 (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))))
  (log1p (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))))
  (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (fma 2 (log (cbrt (- t (* z z)))) (log (* y 4.0)))
  (fma 2 (log (cbrt (- t (* z z)))) (log (* y 4.0)))
  (fma 2 (log (cbrt (- t (* z z)))) (log (* y 4.0)))
  (fma 2 (log (cbrt (- t (* z z)))) (log (* y 4.0)))
  (fma 2 (log (cbrt (- t (* z z)))) (log (* y 4.0)))
  (exp (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))))
  (* (- t (* z z)) (* (- t (* z z)) (pow (* y 4.0) 3)))
  (* (- t (* z z)) (* (- t (* z z)) (pow (* y 4.0) 3)))
  (* (- t (* z z)) (* (- t (* z z)) (pow (* y 4.0) 3)))
  (* (- t (* z z)) (* (- t (* z z)) (pow (* y 4.0) 3)))
  (* (cbrt (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))) (cbrt (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))))
  (cbrt (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))))
  (* (- t (* z z)) (* (- t (* z z)) (pow (* y 4.0) 3)))
  (sqrt (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))))
  (sqrt (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))))
  (* (* y 4.0) (cbrt (- t (* z z))))
  (* 4.0 (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
  (* (* y 4.0) (* (cbrt (- (pow t 3) (pow (* z z) 3))) (cbrt (- (pow t 3) (pow (* z z) 3)))))
  (* (* y 4.0) (* (cbrt (- (* t t) (* (* z z) (* z z)))) (cbrt (- (pow t 3) (pow (* z z) 3)))))
  (* (* y 4.0) (* (cbrt (- (* t t) (* (* z z) (* z z)))) (cbrt (- (pow t 3) (pow (* z z) 3)))))
  (* (* y 4.0) (* (cbrt (- (* t t) (* (* z z) (* z z)))) (cbrt (- (* t t) (* (* z z) (* z z))))))
  (* (* y 4.0) (* (cbrt (- (pow t 3) (pow (* z z) 3))) (cbrt (- t (* z z)))))
  (* (* y 4.0) (* (cbrt (- (* t t) (* (* z z) (* z z)))) (cbrt (- t (* z z)))))
  (* (* y 4.0) (* (cbrt (- (pow t 3) (pow (* z z) 3))) (cbrt (- t (* z z)))))
  (* (* y 4.0) (* (cbrt (- (* t t) (* (* z z) (* z z)))) (cbrt (- t (* z z)))))
  (- (* (pow -1 1/3) (pow z 2/3)) (- (* 1/3 (* (exp (* 1/3 (- (log -1) (* 4 (log z))))) t)) (- (* 1/9 (* (pow t 2) (exp (* 1/3 (- (log -1) (* 10 (log z))))))))))
  (pow (/ 1 t) -1/3)
  (* (pow (* -1 t) 1/3) (cbrt -1))
  (- (* (pow -1 1/3) (pow z 2/3)) (- (* 1/3 (* (exp (* 1/3 (- (log -1) (* 4 (log z))))) t)) (- (* 1/9 (* (pow t 2) (exp (* 1/3 (- (log -1) (* 10 (log z))))))))))
  (pow (/ 1 t) -1/3)
  (* (pow (* -1 t) 1/3) (cbrt -1))
  (- (* (pow -1 1/3) (pow z 2/3)) (- (* 1/3 (* (exp (* 1/3 (- (log -1) (* 4 (log z))))) t)) (- (* 1/9 (* (pow t 2) (exp (* 1/3 (- (log -1) (* 10 (log z))))))))))
  (pow (/ 1 t) -1/3)
  (* (pow (* -1 t) 1/3) (cbrt -1))
  (- (* 4.0 (* (pow (pow z 4) 1/3) y)) (* 2.6666666666666665 (* (* t y) (pow (/ 1 (pow z 2)) 1/3))))
  (* 4.0 (* (pow (pow t 2) 1/3) y))
  (* 4.0 (* (* (pow (cbrt -1) 2) y) (pow (pow t 2) 1/3)))
2.120 * * * [progress]: adding candidates to table
2.423 * * [progress]: iteration 4 / 4
2.423 * * * [progress]: picking best candidate
2.444 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma x x (* (* y 4.0) t)))>
2.444 * * * [progress]: localizing error
2.450 * * * [progress]: generating rewritten candidates
2.450 * * * [progress]: generating series expansions
2.450 * * * [progress]: simplifying candidates
2.450 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   
2.453 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
2.453 * [simplify]: Simplified to:
   
2.453 * * * [progress]: adding candidates to table
2.454 * [progress]: [Phase 3 of 3] Extracting.
2.454 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (fma x x (+ (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (fma (- z) z (* z z))))))> #<alt (λ (x y z t) (fma x x (* (sqrt (* (* y 4.0) (- t (* z z)))) (sqrt (* (* y 4.0) (- t (* z z)))))))> #<alt (λ (x y z t) (fma x x (* (* y 4.0) t)))> #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))) (/ (cbrt (- (* t t) (* (* z z) (* z z)))) (cbrt (+ t (* z z)))))))> #<alt (λ (x y z t) (fma x x (cbrt (pow (* (* y 4.0) (- t (* z z))) 3))))> #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (+ (sqrt t) z)) (- (sqrt t) z))))> #<alt (λ (x y z t) (fma x x (* (cbrt (* (- t (* z z)) (* (- t (* z z)) (pow (* y 4.0) 3)))) (cbrt (- t (* z z))))))>)
2.456 * * * [regime-changes]: Trying 6 branch expressions: ((* z z) (* y 4.0) t z y x)
2.456 * * * * [regimes]: Trying to branch on (* z z) from (#<alt (λ (x y z t) (fma x x (+ (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (fma (- z) z (* z z))))))> #<alt (λ (x y z t) (fma x x (* (sqrt (* (* y 4.0) (- t (* z z)))) (sqrt (* (* y 4.0) (- t (* z z)))))))> #<alt (λ (x y z t) (fma x x (* (* y 4.0) t)))> #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))) (/ (cbrt (- (* t t) (* (* z z) (* z z)))) (cbrt (+ t (* z z)))))))> #<alt (λ (x y z t) (fma x x (cbrt (pow (* (* y 4.0) (- t (* z z))) 3))))> #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (+ (sqrt t) z)) (- (sqrt t) z))))> #<alt (λ (x y z t) (fma x x (* (cbrt (* (- t (* z z)) (* (- t (* z z)) (pow (* y 4.0) 3)))) (cbrt (- t (* z z))))))>)
2.495 * * * * [regimes]: Trying to branch on (* z z) from (#<alt (λ (x y z t) (fma x x (* (sqrt (* (* y 4.0) (- t (* z z)))) (sqrt (* (* y 4.0) (- t (* z z)))))))> #<alt (λ (x y z t) (fma x x (* (* y 4.0) t)))> #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))) (/ (cbrt (- (* t t) (* (* z z) (* z z)))) (cbrt (+ t (* z z)))))))> #<alt (λ (x y z t) (fma x x (cbrt (pow (* (* y 4.0) (- t (* z z))) 3))))> #<alt (λ (x y z t) (fma x x (* (cbrt (* (- t (* z z)) (* (- t (* z z)) (pow (* y 4.0) 3)))) (cbrt (- t (* z z))))))>)
2.534 * * * * [regimes]: Trying to branch on (* y 4.0) from (#<alt (λ (x y z t) (fma x x (+ (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (fma (- z) z (* z z))))))> #<alt (λ (x y z t) (fma x x (* (sqrt (* (* y 4.0) (- t (* z z)))) (sqrt (* (* y 4.0) (- t (* z z)))))))> #<alt (λ (x y z t) (fma x x (* (* y 4.0) t)))> #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))) (/ (cbrt (- (* t t) (* (* z z) (* z z)))) (cbrt (+ t (* z z)))))))> #<alt (λ (x y z t) (fma x x (cbrt (pow (* (* y 4.0) (- t (* z z))) 3))))> #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (+ (sqrt t) z)) (- (sqrt t) z))))> #<alt (λ (x y z t) (fma x x (* (cbrt (* (- t (* z z)) (* (- t (* z z)) (pow (* y 4.0) 3)))) (cbrt (- t (* z z))))))>)
2.580 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (fma x x (+ (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (fma (- z) z (* z z))))))> #<alt (λ (x y z t) (fma x x (* (sqrt (* (* y 4.0) (- t (* z z)))) (sqrt (* (* y 4.0) (- t (* z z)))))))> #<alt (λ (x y z t) (fma x x (* (* y 4.0) t)))> #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))) (/ (cbrt (- (* t t) (* (* z z) (* z z)))) (cbrt (+ t (* z z)))))))> #<alt (λ (x y z t) (fma x x (cbrt (pow (* (* y 4.0) (- t (* z z))) 3))))> #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (+ (sqrt t) z)) (- (sqrt t) z))))> #<alt (λ (x y z t) (fma x x (* (cbrt (* (- t (* z z)) (* (- t (* z z)) (pow (* y 4.0) 3)))) (cbrt (- t (* z z))))))>)
2.622 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (fma x x (+ (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (fma (- z) z (* z z))))))> #<alt (λ (x y z t) (fma x x (* (sqrt (* (* y 4.0) (- t (* z z)))) (sqrt (* (* y 4.0) (- t (* z z)))))))> #<alt (λ (x y z t) (fma x x (* (* y 4.0) t)))> #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))) (/ (cbrt (- (* t t) (* (* z z) (* z z)))) (cbrt (+ t (* z z)))))))> #<alt (λ (x y z t) (fma x x (cbrt (pow (* (* y 4.0) (- t (* z z))) 3))))> #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (+ (sqrt t) z)) (- (sqrt t) z))))> #<alt (λ (x y z t) (fma x x (* (cbrt (* (- t (* z z)) (* (- t (* z z)) (pow (* y 4.0) 3)))) (cbrt (- t (* z z))))))>)
2.669 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (fma x x (+ (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (fma (- z) z (* z z))))))> #<alt (λ (x y z t) (fma x x (* (sqrt (* (* y 4.0) (- t (* z z)))) (sqrt (* (* y 4.0) (- t (* z z)))))))> #<alt (λ (x y z t) (fma x x (* (* y 4.0) t)))> #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))) (/ (cbrt (- (* t t) (* (* z z) (* z z)))) (cbrt (+ t (* z z)))))))> #<alt (λ (x y z t) (fma x x (cbrt (pow (* (* y 4.0) (- t (* z z))) 3))))> #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (+ (sqrt t) z)) (- (sqrt t) z))))> #<alt (λ (x y z t) (fma x x (* (cbrt (* (- t (* z z)) (* (- t (* z z)) (pow (* y 4.0) 3)))) (cbrt (- t (* z z))))))>)
2.718 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (fma x x (+ (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (fma (- z) z (* z z))))))> #<alt (λ (x y z t) (fma x x (* (sqrt (* (* y 4.0) (- t (* z z)))) (sqrt (* (* y 4.0) (- t (* z z)))))))> #<alt (λ (x y z t) (fma x x (* (* y 4.0) t)))> #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))) (/ (cbrt (- (* t t) (* (* z z) (* z z)))) (cbrt (+ t (* z z)))))))> #<alt (λ (x y z t) (fma x x (cbrt (pow (* (* y 4.0) (- t (* z z))) 3))))> #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (+ (sqrt t) z)) (- (sqrt t) z))))> #<alt (λ (x y z t) (fma x x (* (cbrt (* (- t (* z z)) (* (- t (* z z)) (pow (* y 4.0) 3)))) (cbrt (- t (* z z))))))>)
2.759 * * * [regime]: Found split indices: #<option (#s(si 0 222) #s(si 5 255))>
2.760 * [binary-search]: Only using regimes for bounds on (* z z) and (#<alt (λ (x y z t) (fma x x (+ (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (fma (- z) z (* z z))))))> #<alt (λ (x y z t) (fma x x (* (sqrt (* (* y 4.0) (- t (* z z)))) (sqrt (* (* y 4.0) (- t (* z z)))))))> #<alt (λ (x y z t) (fma x x (* (* y 4.0) t)))> #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))) (/ (cbrt (- (* t t) (* (* z z) (* z z)))) (cbrt (+ t (* z z)))))))> #<alt (λ (x y z t) (fma x x (cbrt (pow (* (* y 4.0) (- t (* z z))) 3))))> #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (+ (sqrt t) z)) (- (sqrt t) z))))> #<alt (λ (x y z t) (fma x x (* (cbrt (* (- t (* z z)) (* (- t (* z z)) (pow (* y 4.0) 3)))) (cbrt (- t (* z z))))))>)
2.760 * [regimes]: Found splitpoints: (#s(sp 0 (* z z) 6.246612043701488e+297) #s(sp 5 (* z z) +nan.0)) , with alts (#<alt (λ (x y z t) (fma x x (+ (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (fma (- z) z (* z z))))))> #<alt (λ (x y z t) (fma x x (* (sqrt (* (* y 4.0) (- t (* z z)))) (sqrt (* (* y 4.0) (- t (* z z)))))))> #<alt (λ (x y z t) (fma x x (* (* y 4.0) t)))> #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z))))) (/ (cbrt (- (* t t) (* (* z z) (* z z)))) (cbrt (+ t (* z z)))))))> #<alt (λ (x y z t) (fma x x (cbrt (pow (* (* y 4.0) (- t (* z z))) 3))))> #<alt (λ (x y z t) (fma x x (* (* (* y 4.0) (+ (sqrt t) z)) (- (sqrt t) z))))> #<alt (λ (x y z t) (fma x x (* (cbrt (* (- t (* z z)) (* (- t (* z z)) (pow (* y 4.0) 3)))) (cbrt (- t (* z z))))))>)
2.761 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (* z z) 6.246612043701488e+297) (fma x x (+ (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (fma (- z) z (* z z))))) (fma x x (* (* (* y 4.0) (+ (sqrt t) z)) (- (sqrt t) z))))
2.762 * * [simplify]: iteration  0 :  30  enodes  (cost  20 )
2.762 * * [simplify]: iteration  1 :  30  enodes  (cost  20 )
2.762 * [simplify]: Simplified to:
   (if (<= (* z z) 6.246612043701488e+297) (fma x x (+ (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (fma (- z) z (* z z))))) (fma x x (* (* (* y 4.0) (+ (sqrt t) z)) (- (sqrt t) z))))
4.149 * [regime-testing]: Baseline error score: 6.00468301432912
4.150 * [regime-testing]: Oracle error score: 2.6076914677443415
4.151 * [regime-testing]: End program error score: 3.2159594238803146
4.176 * [regime-testing]: Target error score: 6.009524874985635