3.160 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.021 * [progress]: [Phase 2 of 3] Improving.
0.022 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (* (- y x) (/ z t)))
0.023 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.024 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
0.025 * * [simplify]: iteration  2 :  26  enodes  (cost  8 )
0.029 * * [simplify]: iteration  3 :  56  enodes  (cost  8 )
0.037 * * [simplify]: iteration  4 :  98  enodes  (cost  8 )
0.054 * * [simplify]: iteration  5 :  140  enodes  (cost  8 )
0.075 * * [simplify]: iteration  6 :  178  enodes  (cost  8 )
0.116 * * [simplify]: iteration  7 :  212  enodes  (cost  8 )
0.167 * * [simplify]: iteration  8 :  255  enodes  (cost  8 )
0.215 * * [simplify]: iteration  9 :  341  enodes  (cost  8 )
0.341 * * [simplify]: iteration  10 :  451  enodes  (cost  8 )
0.436 * * [simplify]: iteration  11 :  514  enodes  (cost  8 )
0.556 * * [simplify]: iteration  12 :  581  enodes  (cost  8 )
0.710 * * [simplify]: iteration  13 :  626  enodes  (cost  8 )
0.895 * * [simplify]: iteration  14 :  666  enodes  (cost  8 )
1.100 * * [simplify]: iteration  15 :  766  enodes  (cost  8 )
1.402 * * [simplify]: iteration  16 :  1026  enodes  (cost  8 )
1.802 * * [simplify]: iteration  17 :  1343  enodes  (cost  8 )
2.550 * * [simplify]: iteration  18 :  1935  enodes  (cost  8 )
3.667 * * [simplify]: iteration  19 :  2473  enodes  (cost  8 )
4.540 * * [simplify]: iteration  20 :  2570  enodes  (cost  8 )
5.387 * * [simplify]: iteration  21 :  2576  enodes  (cost  8 )
6.230 * * [simplify]: iteration  done :  2576  enodes  (cost  8 )
6.231 * [simplify]: Simplified to:
   (fma (- y x) (/ z t) x)
6.234 * * [progress]: iteration 1 / 4
6.234 * * * [progress]: picking best candidate
6.237 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (* (- y x) (/ z t))))>
6.237 * * * [progress]: localizing error
6.244 * * * [progress]: generating rewritten candidates
6.244 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
6.259 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
6.263 * * * [progress]: generating series expansions
6.263 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
6.263 * [approximate]: Taking taylor expansion of (/ (* (- y x) z) t) in (y x z t) around 0
6.263 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in t
6.263 * [taylor]: Taking taylor expansion of (* (- y x) z) in t
6.263 * [taylor]: Taking taylor expansion of (- y x) in t
6.263 * [taylor]: Taking taylor expansion of y in t
6.263 * [taylor]: Taking taylor expansion of x in t
6.263 * [taylor]: Taking taylor expansion of z in t
6.263 * [taylor]: Taking taylor expansion of t in t
6.264 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in z
6.264 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
6.264 * [taylor]: Taking taylor expansion of (- y x) in z
6.264 * [taylor]: Taking taylor expansion of y in z
6.264 * [taylor]: Taking taylor expansion of x in z
6.264 * [taylor]: Taking taylor expansion of z in z
6.264 * [taylor]: Taking taylor expansion of t in z
6.265 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in x
6.265 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
6.265 * [taylor]: Taking taylor expansion of (- y x) in x
6.265 * [taylor]: Taking taylor expansion of y in x
6.265 * [taylor]: Taking taylor expansion of x in x
6.265 * [taylor]: Taking taylor expansion of z in x
6.265 * [taylor]: Taking taylor expansion of t in x
6.265 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y
6.265 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
6.265 * [taylor]: Taking taylor expansion of (- y x) in y
6.265 * [taylor]: Taking taylor expansion of y in y
6.266 * [taylor]: Taking taylor expansion of x in y
6.266 * [taylor]: Taking taylor expansion of z in y
6.266 * [taylor]: Taking taylor expansion of t in y
6.266 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y
6.266 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
6.266 * [taylor]: Taking taylor expansion of (- y x) in y
6.266 * [taylor]: Taking taylor expansion of y in y
6.266 * [taylor]: Taking taylor expansion of x in y
6.266 * [taylor]: Taking taylor expansion of z in y
6.266 * [taylor]: Taking taylor expansion of t in y
6.266 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) t)) in x
6.266 * [taylor]: Taking taylor expansion of -1 in x
6.266 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x
6.266 * [taylor]: Taking taylor expansion of (* x z) in x
6.266 * [taylor]: Taking taylor expansion of x in x
6.266 * [taylor]: Taking taylor expansion of z in x
6.266 * [taylor]: Taking taylor expansion of t in x
6.267 * [taylor]: Taking taylor expansion of (/ z t) in x
6.268 * [taylor]: Taking taylor expansion of z in x
6.268 * [taylor]: Taking taylor expansion of t in x
6.268 * [taylor]: Taking taylor expansion of (/ z t) in z
6.268 * [taylor]: Taking taylor expansion of z in z
6.268 * [taylor]: Taking taylor expansion of t in z
6.268 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.268 * [taylor]: Taking taylor expansion of t in t
6.268 * [taylor]: Taking taylor expansion of (* -1 (/ z t)) in z
6.268 * [taylor]: Taking taylor expansion of -1 in z
6.268 * [taylor]: Taking taylor expansion of (/ z t) in z
6.268 * [taylor]: Taking taylor expansion of z in z
6.268 * [taylor]: Taking taylor expansion of t in z
6.268 * [taylor]: Taking taylor expansion of (/ -1 t) in t
6.268 * [taylor]: Taking taylor expansion of -1 in t
6.268 * [taylor]: Taking taylor expansion of t in t
6.270 * [taylor]: Taking taylor expansion of 0 in x
6.270 * [taylor]: Taking taylor expansion of 0 in z
6.270 * [taylor]: Taking taylor expansion of 0 in t
6.270 * [taylor]: Taking taylor expansion of 0 in z
6.270 * [taylor]: Taking taylor expansion of 0 in t
6.271 * [taylor]: Taking taylor expansion of 0 in z
6.271 * [taylor]: Taking taylor expansion of 0 in t
6.271 * [taylor]: Taking taylor expansion of 0 in t
6.272 * [taylor]: Taking taylor expansion of 0 in t
6.278 * [taylor]: Taking taylor expansion of 0 in x
6.278 * [taylor]: Taking taylor expansion of 0 in z
6.278 * [taylor]: Taking taylor expansion of 0 in t
6.278 * [taylor]: Taking taylor expansion of 0 in z
6.278 * [taylor]: Taking taylor expansion of 0 in t
6.278 * [taylor]: Taking taylor expansion of 0 in z
6.278 * [taylor]: Taking taylor expansion of 0 in t
6.280 * [taylor]: Taking taylor expansion of 0 in z
6.280 * [taylor]: Taking taylor expansion of 0 in t
6.280 * [taylor]: Taking taylor expansion of 0 in t
6.280 * [taylor]: Taking taylor expansion of 0 in t
6.280 * [taylor]: Taking taylor expansion of 0 in t
6.280 * [taylor]: Taking taylor expansion of 0 in t
6.281 * [taylor]: Taking taylor expansion of 0 in t
6.282 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in (y x z t) around 0
6.282 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in t
6.282 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t
6.282 * [taylor]: Taking taylor expansion of t in t
6.282 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t
6.282 * [taylor]: Taking taylor expansion of (/ 1 y) in t
6.282 * [taylor]: Taking taylor expansion of y in t
6.282 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.282 * [taylor]: Taking taylor expansion of x in t
6.282 * [taylor]: Taking taylor expansion of z in t
6.283 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z
6.283 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z
6.283 * [taylor]: Taking taylor expansion of t in z
6.283 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
6.283 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.283 * [taylor]: Taking taylor expansion of y in z
6.284 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.284 * [taylor]: Taking taylor expansion of x in z
6.284 * [taylor]: Taking taylor expansion of z in z
6.284 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in x
6.284 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in x
6.284 * [taylor]: Taking taylor expansion of t in x
6.284 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
6.284 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.284 * [taylor]: Taking taylor expansion of y in x
6.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.284 * [taylor]: Taking taylor expansion of x in x
6.284 * [taylor]: Taking taylor expansion of z in x
6.285 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y
6.285 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y
6.285 * [taylor]: Taking taylor expansion of t in y
6.285 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
6.285 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.285 * [taylor]: Taking taylor expansion of y in y
6.285 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.285 * [taylor]: Taking taylor expansion of x in y
6.285 * [taylor]: Taking taylor expansion of z in y
6.286 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y
6.286 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y
6.286 * [taylor]: Taking taylor expansion of t in y
6.286 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
6.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.286 * [taylor]: Taking taylor expansion of y in y
6.286 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.286 * [taylor]: Taking taylor expansion of x in y
6.286 * [taylor]: Taking taylor expansion of z in y
6.287 * [taylor]: Taking taylor expansion of (/ t z) in x
6.287 * [taylor]: Taking taylor expansion of t in x
6.287 * [taylor]: Taking taylor expansion of z in x
6.288 * [taylor]: Taking taylor expansion of (- (/ t (* x z))) in x
6.288 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
6.288 * [taylor]: Taking taylor expansion of t in x
6.288 * [taylor]: Taking taylor expansion of (* x z) in x
6.288 * [taylor]: Taking taylor expansion of x in x
6.288 * [taylor]: Taking taylor expansion of z in x
6.289 * [taylor]: Taking taylor expansion of (- (/ t z)) in z
6.289 * [taylor]: Taking taylor expansion of (/ t z) in z
6.289 * [taylor]: Taking taylor expansion of t in z
6.289 * [taylor]: Taking taylor expansion of z in z
6.289 * [taylor]: Taking taylor expansion of (- t) in t
6.289 * [taylor]: Taking taylor expansion of t in t
6.289 * [taylor]: Taking taylor expansion of (/ t z) in z
6.289 * [taylor]: Taking taylor expansion of t in z
6.289 * [taylor]: Taking taylor expansion of z in z
6.289 * [taylor]: Taking taylor expansion of t in t
6.291 * [taylor]: Taking taylor expansion of 0 in x
6.292 * [taylor]: Taking taylor expansion of 0 in z
6.292 * [taylor]: Taking taylor expansion of 0 in z
6.293 * [taylor]: Taking taylor expansion of 0 in t
6.293 * [taylor]: Taking taylor expansion of 0 in t
6.296 * [taylor]: Taking taylor expansion of 0 in x
6.296 * [taylor]: Taking taylor expansion of 0 in z
6.297 * [taylor]: Taking taylor expansion of 0 in z
6.297 * [taylor]: Taking taylor expansion of 0 in z
6.297 * [taylor]: Taking taylor expansion of 0 in t
6.297 * [taylor]: Taking taylor expansion of 0 in t
6.298 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in (y x z t) around 0
6.298 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in t
6.298 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in t
6.298 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t
6.298 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.298 * [taylor]: Taking taylor expansion of x in t
6.298 * [taylor]: Taking taylor expansion of (/ 1 y) in t
6.298 * [taylor]: Taking taylor expansion of y in t
6.298 * [taylor]: Taking taylor expansion of t in t
6.298 * [taylor]: Taking taylor expansion of z in t
6.299 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in z
6.299 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in z
6.299 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
6.299 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.299 * [taylor]: Taking taylor expansion of x in z
6.299 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.299 * [taylor]: Taking taylor expansion of y in z
6.299 * [taylor]: Taking taylor expansion of t in z
6.299 * [taylor]: Taking taylor expansion of z in z
6.299 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in x
6.300 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in x
6.300 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
6.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.300 * [taylor]: Taking taylor expansion of x in x
6.300 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.300 * [taylor]: Taking taylor expansion of y in x
6.300 * [taylor]: Taking taylor expansion of t in x
6.300 * [taylor]: Taking taylor expansion of z in x
6.300 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in y
6.300 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y
6.300 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
6.300 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.300 * [taylor]: Taking taylor expansion of x in y
6.301 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.301 * [taylor]: Taking taylor expansion of y in y
6.301 * [taylor]: Taking taylor expansion of t in y
6.301 * [taylor]: Taking taylor expansion of z in y
6.301 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in y
6.301 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y
6.302 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
6.302 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.302 * [taylor]: Taking taylor expansion of x in y
6.302 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.302 * [taylor]: Taking taylor expansion of y in y
6.302 * [taylor]: Taking taylor expansion of t in y
6.302 * [taylor]: Taking taylor expansion of z in y
6.303 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in x
6.303 * [taylor]: Taking taylor expansion of -1 in x
6.303 * [taylor]: Taking taylor expansion of (/ t z) in x
6.303 * [taylor]: Taking taylor expansion of t in x
6.303 * [taylor]: Taking taylor expansion of z in x
6.304 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
6.304 * [taylor]: Taking taylor expansion of t in x
6.304 * [taylor]: Taking taylor expansion of (* x z) in x
6.304 * [taylor]: Taking taylor expansion of x in x
6.304 * [taylor]: Taking taylor expansion of z in x
6.304 * [taylor]: Taking taylor expansion of (/ t z) in z
6.304 * [taylor]: Taking taylor expansion of t in z
6.304 * [taylor]: Taking taylor expansion of z in z
6.304 * [taylor]: Taking taylor expansion of t in t
6.305 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in z
6.305 * [taylor]: Taking taylor expansion of -1 in z
6.305 * [taylor]: Taking taylor expansion of (/ t z) in z
6.305 * [taylor]: Taking taylor expansion of t in z
6.305 * [taylor]: Taking taylor expansion of z in z
6.305 * [taylor]: Taking taylor expansion of (* -1 t) in t
6.305 * [taylor]: Taking taylor expansion of -1 in t
6.305 * [taylor]: Taking taylor expansion of t in t
6.307 * [taylor]: Taking taylor expansion of 0 in x
6.308 * [taylor]: Taking taylor expansion of 0 in z
6.308 * [taylor]: Taking taylor expansion of 0 in z
6.309 * [taylor]: Taking taylor expansion of 0 in t
6.310 * [taylor]: Taking taylor expansion of 0 in t
6.312 * [taylor]: Taking taylor expansion of 0 in x
6.312 * [taylor]: Taking taylor expansion of 0 in z
6.313 * [taylor]: Taking taylor expansion of 0 in z
6.314 * [taylor]: Taking taylor expansion of 0 in z
6.314 * [taylor]: Taking taylor expansion of 0 in t
6.314 * [taylor]: Taking taylor expansion of 0 in t
6.314 * * * * [progress]: [ 2 / 2 ] generating series at (2)
6.315 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in (x y z t) around 0
6.315 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in t
6.315 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t
6.315 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
6.315 * [taylor]: Taking taylor expansion of (* z y) in t
6.315 * [taylor]: Taking taylor expansion of z in t
6.315 * [taylor]: Taking taylor expansion of y in t
6.315 * [taylor]: Taking taylor expansion of t in t
6.315 * [taylor]: Taking taylor expansion of x in t
6.315 * [taylor]: Taking taylor expansion of (/ (* x z) t) in t
6.315 * [taylor]: Taking taylor expansion of (* x z) in t
6.315 * [taylor]: Taking taylor expansion of x in t
6.315 * [taylor]: Taking taylor expansion of z in t
6.315 * [taylor]: Taking taylor expansion of t in t
6.315 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in z
6.315 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z
6.315 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
6.315 * [taylor]: Taking taylor expansion of (* z y) in z
6.315 * [taylor]: Taking taylor expansion of z in z
6.315 * [taylor]: Taking taylor expansion of y in z
6.315 * [taylor]: Taking taylor expansion of t in z
6.315 * [taylor]: Taking taylor expansion of x in z
6.315 * [taylor]: Taking taylor expansion of (/ (* x z) t) in z
6.315 * [taylor]: Taking taylor expansion of (* x z) in z
6.315 * [taylor]: Taking taylor expansion of x in z
6.315 * [taylor]: Taking taylor expansion of z in z
6.316 * [taylor]: Taking taylor expansion of t in z
6.316 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in y
6.316 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y
6.316 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
6.316 * [taylor]: Taking taylor expansion of (* z y) in y
6.316 * [taylor]: Taking taylor expansion of z in y
6.316 * [taylor]: Taking taylor expansion of y in y
6.316 * [taylor]: Taking taylor expansion of t in y
6.316 * [taylor]: Taking taylor expansion of x in y
6.316 * [taylor]: Taking taylor expansion of (/ (* x z) t) in y
6.316 * [taylor]: Taking taylor expansion of (* x z) in y
6.316 * [taylor]: Taking taylor expansion of x in y
6.316 * [taylor]: Taking taylor expansion of z in y
6.316 * [taylor]: Taking taylor expansion of t in y
6.317 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x
6.317 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
6.317 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
6.317 * [taylor]: Taking taylor expansion of (* z y) in x
6.317 * [taylor]: Taking taylor expansion of z in x
6.317 * [taylor]: Taking taylor expansion of y in x
6.317 * [taylor]: Taking taylor expansion of t in x
6.317 * [taylor]: Taking taylor expansion of x in x
6.317 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x
6.317 * [taylor]: Taking taylor expansion of (* x z) in x
6.317 * [taylor]: Taking taylor expansion of x in x
6.317 * [taylor]: Taking taylor expansion of z in x
6.317 * [taylor]: Taking taylor expansion of t in x
6.317 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x
6.317 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
6.317 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
6.317 * [taylor]: Taking taylor expansion of (* z y) in x
6.317 * [taylor]: Taking taylor expansion of z in x
6.317 * [taylor]: Taking taylor expansion of y in x
6.317 * [taylor]: Taking taylor expansion of t in x
6.317 * [taylor]: Taking taylor expansion of x in x
6.317 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x
6.317 * [taylor]: Taking taylor expansion of (* x z) in x
6.317 * [taylor]: Taking taylor expansion of x in x
6.317 * [taylor]: Taking taylor expansion of z in x
6.317 * [taylor]: Taking taylor expansion of t in x
6.318 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
6.318 * [taylor]: Taking taylor expansion of (* z y) in y
6.318 * [taylor]: Taking taylor expansion of z in y
6.318 * [taylor]: Taking taylor expansion of y in y
6.318 * [taylor]: Taking taylor expansion of t in y
6.319 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in y
6.319 * [taylor]: Taking taylor expansion of 1 in y
6.319 * [taylor]: Taking taylor expansion of (/ z t) in y
6.319 * [taylor]: Taking taylor expansion of z in y
6.319 * [taylor]: Taking taylor expansion of t in y
6.319 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in z
6.319 * [taylor]: Taking taylor expansion of 1 in z
6.319 * [taylor]: Taking taylor expansion of (/ z t) in z
6.319 * [taylor]: Taking taylor expansion of z in z
6.319 * [taylor]: Taking taylor expansion of t in z
6.320 * [taylor]: Taking taylor expansion of 1 in t
6.320 * [taylor]: Taking taylor expansion of (/ z t) in z
6.320 * [taylor]: Taking taylor expansion of z in z
6.320 * [taylor]: Taking taylor expansion of t in z
6.322 * [taylor]: Taking taylor expansion of 0 in y
6.322 * [taylor]: Taking taylor expansion of 0 in z
6.322 * [taylor]: Taking taylor expansion of 0 in t
6.322 * [taylor]: Taking taylor expansion of 0 in z
6.322 * [taylor]: Taking taylor expansion of 0 in t
6.323 * [taylor]: Taking taylor expansion of 0 in z
6.323 * [taylor]: Taking taylor expansion of 0 in t
6.323 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
6.323 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.323 * [taylor]: Taking taylor expansion of t in t
6.324 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.324 * [taylor]: Taking taylor expansion of t in t
6.325 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in (x y z t) around 0
6.325 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in t
6.325 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
6.325 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
6.325 * [taylor]: Taking taylor expansion of t in t
6.325 * [taylor]: Taking taylor expansion of (* z y) in t
6.325 * [taylor]: Taking taylor expansion of z in t
6.325 * [taylor]: Taking taylor expansion of y in t
6.325 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.325 * [taylor]: Taking taylor expansion of x in t
6.325 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t
6.325 * [taylor]: Taking taylor expansion of t in t
6.325 * [taylor]: Taking taylor expansion of (* x z) in t
6.325 * [taylor]: Taking taylor expansion of x in t
6.325 * [taylor]: Taking taylor expansion of z in t
6.325 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in z
6.325 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
6.325 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
6.325 * [taylor]: Taking taylor expansion of t in z
6.325 * [taylor]: Taking taylor expansion of (* z y) in z
6.325 * [taylor]: Taking taylor expansion of z in z
6.325 * [taylor]: Taking taylor expansion of y in z
6.326 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.326 * [taylor]: Taking taylor expansion of x in z
6.326 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z
6.326 * [taylor]: Taking taylor expansion of t in z
6.326 * [taylor]: Taking taylor expansion of (* x z) in z
6.326 * [taylor]: Taking taylor expansion of x in z
6.326 * [taylor]: Taking taylor expansion of z in z
6.326 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in y
6.326 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
6.326 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
6.326 * [taylor]: Taking taylor expansion of t in y
6.326 * [taylor]: Taking taylor expansion of (* z y) in y
6.326 * [taylor]: Taking taylor expansion of z in y
6.326 * [taylor]: Taking taylor expansion of y in y
6.327 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.327 * [taylor]: Taking taylor expansion of x in y
6.327 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y
6.327 * [taylor]: Taking taylor expansion of t in y
6.327 * [taylor]: Taking taylor expansion of (* x z) in y
6.327 * [taylor]: Taking taylor expansion of x in y
6.327 * [taylor]: Taking taylor expansion of z in y
6.327 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x
6.327 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
6.327 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
6.327 * [taylor]: Taking taylor expansion of t in x
6.327 * [taylor]: Taking taylor expansion of (* z y) in x
6.327 * [taylor]: Taking taylor expansion of z in x
6.327 * [taylor]: Taking taylor expansion of y in x
6.327 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.327 * [taylor]: Taking taylor expansion of x in x
6.327 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
6.327 * [taylor]: Taking taylor expansion of t in x
6.327 * [taylor]: Taking taylor expansion of (* x z) in x
6.328 * [taylor]: Taking taylor expansion of x in x
6.328 * [taylor]: Taking taylor expansion of z in x
6.328 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x
6.328 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
6.328 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
6.328 * [taylor]: Taking taylor expansion of t in x
6.328 * [taylor]: Taking taylor expansion of (* z y) in x
6.328 * [taylor]: Taking taylor expansion of z in x
6.328 * [taylor]: Taking taylor expansion of y in x
6.328 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.328 * [taylor]: Taking taylor expansion of x in x
6.329 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
6.329 * [taylor]: Taking taylor expansion of t in x
6.329 * [taylor]: Taking taylor expansion of (* x z) in x
6.329 * [taylor]: Taking taylor expansion of x in x
6.329 * [taylor]: Taking taylor expansion of z in x
6.330 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in y
6.330 * [taylor]: Taking taylor expansion of 1 in y
6.330 * [taylor]: Taking taylor expansion of (/ t z) in y
6.330 * [taylor]: Taking taylor expansion of t in y
6.330 * [taylor]: Taking taylor expansion of z in y
6.332 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
6.332 * [taylor]: Taking taylor expansion of t in y
6.332 * [taylor]: Taking taylor expansion of (* z y) in y
6.332 * [taylor]: Taking taylor expansion of z in y
6.332 * [taylor]: Taking taylor expansion of y in y
6.333 * [taylor]: Taking taylor expansion of (/ t z) in z
6.333 * [taylor]: Taking taylor expansion of t in z
6.333 * [taylor]: Taking taylor expansion of z in z
6.333 * [taylor]: Taking taylor expansion of t in t
6.333 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in z
6.333 * [taylor]: Taking taylor expansion of 1 in z
6.333 * [taylor]: Taking taylor expansion of (/ t z) in z
6.333 * [taylor]: Taking taylor expansion of t in z
6.333 * [taylor]: Taking taylor expansion of z in z
6.333 * [taylor]: Taking taylor expansion of (- t) in t
6.333 * [taylor]: Taking taylor expansion of t in t
6.336 * [taylor]: Taking taylor expansion of 0 in y
6.336 * [taylor]: Taking taylor expansion of 0 in z
6.337 * [taylor]: Taking taylor expansion of 0 in z
6.338 * [taylor]: Taking taylor expansion of 0 in t
6.339 * [taylor]: Taking taylor expansion of 1 in t
6.340 * [approximate]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in (x y z t) around 0
6.340 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in t
6.340 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t
6.340 * [taylor]: Taking taylor expansion of t in t
6.340 * [taylor]: Taking taylor expansion of (* x z) in t
6.340 * [taylor]: Taking taylor expansion of x in t
6.340 * [taylor]: Taking taylor expansion of z in t
6.340 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
6.340 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
6.340 * [taylor]: Taking taylor expansion of t in t
6.340 * [taylor]: Taking taylor expansion of (* z y) in t
6.340 * [taylor]: Taking taylor expansion of z in t
6.340 * [taylor]: Taking taylor expansion of y in t
6.340 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.340 * [taylor]: Taking taylor expansion of x in t
6.341 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in z
6.341 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z
6.341 * [taylor]: Taking taylor expansion of t in z
6.341 * [taylor]: Taking taylor expansion of (* x z) in z
6.341 * [taylor]: Taking taylor expansion of x in z
6.341 * [taylor]: Taking taylor expansion of z in z
6.341 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
6.341 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
6.341 * [taylor]: Taking taylor expansion of t in z
6.341 * [taylor]: Taking taylor expansion of (* z y) in z
6.341 * [taylor]: Taking taylor expansion of z in z
6.341 * [taylor]: Taking taylor expansion of y in z
6.342 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.342 * [taylor]: Taking taylor expansion of x in z
6.342 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in y
6.342 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y
6.342 * [taylor]: Taking taylor expansion of t in y
6.342 * [taylor]: Taking taylor expansion of (* x z) in y
6.342 * [taylor]: Taking taylor expansion of x in y
6.342 * [taylor]: Taking taylor expansion of z in y
6.342 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
6.342 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
6.342 * [taylor]: Taking taylor expansion of t in y
6.342 * [taylor]: Taking taylor expansion of (* z y) in y
6.342 * [taylor]: Taking taylor expansion of z in y
6.342 * [taylor]: Taking taylor expansion of y in y
6.342 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.342 * [taylor]: Taking taylor expansion of x in y
6.342 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x
6.342 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
6.342 * [taylor]: Taking taylor expansion of t in x
6.342 * [taylor]: Taking taylor expansion of (* x z) in x
6.343 * [taylor]: Taking taylor expansion of x in x
6.343 * [taylor]: Taking taylor expansion of z in x
6.343 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
6.343 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
6.343 * [taylor]: Taking taylor expansion of t in x
6.343 * [taylor]: Taking taylor expansion of (* z y) in x
6.343 * [taylor]: Taking taylor expansion of z in x
6.343 * [taylor]: Taking taylor expansion of y in x
6.343 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.343 * [taylor]: Taking taylor expansion of x in x
6.343 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x
6.344 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
6.344 * [taylor]: Taking taylor expansion of t in x
6.344 * [taylor]: Taking taylor expansion of (* x z) in x
6.344 * [taylor]: Taking taylor expansion of x in x
6.344 * [taylor]: Taking taylor expansion of z in x
6.344 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
6.344 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
6.344 * [taylor]: Taking taylor expansion of t in x
6.344 * [taylor]: Taking taylor expansion of (* z y) in x
6.344 * [taylor]: Taking taylor expansion of z in x
6.344 * [taylor]: Taking taylor expansion of y in x
6.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.344 * [taylor]: Taking taylor expansion of x in x
6.345 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in y
6.345 * [taylor]: Taking taylor expansion of (/ t z) in y
6.345 * [taylor]: Taking taylor expansion of t in y
6.345 * [taylor]: Taking taylor expansion of z in y
6.345 * [taylor]: Taking taylor expansion of 1 in y
6.347 * [taylor]: Taking taylor expansion of (- (/ t (* z y))) in y
6.347 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
6.347 * [taylor]: Taking taylor expansion of t in y
6.347 * [taylor]: Taking taylor expansion of (* z y) in y
6.347 * [taylor]: Taking taylor expansion of z in y
6.347 * [taylor]: Taking taylor expansion of y in y
6.347 * [taylor]: Taking taylor expansion of (- (/ t z)) in z
6.347 * [taylor]: Taking taylor expansion of (/ t z) in z
6.347 * [taylor]: Taking taylor expansion of t in z
6.347 * [taylor]: Taking taylor expansion of z in z
6.348 * [taylor]: Taking taylor expansion of (- t) in t
6.348 * [taylor]: Taking taylor expansion of t in t
6.348 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in z
6.348 * [taylor]: Taking taylor expansion of (/ t z) in z
6.348 * [taylor]: Taking taylor expansion of t in z
6.348 * [taylor]: Taking taylor expansion of z in z
6.348 * [taylor]: Taking taylor expansion of 1 in z
6.348 * [taylor]: Taking taylor expansion of t in t
6.351 * [taylor]: Taking taylor expansion of 0 in y
6.352 * [taylor]: Taking taylor expansion of 0 in z
6.352 * [taylor]: Taking taylor expansion of 0 in z
6.353 * [taylor]: Taking taylor expansion of 0 in t
6.354 * [taylor]: Taking taylor expansion of -1 in t
6.355 * * * [progress]: simplifying candidates
6.356 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (- y x) (/ z t)))
  (log1p (* (- y x) (/ z t)))
  (* (- y x) (/ z t))
  (+ (log (- y x)) (- (log z) (log t)))
  (+ (log (- y x)) (log (/ z t)))
  (log (* (- y x) (/ z t)))
  (exp (* (- y x) (/ z t)))
  (* (* (* (- y x) (- y x)) (- y x)) (/ (* (* z z) z) (* (* t t) t)))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* (/ z t) (/ z t)) (/ z t)))
  (* (cbrt (* (- y x) (/ z t))) (cbrt (* (- y x) (/ z t))))
  (cbrt (* (- y x) (/ z t)))
  (* (* (* (- y x) (/ z t)) (* (- y x) (/ z t))) (* (- y x) (/ z t)))
  (sqrt (* (- y x) (/ z t)))
  (sqrt (* (- y x) (/ z t)))
  (* (- (pow y 3) (pow x 3)) z)
  (* (+ (* y y) (+ (* x x) (* y x))) t)
  (* (- (* y y) (* x x)) z)
  (* (+ y x) t)
  (* (sqrt (- y x)) (sqrt (/ z t)))
  (* (sqrt (- y x)) (sqrt (/ z t)))
  (* (sqrt (- y x)) (/ (sqrt z) (sqrt t)))
  (* (sqrt (- y x)) (/ (sqrt z) (sqrt t)))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- y x) (sqrt (/ z t)))
  (* (- y x) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (* (- y x) (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (* (- y x) (/ (* (cbrt z) (cbrt z)) 1))
  (* (- y x) (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (* (- y x) (/ (sqrt z) (sqrt t)))
  (* (- y x) (/ (sqrt z) 1))
  (* (- y x) (/ 1 (* (cbrt t) (cbrt t))))
  (* (- y x) (/ 1 (sqrt t)))
  (* (- y x) (/ 1 1))
  (* (- y x) 1)
  (* (- y x) z)
  (* (cbrt (- y x)) (/ z t))
  (* (sqrt (- y x)) (/ z t))
  (* (- y x) (/ z t))
  (* (- (sqrt y) (sqrt x)) (/ z t))
  (* (- y x) (/ z t))
  (* (- y x) z)
  (* (- (pow y 3) (pow x 3)) (/ z t))
  (* (- (* y y) (* x x)) (/ z t))
  (expm1 (+ x (* (- y x) (/ z t))))
  (log1p (+ x (* (- y x) (/ z t))))
  (* (exp x) (exp (* (- y x) (/ z t))))
  (log (+ x (* (- y x) (/ z t))))
  (exp (+ x (* (- y x) (/ z t))))
  (* (cbrt (+ x (* (- y x) (/ z t)))) (cbrt (+ x (* (- y x) (/ z t)))))
  (cbrt (+ x (* (- y x) (/ z t))))
  (* (* (+ x (* (- y x) (/ z t))) (+ x (* (- y x) (/ z t)))) (+ x (* (- y x) (/ z t))))
  (sqrt (+ x (* (- y x) (/ z t))))
  (sqrt (+ x (* (- y x) (/ z t))))
  (+ (pow x 3) (pow (* (- y x) (/ z t)) 3))
  (+ (* x x) (- (* (* (- y x) (/ z t)) (* (- y x) (/ z t))) (* x (* (- y x) (/ z t)))))
  (- (* x x) (* (* (- y x) (/ z t)) (* (- y x) (/ z t))))
  (- x (* (- y x) (/ z t)))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (+ (/ (* z y) t) x) (/ (* x z) t))
  (- (+ (/ (* z y) t) x) (/ (* x z) t))
  (- (+ (/ (* z y) t) x) (/ (* x z) t))
6.359 * * [simplify]: iteration  0 :  119  enodes  (cost  705 )
6.384 * * [simplify]: iteration  1 :  307  enodes  (cost  661 )
6.496 * * [simplify]: iteration  2 :  1095  enodes  (cost  603 )
7.801 * * [simplify]: iteration  done :  5000  enodes  (cost  576 )
7.801 * [simplify]: Simplified to:
   (expm1 (* (- y x) (/ z t)))
  (log1p (* (- y x) (/ z t)))
  (/ (* (- y x) z) t)
  (log (* (- y x) (/ z t)))
  (log (* (- y x) (/ z t)))
  (log (* (- y x) (/ z t)))
  (exp (* (- y x) (/ z t)))
  (pow (* (- y x) (/ z t)) 3)
  (pow (* (- y x) (/ z t)) 3)
  (* (cbrt (* (- y x) (/ z t))) (cbrt (* (- y x) (/ z t))))
  (cbrt (* (- y x) (/ z t)))
  (pow (* (- y x) (/ z t)) 3)
  (sqrt (* (- y x) (/ z t)))
  (sqrt (* (- y x) (/ z t)))
  (* (- (pow y 3) (pow x 3)) z)
  (* (fma y y (* x (+ y x))) t)
  (* (- (* y y) (* x x)) z)
  (* (+ y x) t)
  (* (sqrt (- y x)) (sqrt (/ z t)))
  (* (sqrt (- y x)) (sqrt (/ z t)))
  (* (sqrt (- y x)) (/ (sqrt z) (sqrt t)))
  (* (sqrt (- y x)) (/ (sqrt z) (sqrt t)))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- y x) (sqrt (/ z t)))
  (* (- y x) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (* (- y x) (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (* (* (cbrt z) (cbrt z)) (- y x))
  (* (- y x) (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (* (- y x) (/ (sqrt z) (sqrt t)))
  (* (- y x) (sqrt z))
  (/ (- y x) (* (cbrt t) (cbrt t)))
  (/ (- y x) (sqrt t))
  (- y x)
  (- y x)
  (* (- y x) z)
  (* (cbrt (- y x)) (/ z t))
  (* (sqrt (- y x)) (/ z t))
  (/ (* (- y x) z) t)
  (* (- (sqrt y) (sqrt x)) (/ z t))
  (/ (* (- y x) z) t)
  (* (- y x) z)
  (* (- (pow y 3) (pow x 3)) (/ z t))
  (* (- (* y y) (* x x)) (/ z t))
  (expm1 (fma (- y x) (/ z t) x))
  (log1p (fma (- y x) (/ z t) x))
  (exp (fma (- y x) (/ z t) x))
  (log (fma (- y x) (/ z t) x))
  (exp (fma (- y x) (/ z t) x))
  (* (cbrt (fma (- y x) (/ z t) x)) (cbrt (fma (- y x) (/ z t) x)))
  (cbrt (fma (- y x) (/ z t) x))
  (pow (fma (- y x) (/ z t) x) 3)
  (sqrt (fma (- y x) (/ z t) x))
  (sqrt (fma (- y x) (/ z t) x))
  (+ (pow x 3) (pow (* (- y x) (/ z t)) 3))
  (fma x x (* (* (- y x) (/ z t)) (- (* (- y x) (/ z t)) x)))
  (* (fma (- y x) (/ z t) x) (- x (* (- y x) (/ z t))))
  (- x (* (- y x) (/ z t)))
  (/ (* (- y x) z) t)
  (/ (* (- y x) z) t)
  (/ (* (- y x) z) t)
  (fma (/ z t) (- y x) x)
  (fma (/ z t) (- y x) x)
  (fma (/ z t) (- y x) x)
7.801 * * * [progress]: adding candidates to table
7.958 * * [progress]: iteration 2 / 4
7.958 * * * [progress]: picking best candidate
7.974 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))>
7.974 * * * [progress]: localizing error
7.985 * * * [progress]: generating rewritten candidates
7.985 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
8.016 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2)
8.017 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2)
8.017 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1)
8.021 * * * [progress]: generating series expansions
8.021 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
8.021 * [approximate]: Taking taylor expansion of (/ (* (- y x) z) t) in (y x t z) around 0
8.021 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in z
8.021 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
8.022 * [taylor]: Taking taylor expansion of (- y x) in z
8.022 * [taylor]: Taking taylor expansion of y in z
8.022 * [taylor]: Taking taylor expansion of x in z
8.022 * [taylor]: Taking taylor expansion of z in z
8.022 * [taylor]: Taking taylor expansion of t in z
8.023 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in t
8.023 * [taylor]: Taking taylor expansion of (* (- y x) z) in t
8.023 * [taylor]: Taking taylor expansion of (- y x) in t
8.023 * [taylor]: Taking taylor expansion of y in t
8.023 * [taylor]: Taking taylor expansion of x in t
8.023 * [taylor]: Taking taylor expansion of z in t
8.023 * [taylor]: Taking taylor expansion of t in t
8.023 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in x
8.023 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
8.023 * [taylor]: Taking taylor expansion of (- y x) in x
8.023 * [taylor]: Taking taylor expansion of y in x
8.023 * [taylor]: Taking taylor expansion of x in x
8.023 * [taylor]: Taking taylor expansion of z in x
8.023 * [taylor]: Taking taylor expansion of t in x
8.024 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y
8.024 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
8.024 * [taylor]: Taking taylor expansion of (- y x) in y
8.024 * [taylor]: Taking taylor expansion of y in y
8.024 * [taylor]: Taking taylor expansion of x in y
8.024 * [taylor]: Taking taylor expansion of z in y
8.024 * [taylor]: Taking taylor expansion of t in y
8.024 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y
8.024 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
8.024 * [taylor]: Taking taylor expansion of (- y x) in y
8.024 * [taylor]: Taking taylor expansion of y in y
8.024 * [taylor]: Taking taylor expansion of x in y
8.024 * [taylor]: Taking taylor expansion of z in y
8.024 * [taylor]: Taking taylor expansion of t in y
8.024 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) t)) in x
8.024 * [taylor]: Taking taylor expansion of -1 in x
8.024 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x
8.024 * [taylor]: Taking taylor expansion of (* x z) in x
8.024 * [taylor]: Taking taylor expansion of x in x
8.024 * [taylor]: Taking taylor expansion of z in x
8.024 * [taylor]: Taking taylor expansion of t in x
8.025 * [taylor]: Taking taylor expansion of (/ z t) in x
8.025 * [taylor]: Taking taylor expansion of z in x
8.025 * [taylor]: Taking taylor expansion of t in x
8.025 * [taylor]: Taking taylor expansion of (/ z t) in t
8.025 * [taylor]: Taking taylor expansion of z in t
8.025 * [taylor]: Taking taylor expansion of t in t
8.025 * [taylor]: Taking taylor expansion of z in z
8.026 * [taylor]: Taking taylor expansion of (* -1 (/ z t)) in t
8.026 * [taylor]: Taking taylor expansion of -1 in t
8.026 * [taylor]: Taking taylor expansion of (/ z t) in t
8.026 * [taylor]: Taking taylor expansion of z in t
8.026 * [taylor]: Taking taylor expansion of t in t
8.026 * [taylor]: Taking taylor expansion of (* -1 z) in z
8.026 * [taylor]: Taking taylor expansion of -1 in z
8.026 * [taylor]: Taking taylor expansion of z in z
8.027 * [taylor]: Taking taylor expansion of 0 in x
8.027 * [taylor]: Taking taylor expansion of 0 in t
8.028 * [taylor]: Taking taylor expansion of 0 in t
8.029 * [taylor]: Taking taylor expansion of 0 in t
8.029 * [taylor]: Taking taylor expansion of 0 in z
8.030 * [taylor]: Taking taylor expansion of 0 in z
8.032 * [taylor]: Taking taylor expansion of 0 in x
8.032 * [taylor]: Taking taylor expansion of 0 in t
8.032 * [taylor]: Taking taylor expansion of 0 in t
8.033 * [taylor]: Taking taylor expansion of 0 in t
8.034 * [taylor]: Taking taylor expansion of 0 in t
8.034 * [taylor]: Taking taylor expansion of 0 in z
8.034 * [taylor]: Taking taylor expansion of 0 in z
8.035 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in (y x t z) around 0
8.035 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z
8.035 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z
8.035 * [taylor]: Taking taylor expansion of t in z
8.035 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
8.035 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.035 * [taylor]: Taking taylor expansion of y in z
8.035 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.035 * [taylor]: Taking taylor expansion of x in z
8.035 * [taylor]: Taking taylor expansion of z in z
8.035 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in t
8.035 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t
8.035 * [taylor]: Taking taylor expansion of t in t
8.035 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t
8.035 * [taylor]: Taking taylor expansion of (/ 1 y) in t
8.035 * [taylor]: Taking taylor expansion of y in t
8.035 * [taylor]: Taking taylor expansion of (/ 1 x) in t
8.035 * [taylor]: Taking taylor expansion of x in t
8.035 * [taylor]: Taking taylor expansion of z in t
8.037 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in x
8.037 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in x
8.037 * [taylor]: Taking taylor expansion of t in x
8.037 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
8.037 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.037 * [taylor]: Taking taylor expansion of y in x
8.037 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.037 * [taylor]: Taking taylor expansion of x in x
8.037 * [taylor]: Taking taylor expansion of z in x
8.038 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y
8.038 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y
8.038 * [taylor]: Taking taylor expansion of t in y
8.038 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
8.038 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.038 * [taylor]: Taking taylor expansion of y in y
8.038 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.038 * [taylor]: Taking taylor expansion of x in y
8.038 * [taylor]: Taking taylor expansion of z in y
8.039 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y
8.039 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y
8.039 * [taylor]: Taking taylor expansion of t in y
8.039 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
8.039 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.039 * [taylor]: Taking taylor expansion of y in y
8.039 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.039 * [taylor]: Taking taylor expansion of x in y
8.039 * [taylor]: Taking taylor expansion of z in y
8.040 * [taylor]: Taking taylor expansion of (/ t z) in x
8.040 * [taylor]: Taking taylor expansion of t in x
8.040 * [taylor]: Taking taylor expansion of z in x
8.041 * [taylor]: Taking taylor expansion of (- (/ t (* x z))) in x
8.041 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
8.041 * [taylor]: Taking taylor expansion of t in x
8.041 * [taylor]: Taking taylor expansion of (* x z) in x
8.041 * [taylor]: Taking taylor expansion of x in x
8.041 * [taylor]: Taking taylor expansion of z in x
8.041 * [taylor]: Taking taylor expansion of (- (/ t z)) in t
8.041 * [taylor]: Taking taylor expansion of (/ t z) in t
8.041 * [taylor]: Taking taylor expansion of t in t
8.041 * [taylor]: Taking taylor expansion of z in t
8.041 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
8.041 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.041 * [taylor]: Taking taylor expansion of z in z
8.042 * [taylor]: Taking taylor expansion of (/ t z) in t
8.042 * [taylor]: Taking taylor expansion of t in t
8.042 * [taylor]: Taking taylor expansion of z in t
8.042 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.042 * [taylor]: Taking taylor expansion of z in z
8.047 * [taylor]: Taking taylor expansion of 0 in x
8.048 * [taylor]: Taking taylor expansion of 0 in t
8.048 * [taylor]: Taking taylor expansion of 0 in z
8.049 * [taylor]: Taking taylor expansion of 0 in t
8.049 * [taylor]: Taking taylor expansion of 0 in z
8.049 * [taylor]: Taking taylor expansion of 0 in z
8.049 * [taylor]: Taking taylor expansion of 0 in z
8.052 * [taylor]: Taking taylor expansion of 0 in x
8.052 * [taylor]: Taking taylor expansion of 0 in t
8.052 * [taylor]: Taking taylor expansion of 0 in z
8.053 * [taylor]: Taking taylor expansion of 0 in t
8.053 * [taylor]: Taking taylor expansion of 0 in z
8.054 * [taylor]: Taking taylor expansion of 0 in t
8.054 * [taylor]: Taking taylor expansion of 0 in z
8.054 * [taylor]: Taking taylor expansion of 0 in z
8.054 * [taylor]: Taking taylor expansion of 0 in z
8.054 * [taylor]: Taking taylor expansion of 0 in z
8.054 * [taylor]: Taking taylor expansion of 0 in z
8.055 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in (y x t z) around 0
8.055 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in z
8.055 * [taylor]: Taking taylor expansion of -1 in z
8.055 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in z
8.055 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in z
8.055 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
8.055 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.055 * [taylor]: Taking taylor expansion of x in z
8.055 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.055 * [taylor]: Taking taylor expansion of y in z
8.055 * [taylor]: Taking taylor expansion of t in z
8.055 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in z
8.055 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
8.055 * [taylor]: Taking taylor expansion of (cbrt -1) in z
8.055 * [taylor]: Taking taylor expansion of -1 in z
8.056 * [taylor]: Taking taylor expansion of z in z
8.063 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in t
8.063 * [taylor]: Taking taylor expansion of -1 in t
8.063 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in t
8.063 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in t
8.063 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t
8.063 * [taylor]: Taking taylor expansion of (/ 1 x) in t
8.063 * [taylor]: Taking taylor expansion of x in t
8.064 * [taylor]: Taking taylor expansion of (/ 1 y) in t
8.064 * [taylor]: Taking taylor expansion of y in t
8.064 * [taylor]: Taking taylor expansion of t in t
8.064 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in t
8.064 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t
8.064 * [taylor]: Taking taylor expansion of (cbrt -1) in t
8.064 * [taylor]: Taking taylor expansion of -1 in t
8.065 * [taylor]: Taking taylor expansion of z in t
8.069 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in x
8.069 * [taylor]: Taking taylor expansion of -1 in x
8.069 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in x
8.069 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in x
8.069 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
8.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.069 * [taylor]: Taking taylor expansion of x in x
8.069 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.069 * [taylor]: Taking taylor expansion of y in x
8.070 * [taylor]: Taking taylor expansion of t in x
8.070 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in x
8.070 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
8.070 * [taylor]: Taking taylor expansion of (cbrt -1) in x
8.070 * [taylor]: Taking taylor expansion of -1 in x
8.070 * [taylor]: Taking taylor expansion of z in x
8.074 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in y
8.074 * [taylor]: Taking taylor expansion of -1 in y
8.074 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in y
8.074 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y
8.074 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
8.074 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.074 * [taylor]: Taking taylor expansion of x in y
8.074 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.074 * [taylor]: Taking taylor expansion of y in y
8.074 * [taylor]: Taking taylor expansion of t in y
8.074 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y
8.074 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
8.074 * [taylor]: Taking taylor expansion of (cbrt -1) in y
8.074 * [taylor]: Taking taylor expansion of -1 in y
8.075 * [taylor]: Taking taylor expansion of z in y
8.079 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in y
8.079 * [taylor]: Taking taylor expansion of -1 in y
8.079 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in y
8.079 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y
8.079 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
8.079 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.079 * [taylor]: Taking taylor expansion of x in y
8.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.079 * [taylor]: Taking taylor expansion of y in y
8.079 * [taylor]: Taking taylor expansion of t in y
8.079 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y
8.079 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
8.079 * [taylor]: Taking taylor expansion of (cbrt -1) in y
8.079 * [taylor]: Taking taylor expansion of -1 in y
8.080 * [taylor]: Taking taylor expansion of z in y
8.085 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in x
8.085 * [taylor]: Taking taylor expansion of -1 in x
8.085 * [taylor]: Taking taylor expansion of (/ t z) in x
8.085 * [taylor]: Taking taylor expansion of t in x
8.085 * [taylor]: Taking taylor expansion of z in x
8.088 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
8.088 * [taylor]: Taking taylor expansion of t in x
8.088 * [taylor]: Taking taylor expansion of (* x z) in x
8.088 * [taylor]: Taking taylor expansion of x in x
8.088 * [taylor]: Taking taylor expansion of z in x
8.089 * [taylor]: Taking taylor expansion of (/ t z) in t
8.089 * [taylor]: Taking taylor expansion of t in t
8.089 * [taylor]: Taking taylor expansion of z in t
8.089 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.089 * [taylor]: Taking taylor expansion of z in z
8.089 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in t
8.089 * [taylor]: Taking taylor expansion of -1 in t
8.089 * [taylor]: Taking taylor expansion of (/ t z) in t
8.089 * [taylor]: Taking taylor expansion of t in t
8.089 * [taylor]: Taking taylor expansion of z in t
8.089 * [taylor]: Taking taylor expansion of (/ -1 z) in z
8.089 * [taylor]: Taking taylor expansion of -1 in z
8.089 * [taylor]: Taking taylor expansion of z in z
8.095 * [taylor]: Taking taylor expansion of 0 in x
8.096 * [taylor]: Taking taylor expansion of 0 in t
8.096 * [taylor]: Taking taylor expansion of 0 in z
8.096 * [taylor]: Taking taylor expansion of 0 in t
8.096 * [taylor]: Taking taylor expansion of 0 in z
8.096 * [taylor]: Taking taylor expansion of 0 in z
8.097 * [taylor]: Taking taylor expansion of 0 in z
8.103 * [taylor]: Taking taylor expansion of 0 in x
8.104 * [taylor]: Taking taylor expansion of 0 in t
8.104 * [taylor]: Taking taylor expansion of 0 in z
8.105 * [taylor]: Taking taylor expansion of 0 in t
8.105 * [taylor]: Taking taylor expansion of 0 in z
8.105 * [taylor]: Taking taylor expansion of 0 in t
8.105 * [taylor]: Taking taylor expansion of 0 in z
8.105 * [taylor]: Taking taylor expansion of 0 in z
8.105 * [taylor]: Taking taylor expansion of 0 in z
8.106 * [taylor]: Taking taylor expansion of 0 in z
8.106 * [taylor]: Taking taylor expansion of 0 in z
8.107 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2)
8.107 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
8.107 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
8.107 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
8.107 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
8.107 * [taylor]: Taking taylor expansion of 1/3 in t
8.107 * [taylor]: Taking taylor expansion of (log t) in t
8.107 * [taylor]: Taking taylor expansion of t in t
8.108 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
8.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
8.108 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
8.108 * [taylor]: Taking taylor expansion of 1/3 in t
8.108 * [taylor]: Taking taylor expansion of (log t) in t
8.108 * [taylor]: Taking taylor expansion of t in t
8.162 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
8.162 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.162 * [taylor]: Taking taylor expansion of 1/3 in t
8.162 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.162 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.162 * [taylor]: Taking taylor expansion of t in t
8.163 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.163 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.164 * [taylor]: Taking taylor expansion of 1/3 in t
8.164 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.164 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.164 * [taylor]: Taking taylor expansion of t in t
8.222 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0
8.222 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
8.222 * [taylor]: Taking taylor expansion of (cbrt -1) in t
8.222 * [taylor]: Taking taylor expansion of -1 in t
8.223 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.223 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.223 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.223 * [taylor]: Taking taylor expansion of 1/3 in t
8.223 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.223 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.223 * [taylor]: Taking taylor expansion of t in t
8.224 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
8.224 * [taylor]: Taking taylor expansion of (cbrt -1) in t
8.224 * [taylor]: Taking taylor expansion of -1 in t
8.225 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.225 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.225 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.225 * [taylor]: Taking taylor expansion of 1/3 in t
8.225 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.225 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.225 * [taylor]: Taking taylor expansion of t in t
8.298 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2)
8.298 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
8.298 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
8.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
8.298 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
8.298 * [taylor]: Taking taylor expansion of 1/3 in t
8.298 * [taylor]: Taking taylor expansion of (log t) in t
8.298 * [taylor]: Taking taylor expansion of t in t
8.299 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
8.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
8.299 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
8.299 * [taylor]: Taking taylor expansion of 1/3 in t
8.299 * [taylor]: Taking taylor expansion of (log t) in t
8.299 * [taylor]: Taking taylor expansion of t in t
8.350 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
8.350 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.350 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.350 * [taylor]: Taking taylor expansion of 1/3 in t
8.350 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.350 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.350 * [taylor]: Taking taylor expansion of t in t
8.351 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.351 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.351 * [taylor]: Taking taylor expansion of 1/3 in t
8.351 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.351 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.351 * [taylor]: Taking taylor expansion of t in t
8.412 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0
8.412 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
8.412 * [taylor]: Taking taylor expansion of (cbrt -1) in t
8.412 * [taylor]: Taking taylor expansion of -1 in t
8.413 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.413 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.413 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.413 * [taylor]: Taking taylor expansion of 1/3 in t
8.413 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.413 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.413 * [taylor]: Taking taylor expansion of t in t
8.414 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
8.414 * [taylor]: Taking taylor expansion of (cbrt -1) in t
8.414 * [taylor]: Taking taylor expansion of -1 in t
8.415 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.415 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.415 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.415 * [taylor]: Taking taylor expansion of 1/3 in t
8.415 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.415 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.415 * [taylor]: Taking taylor expansion of t in t
8.488 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1)
8.488 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
8.488 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
8.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
8.488 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
8.488 * [taylor]: Taking taylor expansion of 1/3 in t
8.488 * [taylor]: Taking taylor expansion of (log t) in t
8.488 * [taylor]: Taking taylor expansion of t in t
8.488 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
8.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
8.489 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
8.489 * [taylor]: Taking taylor expansion of 1/3 in t
8.489 * [taylor]: Taking taylor expansion of (log t) in t
8.489 * [taylor]: Taking taylor expansion of t in t
8.545 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
8.545 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.545 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.545 * [taylor]: Taking taylor expansion of 1/3 in t
8.545 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.545 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.545 * [taylor]: Taking taylor expansion of t in t
8.546 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.547 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.547 * [taylor]: Taking taylor expansion of 1/3 in t
8.547 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.547 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.547 * [taylor]: Taking taylor expansion of t in t
8.601 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0
8.601 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
8.601 * [taylor]: Taking taylor expansion of (cbrt -1) in t
8.601 * [taylor]: Taking taylor expansion of -1 in t
8.602 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.602 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.602 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.602 * [taylor]: Taking taylor expansion of 1/3 in t
8.602 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.602 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.602 * [taylor]: Taking taylor expansion of t in t
8.603 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
8.603 * [taylor]: Taking taylor expansion of (cbrt -1) in t
8.603 * [taylor]: Taking taylor expansion of -1 in t
8.604 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.604 * [taylor]: Taking taylor expansion of 1/3 in t
8.604 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.604 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.604 * [taylor]: Taking taylor expansion of t in t
8.677 * * * [progress]: simplifying candidates
8.679 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))))
  (log1p (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
  (+ (- (log (- y x)) (+ (log (cbrt t)) (log (cbrt t)))) (- (log z) (log (cbrt t))))
  (+ (- (log (- y x)) (+ (log (cbrt t)) (log (cbrt t)))) (log (/ z (cbrt t))))
  (+ (- (log (- y x)) (log (* (cbrt t) (cbrt t)))) (- (log z) (log (cbrt t))))
  (+ (- (log (- y x)) (log (* (cbrt t) (cbrt t)))) (log (/ z (cbrt t))))
  (+ (log (/ (- y x) (* (cbrt t) (cbrt t)))) (- (log z) (log (cbrt t))))
  (+ (log (/ (- y x) (* (cbrt t) (cbrt t)))) (log (/ z (cbrt t))))
  (log (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))))
  (exp (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))))
  (* (/ (* (* (- y x) (- y x)) (- y x)) (* t t)) (/ (* (* z z) z) t))
  (* (/ (* (* (- y x) (- y x)) (- y x)) (* t t)) (* (* (/ z (cbrt t)) (/ z (cbrt t))) (/ z (cbrt t))))
  (* (/ (* (* (- y x) (- y x)) (- y x)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))) (/ (* (* z z) z) t))
  (* (/ (* (* (- y x) (- y x)) (- y x)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))) (* (* (/ z (cbrt t)) (/ z (cbrt t))) (/ z (cbrt t))))
  (* (* (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (* (* z z) z) t))
  (* (* (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (- y x) (* (cbrt t) (cbrt t)))) (* (* (/ z (cbrt t)) (/ z (cbrt t))) (/ z (cbrt t))))
  (* (cbrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (cbrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))
  (cbrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))))
  (* (* (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))))
  (sqrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))))
  (sqrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))))
  (* (- y x) z)
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (sqrt (/ z (cbrt t))))
  (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (sqrt (/ z (cbrt t))))
  (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (sqrt z) (cbrt (sqrt t))))
  (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (sqrt z) (cbrt (sqrt t))))
  (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (sqrt z) (sqrt (cbrt t))))
  (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (sqrt z) (sqrt (cbrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (sqrt (/ z (cbrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (sqrt (/ z (cbrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (cbrt (sqrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (cbrt (sqrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (sqrt (cbrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (sqrt (cbrt t))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (* (cbrt (/ z (cbrt t))) (cbrt (/ z (cbrt t)))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (sqrt (/ z (cbrt t))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (cbrt (* (cbrt t) (cbrt t)))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (cbrt (sqrt t))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (cbrt 1)))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt (cbrt t)) (cbrt (cbrt t)))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt (cbrt t))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) 1))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (cbrt (* (cbrt t) (cbrt t)))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (cbrt (sqrt t))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (cbrt 1)))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (* (cbrt (cbrt t)) (cbrt (cbrt t)))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (sqrt (cbrt t))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) 1))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (cbrt (* (cbrt t) (cbrt t)))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (cbrt (sqrt t))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (cbrt 1)))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (* (cbrt (cbrt t)) (cbrt (cbrt t)))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (sqrt (cbrt t))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 1))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) 1)
  (* (/ (- y x) (* (cbrt t) (cbrt t))) z)
  (* (cbrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ z (cbrt t)))
  (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ z (cbrt t)))
  (* (/ (cbrt (- y x)) (cbrt t)) (/ z (cbrt t)))
  (* (/ (sqrt (- y x)) (cbrt t)) (/ z (cbrt t)))
  (* (/ (- y x) (cbrt t)) (/ z (cbrt t)))
  (* (/ (- (sqrt y) (sqrt x)) (cbrt t)) (/ z (cbrt t)))
  (* (/ (- y x) (cbrt t)) (/ z (cbrt t)))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
  (* (/ 1 (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) z)
  (* (- y x) (/ z (cbrt t)))
  (expm1 (cbrt t))
  (log1p (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (expm1 (cbrt t))
  (log1p (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (expm1 (cbrt t))
  (log1p (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  (pow t 1/3)
  (pow (/ 1 t) -1/3)
  (* (pow (* -1 t) 1/3) (cbrt -1))
  (pow t 1/3)
  (pow (/ 1 t) -1/3)
  (* (pow (* -1 t) 1/3) (cbrt -1))
  (pow t 1/3)
  (pow (/ 1 t) -1/3)
  (* (pow (* -1 t) 1/3) (cbrt -1))
8.684 * * [simplify]: iteration  0 :  155  enodes  (cost  1459 )
8.725 * * [simplify]: iteration  1 :  461  enodes  (cost  1403 )
8.934 * * [simplify]: iteration  2 :  1918  enodes  (cost  1075 )
9.624 * * [simplify]: iteration  done :  5000  enodes  (cost  1067 )
9.625 * [simplify]: Simplified to:
   (expm1 (/ (* (- y x) z) (pow (cbrt t) 3)))
  (log1p (/ (* (- y x) z) (pow (cbrt t) 3)))
  (/ (* (- y x) z) (pow (cbrt t) 3))
  (log (/ (* (- y x) z) (pow (cbrt t) 3)))
  (log (/ (* (- y x) z) (pow (cbrt t) 3)))
  (log (/ (* (- y x) z) (pow (cbrt t) 3)))
  (log (/ (* (- y x) z) (pow (cbrt t) 3)))
  (log (/ (* (- y x) z) (pow (cbrt t) 3)))
  (log (/ (* (- y x) z) (pow (cbrt t) 3)))
  (log (/ (* (- y x) z) (pow (cbrt t) 3)))
  (exp (/ (* (- y x) z) (pow (cbrt t) 3)))
  (* (/ (pow z 3) t) (/ (pow (- y x) 3) (* t t)))
  (* (/ (pow (- y x) 3) (* t t)) (pow (/ z (cbrt t)) 3))
  (* (pow (/ (- y x) (pow t 2/3)) 3) (/ (pow z 3) t))
  (pow (/ (* (- y x) z) (pow (cbrt t) 3)) 3)
  (* (pow (/ (- y x) (pow t 2/3)) 3) (/ (pow z 3) t))
  (pow (/ (* (- y x) z) (pow (cbrt t) 3)) 3)
  (* (cbrt (/ (* (- y x) z) (pow (cbrt t) 3))) (cbrt (/ (* (- y x) z) (pow (cbrt t) 3))))
  (cbrt (/ (* (- y x) z) (pow (cbrt t) 3)))
  (pow (/ (* (- y x) z) (pow (cbrt t) 3)) 3)
  (sqrt (/ (* (- y x) z) (pow (cbrt t) 3)))
  (sqrt (/ (* (- y x) z) (pow (cbrt t) 3)))
  (* (- y x) z)
  (pow (cbrt t) 3)
  (* (sqrt (/ (- y x) (pow t 2/3))) (sqrt (/ z (cbrt t))))
  (* (sqrt (/ (- y x) (pow t 2/3))) (sqrt (/ z (cbrt t))))
  (* (sqrt (/ (- y x) (pow t 2/3))) (/ (sqrt z) (cbrt (sqrt t))))
  (* (sqrt (/ (- y x) (pow t 2/3))) (/ (sqrt z) (cbrt (sqrt t))))
  (* (sqrt (/ (- y x) (pow t 2/3))) (/ (sqrt z) (sqrt (cbrt t))))
  (* (sqrt (/ (- y x) (pow t 2/3))) (/ (sqrt z) (sqrt (cbrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (sqrt (/ z (cbrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (sqrt (/ z (cbrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (cbrt (sqrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (cbrt (sqrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (sqrt (cbrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (sqrt (cbrt t))))
  (/ (* (- y x) (* (cbrt (/ z (cbrt t))) (cbrt (/ z (cbrt t))))) (pow t 2/3))
  (/ (* (- y x) (sqrt (/ z (cbrt t)))) (pow t 2/3))
  (/ (/ (* (- y x) (* (cbrt z) (cbrt z))) (cbrt (pow t 2/3))) (pow t 2/3))
  (/ (* (- y x) (/ (* (cbrt z) (cbrt z)) (cbrt (sqrt t)))) (pow t 2/3))
  (/ (- y x) (/ (pow t 2/3) (* (cbrt z) (cbrt z))))
  (/ (* (- y x) (* (cbrt z) (cbrt z))) (* (* (cbrt (cbrt t)) (cbrt (cbrt t))) (pow t 2/3)))
  (/ (* (- y x) (/ (* (cbrt z) (cbrt z)) (sqrt (cbrt t)))) (pow t 2/3))
  (/ (- y x) (/ (pow t 2/3) (* (cbrt z) (cbrt z))))
  (/ (/ (* (- y x) (sqrt z)) (pow t 2/3)) (cbrt (pow t 2/3)))
  (/ (* (- y x) (sqrt z)) (* (cbrt (sqrt t)) (pow t 2/3)))
  (/ (* (- y x) (sqrt z)) (pow t 2/3))
  (/ (* (- y x) (/ (sqrt z) (* (cbrt (cbrt t)) (cbrt (cbrt t))))) (pow t 2/3))
  (/ (/ (* (- y x) (sqrt z)) (pow t 2/3)) (sqrt (cbrt t)))
  (/ (* (- y x) (sqrt z)) (pow t 2/3))
  (/ (/ (- y x) (pow t 2/3)) (cbrt (pow t 2/3)))
  (/ (- y x) (* (cbrt (sqrt t)) (pow t 2/3)))
  (/ (- y x) (pow t 2/3))
  (/ (/ (- y x) (pow t 2/3)) (* (cbrt (cbrt t)) (cbrt (cbrt t))))
  (/ (/ (- y x) (sqrt (cbrt t))) (pow t 2/3))
  (/ (- y x) (pow t 2/3))
  (/ (- y x) (pow t 2/3))
  (/ z (/ (pow t 2/3) (- y x)))
  (* (cbrt (/ (- y x) (pow t 2/3))) (/ z (cbrt t)))
  (* (/ z (cbrt t)) (sqrt (/ (- y x) (pow t 2/3))))
  (/ (* (cbrt (- y x)) z) (pow t 2/3))
  (/ (sqrt (- y x)) (/ (pow t 2/3) z))
  (/ z (/ (pow t 2/3) (- y x)))
  (/ (- (sqrt y) (sqrt x)) (/ (pow t 2/3) z))
  (/ z (/ (pow t 2/3) (- y x)))
  (/ (* (- y x) z) (pow (cbrt t) 3))
  (/ z (pow (cbrt t) 3))
  (/ z (/ (pow t 2/3) (- y x)))
  (* (- y x) (/ z (cbrt t)))
  (expm1 (cbrt t))
  (log1p (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (pow t 2/3))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  1
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (pow (cbrt t) 3)
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (expm1 (cbrt t))
  (log1p (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (pow t 2/3))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  1
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (pow (cbrt t) 3)
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (expm1 (cbrt t))
  (log1p (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (pow t 2/3))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  1
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (pow (cbrt t) 3)
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  (cbrt t)
  (pow (/ 1 t) -1/3)
  (* (cbrt -1) (cbrt (- t)))
  (cbrt t)
  (pow (/ 1 t) -1/3)
  (* (cbrt -1) (cbrt (- t)))
  (cbrt t)
  (pow (/ 1 t) -1/3)
  (* (cbrt -1) (cbrt (- t)))
9.626 * * * [progress]: adding candidates to table
9.977 * * [progress]: iteration 3 / 4
9.977 * * * [progress]: picking best candidate
9.990 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (/ z t)))))>
9.991 * * * [progress]: localizing error
10.002 * * * [progress]: generating rewritten candidates
10.002 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
10.003 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
10.005 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
10.006 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
10.035 * * * [progress]: generating series expansions
10.035 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
10.035 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0
10.035 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t
10.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t
10.035 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t
10.035 * [taylor]: Taking taylor expansion of 1/3 in t
10.035 * [taylor]: Taking taylor expansion of (log (/ z t)) in t
10.035 * [taylor]: Taking taylor expansion of (/ z t) in t
10.035 * [taylor]: Taking taylor expansion of z in t
10.035 * [taylor]: Taking taylor expansion of t in t
10.036 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z
10.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z
10.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z
10.036 * [taylor]: Taking taylor expansion of 1/3 in z
10.036 * [taylor]: Taking taylor expansion of (log (/ z t)) in z
10.036 * [taylor]: Taking taylor expansion of (/ z t) in z
10.036 * [taylor]: Taking taylor expansion of z in z
10.036 * [taylor]: Taking taylor expansion of t in z
10.037 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z
10.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z
10.037 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z
10.037 * [taylor]: Taking taylor expansion of 1/3 in z
10.037 * [taylor]: Taking taylor expansion of (log (/ z t)) in z
10.037 * [taylor]: Taking taylor expansion of (/ z t) in z
10.037 * [taylor]: Taking taylor expansion of z in z
10.037 * [taylor]: Taking taylor expansion of t in z
10.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t
10.037 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t
10.037 * [taylor]: Taking taylor expansion of 1/3 in t
10.037 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t
10.037 * [taylor]: Taking taylor expansion of (log z) in t
10.038 * [taylor]: Taking taylor expansion of z in t
10.038 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
10.038 * [taylor]: Taking taylor expansion of (/ 1 t) in t
10.038 * [taylor]: Taking taylor expansion of t in t
10.041 * [taylor]: Taking taylor expansion of 0 in t
10.047 * [taylor]: Taking taylor expansion of 0 in t
10.057 * [taylor]: Taking taylor expansion of 0 in t
10.057 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0
10.057 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t
10.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t
10.057 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t
10.057 * [taylor]: Taking taylor expansion of 1/3 in t
10.057 * [taylor]: Taking taylor expansion of (log (/ t z)) in t
10.057 * [taylor]: Taking taylor expansion of (/ t z) in t
10.057 * [taylor]: Taking taylor expansion of t in t
10.057 * [taylor]: Taking taylor expansion of z in t
10.058 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
10.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
10.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
10.058 * [taylor]: Taking taylor expansion of 1/3 in z
10.058 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
10.058 * [taylor]: Taking taylor expansion of (/ t z) in z
10.058 * [taylor]: Taking taylor expansion of t in z
10.058 * [taylor]: Taking taylor expansion of z in z
10.058 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
10.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
10.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
10.059 * [taylor]: Taking taylor expansion of 1/3 in z
10.059 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
10.059 * [taylor]: Taking taylor expansion of (/ t z) in z
10.059 * [taylor]: Taking taylor expansion of t in z
10.059 * [taylor]: Taking taylor expansion of z in z
10.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t
10.059 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t
10.059 * [taylor]: Taking taylor expansion of 1/3 in t
10.059 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t
10.059 * [taylor]: Taking taylor expansion of (log t) in t
10.059 * [taylor]: Taking taylor expansion of t in t
10.060 * [taylor]: Taking taylor expansion of (log z) in t
10.060 * [taylor]: Taking taylor expansion of z in t
10.066 * [taylor]: Taking taylor expansion of 0 in t
10.073 * [taylor]: Taking taylor expansion of 0 in t
10.083 * [taylor]: Taking taylor expansion of 0 in t
10.083 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0
10.083 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t
10.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t
10.083 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t
10.083 * [taylor]: Taking taylor expansion of 1/3 in t
10.083 * [taylor]: Taking taylor expansion of (log (/ t z)) in t
10.083 * [taylor]: Taking taylor expansion of (/ t z) in t
10.083 * [taylor]: Taking taylor expansion of t in t
10.083 * [taylor]: Taking taylor expansion of z in t
10.084 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
10.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
10.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
10.084 * [taylor]: Taking taylor expansion of 1/3 in z
10.084 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
10.084 * [taylor]: Taking taylor expansion of (/ t z) in z
10.084 * [taylor]: Taking taylor expansion of t in z
10.084 * [taylor]: Taking taylor expansion of z in z
10.084 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
10.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
10.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
10.085 * [taylor]: Taking taylor expansion of 1/3 in z
10.085 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
10.085 * [taylor]: Taking taylor expansion of (/ t z) in z
10.085 * [taylor]: Taking taylor expansion of t in z
10.085 * [taylor]: Taking taylor expansion of z in z
10.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t
10.085 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t
10.085 * [taylor]: Taking taylor expansion of 1/3 in t
10.085 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t
10.085 * [taylor]: Taking taylor expansion of (log t) in t
10.085 * [taylor]: Taking taylor expansion of t in t
10.086 * [taylor]: Taking taylor expansion of (log z) in t
10.086 * [taylor]: Taking taylor expansion of z in t
10.089 * [taylor]: Taking taylor expansion of 0 in t
10.095 * [taylor]: Taking taylor expansion of 0 in t
10.106 * [taylor]: Taking taylor expansion of 0 in t
10.106 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
10.106 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0
10.106 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t
10.106 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t
10.106 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t
10.106 * [taylor]: Taking taylor expansion of 1/3 in t
10.106 * [taylor]: Taking taylor expansion of (log (/ z t)) in t
10.106 * [taylor]: Taking taylor expansion of (/ z t) in t
10.106 * [taylor]: Taking taylor expansion of z in t
10.106 * [taylor]: Taking taylor expansion of t in t
10.107 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z
10.107 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z
10.107 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z
10.107 * [taylor]: Taking taylor expansion of 1/3 in z
10.107 * [taylor]: Taking taylor expansion of (log (/ z t)) in z
10.107 * [taylor]: Taking taylor expansion of (/ z t) in z
10.107 * [taylor]: Taking taylor expansion of z in z
10.107 * [taylor]: Taking taylor expansion of t in z
10.107 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z
10.107 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z
10.108 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z
10.108 * [taylor]: Taking taylor expansion of 1/3 in z
10.108 * [taylor]: Taking taylor expansion of (log (/ z t)) in z
10.108 * [taylor]: Taking taylor expansion of (/ z t) in z
10.108 * [taylor]: Taking taylor expansion of z in z
10.108 * [taylor]: Taking taylor expansion of t in z
10.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t
10.108 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t
10.108 * [taylor]: Taking taylor expansion of 1/3 in t
10.108 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t
10.108 * [taylor]: Taking taylor expansion of (log z) in t
10.108 * [taylor]: Taking taylor expansion of z in t
10.108 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
10.108 * [taylor]: Taking taylor expansion of (/ 1 t) in t
10.108 * [taylor]: Taking taylor expansion of t in t
10.111 * [taylor]: Taking taylor expansion of 0 in t
10.118 * [taylor]: Taking taylor expansion of 0 in t
10.127 * [taylor]: Taking taylor expansion of 0 in t
10.127 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0
10.127 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t
10.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t
10.127 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t
10.127 * [taylor]: Taking taylor expansion of 1/3 in t
10.127 * [taylor]: Taking taylor expansion of (log (/ t z)) in t
10.127 * [taylor]: Taking taylor expansion of (/ t z) in t
10.127 * [taylor]: Taking taylor expansion of t in t
10.127 * [taylor]: Taking taylor expansion of z in t
10.128 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
10.128 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
10.128 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
10.128 * [taylor]: Taking taylor expansion of 1/3 in z
10.128 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
10.128 * [taylor]: Taking taylor expansion of (/ t z) in z
10.128 * [taylor]: Taking taylor expansion of t in z
10.128 * [taylor]: Taking taylor expansion of z in z
10.129 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
10.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
10.129 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
10.129 * [taylor]: Taking taylor expansion of 1/3 in z
10.129 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
10.129 * [taylor]: Taking taylor expansion of (/ t z) in z
10.129 * [taylor]: Taking taylor expansion of t in z
10.129 * [taylor]: Taking taylor expansion of z in z
10.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t
10.130 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t
10.130 * [taylor]: Taking taylor expansion of 1/3 in t
10.130 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t
10.130 * [taylor]: Taking taylor expansion of (log t) in t
10.130 * [taylor]: Taking taylor expansion of t in t
10.130 * [taylor]: Taking taylor expansion of (log z) in t
10.130 * [taylor]: Taking taylor expansion of z in t
10.133 * [taylor]: Taking taylor expansion of 0 in t
10.139 * [taylor]: Taking taylor expansion of 0 in t
10.150 * [taylor]: Taking taylor expansion of 0 in t
10.150 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0
10.150 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t
10.150 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t
10.150 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t
10.150 * [taylor]: Taking taylor expansion of 1/3 in t
10.150 * [taylor]: Taking taylor expansion of (log (/ t z)) in t
10.150 * [taylor]: Taking taylor expansion of (/ t z) in t
10.150 * [taylor]: Taking taylor expansion of t in t
10.150 * [taylor]: Taking taylor expansion of z in t
10.151 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
10.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
10.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
10.151 * [taylor]: Taking taylor expansion of 1/3 in z
10.151 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
10.151 * [taylor]: Taking taylor expansion of (/ t z) in z
10.151 * [taylor]: Taking taylor expansion of t in z
10.151 * [taylor]: Taking taylor expansion of z in z
10.152 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
10.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
10.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
10.152 * [taylor]: Taking taylor expansion of 1/3 in z
10.152 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
10.152 * [taylor]: Taking taylor expansion of (/ t z) in z
10.152 * [taylor]: Taking taylor expansion of t in z
10.152 * [taylor]: Taking taylor expansion of z in z
10.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t
10.152 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t
10.152 * [taylor]: Taking taylor expansion of 1/3 in t
10.152 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t
10.152 * [taylor]: Taking taylor expansion of (log t) in t
10.152 * [taylor]: Taking taylor expansion of t in t
10.153 * [taylor]: Taking taylor expansion of (log z) in t
10.153 * [taylor]: Taking taylor expansion of z in t
10.156 * [taylor]: Taking taylor expansion of 0 in t
10.165 * [taylor]: Taking taylor expansion of 0 in t
10.176 * [taylor]: Taking taylor expansion of 0 in t
10.176 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
10.176 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0
10.176 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t
10.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t
10.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t
10.176 * [taylor]: Taking taylor expansion of 1/3 in t
10.176 * [taylor]: Taking taylor expansion of (log (/ z t)) in t
10.176 * [taylor]: Taking taylor expansion of (/ z t) in t
10.176 * [taylor]: Taking taylor expansion of z in t
10.176 * [taylor]: Taking taylor expansion of t in t
10.177 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z
10.177 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z
10.177 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z
10.177 * [taylor]: Taking taylor expansion of 1/3 in z
10.177 * [taylor]: Taking taylor expansion of (log (/ z t)) in z
10.177 * [taylor]: Taking taylor expansion of (/ z t) in z
10.177 * [taylor]: Taking taylor expansion of z in z
10.177 * [taylor]: Taking taylor expansion of t in z
10.177 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z
10.177 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z
10.177 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z
10.177 * [taylor]: Taking taylor expansion of 1/3 in z
10.177 * [taylor]: Taking taylor expansion of (log (/ z t)) in z
10.177 * [taylor]: Taking taylor expansion of (/ z t) in z
10.178 * [taylor]: Taking taylor expansion of z in z
10.178 * [taylor]: Taking taylor expansion of t in z
10.178 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t
10.178 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t
10.178 * [taylor]: Taking taylor expansion of 1/3 in t
10.178 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t
10.178 * [taylor]: Taking taylor expansion of (log z) in t
10.178 * [taylor]: Taking taylor expansion of z in t
10.178 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
10.178 * [taylor]: Taking taylor expansion of (/ 1 t) in t
10.178 * [taylor]: Taking taylor expansion of t in t
10.181 * [taylor]: Taking taylor expansion of 0 in t
10.188 * [taylor]: Taking taylor expansion of 0 in t
10.197 * [taylor]: Taking taylor expansion of 0 in t
10.197 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0
10.197 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t
10.197 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t
10.197 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t
10.197 * [taylor]: Taking taylor expansion of 1/3 in t
10.197 * [taylor]: Taking taylor expansion of (log (/ t z)) in t
10.197 * [taylor]: Taking taylor expansion of (/ t z) in t
10.197 * [taylor]: Taking taylor expansion of t in t
10.197 * [taylor]: Taking taylor expansion of z in t
10.198 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
10.198 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
10.198 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
10.198 * [taylor]: Taking taylor expansion of 1/3 in z
10.198 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
10.198 * [taylor]: Taking taylor expansion of (/ t z) in z
10.198 * [taylor]: Taking taylor expansion of t in z
10.198 * [taylor]: Taking taylor expansion of z in z
10.198 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
10.198 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
10.199 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
10.199 * [taylor]: Taking taylor expansion of 1/3 in z
10.199 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
10.199 * [taylor]: Taking taylor expansion of (/ t z) in z
10.199 * [taylor]: Taking taylor expansion of t in z
10.199 * [taylor]: Taking taylor expansion of z in z
10.199 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t
10.199 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t
10.199 * [taylor]: Taking taylor expansion of 1/3 in t
10.199 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t
10.199 * [taylor]: Taking taylor expansion of (log t) in t
10.199 * [taylor]: Taking taylor expansion of t in t
10.200 * [taylor]: Taking taylor expansion of (log z) in t
10.200 * [taylor]: Taking taylor expansion of z in t
10.203 * [taylor]: Taking taylor expansion of 0 in t
10.210 * [taylor]: Taking taylor expansion of 0 in t
10.220 * [taylor]: Taking taylor expansion of 0 in t
10.220 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0
10.220 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t
10.220 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t
10.220 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t
10.220 * [taylor]: Taking taylor expansion of 1/3 in t
10.220 * [taylor]: Taking taylor expansion of (log (/ t z)) in t
10.220 * [taylor]: Taking taylor expansion of (/ t z) in t
10.220 * [taylor]: Taking taylor expansion of t in t
10.220 * [taylor]: Taking taylor expansion of z in t
10.221 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
10.221 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
10.221 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
10.221 * [taylor]: Taking taylor expansion of 1/3 in z
10.221 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
10.221 * [taylor]: Taking taylor expansion of (/ t z) in z
10.221 * [taylor]: Taking taylor expansion of t in z
10.221 * [taylor]: Taking taylor expansion of z in z
10.222 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
10.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
10.222 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
10.222 * [taylor]: Taking taylor expansion of 1/3 in z
10.222 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
10.222 * [taylor]: Taking taylor expansion of (/ t z) in z
10.222 * [taylor]: Taking taylor expansion of t in z
10.222 * [taylor]: Taking taylor expansion of z in z
10.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t
10.222 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t
10.222 * [taylor]: Taking taylor expansion of 1/3 in t
10.222 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t
10.222 * [taylor]: Taking taylor expansion of (log t) in t
10.222 * [taylor]: Taking taylor expansion of t in t
10.223 * [taylor]: Taking taylor expansion of (log z) in t
10.223 * [taylor]: Taking taylor expansion of z in t
10.226 * [taylor]: Taking taylor expansion of 0 in t
10.233 * [taylor]: Taking taylor expansion of 0 in t
10.243 * [taylor]: Taking taylor expansion of 0 in t
10.243 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
10.243 * [approximate]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in (y x z t) around 0
10.243 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in t
10.243 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in t
10.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in t
10.243 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in t
10.243 * [taylor]: Taking taylor expansion of 1/3 in t
10.243 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in t
10.243 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in t
10.243 * [taylor]: Taking taylor expansion of (pow z 2) in t
10.243 * [taylor]: Taking taylor expansion of z in t
10.243 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.243 * [taylor]: Taking taylor expansion of t in t
10.244 * [taylor]: Taking taylor expansion of (- y x) in t
10.245 * [taylor]: Taking taylor expansion of y in t
10.245 * [taylor]: Taking taylor expansion of x in t
10.245 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in z
10.245 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z
10.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z
10.245 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z
10.245 * [taylor]: Taking taylor expansion of 1/3 in z
10.245 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z
10.245 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z
10.245 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.245 * [taylor]: Taking taylor expansion of z in z
10.245 * [taylor]: Taking taylor expansion of (pow t 2) in z
10.245 * [taylor]: Taking taylor expansion of t in z
10.246 * [taylor]: Taking taylor expansion of (- y x) in z
10.246 * [taylor]: Taking taylor expansion of y in z
10.246 * [taylor]: Taking taylor expansion of x in z
10.246 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in x
10.246 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x
10.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x
10.246 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x
10.246 * [taylor]: Taking taylor expansion of 1/3 in x
10.246 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x
10.246 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x
10.246 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.246 * [taylor]: Taking taylor expansion of z in x
10.246 * [taylor]: Taking taylor expansion of (pow t 2) in x
10.246 * [taylor]: Taking taylor expansion of t in x
10.247 * [taylor]: Taking taylor expansion of (- y x) in x
10.247 * [taylor]: Taking taylor expansion of y in x
10.247 * [taylor]: Taking taylor expansion of x in x
10.247 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in y
10.247 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in y
10.247 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in y
10.247 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in y
10.247 * [taylor]: Taking taylor expansion of 1/3 in y
10.247 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in y
10.247 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y
10.247 * [taylor]: Taking taylor expansion of (pow z 2) in y
10.247 * [taylor]: Taking taylor expansion of z in y
10.247 * [taylor]: Taking taylor expansion of (pow t 2) in y
10.247 * [taylor]: Taking taylor expansion of t in y
10.247 * [taylor]: Taking taylor expansion of (- y x) in y
10.247 * [taylor]: Taking taylor expansion of y in y
10.248 * [taylor]: Taking taylor expansion of x in y
10.248 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in y
10.248 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in y
10.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in y
10.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in y
10.248 * [taylor]: Taking taylor expansion of 1/3 in y
10.248 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in y
10.248 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y
10.248 * [taylor]: Taking taylor expansion of (pow z 2) in y
10.248 * [taylor]: Taking taylor expansion of z in y
10.248 * [taylor]: Taking taylor expansion of (pow t 2) in y
10.248 * [taylor]: Taking taylor expansion of t in y
10.248 * [taylor]: Taking taylor expansion of (- y x) in y
10.248 * [taylor]: Taking taylor expansion of y in y
10.248 * [taylor]: Taking taylor expansion of x in y
10.248 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (pow z 2) (pow t 2)) 1/3) x)) in x
10.249 * [taylor]: Taking taylor expansion of -1 in x
10.249 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) x) in x
10.249 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x
10.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x
10.249 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x
10.249 * [taylor]: Taking taylor expansion of 1/3 in x
10.249 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x
10.249 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x
10.249 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.249 * [taylor]: Taking taylor expansion of z in x
10.249 * [taylor]: Taking taylor expansion of (pow t 2) in x
10.249 * [taylor]: Taking taylor expansion of t in x
10.249 * [taylor]: Taking taylor expansion of x in x
10.250 * [taylor]: Taking taylor expansion of 0 in z
10.250 * [taylor]: Taking taylor expansion of 0 in t
10.253 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x
10.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x
10.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x
10.253 * [taylor]: Taking taylor expansion of 1/3 in x
10.253 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x
10.253 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x
10.253 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.253 * [taylor]: Taking taylor expansion of z in x
10.253 * [taylor]: Taking taylor expansion of (pow t 2) in x
10.253 * [taylor]: Taking taylor expansion of t in x
10.254 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z
10.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z
10.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z
10.254 * [taylor]: Taking taylor expansion of 1/3 in z
10.254 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z
10.254 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z
10.254 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.254 * [taylor]: Taking taylor expansion of z in z
10.254 * [taylor]: Taking taylor expansion of (pow t 2) in z
10.254 * [taylor]: Taking taylor expansion of t in z
10.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2)))))) in t
10.255 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))) in t
10.255 * [taylor]: Taking taylor expansion of 1/3 in t
10.255 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (/ 1 (pow t 2)))) in t
10.255 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t
10.255 * [taylor]: Taking taylor expansion of 2 in t
10.255 * [taylor]: Taking taylor expansion of (log z) in t
10.255 * [taylor]: Taking taylor expansion of z in t
10.255 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
10.255 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
10.255 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.255 * [taylor]: Taking taylor expansion of t in t
10.264 * [taylor]: Taking taylor expansion of (- (pow (/ (pow z 2) (pow t 2)) 1/3)) in z
10.264 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z
10.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z
10.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z
10.264 * [taylor]: Taking taylor expansion of 1/3 in z
10.264 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z
10.264 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z
10.264 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.264 * [taylor]: Taking taylor expansion of z in z
10.264 * [taylor]: Taking taylor expansion of (pow t 2) in z
10.264 * [taylor]: Taking taylor expansion of t in z
10.266 * [taylor]: Taking taylor expansion of (- (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))))) in t
10.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2)))))) in t
10.266 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))) in t
10.266 * [taylor]: Taking taylor expansion of 1/3 in t
10.266 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (/ 1 (pow t 2)))) in t
10.266 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t
10.266 * [taylor]: Taking taylor expansion of 2 in t
10.266 * [taylor]: Taking taylor expansion of (log z) in t
10.266 * [taylor]: Taking taylor expansion of z in t
10.266 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
10.266 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
10.266 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.266 * [taylor]: Taking taylor expansion of t in t
10.268 * [taylor]: Taking taylor expansion of 0 in t
10.273 * [taylor]: Taking taylor expansion of 0 in x
10.273 * [taylor]: Taking taylor expansion of 0 in z
10.273 * [taylor]: Taking taylor expansion of 0 in t
10.275 * [taylor]: Taking taylor expansion of 0 in z
10.275 * [taylor]: Taking taylor expansion of 0 in t
10.281 * [taylor]: Taking taylor expansion of 0 in z
10.281 * [taylor]: Taking taylor expansion of 0 in t
10.284 * [taylor]: Taking taylor expansion of 0 in t
10.285 * [approximate]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in (y x z t) around 0
10.285 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in t
10.285 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in t
10.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in t
10.285 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in t
10.285 * [taylor]: Taking taylor expansion of 1/3 in t
10.285 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in t
10.285 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t
10.285 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.285 * [taylor]: Taking taylor expansion of t in t
10.285 * [taylor]: Taking taylor expansion of (pow z 2) in t
10.285 * [taylor]: Taking taylor expansion of z in t
10.286 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t
10.286 * [taylor]: Taking taylor expansion of (/ 1 y) in t
10.286 * [taylor]: Taking taylor expansion of y in t
10.286 * [taylor]: Taking taylor expansion of (/ 1 x) in t
10.286 * [taylor]: Taking taylor expansion of x in t
10.286 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in z
10.286 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z
10.286 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z
10.286 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z
10.286 * [taylor]: Taking taylor expansion of 1/3 in z
10.286 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z
10.286 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
10.286 * [taylor]: Taking taylor expansion of (pow t 2) in z
10.286 * [taylor]: Taking taylor expansion of t in z
10.286 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.286 * [taylor]: Taking taylor expansion of z in z
10.288 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
10.288 * [taylor]: Taking taylor expansion of (/ 1 y) in z
10.288 * [taylor]: Taking taylor expansion of y in z
10.288 * [taylor]: Taking taylor expansion of (/ 1 x) in z
10.288 * [taylor]: Taking taylor expansion of x in z
10.288 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in x
10.288 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x
10.288 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x
10.288 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x
10.288 * [taylor]: Taking taylor expansion of 1/3 in x
10.288 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x
10.288 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x
10.288 * [taylor]: Taking taylor expansion of (pow t 2) in x
10.288 * [taylor]: Taking taylor expansion of t in x
10.288 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.288 * [taylor]: Taking taylor expansion of z in x
10.288 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
10.288 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.288 * [taylor]: Taking taylor expansion of y in x
10.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.288 * [taylor]: Taking taylor expansion of x in x
10.289 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in y
10.289 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y
10.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y
10.289 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y
10.289 * [taylor]: Taking taylor expansion of 1/3 in y
10.289 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y
10.289 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y
10.289 * [taylor]: Taking taylor expansion of (pow t 2) in y
10.289 * [taylor]: Taking taylor expansion of t in y
10.289 * [taylor]: Taking taylor expansion of (pow z 2) in y
10.289 * [taylor]: Taking taylor expansion of z in y
10.290 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
10.290 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.290 * [taylor]: Taking taylor expansion of y in y
10.290 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.290 * [taylor]: Taking taylor expansion of x in y
10.290 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in y
10.290 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y
10.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y
10.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y
10.290 * [taylor]: Taking taylor expansion of 1/3 in y
10.290 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y
10.290 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y
10.290 * [taylor]: Taking taylor expansion of (pow t 2) in y
10.290 * [taylor]: Taking taylor expansion of t in y
10.290 * [taylor]: Taking taylor expansion of (pow z 2) in y
10.290 * [taylor]: Taking taylor expansion of z in y
10.291 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
10.291 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.291 * [taylor]: Taking taylor expansion of y in y
10.291 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.291 * [taylor]: Taking taylor expansion of x in y
10.292 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x
10.292 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x
10.292 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x
10.292 * [taylor]: Taking taylor expansion of 1/3 in x
10.292 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x
10.292 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x
10.292 * [taylor]: Taking taylor expansion of (pow t 2) in x
10.292 * [taylor]: Taking taylor expansion of t in x
10.292 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.292 * [taylor]: Taking taylor expansion of z in x
10.296 * [taylor]: Taking taylor expansion of (- (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x))) in x
10.296 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x)) in x
10.296 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x
10.296 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x
10.296 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x
10.296 * [taylor]: Taking taylor expansion of 1/3 in x
10.296 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x
10.296 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x
10.296 * [taylor]: Taking taylor expansion of (pow t 2) in x
10.296 * [taylor]: Taking taylor expansion of t in x
10.296 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.296 * [taylor]: Taking taylor expansion of z in x
10.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.297 * [taylor]: Taking taylor expansion of x in x
10.297 * [taylor]: Taking taylor expansion of (- (pow (/ (pow t 2) (pow z 2)) 1/3)) in z
10.297 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z
10.297 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z
10.297 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z
10.297 * [taylor]: Taking taylor expansion of 1/3 in z
10.297 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z
10.297 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
10.298 * [taylor]: Taking taylor expansion of (pow t 2) in z
10.298 * [taylor]: Taking taylor expansion of t in z
10.298 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.298 * [taylor]: Taking taylor expansion of z in z
10.299 * [taylor]: Taking taylor expansion of (- (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z)))))) in t
10.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t
10.299 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t
10.299 * [taylor]: Taking taylor expansion of 1/3 in t
10.299 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t
10.299 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t
10.299 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.299 * [taylor]: Taking taylor expansion of t in t
10.300 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t
10.300 * [taylor]: Taking taylor expansion of 2 in t
10.300 * [taylor]: Taking taylor expansion of (log z) in t
10.300 * [taylor]: Taking taylor expansion of z in t
10.301 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z
10.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z
10.301 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z
10.301 * [taylor]: Taking taylor expansion of 1/3 in z
10.301 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z
10.301 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
10.301 * [taylor]: Taking taylor expansion of (pow t 2) in z
10.301 * [taylor]: Taking taylor expansion of t in z
10.301 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.301 * [taylor]: Taking taylor expansion of z in z
10.302 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t
10.302 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t
10.302 * [taylor]: Taking taylor expansion of 1/3 in t
10.302 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t
10.302 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t
10.302 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.302 * [taylor]: Taking taylor expansion of t in t
10.303 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t
10.303 * [taylor]: Taking taylor expansion of 2 in t
10.303 * [taylor]: Taking taylor expansion of (log z) in t
10.303 * [taylor]: Taking taylor expansion of z in t
10.310 * [taylor]: Taking taylor expansion of 0 in x
10.313 * [taylor]: Taking taylor expansion of 0 in z
10.313 * [taylor]: Taking taylor expansion of 0 in t
10.316 * [taylor]: Taking taylor expansion of 0 in z
10.316 * [taylor]: Taking taylor expansion of 0 in t
10.320 * [taylor]: Taking taylor expansion of 0 in t
10.323 * [taylor]: Taking taylor expansion of 0 in t
10.331 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in (y x z t) around 0
10.331 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in t
10.331 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t
10.331 * [taylor]: Taking taylor expansion of (/ 1 x) in t
10.331 * [taylor]: Taking taylor expansion of x in t
10.331 * [taylor]: Taking taylor expansion of (/ 1 y) in t
10.331 * [taylor]: Taking taylor expansion of y in t
10.331 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in t
10.331 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in t
10.331 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in t
10.331 * [taylor]: Taking taylor expansion of 1/3 in t
10.331 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in t
10.331 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t
10.332 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.332 * [taylor]: Taking taylor expansion of t in t
10.332 * [taylor]: Taking taylor expansion of (pow z 2) in t
10.332 * [taylor]: Taking taylor expansion of z in t
10.333 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in z
10.333 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
10.333 * [taylor]: Taking taylor expansion of (/ 1 x) in z
10.333 * [taylor]: Taking taylor expansion of x in z
10.333 * [taylor]: Taking taylor expansion of (/ 1 y) in z
10.333 * [taylor]: Taking taylor expansion of y in z
10.333 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z
10.333 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z
10.333 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z
10.333 * [taylor]: Taking taylor expansion of 1/3 in z
10.333 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z
10.333 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
10.333 * [taylor]: Taking taylor expansion of (pow t 2) in z
10.333 * [taylor]: Taking taylor expansion of t in z
10.333 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.333 * [taylor]: Taking taylor expansion of z in z
10.334 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in x
10.334 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
10.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.334 * [taylor]: Taking taylor expansion of x in x
10.335 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.335 * [taylor]: Taking taylor expansion of y in x
10.335 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x
10.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x
10.335 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x
10.335 * [taylor]: Taking taylor expansion of 1/3 in x
10.335 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x
10.335 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x
10.335 * [taylor]: Taking taylor expansion of (pow t 2) in x
10.335 * [taylor]: Taking taylor expansion of t in x
10.335 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.335 * [taylor]: Taking taylor expansion of z in x
10.335 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in y
10.336 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
10.336 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.336 * [taylor]: Taking taylor expansion of x in y
10.336 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.336 * [taylor]: Taking taylor expansion of y in y
10.336 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y
10.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y
10.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y
10.336 * [taylor]: Taking taylor expansion of 1/3 in y
10.336 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y
10.336 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y
10.336 * [taylor]: Taking taylor expansion of (pow t 2) in y
10.336 * [taylor]: Taking taylor expansion of t in y
10.336 * [taylor]: Taking taylor expansion of (pow z 2) in y
10.336 * [taylor]: Taking taylor expansion of z in y
10.337 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in y
10.337 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
10.337 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.337 * [taylor]: Taking taylor expansion of x in y
10.337 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.337 * [taylor]: Taking taylor expansion of y in y
10.337 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y
10.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y
10.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y
10.337 * [taylor]: Taking taylor expansion of 1/3 in y
10.337 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y
10.337 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y
10.337 * [taylor]: Taking taylor expansion of (pow t 2) in y
10.337 * [taylor]: Taking taylor expansion of t in y
10.337 * [taylor]: Taking taylor expansion of (pow z 2) in y
10.337 * [taylor]: Taking taylor expansion of z in y
10.339 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow t 2) (pow z 2)) 1/3)) in x
10.339 * [taylor]: Taking taylor expansion of -1 in x
10.339 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x
10.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x
10.339 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x
10.339 * [taylor]: Taking taylor expansion of 1/3 in x
10.339 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x
10.339 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x
10.339 * [taylor]: Taking taylor expansion of (pow t 2) in x
10.339 * [taylor]: Taking taylor expansion of t in x
10.339 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.339 * [taylor]: Taking taylor expansion of z in x
10.343 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x)) in x
10.343 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x
10.343 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x
10.343 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x
10.343 * [taylor]: Taking taylor expansion of 1/3 in x
10.343 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x
10.343 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x
10.343 * [taylor]: Taking taylor expansion of (pow t 2) in x
10.343 * [taylor]: Taking taylor expansion of t in x
10.343 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.343 * [taylor]: Taking taylor expansion of z in x
10.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.344 * [taylor]: Taking taylor expansion of x in x
10.344 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z
10.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z
10.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z
10.344 * [taylor]: Taking taylor expansion of 1/3 in z
10.344 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z
10.344 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
10.344 * [taylor]: Taking taylor expansion of (pow t 2) in z
10.344 * [taylor]: Taking taylor expansion of t in z
10.344 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.344 * [taylor]: Taking taylor expansion of z in z
10.346 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t
10.346 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t
10.346 * [taylor]: Taking taylor expansion of 1/3 in t
10.346 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t
10.346 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t
10.346 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.346 * [taylor]: Taking taylor expansion of t in t
10.346 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t
10.346 * [taylor]: Taking taylor expansion of 2 in t
10.346 * [taylor]: Taking taylor expansion of (log z) in t
10.346 * [taylor]: Taking taylor expansion of z in t
10.347 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow t 2) (pow z 2)) 1/3)) in z
10.347 * [taylor]: Taking taylor expansion of -1 in z
10.347 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z
10.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z
10.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z
10.348 * [taylor]: Taking taylor expansion of 1/3 in z
10.348 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z
10.348 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
10.348 * [taylor]: Taking taylor expansion of (pow t 2) in z
10.348 * [taylor]: Taking taylor expansion of t in z
10.348 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.348 * [taylor]: Taking taylor expansion of z in z
10.349 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z)))))) in t
10.349 * [taylor]: Taking taylor expansion of -1 in t
10.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t
10.349 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t
10.349 * [taylor]: Taking taylor expansion of 1/3 in t
10.349 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t
10.349 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t
10.349 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.349 * [taylor]: Taking taylor expansion of t in t
10.350 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t
10.350 * [taylor]: Taking taylor expansion of 2 in t
10.350 * [taylor]: Taking taylor expansion of (log z) in t
10.350 * [taylor]: Taking taylor expansion of z in t
10.356 * [taylor]: Taking taylor expansion of 0 in x
10.360 * [taylor]: Taking taylor expansion of 0 in z
10.360 * [taylor]: Taking taylor expansion of 0 in t
10.362 * [taylor]: Taking taylor expansion of 0 in z
10.362 * [taylor]: Taking taylor expansion of 0 in t
10.366 * [taylor]: Taking taylor expansion of 0 in t
10.369 * [taylor]: Taking taylor expansion of 0 in t
10.381 * * * [progress]: simplifying candidates
10.382 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (/ z t)))
  (log1p (cbrt (/ z t)))
  (log (cbrt (/ z t)))
  (exp (cbrt (/ z t)))
  (cbrt (* (cbrt (/ z t)) (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (cbrt (/ (cbrt z) (cbrt t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (cbrt (/ (cbrt z) (sqrt t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) 1))
  (cbrt (/ (cbrt z) t))
  (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (cbrt (/ (sqrt z) (cbrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (/ (sqrt z) 1))
  (cbrt (/ (sqrt z) t))
  (cbrt (/ 1 (* (cbrt t) (cbrt t))))
  (cbrt (/ z (cbrt t)))
  (cbrt (/ 1 (sqrt t)))
  (cbrt (/ z (sqrt t)))
  (cbrt (/ 1 1))
  (cbrt (/ z t))
  (cbrt 1)
  (cbrt (/ z t))
  (cbrt z)
  (cbrt (/ 1 t))
  (cbrt z)
  (cbrt t)
  (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t)))
  (sqrt (cbrt (/ z t)))
  (sqrt (cbrt (/ z t)))
  (expm1 (cbrt (/ z t)))
  (log1p (cbrt (/ z t)))
  (log (cbrt (/ z t)))
  (exp (cbrt (/ z t)))
  (cbrt (* (cbrt (/ z t)) (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (cbrt (/ (cbrt z) (cbrt t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (cbrt (/ (cbrt z) (sqrt t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) 1))
  (cbrt (/ (cbrt z) t))
  (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (cbrt (/ (sqrt z) (cbrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (/ (sqrt z) 1))
  (cbrt (/ (sqrt z) t))
  (cbrt (/ 1 (* (cbrt t) (cbrt t))))
  (cbrt (/ z (cbrt t)))
  (cbrt (/ 1 (sqrt t)))
  (cbrt (/ z (sqrt t)))
  (cbrt (/ 1 1))
  (cbrt (/ z t))
  (cbrt 1)
  (cbrt (/ z t))
  (cbrt z)
  (cbrt (/ 1 t))
  (cbrt z)
  (cbrt t)
  (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t)))
  (sqrt (cbrt (/ z t)))
  (sqrt (cbrt (/ z t)))
  (expm1 (cbrt (/ z t)))
  (log1p (cbrt (/ z t)))
  (log (cbrt (/ z t)))
  (exp (cbrt (/ z t)))
  (cbrt (* (cbrt (/ z t)) (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (cbrt (/ (cbrt z) (cbrt t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (cbrt (/ (cbrt z) (sqrt t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) 1))
  (cbrt (/ (cbrt z) t))
  (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (cbrt (/ (sqrt z) (cbrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (/ (sqrt z) 1))
  (cbrt (/ (sqrt z) t))
  (cbrt (/ 1 (* (cbrt t) (cbrt t))))
  (cbrt (/ z (cbrt t)))
  (cbrt (/ 1 (sqrt t)))
  (cbrt (/ z (sqrt t)))
  (cbrt (/ 1 1))
  (cbrt (/ z t))
  (cbrt 1)
  (cbrt (/ z t))
  (cbrt z)
  (cbrt (/ 1 t))
  (cbrt z)
  (cbrt t)
  (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t)))
  (sqrt (cbrt (/ z t)))
  (sqrt (cbrt (/ z t)))
  (expm1 (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (log1p (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (+ (log (- y x)) (+ (log (cbrt (/ z t))) (log (cbrt (/ z t)))))
  (+ (log (- y x)) (log (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (log (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (exp (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (* (* (* (- y x) (- y x)) (- y x)) (* (/ z t) (/ z t)))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (* (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (* (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt z)))
  (* (+ (* y y) (+ (* x x) (* y x))) (* (cbrt t) (cbrt t)))
  (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z)))
  (* (+ (* y y) (+ (* x x) (* y x))) (cbrt t))
  (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt (/ z t))))
  (* (+ (* y y) (+ (* x x) (* y x))) (cbrt t))
  (* (- (* y y) (* x x)) (* (cbrt z) (cbrt z)))
  (* (+ y x) (* (cbrt t) (cbrt t)))
  (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt z)))
  (* (+ y x) (cbrt t))
  (* (- (* y y) (* x x)) (* (cbrt z) (cbrt (/ z t))))
  (* (+ y x) (cbrt t))
  (* (sqrt (- y x)) (cbrt (/ z t)))
  (* (sqrt (- y x)) (cbrt (/ z t)))
  (* (- y x) (cbrt (/ z t)))
  (* (cbrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (sqrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- (sqrt y) (sqrt x)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- y x) (* (cbrt z) (cbrt z)))
  (* (- y x) (* (cbrt (/ z t)) (cbrt z)))
  (* (- y x) (* (cbrt z) (cbrt (/ z t))))
  (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (exp (* 1/3 (- (log z) (log t))))
  (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z)))))
  (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z)))))
  (exp (* 1/3 (- (log z) (log t))))
  (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z)))))
  (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z)))))
  (exp (* 1/3 (- (log z) (log t))))
  (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z)))))
  (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z)))))
  (- (* (exp (* 1/3 (- (* 2 (log z)) (* 2 (log t))))) y) (* (exp (* 1/3 (- (* 2 (log z)) (* 2 (log t))))) x))
  (- (* (exp (* 1/3 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 z)))))) y) (* x (exp (* 1/3 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 z))))))))
  (- (* y (exp (* 1/3 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 z))))))) (* x (exp (* 1/3 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 z))))))))
10.387 * * [simplify]: iteration  0 :  166  enodes  (cost  1441 )
10.413 * * [simplify]: iteration  1 :  349  enodes  (cost  1351 )
10.481 * * [simplify]: iteration  2 :  887  enodes  (cost  1239 )
10.815 * * [simplify]: iteration  3 :  2650  enodes  (cost  1214 )
11.668 * * [simplify]: iteration  done :  5001  enodes  (cost  1214 )
11.668 * [simplify]: Simplified to:
   (expm1 (cbrt (/ z t)))
  (log1p (cbrt (/ z t)))
  (log (cbrt (/ z t)))
  (exp (cbrt (/ z t)))
  (cbrt (* (cbrt (/ z t)) (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (cbrt (/ (cbrt z) (cbrt t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (cbrt (/ (cbrt z) (sqrt t)))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (/ (cbrt z) t))
  (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (cbrt (/ (sqrt z) (cbrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (sqrt z))
  (cbrt (/ (sqrt z) t))
  (cbrt (/ 1 (* (cbrt t) (cbrt t))))
  (cbrt (/ z (cbrt t)))
  (cbrt (/ 1 (sqrt t)))
  (cbrt (/ z (sqrt t)))
  1
  (cbrt (/ z t))
  1
  (cbrt (/ z t))
  (cbrt z)
  (cbrt (/ 1 t))
  (cbrt z)
  (cbrt t)
  (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (/ z t)
  (sqrt (cbrt (/ z t)))
  (sqrt (cbrt (/ z t)))
  (expm1 (cbrt (/ z t)))
  (log1p (cbrt (/ z t)))
  (log (cbrt (/ z t)))
  (exp (cbrt (/ z t)))
  (cbrt (* (cbrt (/ z t)) (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (cbrt (/ (cbrt z) (cbrt t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (cbrt (/ (cbrt z) (sqrt t)))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (/ (cbrt z) t))
  (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (cbrt (/ (sqrt z) (cbrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (sqrt z))
  (cbrt (/ (sqrt z) t))
  (cbrt (/ 1 (* (cbrt t) (cbrt t))))
  (cbrt (/ z (cbrt t)))
  (cbrt (/ 1 (sqrt t)))
  (cbrt (/ z (sqrt t)))
  1
  (cbrt (/ z t))
  1
  (cbrt (/ z t))
  (cbrt z)
  (cbrt (/ 1 t))
  (cbrt z)
  (cbrt t)
  (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (/ z t)
  (sqrt (cbrt (/ z t)))
  (sqrt (cbrt (/ z t)))
  (expm1 (cbrt (/ z t)))
  (log1p (cbrt (/ z t)))
  (log (cbrt (/ z t)))
  (exp (cbrt (/ z t)))
  (cbrt (* (cbrt (/ z t)) (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (cbrt (/ (cbrt z) (cbrt t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (cbrt (/ (cbrt z) (sqrt t)))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (/ (cbrt z) t))
  (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (cbrt (/ (sqrt z) (cbrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (sqrt z))
  (cbrt (/ (sqrt z) t))
  (cbrt (/ 1 (* (cbrt t) (cbrt t))))
  (cbrt (/ z (cbrt t)))
  (cbrt (/ 1 (sqrt t)))
  (cbrt (/ z (sqrt t)))
  1
  (cbrt (/ z t))
  1
  (cbrt (/ z t))
  (cbrt z)
  (cbrt (/ 1 t))
  (cbrt z)
  (cbrt t)
  (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (/ z t)
  (sqrt (cbrt (/ z t)))
  (sqrt (cbrt (/ z t)))
  (expm1 (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (log1p (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (fma 2 (log (cbrt (/ z t))) (log (- y x)))
  (fma 2 (log (cbrt (/ z t))) (log (- y x)))
  (fma 2 (log (cbrt (/ z t))) (log (- y x)))
  (exp (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (* (pow (- y x) 3) (pow (cbrt (/ z t)) 6))
  (* (pow (- y x) 3) (pow (cbrt (/ z t)) 6))
  (* (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (* (pow (- y x) 3) (pow (cbrt (/ z t)) 6))
  (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt z)))
  (* (* (cbrt t) (cbrt t)) (fma y y (* x (+ y x))))
  (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z)))
  (* (fma y y (* x (+ y x))) (cbrt t))
  (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z)))
  (* (fma y y (* x (+ y x))) (cbrt t))
  (* (- (* y y) (* x x)) (* (cbrt z) (cbrt z)))
  (* (+ y x) (* (cbrt t) (cbrt t)))
  (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt z)))
  (* (+ y x) (cbrt t))
  (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt z)))
  (* (+ y x) (cbrt t))
  (* (sqrt (- y x)) (cbrt (/ z t)))
  (* (sqrt (- y x)) (cbrt (/ z t)))
  (* (- y x) (cbrt (/ z t)))
  (* (cbrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (sqrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- (sqrt y) (sqrt x)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- y x) (* (cbrt z) (cbrt z)))
  (* (- y x) (* (cbrt (/ z t)) (cbrt z)))
  (* (- y x) (* (cbrt (/ z t)) (cbrt z)))
  (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (cbrt (exp (- (log z) (log t))))
  (cbrt (exp (- (log z) (log t))))
  (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z)))))
  (cbrt (exp (- (log z) (log t))))
  (cbrt (exp (- (log z) (log t))))
  (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z)))))
  (cbrt (exp (- (log z) (log t))))
  (cbrt (exp (- (log z) (log t))))
  (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z)))))
  (* (exp (* 2/3 (- (log z) (log t)))) (- y x))
  (* (exp (* 2/3 (- (log z) (log t)))) (- y x))
  (* (- y x) (exp (* 2/3 (- (log (/ -1 t)) (log (/ -1 z))))))
11.669 * * * [progress]: adding candidates to table
12.054 * * [progress]: iteration 4 / 4
12.054 * * * [progress]: picking best candidate
12.067 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt z) (cbrt (/ 1 t))))))>
12.067 * * * [progress]: localizing error
12.083 * * * [progress]: generating rewritten candidates
12.083 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2)
12.084 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1)
12.086 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
12.114 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2)
12.119 * * * [progress]: generating series expansions
12.119 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2)
12.119 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0
12.119 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t
12.119 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t
12.119 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t
12.119 * [taylor]: Taking taylor expansion of 1/3 in t
12.119 * [taylor]: Taking taylor expansion of (log (/ z t)) in t
12.119 * [taylor]: Taking taylor expansion of (/ z t) in t
12.119 * [taylor]: Taking taylor expansion of z in t
12.119 * [taylor]: Taking taylor expansion of t in t
12.120 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z
12.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z
12.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z
12.120 * [taylor]: Taking taylor expansion of 1/3 in z
12.120 * [taylor]: Taking taylor expansion of (log (/ z t)) in z
12.120 * [taylor]: Taking taylor expansion of (/ z t) in z
12.120 * [taylor]: Taking taylor expansion of z in z
12.120 * [taylor]: Taking taylor expansion of t in z
12.121 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z
12.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z
12.121 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z
12.121 * [taylor]: Taking taylor expansion of 1/3 in z
12.121 * [taylor]: Taking taylor expansion of (log (/ z t)) in z
12.121 * [taylor]: Taking taylor expansion of (/ z t) in z
12.121 * [taylor]: Taking taylor expansion of z in z
12.121 * [taylor]: Taking taylor expansion of t in z
12.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t
12.122 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t
12.122 * [taylor]: Taking taylor expansion of 1/3 in t
12.122 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t
12.122 * [taylor]: Taking taylor expansion of (log z) in t
12.122 * [taylor]: Taking taylor expansion of z in t
12.122 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
12.122 * [taylor]: Taking taylor expansion of (/ 1 t) in t
12.122 * [taylor]: Taking taylor expansion of t in t
12.125 * [taylor]: Taking taylor expansion of 0 in t
12.132 * [taylor]: Taking taylor expansion of 0 in t
12.141 * [taylor]: Taking taylor expansion of 0 in t
12.142 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0
12.142 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t
12.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t
12.142 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t
12.142 * [taylor]: Taking taylor expansion of 1/3 in t
12.142 * [taylor]: Taking taylor expansion of (log (/ t z)) in t
12.142 * [taylor]: Taking taylor expansion of (/ t z) in t
12.142 * [taylor]: Taking taylor expansion of t in t
12.142 * [taylor]: Taking taylor expansion of z in t
12.142 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
12.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
12.142 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
12.142 * [taylor]: Taking taylor expansion of 1/3 in z
12.142 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
12.142 * [taylor]: Taking taylor expansion of (/ t z) in z
12.142 * [taylor]: Taking taylor expansion of t in z
12.142 * [taylor]: Taking taylor expansion of z in z
12.143 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
12.143 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
12.143 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
12.143 * [taylor]: Taking taylor expansion of 1/3 in z
12.143 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
12.143 * [taylor]: Taking taylor expansion of (/ t z) in z
12.143 * [taylor]: Taking taylor expansion of t in z
12.143 * [taylor]: Taking taylor expansion of z in z
12.144 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t
12.144 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t
12.144 * [taylor]: Taking taylor expansion of 1/3 in t
12.144 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t
12.144 * [taylor]: Taking taylor expansion of (log t) in t
12.144 * [taylor]: Taking taylor expansion of t in t
12.144 * [taylor]: Taking taylor expansion of (log z) in t
12.144 * [taylor]: Taking taylor expansion of z in t
12.147 * [taylor]: Taking taylor expansion of 0 in t
12.154 * [taylor]: Taking taylor expansion of 0 in t
12.163 * [taylor]: Taking taylor expansion of 0 in t
12.164 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0
12.164 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t
12.164 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t
12.164 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t
12.164 * [taylor]: Taking taylor expansion of 1/3 in t
12.164 * [taylor]: Taking taylor expansion of (log (/ t z)) in t
12.164 * [taylor]: Taking taylor expansion of (/ t z) in t
12.164 * [taylor]: Taking taylor expansion of t in t
12.164 * [taylor]: Taking taylor expansion of z in t
12.165 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
12.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
12.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
12.165 * [taylor]: Taking taylor expansion of 1/3 in z
12.165 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
12.165 * [taylor]: Taking taylor expansion of (/ t z) in z
12.165 * [taylor]: Taking taylor expansion of t in z
12.165 * [taylor]: Taking taylor expansion of z in z
12.165 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
12.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
12.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
12.165 * [taylor]: Taking taylor expansion of 1/3 in z
12.165 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
12.165 * [taylor]: Taking taylor expansion of (/ t z) in z
12.165 * [taylor]: Taking taylor expansion of t in z
12.165 * [taylor]: Taking taylor expansion of z in z
12.166 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t
12.166 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t
12.166 * [taylor]: Taking taylor expansion of 1/3 in t
12.166 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t
12.166 * [taylor]: Taking taylor expansion of (log t) in t
12.166 * [taylor]: Taking taylor expansion of t in t
12.166 * [taylor]: Taking taylor expansion of (log z) in t
12.166 * [taylor]: Taking taylor expansion of z in t
12.169 * [taylor]: Taking taylor expansion of 0 in t
12.176 * [taylor]: Taking taylor expansion of 0 in t
12.186 * [taylor]: Taking taylor expansion of 0 in t
12.186 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1)
12.186 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0
12.186 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t
12.186 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t
12.186 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t
12.186 * [taylor]: Taking taylor expansion of 1/3 in t
12.186 * [taylor]: Taking taylor expansion of (log (/ z t)) in t
12.186 * [taylor]: Taking taylor expansion of (/ z t) in t
12.186 * [taylor]: Taking taylor expansion of z in t
12.186 * [taylor]: Taking taylor expansion of t in t
12.187 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z
12.187 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z
12.187 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z
12.187 * [taylor]: Taking taylor expansion of 1/3 in z
12.187 * [taylor]: Taking taylor expansion of (log (/ z t)) in z
12.187 * [taylor]: Taking taylor expansion of (/ z t) in z
12.187 * [taylor]: Taking taylor expansion of z in z
12.187 * [taylor]: Taking taylor expansion of t in z
12.187 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z
12.187 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z
12.188 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z
12.188 * [taylor]: Taking taylor expansion of 1/3 in z
12.188 * [taylor]: Taking taylor expansion of (log (/ z t)) in z
12.188 * [taylor]: Taking taylor expansion of (/ z t) in z
12.188 * [taylor]: Taking taylor expansion of z in z
12.188 * [taylor]: Taking taylor expansion of t in z
12.188 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t
12.188 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t
12.188 * [taylor]: Taking taylor expansion of 1/3 in t
12.188 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t
12.188 * [taylor]: Taking taylor expansion of (log z) in t
12.188 * [taylor]: Taking taylor expansion of z in t
12.189 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
12.189 * [taylor]: Taking taylor expansion of (/ 1 t) in t
12.189 * [taylor]: Taking taylor expansion of t in t
12.192 * [taylor]: Taking taylor expansion of 0 in t
12.198 * [taylor]: Taking taylor expansion of 0 in t
12.212 * [taylor]: Taking taylor expansion of 0 in t
12.213 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0
12.213 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t
12.213 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t
12.213 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t
12.213 * [taylor]: Taking taylor expansion of 1/3 in t
12.213 * [taylor]: Taking taylor expansion of (log (/ t z)) in t
12.213 * [taylor]: Taking taylor expansion of (/ t z) in t
12.213 * [taylor]: Taking taylor expansion of t in t
12.213 * [taylor]: Taking taylor expansion of z in t
12.213 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
12.213 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
12.213 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
12.214 * [taylor]: Taking taylor expansion of 1/3 in z
12.214 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
12.214 * [taylor]: Taking taylor expansion of (/ t z) in z
12.214 * [taylor]: Taking taylor expansion of t in z
12.214 * [taylor]: Taking taylor expansion of z in z
12.214 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
12.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
12.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
12.214 * [taylor]: Taking taylor expansion of 1/3 in z
12.214 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
12.214 * [taylor]: Taking taylor expansion of (/ t z) in z
12.214 * [taylor]: Taking taylor expansion of t in z
12.214 * [taylor]: Taking taylor expansion of z in z
12.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t
12.215 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t
12.215 * [taylor]: Taking taylor expansion of 1/3 in t
12.215 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t
12.215 * [taylor]: Taking taylor expansion of (log t) in t
12.215 * [taylor]: Taking taylor expansion of t in t
12.215 * [taylor]: Taking taylor expansion of (log z) in t
12.215 * [taylor]: Taking taylor expansion of z in t
12.218 * [taylor]: Taking taylor expansion of 0 in t
12.225 * [taylor]: Taking taylor expansion of 0 in t
12.235 * [taylor]: Taking taylor expansion of 0 in t
12.235 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0
12.235 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t
12.235 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t
12.235 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t
12.235 * [taylor]: Taking taylor expansion of 1/3 in t
12.235 * [taylor]: Taking taylor expansion of (log (/ t z)) in t
12.235 * [taylor]: Taking taylor expansion of (/ t z) in t
12.235 * [taylor]: Taking taylor expansion of t in t
12.235 * [taylor]: Taking taylor expansion of z in t
12.236 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
12.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
12.236 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
12.236 * [taylor]: Taking taylor expansion of 1/3 in z
12.236 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
12.236 * [taylor]: Taking taylor expansion of (/ t z) in z
12.236 * [taylor]: Taking taylor expansion of t in z
12.236 * [taylor]: Taking taylor expansion of z in z
12.237 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z
12.237 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z
12.237 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z
12.237 * [taylor]: Taking taylor expansion of 1/3 in z
12.237 * [taylor]: Taking taylor expansion of (log (/ t z)) in z
12.237 * [taylor]: Taking taylor expansion of (/ t z) in z
12.237 * [taylor]: Taking taylor expansion of t in z
12.237 * [taylor]: Taking taylor expansion of z in z
12.237 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t
12.238 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t
12.238 * [taylor]: Taking taylor expansion of 1/3 in t
12.238 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t
12.238 * [taylor]: Taking taylor expansion of (log t) in t
12.238 * [taylor]: Taking taylor expansion of t in t
12.238 * [taylor]: Taking taylor expansion of (log z) in t
12.238 * [taylor]: Taking taylor expansion of z in t
12.241 * [taylor]: Taking taylor expansion of 0 in t
12.248 * [taylor]: Taking taylor expansion of 0 in t
12.258 * [taylor]: Taking taylor expansion of 0 in t
12.258 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
12.258 * [approximate]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in (y x z t) around 0
12.258 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in t
12.258 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in t
12.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in t
12.258 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in t
12.258 * [taylor]: Taking taylor expansion of 1/3 in t
12.258 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in t
12.258 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in t
12.258 * [taylor]: Taking taylor expansion of (pow z 2) in t
12.258 * [taylor]: Taking taylor expansion of z in t
12.258 * [taylor]: Taking taylor expansion of (pow t 2) in t
12.258 * [taylor]: Taking taylor expansion of t in t
12.260 * [taylor]: Taking taylor expansion of (- y x) in t
12.260 * [taylor]: Taking taylor expansion of y in t
12.260 * [taylor]: Taking taylor expansion of x in t
12.260 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in z
12.260 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z
12.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z
12.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z
12.260 * [taylor]: Taking taylor expansion of 1/3 in z
12.260 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z
12.260 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z
12.260 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.260 * [taylor]: Taking taylor expansion of z in z
12.260 * [taylor]: Taking taylor expansion of (pow t 2) in z
12.260 * [taylor]: Taking taylor expansion of t in z
12.261 * [taylor]: Taking taylor expansion of (- y x) in z
12.261 * [taylor]: Taking taylor expansion of y in z
12.261 * [taylor]: Taking taylor expansion of x in z
12.261 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in x
12.261 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x
12.261 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x
12.261 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x
12.261 * [taylor]: Taking taylor expansion of 1/3 in x
12.261 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x
12.261 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x
12.261 * [taylor]: Taking taylor expansion of (pow z 2) in x
12.261 * [taylor]: Taking taylor expansion of z in x
12.261 * [taylor]: Taking taylor expansion of (pow t 2) in x
12.261 * [taylor]: Taking taylor expansion of t in x
12.262 * [taylor]: Taking taylor expansion of (- y x) in x
12.262 * [taylor]: Taking taylor expansion of y in x
12.262 * [taylor]: Taking taylor expansion of x in x
12.262 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in y
12.262 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in y
12.262 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in y
12.262 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in y
12.262 * [taylor]: Taking taylor expansion of 1/3 in y
12.262 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in y
12.262 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y
12.262 * [taylor]: Taking taylor expansion of (pow z 2) in y
12.262 * [taylor]: Taking taylor expansion of z in y
12.262 * [taylor]: Taking taylor expansion of (pow t 2) in y
12.262 * [taylor]: Taking taylor expansion of t in y
12.263 * [taylor]: Taking taylor expansion of (- y x) in y
12.263 * [taylor]: Taking taylor expansion of y in y
12.263 * [taylor]: Taking taylor expansion of x in y
12.263 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in y
12.263 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in y
12.263 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in y
12.263 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in y
12.263 * [taylor]: Taking taylor expansion of 1/3 in y
12.263 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in y
12.263 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y
12.263 * [taylor]: Taking taylor expansion of (pow z 2) in y
12.263 * [taylor]: Taking taylor expansion of z in y
12.263 * [taylor]: Taking taylor expansion of (pow t 2) in y
12.263 * [taylor]: Taking taylor expansion of t in y
12.263 * [taylor]: Taking taylor expansion of (- y x) in y
12.263 * [taylor]: Taking taylor expansion of y in y
12.263 * [taylor]: Taking taylor expansion of x in y
12.264 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (pow z 2) (pow t 2)) 1/3) x)) in x
12.264 * [taylor]: Taking taylor expansion of -1 in x
12.264 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) x) in x
12.264 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x
12.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x
12.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x
12.264 * [taylor]: Taking taylor expansion of 1/3 in x
12.264 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x
12.264 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x
12.264 * [taylor]: Taking taylor expansion of (pow z 2) in x
12.264 * [taylor]: Taking taylor expansion of z in x
12.264 * [taylor]: Taking taylor expansion of (pow t 2) in x
12.264 * [taylor]: Taking taylor expansion of t in x
12.264 * [taylor]: Taking taylor expansion of x in x
12.265 * [taylor]: Taking taylor expansion of 0 in z
12.265 * [taylor]: Taking taylor expansion of 0 in t
12.269 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x
12.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x
12.269 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x
12.269 * [taylor]: Taking taylor expansion of 1/3 in x
12.269 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x
12.269 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x
12.269 * [taylor]: Taking taylor expansion of (pow z 2) in x
12.269 * [taylor]: Taking taylor expansion of z in x
12.269 * [taylor]: Taking taylor expansion of (pow t 2) in x
12.269 * [taylor]: Taking taylor expansion of t in x
12.269 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z
12.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z
12.269 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z
12.269 * [taylor]: Taking taylor expansion of 1/3 in z
12.269 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z
12.269 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z
12.269 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.269 * [taylor]: Taking taylor expansion of z in z
12.269 * [taylor]: Taking taylor expansion of (pow t 2) in z
12.269 * [taylor]: Taking taylor expansion of t in z
12.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2)))))) in t
12.271 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))) in t
12.271 * [taylor]: Taking taylor expansion of 1/3 in t
12.271 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (/ 1 (pow t 2)))) in t
12.271 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t
12.271 * [taylor]: Taking taylor expansion of 2 in t
12.271 * [taylor]: Taking taylor expansion of (log z) in t
12.271 * [taylor]: Taking taylor expansion of z in t
12.271 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
12.271 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
12.271 * [taylor]: Taking taylor expansion of (pow t 2) in t
12.271 * [taylor]: Taking taylor expansion of t in t
12.276 * [taylor]: Taking taylor expansion of (- (pow (/ (pow z 2) (pow t 2)) 1/3)) in z
12.276 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z
12.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z
12.276 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z
12.276 * [taylor]: Taking taylor expansion of 1/3 in z
12.276 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z
12.276 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z
12.276 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.276 * [taylor]: Taking taylor expansion of z in z
12.276 * [taylor]: Taking taylor expansion of (pow t 2) in z
12.276 * [taylor]: Taking taylor expansion of t in z
12.277 * [taylor]: Taking taylor expansion of (- (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))))) in t
12.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2)))))) in t
12.277 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))) in t
12.277 * [taylor]: Taking taylor expansion of 1/3 in t
12.277 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (/ 1 (pow t 2)))) in t
12.277 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t
12.277 * [taylor]: Taking taylor expansion of 2 in t
12.277 * [taylor]: Taking taylor expansion of (log z) in t
12.277 * [taylor]: Taking taylor expansion of z in t
12.277 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
12.277 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
12.277 * [taylor]: Taking taylor expansion of (pow t 2) in t
12.277 * [taylor]: Taking taylor expansion of t in t
12.279 * [taylor]: Taking taylor expansion of 0 in t
12.284 * [taylor]: Taking taylor expansion of 0 in x
12.284 * [taylor]: Taking taylor expansion of 0 in z
12.284 * [taylor]: Taking taylor expansion of 0 in t
12.286 * [taylor]: Taking taylor expansion of 0 in z
12.286 * [taylor]: Taking taylor expansion of 0 in t
12.292 * [taylor]: Taking taylor expansion of 0 in z
12.292 * [taylor]: Taking taylor expansion of 0 in t
12.295 * [taylor]: Taking taylor expansion of 0 in t
12.296 * [approximate]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in (y x z t) around 0
12.296 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in t
12.296 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in t
12.296 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in t
12.296 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in t
12.296 * [taylor]: Taking taylor expansion of 1/3 in t
12.296 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in t
12.296 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t
12.296 * [taylor]: Taking taylor expansion of (pow t 2) in t
12.296 * [taylor]: Taking taylor expansion of t in t
12.296 * [taylor]: Taking taylor expansion of (pow z 2) in t
12.296 * [taylor]: Taking taylor expansion of z in t
12.297 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t
12.297 * [taylor]: Taking taylor expansion of (/ 1 y) in t
12.297 * [taylor]: Taking taylor expansion of y in t
12.297 * [taylor]: Taking taylor expansion of (/ 1 x) in t
12.297 * [taylor]: Taking taylor expansion of x in t
12.297 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in z
12.297 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z
12.297 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z
12.297 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z
12.297 * [taylor]: Taking taylor expansion of 1/3 in z
12.297 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z
12.297 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
12.297 * [taylor]: Taking taylor expansion of (pow t 2) in z
12.297 * [taylor]: Taking taylor expansion of t in z
12.297 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.297 * [taylor]: Taking taylor expansion of z in z
12.298 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
12.298 * [taylor]: Taking taylor expansion of (/ 1 y) in z
12.298 * [taylor]: Taking taylor expansion of y in z
12.299 * [taylor]: Taking taylor expansion of (/ 1 x) in z
12.299 * [taylor]: Taking taylor expansion of x in z
12.299 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in x
12.299 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x
12.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x
12.299 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x
12.299 * [taylor]: Taking taylor expansion of 1/3 in x
12.299 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x
12.299 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x
12.299 * [taylor]: Taking taylor expansion of (pow t 2) in x
12.299 * [taylor]: Taking taylor expansion of t in x
12.299 * [taylor]: Taking taylor expansion of (pow z 2) in x
12.299 * [taylor]: Taking taylor expansion of z in x
12.299 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
12.299 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.299 * [taylor]: Taking taylor expansion of y in x
12.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.299 * [taylor]: Taking taylor expansion of x in x
12.300 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in y
12.300 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y
12.300 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y
12.300 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y
12.300 * [taylor]: Taking taylor expansion of 1/3 in y
12.300 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y
12.300 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y
12.300 * [taylor]: Taking taylor expansion of (pow t 2) in y
12.300 * [taylor]: Taking taylor expansion of t in y
12.300 * [taylor]: Taking taylor expansion of (pow z 2) in y
12.300 * [taylor]: Taking taylor expansion of z in y
12.300 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
12.300 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.301 * [taylor]: Taking taylor expansion of y in y
12.301 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.301 * [taylor]: Taking taylor expansion of x in y
12.301 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in y
12.301 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y
12.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y
12.301 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y
12.301 * [taylor]: Taking taylor expansion of 1/3 in y
12.301 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y
12.301 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y
12.301 * [taylor]: Taking taylor expansion of (pow t 2) in y
12.301 * [taylor]: Taking taylor expansion of t in y
12.301 * [taylor]: Taking taylor expansion of (pow z 2) in y
12.301 * [taylor]: Taking taylor expansion of z in y
12.302 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
12.302 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.302 * [taylor]: Taking taylor expansion of y in y
12.302 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.302 * [taylor]: Taking taylor expansion of x in y
12.303 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x
12.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x
12.303 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x
12.303 * [taylor]: Taking taylor expansion of 1/3 in x
12.303 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x
12.303 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x
12.303 * [taylor]: Taking taylor expansion of (pow t 2) in x
12.303 * [taylor]: Taking taylor expansion of t in x
12.303 * [taylor]: Taking taylor expansion of (pow z 2) in x
12.303 * [taylor]: Taking taylor expansion of z in x
12.307 * [taylor]: Taking taylor expansion of (- (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x))) in x
12.307 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x)) in x
12.307 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x
12.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x
12.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x
12.307 * [taylor]: Taking taylor expansion of 1/3 in x
12.307 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x
12.307 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x
12.307 * [taylor]: Taking taylor expansion of (pow t 2) in x
12.307 * [taylor]: Taking taylor expansion of t in x
12.307 * [taylor]: Taking taylor expansion of (pow z 2) in x
12.307 * [taylor]: Taking taylor expansion of z in x
12.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.308 * [taylor]: Taking taylor expansion of x in x
12.309 * [taylor]: Taking taylor expansion of (- (pow (/ (pow t 2) (pow z 2)) 1/3)) in z
12.309 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z
12.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z
12.309 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z
12.309 * [taylor]: Taking taylor expansion of 1/3 in z
12.309 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z
12.309 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
12.309 * [taylor]: Taking taylor expansion of (pow t 2) in z
12.309 * [taylor]: Taking taylor expansion of t in z
12.309 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.309 * [taylor]: Taking taylor expansion of z in z
12.310 * [taylor]: Taking taylor expansion of (- (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z)))))) in t
12.310 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t
12.310 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t
12.310 * [taylor]: Taking taylor expansion of 1/3 in t
12.310 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t
12.310 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t
12.310 * [taylor]: Taking taylor expansion of (pow t 2) in t
12.310 * [taylor]: Taking taylor expansion of t in t
12.311 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t
12.311 * [taylor]: Taking taylor expansion of 2 in t
12.311 * [taylor]: Taking taylor expansion of (log z) in t
12.311 * [taylor]: Taking taylor expansion of z in t
12.313 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z
12.313 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z
12.313 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z
12.313 * [taylor]: Taking taylor expansion of 1/3 in z
12.313 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z
12.313 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
12.313 * [taylor]: Taking taylor expansion of (pow t 2) in z
12.313 * [taylor]: Taking taylor expansion of t in z
12.313 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.313 * [taylor]: Taking taylor expansion of z in z
12.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t
12.319 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t
12.319 * [taylor]: Taking taylor expansion of 1/3 in t
12.319 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t
12.319 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t
12.319 * [taylor]: Taking taylor expansion of (pow t 2) in t
12.319 * [taylor]: Taking taylor expansion of t in t
12.320 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t
12.320 * [taylor]: Taking taylor expansion of 2 in t
12.320 * [taylor]: Taking taylor expansion of (log z) in t
12.320 * [taylor]: Taking taylor expansion of z in t
12.327 * [taylor]: Taking taylor expansion of 0 in x
12.330 * [taylor]: Taking taylor expansion of 0 in z
12.330 * [taylor]: Taking taylor expansion of 0 in t
12.333 * [taylor]: Taking taylor expansion of 0 in z
12.333 * [taylor]: Taking taylor expansion of 0 in t
12.336 * [taylor]: Taking taylor expansion of 0 in t
12.340 * [taylor]: Taking taylor expansion of 0 in t
12.348 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in (y x z t) around 0
12.348 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in t
12.348 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t
12.348 * [taylor]: Taking taylor expansion of (/ 1 x) in t
12.348 * [taylor]: Taking taylor expansion of x in t
12.348 * [taylor]: Taking taylor expansion of (/ 1 y) in t
12.348 * [taylor]: Taking taylor expansion of y in t
12.348 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in t
12.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in t
12.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in t
12.348 * [taylor]: Taking taylor expansion of 1/3 in t
12.348 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in t
12.348 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t
12.348 * [taylor]: Taking taylor expansion of (pow t 2) in t
12.348 * [taylor]: Taking taylor expansion of t in t
12.348 * [taylor]: Taking taylor expansion of (pow z 2) in t
12.348 * [taylor]: Taking taylor expansion of z in t
12.349 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in z
12.349 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
12.350 * [taylor]: Taking taylor expansion of (/ 1 x) in z
12.350 * [taylor]: Taking taylor expansion of x in z
12.350 * [taylor]: Taking taylor expansion of (/ 1 y) in z
12.350 * [taylor]: Taking taylor expansion of y in z
12.350 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z
12.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z
12.350 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z
12.350 * [taylor]: Taking taylor expansion of 1/3 in z
12.350 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z
12.350 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
12.350 * [taylor]: Taking taylor expansion of (pow t 2) in z
12.350 * [taylor]: Taking taylor expansion of t in z
12.350 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.350 * [taylor]: Taking taylor expansion of z in z
12.351 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in x
12.351 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
12.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.351 * [taylor]: Taking taylor expansion of x in x
12.351 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.351 * [taylor]: Taking taylor expansion of y in x
12.351 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x
12.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x
12.351 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x
12.352 * [taylor]: Taking taylor expansion of 1/3 in x
12.352 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x
12.352 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x
12.352 * [taylor]: Taking taylor expansion of (pow t 2) in x
12.352 * [taylor]: Taking taylor expansion of t in x
12.352 * [taylor]: Taking taylor expansion of (pow z 2) in x
12.352 * [taylor]: Taking taylor expansion of z in x
12.352 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in y
12.352 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
12.352 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.352 * [taylor]: Taking taylor expansion of x in y
12.352 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.352 * [taylor]: Taking taylor expansion of y in y
12.353 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y
12.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y
12.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y
12.353 * [taylor]: Taking taylor expansion of 1/3 in y
12.353 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y
12.353 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y
12.353 * [taylor]: Taking taylor expansion of (pow t 2) in y
12.353 * [taylor]: Taking taylor expansion of t in y
12.353 * [taylor]: Taking taylor expansion of (pow z 2) in y
12.353 * [taylor]: Taking taylor expansion of z in y
12.353 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in y
12.353 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
12.353 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.353 * [taylor]: Taking taylor expansion of x in y
12.353 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.353 * [taylor]: Taking taylor expansion of y in y
12.354 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y
12.354 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y
12.354 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y
12.354 * [taylor]: Taking taylor expansion of 1/3 in y
12.354 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y
12.354 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y
12.354 * [taylor]: Taking taylor expansion of (pow t 2) in y
12.354 * [taylor]: Taking taylor expansion of t in y
12.354 * [taylor]: Taking taylor expansion of (pow z 2) in y
12.354 * [taylor]: Taking taylor expansion of z in y
12.355 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow t 2) (pow z 2)) 1/3)) in x
12.355 * [taylor]: Taking taylor expansion of -1 in x
12.355 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x
12.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x
12.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x
12.355 * [taylor]: Taking taylor expansion of 1/3 in x
12.355 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x
12.356 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x
12.356 * [taylor]: Taking taylor expansion of (pow t 2) in x
12.356 * [taylor]: Taking taylor expansion of t in x
12.356 * [taylor]: Taking taylor expansion of (pow z 2) in x
12.356 * [taylor]: Taking taylor expansion of z in x
12.360 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x)) in x
12.360 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x
12.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x
12.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x
12.360 * [taylor]: Taking taylor expansion of 1/3 in x
12.360 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x
12.360 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x
12.360 * [taylor]: Taking taylor expansion of (pow t 2) in x
12.360 * [taylor]: Taking taylor expansion of t in x
12.360 * [taylor]: Taking taylor expansion of (pow z 2) in x
12.360 * [taylor]: Taking taylor expansion of z in x
12.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.360 * [taylor]: Taking taylor expansion of x in x
12.361 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z
12.361 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z
12.361 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z
12.361 * [taylor]: Taking taylor expansion of 1/3 in z
12.361 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z
12.361 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
12.361 * [taylor]: Taking taylor expansion of (pow t 2) in z
12.361 * [taylor]: Taking taylor expansion of t in z
12.361 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.361 * [taylor]: Taking taylor expansion of z in z
12.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t
12.362 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t
12.362 * [taylor]: Taking taylor expansion of 1/3 in t
12.362 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t
12.362 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t
12.362 * [taylor]: Taking taylor expansion of (pow t 2) in t
12.362 * [taylor]: Taking taylor expansion of t in t
12.363 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t
12.363 * [taylor]: Taking taylor expansion of 2 in t
12.363 * [taylor]: Taking taylor expansion of (log z) in t
12.363 * [taylor]: Taking taylor expansion of z in t
12.364 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow t 2) (pow z 2)) 1/3)) in z
12.364 * [taylor]: Taking taylor expansion of -1 in z
12.364 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z
12.364 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z
12.364 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z
12.364 * [taylor]: Taking taylor expansion of 1/3 in z
12.364 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z
12.364 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
12.364 * [taylor]: Taking taylor expansion of (pow t 2) in z
12.364 * [taylor]: Taking taylor expansion of t in z
12.364 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.364 * [taylor]: Taking taylor expansion of z in z
12.366 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z)))))) in t
12.366 * [taylor]: Taking taylor expansion of -1 in t
12.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t
12.366 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t
12.366 * [taylor]: Taking taylor expansion of 1/3 in t
12.366 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t
12.366 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t
12.366 * [taylor]: Taking taylor expansion of (pow t 2) in t
12.366 * [taylor]: Taking taylor expansion of t in t
12.366 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t
12.366 * [taylor]: Taking taylor expansion of 2 in t
12.366 * [taylor]: Taking taylor expansion of (log z) in t
12.366 * [taylor]: Taking taylor expansion of z in t
12.374 * [taylor]: Taking taylor expansion of 0 in x
12.377 * [taylor]: Taking taylor expansion of 0 in z
12.377 * [taylor]: Taking taylor expansion of 0 in t
12.380 * [taylor]: Taking taylor expansion of 0 in z
12.380 * [taylor]: Taking taylor expansion of 0 in t
12.383 * [taylor]: Taking taylor expansion of 0 in t
12.387 * [taylor]: Taking taylor expansion of 0 in t
12.395 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2)
12.396 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
12.396 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
12.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
12.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
12.396 * [taylor]: Taking taylor expansion of 1/3 in t
12.396 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
12.396 * [taylor]: Taking taylor expansion of (/ 1 t) in t
12.396 * [taylor]: Taking taylor expansion of t in t
12.397 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
12.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
12.397 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
12.397 * [taylor]: Taking taylor expansion of 1/3 in t
12.397 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
12.397 * [taylor]: Taking taylor expansion of (/ 1 t) in t
12.397 * [taylor]: Taking taylor expansion of t in t
12.457 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
12.457 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
12.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
12.457 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
12.457 * [taylor]: Taking taylor expansion of 1/3 in t
12.457 * [taylor]: Taking taylor expansion of (log t) in t
12.457 * [taylor]: Taking taylor expansion of t in t
12.457 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
12.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
12.458 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
12.458 * [taylor]: Taking taylor expansion of 1/3 in t
12.458 * [taylor]: Taking taylor expansion of (log t) in t
12.458 * [taylor]: Taking taylor expansion of t in t
12.515 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow t 1/3)) in (t) around 0
12.515 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow t 1/3)) in t
12.515 * [taylor]: Taking taylor expansion of (cbrt -1) in t
12.515 * [taylor]: Taking taylor expansion of -1 in t
12.516 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
12.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
12.516 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
12.516 * [taylor]: Taking taylor expansion of 1/3 in t
12.516 * [taylor]: Taking taylor expansion of (log t) in t
12.516 * [taylor]: Taking taylor expansion of t in t
12.517 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow t 1/3)) in t
12.517 * [taylor]: Taking taylor expansion of (cbrt -1) in t
12.517 * [taylor]: Taking taylor expansion of -1 in t
12.517 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
12.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
12.518 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
12.518 * [taylor]: Taking taylor expansion of 1/3 in t
12.518 * [taylor]: Taking taylor expansion of (log t) in t
12.518 * [taylor]: Taking taylor expansion of t in t
12.587 * * * [progress]: simplifying candidates
12.589 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (/ z t)))
  (log1p (cbrt (/ z t)))
  (log (cbrt (/ z t)))
  (exp (cbrt (/ z t)))
  (cbrt (* (cbrt (/ z t)) (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (cbrt (/ (cbrt z) (cbrt t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (cbrt (/ (cbrt z) (sqrt t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) 1))
  (cbrt (/ (cbrt z) t))
  (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (cbrt (/ (sqrt z) (cbrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (/ (sqrt z) 1))
  (cbrt (/ (sqrt z) t))
  (cbrt (/ 1 (* (cbrt t) (cbrt t))))
  (cbrt (/ z (cbrt t)))
  (cbrt (/ 1 (sqrt t)))
  (cbrt (/ z (sqrt t)))
  (cbrt (/ 1 1))
  (cbrt (/ z t))
  (cbrt 1)
  (cbrt (/ z t))
  (cbrt z)
  (cbrt (/ 1 t))
  (cbrt z)
  (cbrt t)
  (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t)))
  (sqrt (cbrt (/ z t)))
  (sqrt (cbrt (/ z t)))
  (expm1 (cbrt (/ z t)))
  (log1p (cbrt (/ z t)))
  (log (cbrt (/ z t)))
  (exp (cbrt (/ z t)))
  (cbrt (* (cbrt (/ z t)) (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (cbrt (/ (cbrt z) (cbrt t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (cbrt (/ (cbrt z) (sqrt t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) 1))
  (cbrt (/ (cbrt z) t))
  (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (cbrt (/ (sqrt z) (cbrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (/ (sqrt z) 1))
  (cbrt (/ (sqrt z) t))
  (cbrt (/ 1 (* (cbrt t) (cbrt t))))
  (cbrt (/ z (cbrt t)))
  (cbrt (/ 1 (sqrt t)))
  (cbrt (/ z (sqrt t)))
  (cbrt (/ 1 1))
  (cbrt (/ z t))
  (cbrt 1)
  (cbrt (/ z t))
  (cbrt z)
  (cbrt (/ 1 t))
  (cbrt z)
  (cbrt t)
  (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t)))
  (sqrt (cbrt (/ z t)))
  (sqrt (cbrt (/ z t)))
  (expm1 (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (log1p (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (+ (log (- y x)) (+ (log (cbrt (/ z t))) (log (cbrt (/ z t)))))
  (+ (log (- y x)) (log (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (log (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (exp (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (* (* (* (- y x) (- y x)) (- y x)) (* (/ z t) (/ z t)))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (* (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (* (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt z)))
  (* (+ (* y y) (+ (* x x) (* y x))) (* (cbrt t) (cbrt t)))
  (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z)))
  (* (+ (* y y) (+ (* x x) (* y x))) (cbrt t))
  (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt (/ z t))))
  (* (+ (* y y) (+ (* x x) (* y x))) (cbrt t))
  (* (- (* y y) (* x x)) (* (cbrt z) (cbrt z)))
  (* (+ y x) (* (cbrt t) (cbrt t)))
  (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt z)))
  (* (+ y x) (cbrt t))
  (* (- (* y y) (* x x)) (* (cbrt z) (cbrt (/ z t))))
  (* (+ y x) (cbrt t))
  (* (sqrt (- y x)) (cbrt (/ z t)))
  (* (sqrt (- y x)) (cbrt (/ z t)))
  (* (- y x) (cbrt (/ z t)))
  (* (cbrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (sqrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- (sqrt y) (sqrt x)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- y x) (* (cbrt z) (cbrt z)))
  (* (- y x) (* (cbrt (/ z t)) (cbrt z)))
  (* (- y x) (* (cbrt z) (cbrt (/ z t))))
  (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (expm1 (cbrt (/ 1 t)))
  (log1p (cbrt (/ 1 t)))
  (log (cbrt (/ 1 t)))
  (exp (cbrt (/ 1 t)))
  (cbrt (* (cbrt (/ 1 t)) (cbrt (/ 1 t))))
  (cbrt (cbrt (/ 1 t)))
  (cbrt (sqrt (/ 1 t)))
  (cbrt (sqrt (/ 1 t)))
  (cbrt (/ (* (cbrt 1) (cbrt 1)) (* (cbrt t) (cbrt t))))
  (cbrt (/ (cbrt 1) (cbrt t)))
  (cbrt (/ (* (cbrt 1) (cbrt 1)) (sqrt t)))
  (cbrt (/ (cbrt 1) (sqrt t)))
  (cbrt (/ (* (cbrt 1) (cbrt 1)) 1))
  (cbrt (/ (cbrt 1) t))
  (cbrt (/ (sqrt 1) (* (cbrt t) (cbrt t))))
  (cbrt (/ (sqrt 1) (cbrt t)))
  (cbrt (/ (sqrt 1) (sqrt t)))
  (cbrt (/ (sqrt 1) (sqrt t)))
  (cbrt (/ (sqrt 1) 1))
  (cbrt (/ (sqrt 1) t))
  (cbrt (/ 1 (* (cbrt t) (cbrt t))))
  (cbrt (/ 1 (cbrt t)))
  (cbrt (/ 1 (sqrt t)))
  (cbrt (/ 1 (sqrt t)))
  (cbrt (/ 1 1))
  (cbrt (/ 1 t))
  (cbrt 1)
  (cbrt (/ 1 t))
  (cbrt 1)
  (cbrt (/ 1 t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt (/ 1 t))) (cbrt (cbrt (/ 1 t))))
  (cbrt (cbrt (/ 1 t)))
  (* (* (cbrt (/ 1 t)) (cbrt (/ 1 t))) (cbrt (/ 1 t)))
  (sqrt (cbrt (/ 1 t)))
  (sqrt (cbrt (/ 1 t)))
  (exp (* 1/3 (- (log z) (log t))))
  (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z)))))
  (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z)))))
  (exp (* 1/3 (- (log z) (log t))))
  (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z)))))
  (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z)))))
  (- (* (exp (* 1/3 (- (* 2 (log z)) (* 2 (log t))))) y) (* (exp (* 1/3 (- (* 2 (log z)) (* 2 (log t))))) x))
  (- (* (exp (* 1/3 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 z)))))) y) (* x (exp (* 1/3 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 z))))))))
  (- (* y (exp (* 1/3 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 z))))))) (* x (exp (* 1/3 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 z))))))))
  (pow t -1/3)
  (pow (/ 1 t) 1/3)
  (* (pow (/ -1 t) 1/3) (cbrt -1))
12.596 * * [simplify]: iteration  0 :  210  enodes  (cost  1425 )
12.630 * * [simplify]: iteration  1 :  416  enodes  (cost  1310 )
12.706 * * [simplify]: iteration  2 :  995  enodes  (cost  1196 )
13.087 * * [simplify]: iteration  3 :  2840  enodes  (cost  1174 )
13.865 * * [simplify]: iteration  done :  5001  enodes  (cost  1174 )
13.866 * [simplify]: Simplified to:
   (expm1 (cbrt (/ z t)))
  (log1p (cbrt (/ z t)))
  (log (cbrt (/ z t)))
  (exp (cbrt (/ z t)))
  (cbrt (* (cbrt (/ z t)) (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (cbrt (/ (cbrt z) (cbrt t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (cbrt (/ (cbrt z) (sqrt t)))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (/ (cbrt z) t))
  (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (cbrt (/ (sqrt z) (cbrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (sqrt z))
  (cbrt (/ (sqrt z) t))
  (cbrt (/ (/ 1 (cbrt t)) (cbrt t)))
  (cbrt (/ z (cbrt t)))
  (cbrt (/ 1 (sqrt t)))
  (cbrt (/ z (sqrt t)))
  1
  (cbrt (/ z t))
  1
  (cbrt (/ z t))
  (cbrt z)
  (cbrt (/ 1 t))
  (cbrt z)
  (cbrt t)
  (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (/ z t)
  (sqrt (cbrt (/ z t)))
  (sqrt (cbrt (/ z t)))
  (expm1 (cbrt (/ z t)))
  (log1p (cbrt (/ z t)))
  (log (cbrt (/ z t)))
  (exp (cbrt (/ z t)))
  (cbrt (* (cbrt (/ z t)) (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (sqrt (/ z t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (cbrt (/ (cbrt z) (cbrt t)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (cbrt (/ (cbrt z) (sqrt t)))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (/ (cbrt z) t))
  (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (cbrt (/ (sqrt z) (cbrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (/ (sqrt z) (sqrt t)))
  (cbrt (sqrt z))
  (cbrt (/ (sqrt z) t))
  (cbrt (/ (/ 1 (cbrt t)) (cbrt t)))
  (cbrt (/ z (cbrt t)))
  (cbrt (/ 1 (sqrt t)))
  (cbrt (/ z (sqrt t)))
  1
  (cbrt (/ z t))
  1
  (cbrt (/ z t))
  (cbrt z)
  (cbrt (/ 1 t))
  (cbrt z)
  (cbrt t)
  (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t))))
  (cbrt (cbrt (/ z t)))
  (/ z t)
  (sqrt (cbrt (/ z t)))
  (sqrt (cbrt (/ z t)))
  (expm1 (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (log1p (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (fma 2 (log (cbrt (/ z t))) (log (- y x)))
  (fma 2 (log (cbrt (/ z t))) (log (- y x)))
  (fma 2 (log (cbrt (/ z t))) (log (- y x)))
  (exp (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (* (pow (- y x) 3) (pow (cbrt (/ z t)) 6))
  (* (pow (- y x) 3) (pow (cbrt (/ z t)) 6))
  (* (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (* (pow (- y x) 3) (pow (cbrt (/ z t)) 6))
  (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt z)))
  (* (* (cbrt t) (cbrt t)) (fma y y (* x (+ y x))))
  (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z)))
  (* (fma y y (* x (+ y x))) (cbrt t))
  (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z)))
  (* (fma y y (* x (+ y x))) (cbrt t))
  (* (- (* y y) (* x x)) (* (cbrt z) (cbrt z)))
  (* (+ y x) (* (cbrt t) (cbrt t)))
  (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt z)))
  (* (+ y x) (cbrt t))
  (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt z)))
  (* (+ y x) (cbrt t))
  (* (sqrt (- y x)) (cbrt (/ z t)))
  (* (sqrt (- y x)) (cbrt (/ z t)))
  (* (- y x) (cbrt (/ z t)))
  (* (cbrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (sqrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- (sqrt y) (sqrt x)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- y x) (* (cbrt z) (cbrt z)))
  (* (- y x) (* (cbrt (/ z t)) (cbrt z)))
  (* (- y x) (* (cbrt (/ z t)) (cbrt z)))
  (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (expm1 (cbrt (/ 1 t)))
  (log1p (cbrt (/ 1 t)))
  (* (- (log t)) 1/3)
  (exp (cbrt (/ 1 t)))
  (cbrt (pow (/ 1 t) 2/3))
  (cbrt (cbrt (/ 1 t)))
  (cbrt (sqrt (/ 1 t)))
  (cbrt (sqrt (/ 1 t)))
  (cbrt (/ (/ 1 (cbrt t)) (cbrt t)))
  (cbrt (/ 1 (cbrt t)))
  (cbrt (/ 1 (sqrt t)))
  (cbrt (/ 1 (sqrt t)))
  1
  (cbrt (/ 1 t))
  (cbrt (/ (/ 1 (cbrt t)) (cbrt t)))
  (cbrt (/ 1 (cbrt t)))
  (cbrt (/ 1 (sqrt t)))
  (cbrt (/ 1 (sqrt t)))
  1
  (cbrt (/ 1 t))
  (cbrt (/ (/ 1 (cbrt t)) (cbrt t)))
  (cbrt (/ 1 (cbrt t)))
  (cbrt (/ 1 (sqrt t)))
  (cbrt (/ 1 (sqrt t)))
  1
  (cbrt (/ 1 t))
  1
  (cbrt (/ 1 t))
  1
  (cbrt (/ 1 t))
  1
  (cbrt t)
  (* (cbrt (cbrt (/ 1 t))) (cbrt (cbrt (/ 1 t))))
  (cbrt (cbrt (/ 1 t)))
  (/ 1 t)
  (sqrt (cbrt (/ 1 t)))
  (sqrt (cbrt (/ 1 t)))
  (cbrt (exp (- (log z) (log t))))
  (cbrt (exp (- (log z) (log t))))
  (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z)))))
  (cbrt (exp (- (log z) (log t))))
  (cbrt (exp (- (log z) (log t))))
  (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z)))))
  (* (exp (* 2/3 (- (log z) (log t)))) (- y x))
  (* (exp (* 2/3 (- (log z) (log t)))) (- y x))
  (* (exp (* 2/3 (- (log (/ -1 t)) (log (/ -1 z))))) (- y x))
  (pow t -1/3)
  (cbrt (/ 1 t))
  (* (cbrt (/ -1 t)) (cbrt -1))
13.866 * * * [progress]: adding candidates to table
14.284 * [progress]: [Phase 3 of 3] Extracting.
14.284 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ x (* (sqrt (- y x)) (* (sqrt (- y x)) (/ z t)))))> #<alt (λ (x y z t) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (/ z t)))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (/ (cbrt z) (cbrt t)) (cbrt (/ z t)))) (* (cbrt z) (cbrt (/ 1 t))))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t))))))> #<alt (λ (x y z t) (+ x (- (/ (* z y) t) (/ (* x z) t))))> #<alt (λ (x y z t) (+ x (* (- y x) (/ z t))))>)
14.286 * * * [regime-changes]: Trying 6 branch expressions: ((/ z t) (+ x (* (- y x) (/ z t))) t z y x)
14.286 * * * * [regimes]: Trying to branch on (/ z t) from (#<alt (λ (x y z t) (+ x (* (sqrt (- y x)) (* (sqrt (- y x)) (/ z t)))))> #<alt (λ (x y z t) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (/ z t)))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (/ (cbrt z) (cbrt t)) (cbrt (/ z t)))) (* (cbrt z) (cbrt (/ 1 t))))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t))))))> #<alt (λ (x y z t) (+ x (- (/ (* z y) t) (/ (* x z) t))))> #<alt (λ (x y z t) (+ x (* (- y x) (/ z t))))>)
14.319 * * * * [regimes]: Trying to branch on (+ x (* (- y x) (/ z t))) from (#<alt (λ (x y z t) (+ x (* (sqrt (- y x)) (* (sqrt (- y x)) (/ z t)))))> #<alt (λ (x y z t) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (/ z t)))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (/ (cbrt z) (cbrt t)) (cbrt (/ z t)))) (* (cbrt z) (cbrt (/ 1 t))))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t))))))> #<alt (λ (x y z t) (+ x (- (/ (* z y) t) (/ (* x z) t))))> #<alt (λ (x y z t) (+ x (* (- y x) (/ z t))))>)
14.356 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ x (* (sqrt (- y x)) (* (sqrt (- y x)) (/ z t)))))> #<alt (λ (x y z t) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (/ z t)))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (/ (cbrt z) (cbrt t)) (cbrt (/ z t)))) (* (cbrt z) (cbrt (/ 1 t))))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t))))))> #<alt (λ (x y z t) (+ x (- (/ (* z y) t) (/ (* x z) t))))> #<alt (λ (x y z t) (+ x (* (- y x) (/ z t))))>)
14.388 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ x (* (sqrt (- y x)) (* (sqrt (- y x)) (/ z t)))))> #<alt (λ (x y z t) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (/ z t)))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (/ (cbrt z) (cbrt t)) (cbrt (/ z t)))) (* (cbrt z) (cbrt (/ 1 t))))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t))))))> #<alt (λ (x y z t) (+ x (- (/ (* z y) t) (/ (* x z) t))))> #<alt (λ (x y z t) (+ x (* (- y x) (/ z t))))>)
14.424 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ x (* (sqrt (- y x)) (* (sqrt (- y x)) (/ z t)))))> #<alt (λ (x y z t) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (/ z t)))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (/ (cbrt z) (cbrt t)) (cbrt (/ z t)))) (* (cbrt z) (cbrt (/ 1 t))))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t))))))> #<alt (λ (x y z t) (+ x (- (/ (* z y) t) (/ (* x z) t))))> #<alt (λ (x y z t) (+ x (* (- y x) (/ z t))))>)
14.466 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ x (* (sqrt (- y x)) (* (sqrt (- y x)) (/ z t)))))> #<alt (λ (x y z t) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (/ z t)))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (/ (cbrt z) (cbrt t)) (cbrt (/ z t)))) (* (cbrt z) (cbrt (/ 1 t))))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t))))))> #<alt (λ (x y z t) (+ x (- (/ (* z y) t) (/ (* x z) t))))> #<alt (λ (x y z t) (+ x (* (- y x) (/ z t))))>)
14.509 * * * [regime]: Found split indices: #<option (#s(si 6 86) #s(si 5 120) #s(si 1 255))>
14.510 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x y z t) (+ x (* (sqrt (- y x)) (* (sqrt (- y x)) (/ z t)))))> #<alt (λ (x y z t) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (/ z t)))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (/ (cbrt z) (cbrt t)) (cbrt (/ z t)))) (* (cbrt z) (cbrt (/ 1 t))))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t))))))> #<alt (λ (x y z t) (+ x (- (/ (* z y) t) (/ (* x z) t))))> #<alt (λ (x y z t) (+ x (* (- y x) (/ z t))))>)
14.590 * [regimes]: Found splitpoints: (#s(sp 6 x -2.8324523097038337e-70) #s(sp 5 x -2.0780948440753943e-240) #s(sp 1 x +nan.0)) , with alts (#<alt (λ (x y z t) (+ x (* (sqrt (- y x)) (* (sqrt (- y x)) (/ z t)))))> #<alt (λ (x y z t) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (/ z t)))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (/ (cbrt z) (cbrt t)) (cbrt (/ z t)))) (* (cbrt z) (cbrt (/ 1 t))))))> #<alt (λ (x y z t) (+ x (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t))))))> #<alt (λ (x y z t) (+ x (- (/ (* z y) t) (/ (* x z) t))))> #<alt (λ (x y z t) (+ x (* (- y x) (/ z t))))>)
14.590 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= x -2.8324523097038337e-70) (+ x (* (- y x) (/ z t))) (if (<= x -2.0780948440753943e-240) (+ x (- (/ (* z y) t) (/ (* x z) t))) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))))))
14.591 * * [simplify]: iteration  0 :  26  enodes  (cost  46 )
14.592 * * [simplify]: iteration  1 :  33  enodes  (cost  46 )
14.593 * * [simplify]: iteration  done :  33  enodes  (cost  46 )
14.593 * [simplify]: Simplified to:
   (if (<= x -2.8324523097038337e-70) (+ x (* (- y x) (/ z t))) (if (<= x -2.0780948440753943e-240) (+ x (- (/ (* z y) t) (/ (* x z) t))) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))))))
15.428 * [regime-testing]: Baseline error score: 2.1601370198936887
15.428 * [regime-testing]: Oracle error score: 0.03339468950016617
15.429 * [regime-testing]: End program error score: 3.299762298927613
15.460 * [regime-testing]: Target error score: 2.4211526666201646