15.025 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.022 * * * [progress]: [2/2] Setting up program.
0.024 * [progress]: [Phase 2 of 3] Improving.
0.024 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (* (- y z) (- t x)))
0.025 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.026 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
0.028 * * [simplify]: iteration  2 :  28  enodes  (cost  9 )
0.032 * * [simplify]: iteration  3 :  70  enodes  (cost  9 )
0.044 * * [simplify]: iteration  4 :  174  enodes  (cost  9 )
0.098 * * [simplify]: iteration  5 :  376  enodes  (cost  9 )
0.286 * * [simplify]: iteration  6 :  696  enodes  (cost  9 )
0.797 * * [simplify]: iteration  7 :  1233  enodes  (cost  9 )
2.275 * * [simplify]: iteration  8 :  2352  enodes  (cost  9 )
3.717 * * [simplify]: iteration  9 :  2948  enodes  (cost  9 )
4.806 * * [simplify]: iteration  10 :  3132  enodes  (cost  9 )
6.038 * * [simplify]: iteration  11 :  3441  enodes  (cost  9 )
7.278 * * [simplify]: iteration  12 :  3868  enodes  (cost  9 )
8.614 * * [simplify]: iteration  13 :  4269  enodes  (cost  9 )
10.031 * * [simplify]: iteration  14 :  4609  enodes  (cost  9 )
11.756 * * [simplify]: iteration  15 :  4884  enodes  (cost  9 )
13.512 * * [simplify]: iteration  16 :  4908  enodes  (cost  9 )
15.297 * * [simplify]: iteration  done :  4908  enodes  (cost  9 )
15.297 * [simplify]: Simplified to:
   (+ x (* (- y z) (- t x)))
15.298 * * [progress]: iteration 1 / 4
15.298 * * * [progress]: picking best candidate
15.299 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>
15.299 * * * [progress]: localizing error
15.306 * * * [progress]: generating rewritten candidates
15.306 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
15.330 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
15.335 * * * [progress]: generating series expansions
15.335 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
15.335 * [approximate]: Taking taylor expansion of (* (- y z) (- t x)) in (y z t x) around 0
15.335 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in x
15.335 * [taylor]: Taking taylor expansion of (- y z) in x
15.335 * [taylor]: Taking taylor expansion of y in x
15.335 * [taylor]: Taking taylor expansion of z in x
15.335 * [taylor]: Taking taylor expansion of (- t x) in x
15.335 * [taylor]: Taking taylor expansion of t in x
15.335 * [taylor]: Taking taylor expansion of x in x
15.335 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in t
15.335 * [taylor]: Taking taylor expansion of (- y z) in t
15.335 * [taylor]: Taking taylor expansion of y in t
15.335 * [taylor]: Taking taylor expansion of z in t
15.335 * [taylor]: Taking taylor expansion of (- t x) in t
15.335 * [taylor]: Taking taylor expansion of t in t
15.335 * [taylor]: Taking taylor expansion of x in t
15.335 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in z
15.335 * [taylor]: Taking taylor expansion of (- y z) in z
15.335 * [taylor]: Taking taylor expansion of y in z
15.335 * [taylor]: Taking taylor expansion of z in z
15.335 * [taylor]: Taking taylor expansion of (- t x) in z
15.335 * [taylor]: Taking taylor expansion of t in z
15.335 * [taylor]: Taking taylor expansion of x in z
15.335 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
15.335 * [taylor]: Taking taylor expansion of (- y z) in y
15.335 * [taylor]: Taking taylor expansion of y in y
15.335 * [taylor]: Taking taylor expansion of z in y
15.335 * [taylor]: Taking taylor expansion of (- t x) in y
15.335 * [taylor]: Taking taylor expansion of t in y
15.336 * [taylor]: Taking taylor expansion of x in y
15.336 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
15.336 * [taylor]: Taking taylor expansion of (- y z) in y
15.336 * [taylor]: Taking taylor expansion of y in y
15.336 * [taylor]: Taking taylor expansion of z in y
15.336 * [taylor]: Taking taylor expansion of (- t x) in y
15.336 * [taylor]: Taking taylor expansion of t in y
15.336 * [taylor]: Taking taylor expansion of x in y
15.336 * [taylor]: Taking taylor expansion of (* -1 (* z (- t x))) in z
15.336 * [taylor]: Taking taylor expansion of -1 in z
15.336 * [taylor]: Taking taylor expansion of (* z (- t x)) in z
15.336 * [taylor]: Taking taylor expansion of z in z
15.336 * [taylor]: Taking taylor expansion of (- t x) in z
15.336 * [taylor]: Taking taylor expansion of t in z
15.336 * [taylor]: Taking taylor expansion of x in z
15.336 * [taylor]: Taking taylor expansion of 0 in t
15.337 * [taylor]: Taking taylor expansion of 0 in x
15.338 * [taylor]: Taking taylor expansion of (- t x) in z
15.338 * [taylor]: Taking taylor expansion of t in z
15.338 * [taylor]: Taking taylor expansion of x in z
15.338 * [taylor]: Taking taylor expansion of (- t x) in t
15.338 * [taylor]: Taking taylor expansion of t in t
15.338 * [taylor]: Taking taylor expansion of x in t
15.338 * [taylor]: Taking taylor expansion of (- x) in x
15.338 * [taylor]: Taking taylor expansion of x in x
15.339 * [taylor]: Taking taylor expansion of (- x t) in t
15.339 * [taylor]: Taking taylor expansion of x in t
15.339 * [taylor]: Taking taylor expansion of t in t
15.339 * [taylor]: Taking taylor expansion of x in x
15.339 * [taylor]: Taking taylor expansion of 0 in x
15.341 * [taylor]: Taking taylor expansion of 0 in z
15.341 * [taylor]: Taking taylor expansion of 0 in t
15.341 * [taylor]: Taking taylor expansion of 0 in x
15.341 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in (y z t x) around 0
15.341 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in x
15.341 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
15.341 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.341 * [taylor]: Taking taylor expansion of y in x
15.341 * [taylor]: Taking taylor expansion of (/ 1 z) in x
15.341 * [taylor]: Taking taylor expansion of z in x
15.341 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x
15.341 * [taylor]: Taking taylor expansion of (/ 1 t) in x
15.341 * [taylor]: Taking taylor expansion of t in x
15.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.341 * [taylor]: Taking taylor expansion of x in x
15.341 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in t
15.341 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
15.341 * [taylor]: Taking taylor expansion of (/ 1 y) in t
15.341 * [taylor]: Taking taylor expansion of y in t
15.341 * [taylor]: Taking taylor expansion of (/ 1 z) in t
15.342 * [taylor]: Taking taylor expansion of z in t
15.342 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
15.342 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.342 * [taylor]: Taking taylor expansion of t in t
15.342 * [taylor]: Taking taylor expansion of (/ 1 x) in t
15.342 * [taylor]: Taking taylor expansion of x in t
15.342 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in z
15.342 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
15.342 * [taylor]: Taking taylor expansion of (/ 1 y) in z
15.342 * [taylor]: Taking taylor expansion of y in z
15.342 * [taylor]: Taking taylor expansion of (/ 1 z) in z
15.342 * [taylor]: Taking taylor expansion of z in z
15.342 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
15.342 * [taylor]: Taking taylor expansion of (/ 1 t) in z
15.342 * [taylor]: Taking taylor expansion of t in z
15.342 * [taylor]: Taking taylor expansion of (/ 1 x) in z
15.342 * [taylor]: Taking taylor expansion of x in z
15.342 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in y
15.342 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
15.342 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.342 * [taylor]: Taking taylor expansion of y in y
15.343 * [taylor]: Taking taylor expansion of (/ 1 z) in y
15.343 * [taylor]: Taking taylor expansion of z in y
15.343 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y
15.343 * [taylor]: Taking taylor expansion of (/ 1 t) in y
15.343 * [taylor]: Taking taylor expansion of t in y
15.343 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.343 * [taylor]: Taking taylor expansion of x in y
15.343 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in y
15.343 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
15.343 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.343 * [taylor]: Taking taylor expansion of y in y
15.343 * [taylor]: Taking taylor expansion of (/ 1 z) in y
15.343 * [taylor]: Taking taylor expansion of z in y
15.343 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y
15.343 * [taylor]: Taking taylor expansion of (/ 1 t) in y
15.343 * [taylor]: Taking taylor expansion of t in y
15.343 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.343 * [taylor]: Taking taylor expansion of x in y
15.344 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
15.344 * [taylor]: Taking taylor expansion of (/ 1 t) in z
15.344 * [taylor]: Taking taylor expansion of t in z
15.344 * [taylor]: Taking taylor expansion of (/ 1 x) in z
15.344 * [taylor]: Taking taylor expansion of x in z
15.346 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* t z))) in z
15.346 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
15.346 * [taylor]: Taking taylor expansion of (* x z) in z
15.346 * [taylor]: Taking taylor expansion of x in z
15.346 * [taylor]: Taking taylor expansion of z in z
15.346 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
15.346 * [taylor]: Taking taylor expansion of (* t z) in z
15.346 * [taylor]: Taking taylor expansion of t in z
15.346 * [taylor]: Taking taylor expansion of z in z
15.347 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
15.347 * [taylor]: Taking taylor expansion of (/ 1 x) in t
15.347 * [taylor]: Taking taylor expansion of x in t
15.347 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.347 * [taylor]: Taking taylor expansion of t in t
15.347 * [taylor]: Taking taylor expansion of -1 in x
15.347 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
15.348 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.348 * [taylor]: Taking taylor expansion of t in t
15.348 * [taylor]: Taking taylor expansion of (/ 1 x) in t
15.348 * [taylor]: Taking taylor expansion of x in t
15.348 * [taylor]: Taking taylor expansion of 1 in x
15.350 * [taylor]: Taking taylor expansion of 0 in z
15.351 * [taylor]: Taking taylor expansion of 0 in t
15.352 * [taylor]: Taking taylor expansion of 0 in t
15.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.353 * [taylor]: Taking taylor expansion of x in x
15.353 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
15.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.354 * [taylor]: Taking taylor expansion of x in x
15.355 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in (y z t x) around 0
15.355 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in x
15.355 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
15.355 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.355 * [taylor]: Taking taylor expansion of x in x
15.355 * [taylor]: Taking taylor expansion of (/ 1 t) in x
15.355 * [taylor]: Taking taylor expansion of t in x
15.355 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
15.355 * [taylor]: Taking taylor expansion of (/ 1 z) in x
15.355 * [taylor]: Taking taylor expansion of z in x
15.355 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.355 * [taylor]: Taking taylor expansion of y in x
15.355 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in t
15.355 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
15.355 * [taylor]: Taking taylor expansion of (/ 1 x) in t
15.355 * [taylor]: Taking taylor expansion of x in t
15.355 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.355 * [taylor]: Taking taylor expansion of t in t
15.355 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
15.355 * [taylor]: Taking taylor expansion of (/ 1 z) in t
15.355 * [taylor]: Taking taylor expansion of z in t
15.355 * [taylor]: Taking taylor expansion of (/ 1 y) in t
15.356 * [taylor]: Taking taylor expansion of y in t
15.356 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in z
15.356 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in z
15.356 * [taylor]: Taking taylor expansion of (/ 1 x) in z
15.356 * [taylor]: Taking taylor expansion of x in z
15.356 * [taylor]: Taking taylor expansion of (/ 1 t) in z
15.356 * [taylor]: Taking taylor expansion of t in z
15.356 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
15.356 * [taylor]: Taking taylor expansion of (/ 1 z) in z
15.356 * [taylor]: Taking taylor expansion of z in z
15.356 * [taylor]: Taking taylor expansion of (/ 1 y) in z
15.356 * [taylor]: Taking taylor expansion of y in z
15.356 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y
15.356 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y
15.356 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.356 * [taylor]: Taking taylor expansion of x in y
15.356 * [taylor]: Taking taylor expansion of (/ 1 t) in y
15.356 * [taylor]: Taking taylor expansion of t in y
15.356 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
15.356 * [taylor]: Taking taylor expansion of (/ 1 z) in y
15.356 * [taylor]: Taking taylor expansion of z in y
15.356 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.356 * [taylor]: Taking taylor expansion of y in y
15.356 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y
15.357 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y
15.357 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.357 * [taylor]: Taking taylor expansion of x in y
15.357 * [taylor]: Taking taylor expansion of (/ 1 t) in y
15.357 * [taylor]: Taking taylor expansion of t in y
15.357 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
15.357 * [taylor]: Taking taylor expansion of (/ 1 z) in y
15.357 * [taylor]: Taking taylor expansion of z in y
15.357 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.357 * [taylor]: Taking taylor expansion of y in y
15.358 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 t))) in z
15.358 * [taylor]: Taking taylor expansion of -1 in z
15.358 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in z
15.358 * [taylor]: Taking taylor expansion of (/ 1 x) in z
15.358 * [taylor]: Taking taylor expansion of x in z
15.358 * [taylor]: Taking taylor expansion of (/ 1 t) in z
15.358 * [taylor]: Taking taylor expansion of t in z
15.359 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* t z))) in z
15.359 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
15.359 * [taylor]: Taking taylor expansion of (* x z) in z
15.359 * [taylor]: Taking taylor expansion of x in z
15.359 * [taylor]: Taking taylor expansion of z in z
15.360 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
15.360 * [taylor]: Taking taylor expansion of (* t z) in z
15.360 * [taylor]: Taking taylor expansion of t in z
15.360 * [taylor]: Taking taylor expansion of z in z
15.360 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
15.360 * [taylor]: Taking taylor expansion of (/ 1 x) in t
15.360 * [taylor]: Taking taylor expansion of x in t
15.360 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.360 * [taylor]: Taking taylor expansion of t in t
15.361 * [taylor]: Taking taylor expansion of -1 in x
15.361 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 t))) in t
15.361 * [taylor]: Taking taylor expansion of -1 in t
15.361 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
15.361 * [taylor]: Taking taylor expansion of (/ 1 x) in t
15.361 * [taylor]: Taking taylor expansion of x in t
15.361 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.361 * [taylor]: Taking taylor expansion of t in t
15.362 * [taylor]: Taking taylor expansion of 1 in x
15.364 * [taylor]: Taking taylor expansion of 0 in z
15.366 * [taylor]: Taking taylor expansion of 0 in t
15.367 * [taylor]: Taking taylor expansion of 0 in t
15.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.367 * [taylor]: Taking taylor expansion of x in x
15.369 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
15.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.369 * [taylor]: Taking taylor expansion of x in x
15.370 * * * * [progress]: [ 2 / 2 ] generating series at (2)
15.370 * [approximate]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in (x y z t) around 0
15.370 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in t
15.370 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in t
15.370 * [taylor]: Taking taylor expansion of (* x z) in t
15.370 * [taylor]: Taking taylor expansion of x in t
15.370 * [taylor]: Taking taylor expansion of z in t
15.370 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t
15.370 * [taylor]: Taking taylor expansion of x in t
15.370 * [taylor]: Taking taylor expansion of (* t y) in t
15.370 * [taylor]: Taking taylor expansion of t in t
15.370 * [taylor]: Taking taylor expansion of y in t
15.370 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t
15.370 * [taylor]: Taking taylor expansion of (* t z) in t
15.370 * [taylor]: Taking taylor expansion of t in t
15.370 * [taylor]: Taking taylor expansion of z in t
15.370 * [taylor]: Taking taylor expansion of (* x y) in t
15.370 * [taylor]: Taking taylor expansion of x in t
15.370 * [taylor]: Taking taylor expansion of y in t
15.370 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in z
15.370 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in z
15.370 * [taylor]: Taking taylor expansion of (* x z) in z
15.370 * [taylor]: Taking taylor expansion of x in z
15.370 * [taylor]: Taking taylor expansion of z in z
15.370 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z
15.370 * [taylor]: Taking taylor expansion of x in z
15.370 * [taylor]: Taking taylor expansion of (* t y) in z
15.370 * [taylor]: Taking taylor expansion of t in z
15.370 * [taylor]: Taking taylor expansion of y in z
15.370 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z
15.370 * [taylor]: Taking taylor expansion of (* t z) in z
15.370 * [taylor]: Taking taylor expansion of t in z
15.370 * [taylor]: Taking taylor expansion of z in z
15.370 * [taylor]: Taking taylor expansion of (* x y) in z
15.370 * [taylor]: Taking taylor expansion of x in z
15.370 * [taylor]: Taking taylor expansion of y in z
15.370 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in y
15.370 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in y
15.370 * [taylor]: Taking taylor expansion of (* x z) in y
15.370 * [taylor]: Taking taylor expansion of x in y
15.370 * [taylor]: Taking taylor expansion of z in y
15.370 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y
15.370 * [taylor]: Taking taylor expansion of x in y
15.370 * [taylor]: Taking taylor expansion of (* t y) in y
15.370 * [taylor]: Taking taylor expansion of t in y
15.370 * [taylor]: Taking taylor expansion of y in y
15.370 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y
15.370 * [taylor]: Taking taylor expansion of (* t z) in y
15.370 * [taylor]: Taking taylor expansion of t in y
15.371 * [taylor]: Taking taylor expansion of z in y
15.371 * [taylor]: Taking taylor expansion of (* x y) in y
15.371 * [taylor]: Taking taylor expansion of x in y
15.371 * [taylor]: Taking taylor expansion of y in y
15.371 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
15.371 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
15.371 * [taylor]: Taking taylor expansion of (* x z) in x
15.371 * [taylor]: Taking taylor expansion of x in x
15.371 * [taylor]: Taking taylor expansion of z in x
15.371 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
15.371 * [taylor]: Taking taylor expansion of x in x
15.371 * [taylor]: Taking taylor expansion of (* t y) in x
15.371 * [taylor]: Taking taylor expansion of t in x
15.371 * [taylor]: Taking taylor expansion of y in x
15.371 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
15.371 * [taylor]: Taking taylor expansion of (* t z) in x
15.371 * [taylor]: Taking taylor expansion of t in x
15.371 * [taylor]: Taking taylor expansion of z in x
15.371 * [taylor]: Taking taylor expansion of (* x y) in x
15.371 * [taylor]: Taking taylor expansion of x in x
15.371 * [taylor]: Taking taylor expansion of y in x
15.371 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
15.371 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
15.371 * [taylor]: Taking taylor expansion of (* x z) in x
15.371 * [taylor]: Taking taylor expansion of x in x
15.371 * [taylor]: Taking taylor expansion of z in x
15.371 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
15.371 * [taylor]: Taking taylor expansion of x in x
15.371 * [taylor]: Taking taylor expansion of (* t y) in x
15.371 * [taylor]: Taking taylor expansion of t in x
15.371 * [taylor]: Taking taylor expansion of y in x
15.371 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
15.371 * [taylor]: Taking taylor expansion of (* t z) in x
15.371 * [taylor]: Taking taylor expansion of t in x
15.371 * [taylor]: Taking taylor expansion of z in x
15.371 * [taylor]: Taking taylor expansion of (* x y) in x
15.371 * [taylor]: Taking taylor expansion of x in x
15.371 * [taylor]: Taking taylor expansion of y in x
15.371 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in y
15.371 * [taylor]: Taking taylor expansion of (* t y) in y
15.371 * [taylor]: Taking taylor expansion of t in y
15.371 * [taylor]: Taking taylor expansion of y in y
15.371 * [taylor]: Taking taylor expansion of (* t z) in y
15.371 * [taylor]: Taking taylor expansion of t in y
15.371 * [taylor]: Taking taylor expansion of z in y
15.372 * [taylor]: Taking taylor expansion of (- (* t z)) in z
15.372 * [taylor]: Taking taylor expansion of (* t z) in z
15.372 * [taylor]: Taking taylor expansion of t in z
15.372 * [taylor]: Taking taylor expansion of z in z
15.372 * [taylor]: Taking taylor expansion of 0 in t
15.373 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in y
15.373 * [taylor]: Taking taylor expansion of (+ z 1) in y
15.373 * [taylor]: Taking taylor expansion of z in y
15.373 * [taylor]: Taking taylor expansion of 1 in y
15.373 * [taylor]: Taking taylor expansion of y in y
15.373 * [taylor]: Taking taylor expansion of (+ z 1) in z
15.373 * [taylor]: Taking taylor expansion of z in z
15.373 * [taylor]: Taking taylor expansion of 1 in z
15.374 * [taylor]: Taking taylor expansion of 1 in t
15.374 * [taylor]: Taking taylor expansion of t in z
15.374 * [taylor]: Taking taylor expansion of t in t
15.374 * [taylor]: Taking taylor expansion of (- t) in t
15.374 * [taylor]: Taking taylor expansion of t in t
15.377 * [taylor]: Taking taylor expansion of 0 in y
15.377 * [taylor]: Taking taylor expansion of 0 in z
15.377 * [taylor]: Taking taylor expansion of 0 in t
15.378 * [taylor]: Taking taylor expansion of -1 in z
15.378 * [taylor]: Taking taylor expansion of -1 in t
15.379 * [taylor]: Taking taylor expansion of 0 in z
15.379 * [taylor]: Taking taylor expansion of 0 in t
15.379 * [taylor]: Taking taylor expansion of 1 in t
15.380 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (x y z t) around 0
15.380 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t
15.380 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in t
15.380 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
15.380 * [taylor]: Taking taylor expansion of (* t y) in t
15.380 * [taylor]: Taking taylor expansion of t in t
15.380 * [taylor]: Taking taylor expansion of y in t
15.380 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in t
15.380 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
15.380 * [taylor]: Taking taylor expansion of (* x z) in t
15.380 * [taylor]: Taking taylor expansion of x in t
15.380 * [taylor]: Taking taylor expansion of z in t
15.381 * [taylor]: Taking taylor expansion of (/ 1 x) in t
15.381 * [taylor]: Taking taylor expansion of x in t
15.381 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
15.381 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
15.381 * [taylor]: Taking taylor expansion of (* t z) in t
15.381 * [taylor]: Taking taylor expansion of t in t
15.381 * [taylor]: Taking taylor expansion of z in t
15.381 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
15.381 * [taylor]: Taking taylor expansion of (* x y) in t
15.381 * [taylor]: Taking taylor expansion of x in t
15.381 * [taylor]: Taking taylor expansion of y in t
15.381 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z
15.381 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in z
15.381 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
15.381 * [taylor]: Taking taylor expansion of (* t y) in z
15.381 * [taylor]: Taking taylor expansion of t in z
15.381 * [taylor]: Taking taylor expansion of y in z
15.381 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in z
15.381 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
15.381 * [taylor]: Taking taylor expansion of (* x z) in z
15.381 * [taylor]: Taking taylor expansion of x in z
15.381 * [taylor]: Taking taylor expansion of z in z
15.382 * [taylor]: Taking taylor expansion of (/ 1 x) in z
15.382 * [taylor]: Taking taylor expansion of x in z
15.382 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
15.382 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
15.382 * [taylor]: Taking taylor expansion of (* t z) in z
15.382 * [taylor]: Taking taylor expansion of t in z
15.382 * [taylor]: Taking taylor expansion of z in z
15.382 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
15.382 * [taylor]: Taking taylor expansion of (* x y) in z
15.382 * [taylor]: Taking taylor expansion of x in z
15.382 * [taylor]: Taking taylor expansion of y in z
15.382 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
15.382 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in y
15.382 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
15.382 * [taylor]: Taking taylor expansion of (* t y) in y
15.382 * [taylor]: Taking taylor expansion of t in y
15.382 * [taylor]: Taking taylor expansion of y in y
15.383 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in y
15.383 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
15.383 * [taylor]: Taking taylor expansion of (* x z) in y
15.383 * [taylor]: Taking taylor expansion of x in y
15.383 * [taylor]: Taking taylor expansion of z in y
15.383 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.383 * [taylor]: Taking taylor expansion of x in y
15.383 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
15.383 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
15.383 * [taylor]: Taking taylor expansion of (* t z) in y
15.383 * [taylor]: Taking taylor expansion of t in y
15.383 * [taylor]: Taking taylor expansion of z in y
15.383 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
15.383 * [taylor]: Taking taylor expansion of (* x y) in y
15.383 * [taylor]: Taking taylor expansion of x in y
15.383 * [taylor]: Taking taylor expansion of y in y
15.383 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
15.383 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
15.383 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
15.383 * [taylor]: Taking taylor expansion of (* t y) in x
15.383 * [taylor]: Taking taylor expansion of t in x
15.383 * [taylor]: Taking taylor expansion of y in x
15.383 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
15.383 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
15.383 * [taylor]: Taking taylor expansion of (* x z) in x
15.383 * [taylor]: Taking taylor expansion of x in x
15.383 * [taylor]: Taking taylor expansion of z in x
15.384 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.384 * [taylor]: Taking taylor expansion of x in x
15.384 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
15.384 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
15.384 * [taylor]: Taking taylor expansion of (* t z) in x
15.384 * [taylor]: Taking taylor expansion of t in x
15.384 * [taylor]: Taking taylor expansion of z in x
15.384 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
15.384 * [taylor]: Taking taylor expansion of (* x y) in x
15.384 * [taylor]: Taking taylor expansion of x in x
15.384 * [taylor]: Taking taylor expansion of y in x
15.385 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
15.385 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
15.385 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
15.385 * [taylor]: Taking taylor expansion of (* t y) in x
15.385 * [taylor]: Taking taylor expansion of t in x
15.385 * [taylor]: Taking taylor expansion of y in x
15.385 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
15.385 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
15.385 * [taylor]: Taking taylor expansion of (* x z) in x
15.385 * [taylor]: Taking taylor expansion of x in x
15.385 * [taylor]: Taking taylor expansion of z in x
15.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.385 * [taylor]: Taking taylor expansion of x in x
15.385 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
15.385 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
15.385 * [taylor]: Taking taylor expansion of (* t z) in x
15.385 * [taylor]: Taking taylor expansion of t in x
15.385 * [taylor]: Taking taylor expansion of z in x
15.385 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
15.386 * [taylor]: Taking taylor expansion of (* x y) in x
15.386 * [taylor]: Taking taylor expansion of x in x
15.386 * [taylor]: Taking taylor expansion of y in x
15.386 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in y
15.386 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y
15.386 * [taylor]: Taking taylor expansion of (/ 1 z) in y
15.386 * [taylor]: Taking taylor expansion of z in y
15.386 * [taylor]: Taking taylor expansion of 1 in y
15.386 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.386 * [taylor]: Taking taylor expansion of y in y
15.387 * [taylor]: Taking taylor expansion of -1 in z
15.389 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
15.389 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
15.389 * [taylor]: Taking taylor expansion of (* t y) in y
15.389 * [taylor]: Taking taylor expansion of t in y
15.389 * [taylor]: Taking taylor expansion of y in y
15.389 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
15.389 * [taylor]: Taking taylor expansion of (* t z) in y
15.389 * [taylor]: Taking taylor expansion of t in y
15.389 * [taylor]: Taking taylor expansion of z in y
15.389 * [taylor]: Taking taylor expansion of (/ 1 t) in z
15.389 * [taylor]: Taking taylor expansion of t in z
15.390 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
15.390 * [taylor]: Taking taylor expansion of (/ 1 z) in z
15.390 * [taylor]: Taking taylor expansion of z in z
15.391 * [taylor]: Taking taylor expansion of 1 in z
15.391 * [taylor]: Taking taylor expansion of 1 in t
15.391 * [taylor]: Taking taylor expansion of -1 in t
15.394 * [taylor]: Taking taylor expansion of 0 in y
15.395 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z
15.395 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
15.395 * [taylor]: Taking taylor expansion of (* t z) in z
15.395 * [taylor]: Taking taylor expansion of t in z
15.395 * [taylor]: Taking taylor expansion of z in z
15.395 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
15.395 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.395 * [taylor]: Taking taylor expansion of t in t
15.397 * [taylor]: Taking taylor expansion of 0 in z
15.397 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.397 * [taylor]: Taking taylor expansion of t in t
15.398 * [taylor]: Taking taylor expansion of 1 in t
15.398 * [taylor]: Taking taylor expansion of 0 in t
15.399 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in (x y z t) around 0
15.399 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in t
15.399 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t
15.399 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
15.399 * [taylor]: Taking taylor expansion of (* x z) in t
15.399 * [taylor]: Taking taylor expansion of x in t
15.399 * [taylor]: Taking taylor expansion of z in t
15.399 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
15.399 * [taylor]: Taking taylor expansion of (* t y) in t
15.399 * [taylor]: Taking taylor expansion of t in t
15.399 * [taylor]: Taking taylor expansion of y in t
15.400 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in t
15.400 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
15.400 * [taylor]: Taking taylor expansion of (* t z) in t
15.400 * [taylor]: Taking taylor expansion of t in t
15.400 * [taylor]: Taking taylor expansion of z in t
15.400 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in t
15.400 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
15.400 * [taylor]: Taking taylor expansion of (* x y) in t
15.400 * [taylor]: Taking taylor expansion of x in t
15.400 * [taylor]: Taking taylor expansion of y in t
15.400 * [taylor]: Taking taylor expansion of (/ 1 x) in t
15.400 * [taylor]: Taking taylor expansion of x in t
15.400 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in z
15.400 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z
15.400 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
15.400 * [taylor]: Taking taylor expansion of (* x z) in z
15.400 * [taylor]: Taking taylor expansion of x in z
15.400 * [taylor]: Taking taylor expansion of z in z
15.401 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
15.401 * [taylor]: Taking taylor expansion of (* t y) in z
15.401 * [taylor]: Taking taylor expansion of t in z
15.401 * [taylor]: Taking taylor expansion of y in z
15.401 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in z
15.401 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
15.401 * [taylor]: Taking taylor expansion of (* t z) in z
15.401 * [taylor]: Taking taylor expansion of t in z
15.401 * [taylor]: Taking taylor expansion of z in z
15.401 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z
15.401 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
15.401 * [taylor]: Taking taylor expansion of (* x y) in z
15.401 * [taylor]: Taking taylor expansion of x in z
15.401 * [taylor]: Taking taylor expansion of y in z
15.401 * [taylor]: Taking taylor expansion of (/ 1 x) in z
15.401 * [taylor]: Taking taylor expansion of x in z
15.401 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in y
15.401 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y
15.401 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
15.401 * [taylor]: Taking taylor expansion of (* x z) in y
15.401 * [taylor]: Taking taylor expansion of x in y
15.401 * [taylor]: Taking taylor expansion of z in y
15.401 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
15.401 * [taylor]: Taking taylor expansion of (* t y) in y
15.401 * [taylor]: Taking taylor expansion of t in y
15.401 * [taylor]: Taking taylor expansion of y in y
15.402 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in y
15.402 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
15.402 * [taylor]: Taking taylor expansion of (* t z) in y
15.402 * [taylor]: Taking taylor expansion of t in y
15.402 * [taylor]: Taking taylor expansion of z in y
15.402 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
15.402 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
15.402 * [taylor]: Taking taylor expansion of (* x y) in y
15.402 * [taylor]: Taking taylor expansion of x in y
15.402 * [taylor]: Taking taylor expansion of y in y
15.402 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.402 * [taylor]: Taking taylor expansion of x in y
15.402 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
15.402 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
15.402 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
15.402 * [taylor]: Taking taylor expansion of (* x z) in x
15.402 * [taylor]: Taking taylor expansion of x in x
15.402 * [taylor]: Taking taylor expansion of z in x
15.403 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
15.403 * [taylor]: Taking taylor expansion of (* t y) in x
15.403 * [taylor]: Taking taylor expansion of t in x
15.403 * [taylor]: Taking taylor expansion of y in x
15.403 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
15.403 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
15.403 * [taylor]: Taking taylor expansion of (* t z) in x
15.403 * [taylor]: Taking taylor expansion of t in x
15.403 * [taylor]: Taking taylor expansion of z in x
15.405 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
15.405 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
15.405 * [taylor]: Taking taylor expansion of (* x y) in x
15.405 * [taylor]: Taking taylor expansion of x in x
15.406 * [taylor]: Taking taylor expansion of y in x
15.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.406 * [taylor]: Taking taylor expansion of x in x
15.406 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
15.406 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
15.406 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
15.406 * [taylor]: Taking taylor expansion of (* x z) in x
15.406 * [taylor]: Taking taylor expansion of x in x
15.406 * [taylor]: Taking taylor expansion of z in x
15.407 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
15.407 * [taylor]: Taking taylor expansion of (* t y) in x
15.407 * [taylor]: Taking taylor expansion of t in x
15.407 * [taylor]: Taking taylor expansion of y in x
15.407 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
15.407 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
15.407 * [taylor]: Taking taylor expansion of (* t z) in x
15.407 * [taylor]: Taking taylor expansion of t in x
15.407 * [taylor]: Taking taylor expansion of z in x
15.407 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
15.407 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
15.407 * [taylor]: Taking taylor expansion of (* x y) in x
15.407 * [taylor]: Taking taylor expansion of x in x
15.407 * [taylor]: Taking taylor expansion of y in x
15.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.407 * [taylor]: Taking taylor expansion of x in x
15.408 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in y
15.408 * [taylor]: Taking taylor expansion of (/ 1 z) in y
15.408 * [taylor]: Taking taylor expansion of z in y
15.408 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
15.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.408 * [taylor]: Taking taylor expansion of y in y
15.408 * [taylor]: Taking taylor expansion of 1 in y
15.409 * [taylor]: Taking taylor expansion of -1 in z
15.411 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
15.411 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
15.411 * [taylor]: Taking taylor expansion of (* t y) in y
15.411 * [taylor]: Taking taylor expansion of t in y
15.411 * [taylor]: Taking taylor expansion of y in y
15.412 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
15.412 * [taylor]: Taking taylor expansion of (* t z) in y
15.412 * [taylor]: Taking taylor expansion of t in y
15.412 * [taylor]: Taking taylor expansion of z in y
15.412 * [taylor]: Taking taylor expansion of (/ 1 t) in z
15.412 * [taylor]: Taking taylor expansion of t in z
15.413 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in z
15.413 * [taylor]: Taking taylor expansion of (/ 1 z) in z
15.413 * [taylor]: Taking taylor expansion of z in z
15.413 * [taylor]: Taking taylor expansion of 1 in z
15.413 * [taylor]: Taking taylor expansion of 1 in t
15.413 * [taylor]: Taking taylor expansion of -1 in t
15.417 * [taylor]: Taking taylor expansion of 0 in y
15.417 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z
15.417 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
15.417 * [taylor]: Taking taylor expansion of (* t z) in z
15.417 * [taylor]: Taking taylor expansion of t in z
15.417 * [taylor]: Taking taylor expansion of z in z
15.418 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
15.418 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.418 * [taylor]: Taking taylor expansion of t in t
15.419 * [taylor]: Taking taylor expansion of 0 in z
15.420 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.420 * [taylor]: Taking taylor expansion of t in t
15.421 * [taylor]: Taking taylor expansion of -1 in t
15.421 * [taylor]: Taking taylor expansion of 0 in t
15.421 * * * [progress]: simplifying candidates
15.422 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (- y z) (- t x))
  (+ (log (- y z)) (log (- t x)))
  (log (* (- y z) (- t x)))
  (exp (* (- y z) (- t x)))
  (* (* (* (- y z) (- y z)) (- y z)) (* (* (- t x) (- t x)) (- t x)))
  (* (cbrt (* (- y z) (- t x))) (cbrt (* (- y z) (- t x))))
  (cbrt (* (- y z) (- t x)))
  (* (* (* (- y z) (- t x)) (* (- y z) (- t x))) (* (- y z) (- t x)))
  (sqrt (* (- y z) (- t x)))
  (sqrt (* (- y z) (- t x)))
  (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow x 3)))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ (* t t) (+ (* x x) (* t x))))
  (* (- (pow y 3) (pow z 3)) (- (* t t) (* x x)))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ t x))
  (* (- (* y y) (* z z)) (- (pow t 3) (pow x 3)))
  (* (+ y z) (+ (* t t) (+ (* x x) (* t x))))
  (* (- (* y y) (* z z)) (- (* t t) (* x x)))
  (* (+ y z) (+ t x))
  (* (sqrt (- y z)) (sqrt (- t x)))
  (* (sqrt (- y z)) (sqrt (- t x)))
  (* (- y z) t)
  (* (- y z) (- x))
  (* (- y z) t)
  (* (- y z) (- x))
  (* t (- y z))
  (* (- x) (- y z))
  (* t (- y z))
  (* (- x) (- y z))
  (* (- y z) (* (cbrt (- t x)) (cbrt (- t x))))
  (* (- y z) (sqrt (- t x)))
  (* (- y z) 1)
  (* (- y z) (+ (sqrt t) (sqrt x)))
  (* (- y z) 1)
  (* (cbrt (- y z)) (- t x))
  (* (sqrt (- y z)) (- t x))
  (* (- y z) (- t x))
  (* (- (sqrt y) (sqrt z)) (- t x))
  (* (- y z) (- t x))
  (* (- y z) (- (pow t 3) (pow x 3)))
  (* (- y z) (- (* t t) (* x x)))
  (* (- (pow y 3) (pow z 3)) (- t x))
  (* (- (* y y) (* z z)) (- t x))
  (* (exp x) (exp (* (- y z) (- t x))))
  (log (+ x (* (- y z) (- t x))))
  (exp (+ x (* (- y z) (- t x))))
  (* (cbrt (+ x (* (- y z) (- t x)))) (cbrt (+ x (* (- y z) (- t x)))))
  (cbrt (+ x (* (- y z) (- t x))))
  (* (* (+ x (* (- y z) (- t x))) (+ x (* (- y z) (- t x)))) (+ x (* (- y z) (- t x))))
  (sqrt (+ x (* (- y z) (- t x))))
  (sqrt (+ x (* (- y z) (- t x))))
  (+ (pow x 3) (pow (* (- y z) (- t x)) 3))
  (+ (* x x) (- (* (* (- y z) (- t x)) (* (- y z) (- t x))) (* x (* (- y z) (- t x)))))
  (- (* x x) (* (* (- y z) (- t x)) (* (- y z) (- t x))))
  (- x (* (- y z) (- t x)))
  (+ x (* (- y z) t))
  (+ x (* (- y z) t))
  (+ x (* t (- y z)))
  (+ x (* t (- y z)))
  0
  (- (* x z) (+ (* t z) (* x y)))
  (- (* x z) (+ (* t z) (* x y)))
  (- (+ (* x z) x) (* x y))
  (- (+ (* x z) (* t y)) (* t z))
  (- (+ (* x z) (* t y)) (* t z))
15.425 * * [simplify]: iteration  0 :  110  enodes  (cost  687 )
15.443 * * [simplify]: iteration  1 :  290  enodes  (cost  651 )
15.511 * * [simplify]: iteration  2 :  1057  enodes  (cost  611 )
16.361 * * [simplify]: iteration  3 :  4707  enodes  (cost  609 )
17.358 * * [simplify]: iteration  done :  5000  enodes  (cost  609 )
17.359 * [simplify]: Simplified to:
   (* (- y z) (- t x))
  (log (* (- y z) (- t x)))
  (log (* (- y z) (- t x)))
  (exp (* (- y z) (- t x)))
  (pow (* (- y z) (- t x)) 3)
  (* (cbrt (* (- y z) (- t x))) (cbrt (* (- y z) (- t x))))
  (cbrt (* (- y z) (- t x)))
  (pow (* (- y z) (- t x)) 3)
  (sqrt (* (- y z) (- t x)))
  (sqrt (* (- y z) (- t x)))
  (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow x 3)))
  (* (+ (* y y) (* z (+ y z))) (+ (* x (+ t x)) (* t t)))
  (* (- (pow y 3) (pow z 3)) (- (* t t) (* x x)))
  (* (+ (* y y) (* z (+ y z))) (+ t x))
  (* (- (* y y) (* z z)) (- (pow t 3) (pow x 3)))
  (* (+ y z) (+ (* x (+ t x)) (* t t)))
  (* (- (* y y) (* z z)) (- (* t t) (* x x)))
  (* (+ y z) (+ t x))
  (* (sqrt (- y z)) (sqrt (- t x)))
  (* (sqrt (- y z)) (sqrt (- t x)))
  (* t (- y z))
  (* (- y z) (- x))
  (* t (- y z))
  (* (- y z) (- x))
  (* t (- y z))
  (* (- y z) (- x))
  (* t (- y z))
  (* (- y z) (- x))
  (* (- y z) (* (cbrt (- t x)) (cbrt (- t x))))
  (* (- y z) (sqrt (- t x)))
  (- y z)
  (* (- y z) (+ (sqrt t) (sqrt x)))
  (- y z)
  (* (cbrt (- y z)) (- t x))
  (* (sqrt (- y z)) (- t x))
  (* (- y z) (- t x))
  (* (- (sqrt y) (sqrt z)) (- t x))
  (* (- y z) (- t x))
  (* (- y z) (- (pow t 3) (pow x 3)))
  (* (- y z) (- (* t t) (* x x)))
  (* (- (pow y 3) (pow z 3)) (- t x))
  (* (- (* y y) (* z z)) (- t x))
  (exp (+ x (* (- y z) (- t x))))
  (log (+ x (* (- y z) (- t x))))
  (exp (+ x (* (- y z) (- t x))))
  (* (cbrt (+ x (* (- y z) (- t x)))) (cbrt (+ x (* (- y z) (- t x)))))
  (cbrt (+ x (* (- y z) (- t x))))
  (pow (+ x (* (- y z) (- t x))) 3)
  (sqrt (+ x (* (- y z) (- t x))))
  (sqrt (+ x (* (- y z) (- t x))))
  (+ (pow x 3) (pow (* (- y z) (- t x)) 3))
  (+ (* (* (- y z) (- t x)) (- (* (- y z) (- t x)) x)) (* x x))
  (- (* x x) (* (* (- y z) (- t x)) (* (- y z) (- t x))))
  (- x (* (- y z) (- t x)))
  (+ x (* t (- y z)))
  (+ x (* t (- y z)))
  (+ x (* t (- y z)))
  (+ x (* t (- y z)))
  0
  (- (* z (- x t)) (* x y))
  (- (* z (- x t)) (* x y))
  (* x (- (+ z 1) y))
  (+ (* x z) (* t (- y z)))
  (+ (* x z) (* t (- y z)))
17.359 * * * [progress]: adding candidates to table
17.474 * * [progress]: iteration 2 / 4
17.474 * * * [progress]: picking best candidate
17.485 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (+ x (* t (- y z))) (* (- x) (- y z))))>
17.485 * * * [progress]: localizing error
17.494 * * * [progress]: generating rewritten candidates
17.494 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2)
17.504 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
17.516 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
17.530 * * * [progress]: generating series expansions
17.530 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2)
17.531 * [approximate]: Taking taylor expansion of (* (- y z) t) in (t y z) around 0
17.531 * [taylor]: Taking taylor expansion of (* (- y z) t) in z
17.531 * [taylor]: Taking taylor expansion of (- y z) in z
17.531 * [taylor]: Taking taylor expansion of y in z
17.531 * [taylor]: Taking taylor expansion of z in z
17.531 * [taylor]: Taking taylor expansion of t in z
17.531 * [taylor]: Taking taylor expansion of (* (- y z) t) in y
17.531 * [taylor]: Taking taylor expansion of (- y z) in y
17.531 * [taylor]: Taking taylor expansion of y in y
17.531 * [taylor]: Taking taylor expansion of z in y
17.531 * [taylor]: Taking taylor expansion of t in y
17.531 * [taylor]: Taking taylor expansion of (* (- y z) t) in t
17.531 * [taylor]: Taking taylor expansion of (- y z) in t
17.531 * [taylor]: Taking taylor expansion of y in t
17.531 * [taylor]: Taking taylor expansion of z in t
17.531 * [taylor]: Taking taylor expansion of t in t
17.531 * [taylor]: Taking taylor expansion of (* (- y z) t) in t
17.531 * [taylor]: Taking taylor expansion of (- y z) in t
17.531 * [taylor]: Taking taylor expansion of y in t
17.531 * [taylor]: Taking taylor expansion of z in t
17.531 * [taylor]: Taking taylor expansion of t in t
17.531 * [taylor]: Taking taylor expansion of 0 in y
17.531 * [taylor]: Taking taylor expansion of 0 in z
17.532 * [taylor]: Taking taylor expansion of (- y z) in y
17.532 * [taylor]: Taking taylor expansion of y in y
17.532 * [taylor]: Taking taylor expansion of z in y
17.532 * [taylor]: Taking taylor expansion of (- z) in z
17.532 * [taylor]: Taking taylor expansion of z in z
17.533 * [taylor]: Taking taylor expansion of 0 in z
17.533 * [taylor]: Taking taylor expansion of 0 in y
17.533 * [taylor]: Taking taylor expansion of 0 in z
17.534 * [taylor]: Taking taylor expansion of 1 in z
17.534 * [taylor]: Taking taylor expansion of 0 in z
17.535 * [taylor]: Taking taylor expansion of 0 in y
17.535 * [taylor]: Taking taylor expansion of 0 in z
17.535 * [taylor]: Taking taylor expansion of 0 in z
17.536 * [taylor]: Taking taylor expansion of 0 in z
17.536 * [taylor]: Taking taylor expansion of 0 in z
17.536 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in (t y z) around 0
17.536 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in z
17.536 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
17.536 * [taylor]: Taking taylor expansion of (/ 1 y) in z
17.536 * [taylor]: Taking taylor expansion of y in z
17.536 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.536 * [taylor]: Taking taylor expansion of z in z
17.536 * [taylor]: Taking taylor expansion of t in z
17.537 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in y
17.537 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
17.537 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.537 * [taylor]: Taking taylor expansion of y in y
17.538 * [taylor]: Taking taylor expansion of (/ 1 z) in y
17.538 * [taylor]: Taking taylor expansion of z in y
17.538 * [taylor]: Taking taylor expansion of t in y
17.538 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in t
17.538 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
17.538 * [taylor]: Taking taylor expansion of (/ 1 y) in t
17.538 * [taylor]: Taking taylor expansion of y in t
17.538 * [taylor]: Taking taylor expansion of (/ 1 z) in t
17.538 * [taylor]: Taking taylor expansion of z in t
17.538 * [taylor]: Taking taylor expansion of t in t
17.538 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in t
17.538 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
17.538 * [taylor]: Taking taylor expansion of (/ 1 y) in t
17.538 * [taylor]: Taking taylor expansion of y in t
17.538 * [taylor]: Taking taylor expansion of (/ 1 z) in t
17.538 * [taylor]: Taking taylor expansion of z in t
17.538 * [taylor]: Taking taylor expansion of t in t
17.539 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
17.539 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.539 * [taylor]: Taking taylor expansion of y in y
17.539 * [taylor]: Taking taylor expansion of (/ 1 z) in y
17.539 * [taylor]: Taking taylor expansion of z in y
17.539 * [taylor]: Taking taylor expansion of 1 in z
17.541 * [taylor]: Taking taylor expansion of 0 in y
17.541 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
17.541 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.541 * [taylor]: Taking taylor expansion of z in z
17.543 * [taylor]: Taking taylor expansion of 0 in y
17.543 * [taylor]: Taking taylor expansion of 0 in z
17.544 * [taylor]: Taking taylor expansion of 0 in z
17.547 * [taylor]: Taking taylor expansion of 0 in y
17.547 * [taylor]: Taking taylor expansion of 0 in z
17.547 * [taylor]: Taking taylor expansion of 0 in z
17.548 * [taylor]: Taking taylor expansion of 0 in z
17.549 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in (t y z) around 0
17.549 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in z
17.549 * [taylor]: Taking taylor expansion of -1 in z
17.549 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in z
17.549 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
17.549 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.549 * [taylor]: Taking taylor expansion of z in z
17.550 * [taylor]: Taking taylor expansion of (/ 1 y) in z
17.550 * [taylor]: Taking taylor expansion of y in z
17.550 * [taylor]: Taking taylor expansion of t in z
17.550 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in y
17.550 * [taylor]: Taking taylor expansion of -1 in y
17.550 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in y
17.550 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
17.550 * [taylor]: Taking taylor expansion of (/ 1 z) in y
17.550 * [taylor]: Taking taylor expansion of z in y
17.550 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.550 * [taylor]: Taking taylor expansion of y in y
17.550 * [taylor]: Taking taylor expansion of t in y
17.551 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in t
17.551 * [taylor]: Taking taylor expansion of -1 in t
17.551 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in t
17.551 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
17.551 * [taylor]: Taking taylor expansion of (/ 1 z) in t
17.551 * [taylor]: Taking taylor expansion of z in t
17.551 * [taylor]: Taking taylor expansion of (/ 1 y) in t
17.551 * [taylor]: Taking taylor expansion of y in t
17.551 * [taylor]: Taking taylor expansion of t in t
17.551 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in t
17.551 * [taylor]: Taking taylor expansion of -1 in t
17.551 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in t
17.551 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
17.551 * [taylor]: Taking taylor expansion of (/ 1 z) in t
17.551 * [taylor]: Taking taylor expansion of z in t
17.551 * [taylor]: Taking taylor expansion of (/ 1 y) in t
17.551 * [taylor]: Taking taylor expansion of y in t
17.551 * [taylor]: Taking taylor expansion of t in t
17.552 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 y))) in y
17.552 * [taylor]: Taking taylor expansion of -1 in y
17.552 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
17.552 * [taylor]: Taking taylor expansion of (/ 1 z) in y
17.552 * [taylor]: Taking taylor expansion of z in y
17.552 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.552 * [taylor]: Taking taylor expansion of y in y
17.553 * [taylor]: Taking taylor expansion of 1 in z
17.554 * [taylor]: Taking taylor expansion of 0 in y
17.555 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
17.555 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.555 * [taylor]: Taking taylor expansion of z in z
17.561 * [taylor]: Taking taylor expansion of 0 in y
17.561 * [taylor]: Taking taylor expansion of 0 in z
17.562 * [taylor]: Taking taylor expansion of 0 in z
17.566 * [taylor]: Taking taylor expansion of 0 in y
17.566 * [taylor]: Taking taylor expansion of 0 in z
17.566 * [taylor]: Taking taylor expansion of 0 in z
17.568 * [taylor]: Taking taylor expansion of 0 in z
17.569 * * * * [progress]: [ 2 / 3 ] generating series at (2)
17.569 * [approximate]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in (x t y z) around 0
17.569 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in z
17.569 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in z
17.569 * [taylor]: Taking taylor expansion of (* x z) in z
17.569 * [taylor]: Taking taylor expansion of x in z
17.569 * [taylor]: Taking taylor expansion of z in z
17.569 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z
17.569 * [taylor]: Taking taylor expansion of x in z
17.569 * [taylor]: Taking taylor expansion of (* t y) in z
17.569 * [taylor]: Taking taylor expansion of t in z
17.569 * [taylor]: Taking taylor expansion of y in z
17.569 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z
17.569 * [taylor]: Taking taylor expansion of (* t z) in z
17.569 * [taylor]: Taking taylor expansion of t in z
17.569 * [taylor]: Taking taylor expansion of z in z
17.570 * [taylor]: Taking taylor expansion of (* x y) in z
17.570 * [taylor]: Taking taylor expansion of x in z
17.570 * [taylor]: Taking taylor expansion of y in z
17.570 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in y
17.570 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in y
17.570 * [taylor]: Taking taylor expansion of (* x z) in y
17.570 * [taylor]: Taking taylor expansion of x in y
17.570 * [taylor]: Taking taylor expansion of z in y
17.570 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y
17.570 * [taylor]: Taking taylor expansion of x in y
17.570 * [taylor]: Taking taylor expansion of (* t y) in y
17.570 * [taylor]: Taking taylor expansion of t in y
17.570 * [taylor]: Taking taylor expansion of y in y
17.570 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y
17.570 * [taylor]: Taking taylor expansion of (* t z) in y
17.570 * [taylor]: Taking taylor expansion of t in y
17.570 * [taylor]: Taking taylor expansion of z in y
17.570 * [taylor]: Taking taylor expansion of (* x y) in y
17.570 * [taylor]: Taking taylor expansion of x in y
17.570 * [taylor]: Taking taylor expansion of y in y
17.570 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in t
17.570 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in t
17.570 * [taylor]: Taking taylor expansion of (* x z) in t
17.570 * [taylor]: Taking taylor expansion of x in t
17.570 * [taylor]: Taking taylor expansion of z in t
17.570 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t
17.570 * [taylor]: Taking taylor expansion of x in t
17.570 * [taylor]: Taking taylor expansion of (* t y) in t
17.570 * [taylor]: Taking taylor expansion of t in t
17.570 * [taylor]: Taking taylor expansion of y in t
17.570 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t
17.570 * [taylor]: Taking taylor expansion of (* t z) in t
17.570 * [taylor]: Taking taylor expansion of t in t
17.570 * [taylor]: Taking taylor expansion of z in t
17.570 * [taylor]: Taking taylor expansion of (* x y) in t
17.570 * [taylor]: Taking taylor expansion of x in t
17.570 * [taylor]: Taking taylor expansion of y in t
17.570 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
17.570 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
17.570 * [taylor]: Taking taylor expansion of (* x z) in x
17.570 * [taylor]: Taking taylor expansion of x in x
17.570 * [taylor]: Taking taylor expansion of z in x
17.570 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
17.570 * [taylor]: Taking taylor expansion of x in x
17.570 * [taylor]: Taking taylor expansion of (* t y) in x
17.570 * [taylor]: Taking taylor expansion of t in x
17.570 * [taylor]: Taking taylor expansion of y in x
17.570 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
17.570 * [taylor]: Taking taylor expansion of (* t z) in x
17.570 * [taylor]: Taking taylor expansion of t in x
17.570 * [taylor]: Taking taylor expansion of z in x
17.570 * [taylor]: Taking taylor expansion of (* x y) in x
17.570 * [taylor]: Taking taylor expansion of x in x
17.570 * [taylor]: Taking taylor expansion of y in x
17.570 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
17.570 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
17.570 * [taylor]: Taking taylor expansion of (* x z) in x
17.570 * [taylor]: Taking taylor expansion of x in x
17.570 * [taylor]: Taking taylor expansion of z in x
17.570 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
17.570 * [taylor]: Taking taylor expansion of x in x
17.571 * [taylor]: Taking taylor expansion of (* t y) in x
17.571 * [taylor]: Taking taylor expansion of t in x
17.571 * [taylor]: Taking taylor expansion of y in x
17.571 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
17.571 * [taylor]: Taking taylor expansion of (* t z) in x
17.571 * [taylor]: Taking taylor expansion of t in x
17.571 * [taylor]: Taking taylor expansion of z in x
17.571 * [taylor]: Taking taylor expansion of (* x y) in x
17.571 * [taylor]: Taking taylor expansion of x in x
17.571 * [taylor]: Taking taylor expansion of y in x
17.571 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in t
17.571 * [taylor]: Taking taylor expansion of (* t y) in t
17.571 * [taylor]: Taking taylor expansion of t in t
17.571 * [taylor]: Taking taylor expansion of y in t
17.571 * [taylor]: Taking taylor expansion of (* t z) in t
17.571 * [taylor]: Taking taylor expansion of t in t
17.571 * [taylor]: Taking taylor expansion of z in t
17.572 * [taylor]: Taking taylor expansion of 0 in y
17.572 * [taylor]: Taking taylor expansion of 0 in z
17.573 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in t
17.573 * [taylor]: Taking taylor expansion of (+ z 1) in t
17.573 * [taylor]: Taking taylor expansion of z in t
17.573 * [taylor]: Taking taylor expansion of 1 in t
17.573 * [taylor]: Taking taylor expansion of y in t
17.573 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in y
17.573 * [taylor]: Taking taylor expansion of (+ z 1) in y
17.573 * [taylor]: Taking taylor expansion of z in y
17.573 * [taylor]: Taking taylor expansion of 1 in y
17.573 * [taylor]: Taking taylor expansion of y in y
17.573 * [taylor]: Taking taylor expansion of (+ z 1) in z
17.573 * [taylor]: Taking taylor expansion of z in z
17.573 * [taylor]: Taking taylor expansion of 1 in z
17.574 * [taylor]: Taking taylor expansion of (- y z) in y
17.574 * [taylor]: Taking taylor expansion of y in y
17.574 * [taylor]: Taking taylor expansion of z in y
17.574 * [taylor]: Taking taylor expansion of (- z) in z
17.574 * [taylor]: Taking taylor expansion of z in z
17.574 * [taylor]: Taking taylor expansion of 0 in z
17.577 * [taylor]: Taking taylor expansion of 0 in t
17.577 * [taylor]: Taking taylor expansion of 0 in y
17.577 * [taylor]: Taking taylor expansion of 0 in z
17.578 * [taylor]: Taking taylor expansion of 0 in y
17.578 * [taylor]: Taking taylor expansion of 0 in z
17.579 * [taylor]: Taking taylor expansion of 0 in y
17.579 * [taylor]: Taking taylor expansion of 0 in z
17.580 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (x t y z) around 0
17.580 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z
17.580 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in z
17.580 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
17.580 * [taylor]: Taking taylor expansion of (* t y) in z
17.580 * [taylor]: Taking taylor expansion of t in z
17.580 * [taylor]: Taking taylor expansion of y in z
17.580 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in z
17.580 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
17.580 * [taylor]: Taking taylor expansion of (* x z) in z
17.580 * [taylor]: Taking taylor expansion of x in z
17.580 * [taylor]: Taking taylor expansion of z in z
17.580 * [taylor]: Taking taylor expansion of (/ 1 x) in z
17.580 * [taylor]: Taking taylor expansion of x in z
17.580 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
17.580 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
17.580 * [taylor]: Taking taylor expansion of (* t z) in z
17.580 * [taylor]: Taking taylor expansion of t in z
17.580 * [taylor]: Taking taylor expansion of z in z
17.581 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
17.581 * [taylor]: Taking taylor expansion of (* x y) in z
17.581 * [taylor]: Taking taylor expansion of x in z
17.581 * [taylor]: Taking taylor expansion of y in z
17.581 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
17.581 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in y
17.581 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
17.581 * [taylor]: Taking taylor expansion of (* t y) in y
17.581 * [taylor]: Taking taylor expansion of t in y
17.581 * [taylor]: Taking taylor expansion of y in y
17.581 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in y
17.581 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
17.581 * [taylor]: Taking taylor expansion of (* x z) in y
17.581 * [taylor]: Taking taylor expansion of x in y
17.581 * [taylor]: Taking taylor expansion of z in y
17.581 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.581 * [taylor]: Taking taylor expansion of x in y
17.581 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
17.582 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
17.582 * [taylor]: Taking taylor expansion of (* t z) in y
17.582 * [taylor]: Taking taylor expansion of t in y
17.582 * [taylor]: Taking taylor expansion of z in y
17.582 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
17.582 * [taylor]: Taking taylor expansion of (* x y) in y
17.582 * [taylor]: Taking taylor expansion of x in y
17.582 * [taylor]: Taking taylor expansion of y in y
17.582 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t
17.582 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in t
17.582 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
17.582 * [taylor]: Taking taylor expansion of (* t y) in t
17.582 * [taylor]: Taking taylor expansion of t in t
17.582 * [taylor]: Taking taylor expansion of y in t
17.582 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in t
17.582 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
17.582 * [taylor]: Taking taylor expansion of (* x z) in t
17.582 * [taylor]: Taking taylor expansion of x in t
17.583 * [taylor]: Taking taylor expansion of z in t
17.583 * [taylor]: Taking taylor expansion of (/ 1 x) in t
17.583 * [taylor]: Taking taylor expansion of x in t
17.583 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
17.583 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
17.583 * [taylor]: Taking taylor expansion of (* t z) in t
17.583 * [taylor]: Taking taylor expansion of t in t
17.583 * [taylor]: Taking taylor expansion of z in t
17.583 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
17.583 * [taylor]: Taking taylor expansion of (* x y) in t
17.583 * [taylor]: Taking taylor expansion of x in t
17.583 * [taylor]: Taking taylor expansion of y in t
17.583 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
17.583 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
17.583 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
17.583 * [taylor]: Taking taylor expansion of (* t y) in x
17.583 * [taylor]: Taking taylor expansion of t in x
17.583 * [taylor]: Taking taylor expansion of y in x
17.583 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
17.583 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
17.583 * [taylor]: Taking taylor expansion of (* x z) in x
17.583 * [taylor]: Taking taylor expansion of x in x
17.583 * [taylor]: Taking taylor expansion of z in x
17.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.584 * [taylor]: Taking taylor expansion of x in x
17.584 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
17.584 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
17.584 * [taylor]: Taking taylor expansion of (* t z) in x
17.584 * [taylor]: Taking taylor expansion of t in x
17.584 * [taylor]: Taking taylor expansion of z in x
17.584 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
17.584 * [taylor]: Taking taylor expansion of (* x y) in x
17.584 * [taylor]: Taking taylor expansion of x in x
17.584 * [taylor]: Taking taylor expansion of y in x
17.585 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
17.585 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
17.585 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
17.585 * [taylor]: Taking taylor expansion of (* t y) in x
17.585 * [taylor]: Taking taylor expansion of t in x
17.585 * [taylor]: Taking taylor expansion of y in x
17.585 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
17.585 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
17.585 * [taylor]: Taking taylor expansion of (* x z) in x
17.585 * [taylor]: Taking taylor expansion of x in x
17.585 * [taylor]: Taking taylor expansion of z in x
17.585 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.585 * [taylor]: Taking taylor expansion of x in x
17.586 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
17.586 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
17.586 * [taylor]: Taking taylor expansion of (* t z) in x
17.586 * [taylor]: Taking taylor expansion of t in x
17.586 * [taylor]: Taking taylor expansion of z in x
17.586 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
17.586 * [taylor]: Taking taylor expansion of (* x y) in x
17.586 * [taylor]: Taking taylor expansion of x in x
17.586 * [taylor]: Taking taylor expansion of y in x
17.586 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in t
17.586 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in t
17.586 * [taylor]: Taking taylor expansion of (/ 1 z) in t
17.586 * [taylor]: Taking taylor expansion of z in t
17.586 * [taylor]: Taking taylor expansion of 1 in t
17.586 * [taylor]: Taking taylor expansion of (/ 1 y) in t
17.586 * [taylor]: Taking taylor expansion of y in t
17.589 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t
17.589 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
17.589 * [taylor]: Taking taylor expansion of (* t y) in t
17.589 * [taylor]: Taking taylor expansion of t in t
17.589 * [taylor]: Taking taylor expansion of y in t
17.589 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
17.589 * [taylor]: Taking taylor expansion of (* t z) in t
17.589 * [taylor]: Taking taylor expansion of t in t
17.589 * [taylor]: Taking taylor expansion of z in t
17.590 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
17.590 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.590 * [taylor]: Taking taylor expansion of y in y
17.590 * [taylor]: Taking taylor expansion of (/ 1 z) in y
17.590 * [taylor]: Taking taylor expansion of z in y
17.590 * [taylor]: Taking taylor expansion of 1 in z
17.590 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in y
17.590 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y
17.590 * [taylor]: Taking taylor expansion of (/ 1 z) in y
17.590 * [taylor]: Taking taylor expansion of z in y
17.591 * [taylor]: Taking taylor expansion of 1 in y
17.591 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.591 * [taylor]: Taking taylor expansion of y in y
17.591 * [taylor]: Taking taylor expansion of -1 in z
17.595 * [taylor]: Taking taylor expansion of 0 in t
17.596 * [taylor]: Taking taylor expansion of 0 in y
17.597 * [taylor]: Taking taylor expansion of 0 in y
17.598 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
17.598 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.598 * [taylor]: Taking taylor expansion of z in z
17.599 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
17.599 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.599 * [taylor]: Taking taylor expansion of z in z
17.599 * [taylor]: Taking taylor expansion of 1 in z
17.600 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in (x t y z) around 0
17.600 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in z
17.600 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z
17.600 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
17.600 * [taylor]: Taking taylor expansion of (* x z) in z
17.600 * [taylor]: Taking taylor expansion of x in z
17.600 * [taylor]: Taking taylor expansion of z in z
17.601 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
17.601 * [taylor]: Taking taylor expansion of (* t y) in z
17.601 * [taylor]: Taking taylor expansion of t in z
17.601 * [taylor]: Taking taylor expansion of y in z
17.601 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in z
17.601 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
17.601 * [taylor]: Taking taylor expansion of (* t z) in z
17.601 * [taylor]: Taking taylor expansion of t in z
17.601 * [taylor]: Taking taylor expansion of z in z
17.601 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z
17.601 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
17.601 * [taylor]: Taking taylor expansion of (* x y) in z
17.601 * [taylor]: Taking taylor expansion of x in z
17.601 * [taylor]: Taking taylor expansion of y in z
17.601 * [taylor]: Taking taylor expansion of (/ 1 x) in z
17.601 * [taylor]: Taking taylor expansion of x in z
17.601 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in y
17.602 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y
17.602 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
17.602 * [taylor]: Taking taylor expansion of (* x z) in y
17.602 * [taylor]: Taking taylor expansion of x in y
17.602 * [taylor]: Taking taylor expansion of z in y
17.602 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
17.602 * [taylor]: Taking taylor expansion of (* t y) in y
17.602 * [taylor]: Taking taylor expansion of t in y
17.602 * [taylor]: Taking taylor expansion of y in y
17.602 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in y
17.602 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
17.602 * [taylor]: Taking taylor expansion of (* t z) in y
17.602 * [taylor]: Taking taylor expansion of t in y
17.602 * [taylor]: Taking taylor expansion of z in y
17.602 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
17.602 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
17.602 * [taylor]: Taking taylor expansion of (* x y) in y
17.602 * [taylor]: Taking taylor expansion of x in y
17.602 * [taylor]: Taking taylor expansion of y in y
17.603 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.603 * [taylor]: Taking taylor expansion of x in y
17.603 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in t
17.603 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t
17.603 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
17.603 * [taylor]: Taking taylor expansion of (* x z) in t
17.603 * [taylor]: Taking taylor expansion of x in t
17.603 * [taylor]: Taking taylor expansion of z in t
17.603 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
17.603 * [taylor]: Taking taylor expansion of (* t y) in t
17.603 * [taylor]: Taking taylor expansion of t in t
17.603 * [taylor]: Taking taylor expansion of y in t
17.603 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in t
17.603 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
17.603 * [taylor]: Taking taylor expansion of (* t z) in t
17.603 * [taylor]: Taking taylor expansion of t in t
17.603 * [taylor]: Taking taylor expansion of z in t
17.603 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in t
17.603 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
17.604 * [taylor]: Taking taylor expansion of (* x y) in t
17.604 * [taylor]: Taking taylor expansion of x in t
17.604 * [taylor]: Taking taylor expansion of y in t
17.604 * [taylor]: Taking taylor expansion of (/ 1 x) in t
17.604 * [taylor]: Taking taylor expansion of x in t
17.604 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
17.604 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
17.604 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
17.604 * [taylor]: Taking taylor expansion of (* x z) in x
17.604 * [taylor]: Taking taylor expansion of x in x
17.604 * [taylor]: Taking taylor expansion of z in x
17.604 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
17.604 * [taylor]: Taking taylor expansion of (* t y) in x
17.604 * [taylor]: Taking taylor expansion of t in x
17.604 * [taylor]: Taking taylor expansion of y in x
17.604 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
17.604 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
17.604 * [taylor]: Taking taylor expansion of (* t z) in x
17.604 * [taylor]: Taking taylor expansion of t in x
17.604 * [taylor]: Taking taylor expansion of z in x
17.604 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
17.604 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
17.604 * [taylor]: Taking taylor expansion of (* x y) in x
17.604 * [taylor]: Taking taylor expansion of x in x
17.604 * [taylor]: Taking taylor expansion of y in x
17.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.605 * [taylor]: Taking taylor expansion of x in x
17.605 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
17.605 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
17.605 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
17.605 * [taylor]: Taking taylor expansion of (* x z) in x
17.605 * [taylor]: Taking taylor expansion of x in x
17.605 * [taylor]: Taking taylor expansion of z in x
17.605 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
17.605 * [taylor]: Taking taylor expansion of (* t y) in x
17.605 * [taylor]: Taking taylor expansion of t in x
17.605 * [taylor]: Taking taylor expansion of y in x
17.606 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
17.606 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
17.606 * [taylor]: Taking taylor expansion of (* t z) in x
17.606 * [taylor]: Taking taylor expansion of t in x
17.606 * [taylor]: Taking taylor expansion of z in x
17.606 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
17.606 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
17.606 * [taylor]: Taking taylor expansion of (* x y) in x
17.606 * [taylor]: Taking taylor expansion of x in x
17.606 * [taylor]: Taking taylor expansion of y in x
17.606 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.606 * [taylor]: Taking taylor expansion of x in x
17.607 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in t
17.607 * [taylor]: Taking taylor expansion of (/ 1 z) in t
17.607 * [taylor]: Taking taylor expansion of z in t
17.607 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in t
17.607 * [taylor]: Taking taylor expansion of (/ 1 y) in t
17.607 * [taylor]: Taking taylor expansion of y in t
17.607 * [taylor]: Taking taylor expansion of 1 in t
17.609 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t
17.609 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
17.609 * [taylor]: Taking taylor expansion of (* t y) in t
17.609 * [taylor]: Taking taylor expansion of t in t
17.609 * [taylor]: Taking taylor expansion of y in t
17.609 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
17.609 * [taylor]: Taking taylor expansion of (* t z) in t
17.609 * [taylor]: Taking taylor expansion of t in t
17.609 * [taylor]: Taking taylor expansion of z in t
17.610 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
17.610 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.610 * [taylor]: Taking taylor expansion of y in y
17.610 * [taylor]: Taking taylor expansion of (/ 1 z) in y
17.610 * [taylor]: Taking taylor expansion of z in y
17.610 * [taylor]: Taking taylor expansion of 1 in z
17.610 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in y
17.610 * [taylor]: Taking taylor expansion of (/ 1 z) in y
17.610 * [taylor]: Taking taylor expansion of z in y
17.610 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
17.611 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.611 * [taylor]: Taking taylor expansion of y in y
17.611 * [taylor]: Taking taylor expansion of 1 in y
17.612 * [taylor]: Taking taylor expansion of -1 in z
17.615 * [taylor]: Taking taylor expansion of 0 in t
17.617 * [taylor]: Taking taylor expansion of 0 in y
17.617 * [taylor]: Taking taylor expansion of 0 in y
17.618 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
17.618 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.618 * [taylor]: Taking taylor expansion of z in z
17.619 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in z
17.619 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.619 * [taylor]: Taking taylor expansion of z in z
17.620 * [taylor]: Taking taylor expansion of 1 in z
17.620 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
17.620 * [approximate]: Taking taylor expansion of (* -1 (* (- y z) x)) in (x y z) around 0
17.620 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in z
17.620 * [taylor]: Taking taylor expansion of -1 in z
17.620 * [taylor]: Taking taylor expansion of (* (- y z) x) in z
17.620 * [taylor]: Taking taylor expansion of (- y z) in z
17.621 * [taylor]: Taking taylor expansion of y in z
17.621 * [taylor]: Taking taylor expansion of z in z
17.621 * [taylor]: Taking taylor expansion of x in z
17.621 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in y
17.621 * [taylor]: Taking taylor expansion of -1 in y
17.621 * [taylor]: Taking taylor expansion of (* (- y z) x) in y
17.621 * [taylor]: Taking taylor expansion of (- y z) in y
17.621 * [taylor]: Taking taylor expansion of y in y
17.621 * [taylor]: Taking taylor expansion of z in y
17.621 * [taylor]: Taking taylor expansion of x in y
17.621 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in x
17.621 * [taylor]: Taking taylor expansion of -1 in x
17.621 * [taylor]: Taking taylor expansion of (* (- y z) x) in x
17.621 * [taylor]: Taking taylor expansion of (- y z) in x
17.621 * [taylor]: Taking taylor expansion of y in x
17.621 * [taylor]: Taking taylor expansion of z in x
17.621 * [taylor]: Taking taylor expansion of x in x
17.621 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in x
17.621 * [taylor]: Taking taylor expansion of -1 in x
17.621 * [taylor]: Taking taylor expansion of (* (- y z) x) in x
17.621 * [taylor]: Taking taylor expansion of (- y z) in x
17.621 * [taylor]: Taking taylor expansion of y in x
17.621 * [taylor]: Taking taylor expansion of z in x
17.621 * [taylor]: Taking taylor expansion of x in x
17.621 * [taylor]: Taking taylor expansion of 0 in y
17.621 * [taylor]: Taking taylor expansion of 0 in z
17.622 * [taylor]: Taking taylor expansion of (- z y) in y
17.622 * [taylor]: Taking taylor expansion of z in y
17.622 * [taylor]: Taking taylor expansion of y in y
17.623 * [taylor]: Taking taylor expansion of z in z
17.623 * [taylor]: Taking taylor expansion of 0 in z
17.624 * [taylor]: Taking taylor expansion of 0 in y
17.624 * [taylor]: Taking taylor expansion of 0 in z
17.625 * [taylor]: Taking taylor expansion of -1 in z
17.625 * [taylor]: Taking taylor expansion of 0 in z
17.626 * [taylor]: Taking taylor expansion of 0 in y
17.626 * [taylor]: Taking taylor expansion of 0 in z
17.626 * [taylor]: Taking taylor expansion of 0 in z
17.627 * [taylor]: Taking taylor expansion of 0 in z
17.627 * [taylor]: Taking taylor expansion of 0 in z
17.627 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in (x y z) around 0
17.627 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in z
17.627 * [taylor]: Taking taylor expansion of -1 in z
17.627 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z
17.627 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
17.627 * [taylor]: Taking taylor expansion of (/ 1 y) in z
17.627 * [taylor]: Taking taylor expansion of y in z
17.627 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.627 * [taylor]: Taking taylor expansion of z in z
17.628 * [taylor]: Taking taylor expansion of x in z
17.628 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in y
17.628 * [taylor]: Taking taylor expansion of -1 in y
17.628 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y
17.628 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
17.628 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.628 * [taylor]: Taking taylor expansion of y in y
17.628 * [taylor]: Taking taylor expansion of (/ 1 z) in y
17.629 * [taylor]: Taking taylor expansion of z in y
17.629 * [taylor]: Taking taylor expansion of x in y
17.629 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in x
17.629 * [taylor]: Taking taylor expansion of -1 in x
17.629 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x
17.629 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
17.629 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.629 * [taylor]: Taking taylor expansion of y in x
17.629 * [taylor]: Taking taylor expansion of (/ 1 z) in x
17.629 * [taylor]: Taking taylor expansion of z in x
17.629 * [taylor]: Taking taylor expansion of x in x
17.629 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in x
17.629 * [taylor]: Taking taylor expansion of -1 in x
17.629 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x
17.629 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
17.629 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.629 * [taylor]: Taking taylor expansion of y in x
17.629 * [taylor]: Taking taylor expansion of (/ 1 z) in x
17.629 * [taylor]: Taking taylor expansion of z in x
17.629 * [taylor]: Taking taylor expansion of x in x
17.630 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 y) (/ 1 z))) in y
17.630 * [taylor]: Taking taylor expansion of -1 in y
17.630 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
17.630 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.630 * [taylor]: Taking taylor expansion of y in y
17.630 * [taylor]: Taking taylor expansion of (/ 1 z) in y
17.630 * [taylor]: Taking taylor expansion of z in y
17.630 * [taylor]: Taking taylor expansion of -1 in z
17.632 * [taylor]: Taking taylor expansion of 0 in y
17.633 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.633 * [taylor]: Taking taylor expansion of z in z
17.635 * [taylor]: Taking taylor expansion of 0 in y
17.635 * [taylor]: Taking taylor expansion of 0 in z
17.637 * [taylor]: Taking taylor expansion of 0 in z
17.640 * [taylor]: Taking taylor expansion of 0 in y
17.640 * [taylor]: Taking taylor expansion of 0 in z
17.640 * [taylor]: Taking taylor expansion of 0 in z
17.642 * [taylor]: Taking taylor expansion of 0 in z
17.643 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in (x y z) around 0
17.643 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z
17.643 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
17.643 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.643 * [taylor]: Taking taylor expansion of z in z
17.643 * [taylor]: Taking taylor expansion of (/ 1 y) in z
17.643 * [taylor]: Taking taylor expansion of y in z
17.643 * [taylor]: Taking taylor expansion of x in z
17.644 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y
17.644 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
17.644 * [taylor]: Taking taylor expansion of (/ 1 z) in y
17.644 * [taylor]: Taking taylor expansion of z in y
17.644 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.644 * [taylor]: Taking taylor expansion of y in y
17.644 * [taylor]: Taking taylor expansion of x in y
17.644 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x
17.644 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
17.644 * [taylor]: Taking taylor expansion of (/ 1 z) in x
17.644 * [taylor]: Taking taylor expansion of z in x
17.645 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.645 * [taylor]: Taking taylor expansion of y in x
17.645 * [taylor]: Taking taylor expansion of x in x
17.645 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x
17.645 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
17.645 * [taylor]: Taking taylor expansion of (/ 1 z) in x
17.645 * [taylor]: Taking taylor expansion of z in x
17.645 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.645 * [taylor]: Taking taylor expansion of y in x
17.645 * [taylor]: Taking taylor expansion of x in x
17.645 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
17.645 * [taylor]: Taking taylor expansion of (/ 1 z) in y
17.645 * [taylor]: Taking taylor expansion of z in y
17.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.645 * [taylor]: Taking taylor expansion of y in y
17.646 * [taylor]: Taking taylor expansion of -1 in z
17.647 * [taylor]: Taking taylor expansion of 0 in y
17.650 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.651 * [taylor]: Taking taylor expansion of z in z
17.653 * [taylor]: Taking taylor expansion of 0 in y
17.653 * [taylor]: Taking taylor expansion of 0 in z
17.654 * [taylor]: Taking taylor expansion of 0 in z
17.656 * [taylor]: Taking taylor expansion of 0 in y
17.656 * [taylor]: Taking taylor expansion of 0 in z
17.656 * [taylor]: Taking taylor expansion of 0 in z
17.657 * [taylor]: Taking taylor expansion of 0 in z
17.658 * * * [progress]: simplifying candidates
17.659 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* t (- y z))
  (+ (log t) (log (- y z)))
  (log (* t (- y z)))
  (exp (* t (- y z)))
  (* (* (* t t) t) (* (* (- y z) (- y z)) (- y z)))
  (* (cbrt (* t (- y z))) (cbrt (* t (- y z))))
  (cbrt (* t (- y z)))
  (* (* (* t (- y z)) (* t (- y z))) (* t (- y z)))
  (sqrt (* t (- y z)))
  (sqrt (* t (- y z)))
  (* (sqrt t) (sqrt (- y z)))
  (* (sqrt t) (sqrt (- y z)))
  (* t y)
  (* t (- z))
  (* t y)
  (* t (- z))
  (* y t)
  (* (- z) t)
  (* y t)
  (* (- z) t)
  (* t (* (cbrt (- y z)) (cbrt (- y z))))
  (* t (sqrt (- y z)))
  (* t 1)
  (* t (+ (sqrt y) (sqrt z)))
  (* t 1)
  (* (cbrt t) (- y z))
  (* (sqrt t) (- y z))
  (* t (- y z))
  (* t (- (pow y 3) (pow z 3)))
  (* t (- (* y y) (* z z)))
  (* (* (exp x) (exp (* t (- y z)))) (exp (* (- x) (- y z))))
  (* (exp (+ x (* t (- y z)))) (exp (* (- x) (- y z))))
  (log (+ (+ x (* t (- y z))) (* (- x) (- y z))))
  (exp (+ (+ x (* t (- y z))) (* (- x) (- y z))))
  (* (cbrt (+ (+ x (* t (- y z))) (* (- x) (- y z)))) (cbrt (+ (+ x (* t (- y z))) (* (- x) (- y z)))))
  (cbrt (+ (+ x (* t (- y z))) (* (- x) (- y z))))
  (* (* (+ (+ x (* t (- y z))) (* (- x) (- y z))) (+ (+ x (* t (- y z))) (* (- x) (- y z)))) (+ (+ x (* t (- y z))) (* (- x) (- y z))))
  (sqrt (+ (+ x (* t (- y z))) (* (- x) (- y z))))
  (sqrt (+ (+ x (* t (- y z))) (* (- x) (- y z))))
  (+ (* (+ (pow x 3) (pow (* t (- y z)) 3)) (+ (* y y) (+ (* z z) (* y z)))) (* (+ (* x x) (- (* (* t (- y z)) (* t (- y z))) (* x (* t (- y z))))) (* (- x) (- (pow y 3) (pow z 3)))))
  (* (+ (* x x) (- (* (* t (- y z)) (* t (- y z))) (* x (* t (- y z))))) (+ (* y y) (+ (* z z) (* y z))))
  (+ (* (+ (pow x 3) (pow (* t (- y z)) 3)) (+ y z)) (* (+ (* x x) (- (* (* t (- y z)) (* t (- y z))) (* x (* t (- y z))))) (* (- x) (- (* y y) (* z z)))))
  (* (+ (* x x) (- (* (* t (- y z)) (* t (- y z))) (* x (* t (- y z))))) (+ y z))
  (+ (* (- (* x x) (* (* t (- y z)) (* t (- y z)))) (+ (* y y) (+ (* z z) (* y z)))) (* (- x (* t (- y z))) (* (- x) (- (pow y 3) (pow z 3)))))
  (* (- x (* t (- y z))) (+ (* y y) (+ (* z z) (* y z))))
  (+ (* (- (* x x) (* (* t (- y z)) (* t (- y z)))) (+ y z)) (* (- x (* t (- y z))) (* (- x) (- (* y y) (* z z)))))
  (* (- x (* t (- y z))) (+ y z))
  (+ (pow (+ x (* t (- y z))) 3) (pow (* (- x) (- y z)) 3))
  (+ (* (+ x (* t (- y z))) (+ x (* t (- y z)))) (- (* (* (- x) (- y z)) (* (- x) (- y z))) (* (+ x (* t (- y z))) (* (- x) (- y z)))))
  (- (* (+ x (* t (- y z))) (+ x (* t (- y z)))) (* (* (- x) (- y z)) (* (- x) (- y z))))
  (- (+ x (* t (- y z))) (* (- x) (- y z)))
  (+ (+ x (* t (- y z))) (* (- x) y))
  (+ (+ x (* t (- y z))) (* (- x) y))
  (+ (+ x (* t (- y z))) (* y (- x)))
  (+ (+ x (* t (- y z))) (* y (- x)))
  (+ (* t (- y z)) (* (- x) (- y z)))
  (* (- x) (- y z))
  (+ (log (- x)) (log (- y z)))
  (log (* (- x) (- y z)))
  (exp (* (- x) (- y z)))
  (* (* (* (- x) (- x)) (- x)) (* (* (- y z) (- y z)) (- y z)))
  (* (cbrt (* (- x) (- y z))) (cbrt (* (- x) (- y z))))
  (cbrt (* (- x) (- y z)))
  (* (* (* (- x) (- y z)) (* (- x) (- y z))) (* (- x) (- y z)))
  (sqrt (* (- x) (- y z)))
  (sqrt (* (- x) (- y z)))
  (* (sqrt (- x)) (sqrt (- y z)))
  (* (sqrt (- x)) (sqrt (- y z)))
  (* x (- y z))
  (* (- x) y)
  (* (- x) (- z))
  (* (- x) y)
  (* (- x) (- z))
  (* y (- x))
  (* (- z) (- x))
  (* y (- x))
  (* (- z) (- x))
  (* (- x) (* (cbrt (- y z)) (cbrt (- y z))))
  (* (- x) (sqrt (- y z)))
  (* (- x) 1)
  (* (- x) (+ (sqrt y) (sqrt z)))
  (* (- x) 1)
  (* (cbrt (- x)) (- y z))
  (* (sqrt (- x)) (- y z))
  (* (- x) (- y z))
  (* x (- y z))
  (* (cbrt x) (- y z))
  (* (sqrt x) (- y z))
  (* x (- y z))
  (* (- (cbrt x)) (- y z))
  (* (- (sqrt x)) (- y z))
  (* (- x) (- y z))
  (* (- x) (- (pow y 3) (pow z 3)))
  (* (- x) (- (* y y) (* z z)))
  (- (* t y) (* t z))
  (- (* t y) (* t z))
  (- (* t y) (* t z))
  x
  (- (+ (* x z) (* t y)) (* t z))
  (- (+ (* x z) (* t y)) (* t z))
  (- (* x z) (* x y))
  (- (* x z) (* x y))
  (- (* x z) (* x y))
17.663 * * [simplify]: iteration  0 :  151  enodes  (cost  1171 )
17.693 * * [simplify]: iteration  1 :  448  enodes  (cost  1021 )
18.040 * * [simplify]: iteration  2 :  1745  enodes  (cost  959 )
18.537 * * [simplify]: iteration  done :  5000  enodes  (cost  953 )
18.538 * [simplify]: Simplified to:
   (* t (- y z))
  (log (* t (- y z)))
  (log (* t (- y z)))
  (exp (* t (- y z)))
  (pow (* t (- y z)) 3)
  (* (cbrt (* t (- y z))) (cbrt (* t (- y z))))
  (cbrt (* t (- y z)))
  (pow (* t (- y z)) 3)
  (sqrt (* t (- y z)))
  (sqrt (* t (- y z)))
  (* (sqrt t) (sqrt (- y z)))
  (* (sqrt t) (sqrt (- y z)))
  (* y t)
  (* (- z) t)
  (* y t)
  (* (- z) t)
  (* y t)
  (* (- z) t)
  (* y t)
  (* (- z) t)
  (* t (* (cbrt (- y z)) (cbrt (- y z))))
  (* t (sqrt (- y z)))
  t
  (* t (+ (sqrt y) (sqrt z)))
  t
  (* (cbrt t) (- y z))
  (* (sqrt t) (- y z))
  (* t (- y z))
  (* t (- (pow y 3) (pow z 3)))
  (* t (- (* y y) (* z z)))
  (exp (+ x (* (- y z) (- t x))))
  (exp (+ x (* (- y z) (- t x))))
  (log (+ x (* (- y z) (- t x))))
  (exp (+ x (* (- y z) (- t x))))
  (* (cbrt (+ x (* (- y z) (- t x)))) (cbrt (+ x (* (- y z) (- t x)))))
  (cbrt (+ x (* (- y z) (- t x))))
  (pow (+ x (* (- y z) (- t x))) 3)
  (sqrt (+ x (* (- y z) (- t x))))
  (sqrt (+ x (* (- y z) (- t x))))
  (- (* (+ (* z (+ y z)) (* y y)) (+ (pow x 3) (pow (* t (- y z)) 3))) (* (+ (* (* t (- y z)) (- (* t (- y z)) x)) (* x x)) (* x (- (pow y 3) (pow z 3)))))
  (* (+ (* (* t (- y z)) (- (* t (- y z)) x)) (* x x)) (+ (* z (+ y z)) (* y y)))
  (- (* (+ (pow x 3) (pow (* t (- y z)) 3)) (+ y z)) (* (* x (- (* y y) (* z z))) (+ (* (* t (- y z)) (- (* t (- y z)) x)) (* x x))))
  (* (+ y z) (+ (* (* t (- y z)) (- (* t (- y z)) x)) (* x x)))
  (- (* (+ (* z (+ y z)) (* y y)) (- (* x x) (* (* t (- y z)) (* t (- y z))))) (* (* x (- (pow y 3) (pow z 3))) (- x (* t (- y z)))))
  (* (+ (* z (+ y z)) (* y y)) (- x (* t (- y z))))
  (- (* (- (* x x) (* (* t (- y z)) (* t (- y z)))) (+ y z)) (* (- x (* t (- y z))) (* x (- (* y y) (* z z)))))
  (* (- x (* t (- y z))) (+ y z))
  (- (pow (+ x (* t (- y z))) 3) (pow (* x (- y z)) 3))
  (- (* (+ x (* t (- y z))) (+ x (* t (- y z)))) (* (* x (- y z)) (- (* (- x) (- y z)) (+ x (* t (- y z))))))
  (* (+ x (* (- y z) (- t x))) (+ (* (- y z) (- t (- x))) x))
  (+ (* (- y z) (- t (- x))) x)
  (- (+ x (* t (- y z))) (* x y))
  (- (+ x (* t (- y z))) (* x y))
  (- (+ x (* t (- y z))) (* x y))
  (- (+ x (* t (- y z))) (* x y))
  (* (- y z) (- t x))
  (* (- x) (- y z))
  (log (* (- x) (- y z)))
  (log (* (- x) (- y z)))
  (exp (* (- x) (- y z)))
  (pow (* (- x) (- y z)) 3)
  (* (cbrt (* (- x) (- y z))) (cbrt (* (- x) (- y z))))
  (cbrt (* (- x) (- y z)))
  (pow (* (- x) (- y z)) 3)
  (sqrt (* (- x) (- y z)))
  (sqrt (* (- x) (- y z)))
  (* (sqrt (- x)) (sqrt (- y z)))
  (* (sqrt (- x)) (sqrt (- y z)))
  (* x (- y z))
  (* (- x) y)
  (* (- z) (- x))
  (* (- x) y)
  (* (- z) (- x))
  (* (- x) y)
  (* (- z) (- x))
  (* (- x) y)
  (* (- z) (- x))
  (* (- x) (* (cbrt (- y z)) (cbrt (- y z))))
  (* (- x) (sqrt (- y z)))
  (- x)
  (* (- x) (+ (sqrt y) (sqrt z)))
  (- x)
  (* (cbrt (- x)) (- y z))
  (* (sqrt (- x)) (- y z))
  (* (- x) (- y z))
  (* x (- y z))
  (* (cbrt x) (- y z))
  (* (sqrt x) (- y z))
  (* x (- y z))
  (* (- (cbrt x)) (- y z))
  (* (- (sqrt x)) (- y z))
  (* (- x) (- y z))
  (* (- x) (- (pow y 3) (pow z 3)))
  (* (- x) (- (* y y) (* z z)))
  (* t (- y z))
  (* t (- y z))
  (* t (- y z))
  x
  (+ (* x z) (* t (- y z)))
  (+ (* x z) (* t (- y z)))
  (* x (- z y))
  (* x (- z y))
  (* x (- z y))
18.538 * * * [progress]: adding candidates to table
18.716 * * [progress]: iteration 3 / 4
18.716 * * * [progress]: picking best candidate
18.723 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))>
18.723 * * * [progress]: localizing error
18.738 * * * [progress]: generating rewritten candidates
18.738 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2)
18.741 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
18.784 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
18.798 * * * [progress]: generating series expansions
18.798 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2)
18.799 * [approximate]: Taking taylor expansion of (- (* t y) (* t z)) in (y t z) around 0
18.799 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in z
18.799 * [taylor]: Taking taylor expansion of (* t y) in z
18.799 * [taylor]: Taking taylor expansion of t in z
18.799 * [taylor]: Taking taylor expansion of y in z
18.799 * [taylor]: Taking taylor expansion of (* t z) in z
18.799 * [taylor]: Taking taylor expansion of t in z
18.799 * [taylor]: Taking taylor expansion of z in z
18.799 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in t
18.799 * [taylor]: Taking taylor expansion of (* t y) in t
18.799 * [taylor]: Taking taylor expansion of t in t
18.799 * [taylor]: Taking taylor expansion of y in t
18.799 * [taylor]: Taking taylor expansion of (* t z) in t
18.799 * [taylor]: Taking taylor expansion of t in t
18.799 * [taylor]: Taking taylor expansion of z in t
18.799 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in y
18.799 * [taylor]: Taking taylor expansion of (* t y) in y
18.799 * [taylor]: Taking taylor expansion of t in y
18.799 * [taylor]: Taking taylor expansion of y in y
18.799 * [taylor]: Taking taylor expansion of (* t z) in y
18.799 * [taylor]: Taking taylor expansion of t in y
18.799 * [taylor]: Taking taylor expansion of z in y
18.799 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in y
18.799 * [taylor]: Taking taylor expansion of (* t y) in y
18.799 * [taylor]: Taking taylor expansion of t in y
18.799 * [taylor]: Taking taylor expansion of y in y
18.799 * [taylor]: Taking taylor expansion of (* t z) in y
18.799 * [taylor]: Taking taylor expansion of t in y
18.799 * [taylor]: Taking taylor expansion of z in y
18.799 * [taylor]: Taking taylor expansion of (- (* t z)) in t
18.799 * [taylor]: Taking taylor expansion of (* t z) in t
18.799 * [taylor]: Taking taylor expansion of t in t
18.799 * [taylor]: Taking taylor expansion of z in t
18.800 * [taylor]: Taking taylor expansion of 0 in z
18.800 * [taylor]: Taking taylor expansion of t in t
18.800 * [taylor]: Taking taylor expansion of 0 in z
18.801 * [taylor]: Taking taylor expansion of (- z) in z
18.801 * [taylor]: Taking taylor expansion of z in z
18.802 * [taylor]: Taking taylor expansion of 0 in t
18.802 * [taylor]: Taking taylor expansion of 0 in z
18.802 * [taylor]: Taking taylor expansion of 1 in z
18.803 * [taylor]: Taking taylor expansion of 0 in z
18.805 * [taylor]: Taking taylor expansion of 0 in t
18.805 * [taylor]: Taking taylor expansion of 0 in z
18.805 * [taylor]: Taking taylor expansion of 0 in z
18.805 * [taylor]: Taking taylor expansion of 0 in z
18.806 * [taylor]: Taking taylor expansion of 0 in z
18.806 * [approximate]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in (y t z) around 0
18.806 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in z
18.806 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
18.806 * [taylor]: Taking taylor expansion of (* t y) in z
18.806 * [taylor]: Taking taylor expansion of t in z
18.806 * [taylor]: Taking taylor expansion of y in z
18.807 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
18.807 * [taylor]: Taking taylor expansion of (* t z) in z
18.807 * [taylor]: Taking taylor expansion of t in z
18.807 * [taylor]: Taking taylor expansion of z in z
18.807 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t
18.807 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
18.807 * [taylor]: Taking taylor expansion of (* t y) in t
18.807 * [taylor]: Taking taylor expansion of t in t
18.807 * [taylor]: Taking taylor expansion of y in t
18.807 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.807 * [taylor]: Taking taylor expansion of (* t z) in t
18.807 * [taylor]: Taking taylor expansion of t in t
18.807 * [taylor]: Taking taylor expansion of z in t
18.808 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
18.808 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
18.808 * [taylor]: Taking taylor expansion of (* t y) in y
18.808 * [taylor]: Taking taylor expansion of t in y
18.808 * [taylor]: Taking taylor expansion of y in y
18.808 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
18.808 * [taylor]: Taking taylor expansion of (* t z) in y
18.808 * [taylor]: Taking taylor expansion of t in y
18.808 * [taylor]: Taking taylor expansion of z in y
18.808 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
18.808 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
18.808 * [taylor]: Taking taylor expansion of (* t y) in y
18.808 * [taylor]: Taking taylor expansion of t in y
18.808 * [taylor]: Taking taylor expansion of y in y
18.809 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
18.809 * [taylor]: Taking taylor expansion of (* t z) in y
18.809 * [taylor]: Taking taylor expansion of t in y
18.809 * [taylor]: Taking taylor expansion of z in y
18.809 * [taylor]: Taking taylor expansion of (/ 1 t) in t
18.809 * [taylor]: Taking taylor expansion of t in t
18.809 * [taylor]: Taking taylor expansion of 1 in z
18.810 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in t
18.810 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.810 * [taylor]: Taking taylor expansion of (* t z) in t
18.810 * [taylor]: Taking taylor expansion of t in t
18.810 * [taylor]: Taking taylor expansion of z in t
18.810 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
18.810 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.810 * [taylor]: Taking taylor expansion of z in z
18.811 * [taylor]: Taking taylor expansion of 0 in z
18.812 * [taylor]: Taking taylor expansion of 0 in t
18.813 * [taylor]: Taking taylor expansion of 0 in z
18.814 * [taylor]: Taking taylor expansion of 0 in z
18.816 * [taylor]: Taking taylor expansion of 0 in t
18.816 * [taylor]: Taking taylor expansion of 0 in z
18.817 * [taylor]: Taking taylor expansion of 0 in z
18.818 * [taylor]: Taking taylor expansion of 0 in z
18.819 * [approximate]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in (y t z) around 0
18.819 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in z
18.819 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
18.819 * [taylor]: Taking taylor expansion of (* t y) in z
18.819 * [taylor]: Taking taylor expansion of t in z
18.819 * [taylor]: Taking taylor expansion of y in z
18.819 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
18.819 * [taylor]: Taking taylor expansion of (* t z) in z
18.819 * [taylor]: Taking taylor expansion of t in z
18.819 * [taylor]: Taking taylor expansion of z in z
18.819 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t
18.819 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
18.819 * [taylor]: Taking taylor expansion of (* t y) in t
18.820 * [taylor]: Taking taylor expansion of t in t
18.820 * [taylor]: Taking taylor expansion of y in t
18.820 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.820 * [taylor]: Taking taylor expansion of (* t z) in t
18.820 * [taylor]: Taking taylor expansion of t in t
18.820 * [taylor]: Taking taylor expansion of z in t
18.820 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
18.820 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
18.820 * [taylor]: Taking taylor expansion of (* t y) in y
18.820 * [taylor]: Taking taylor expansion of t in y
18.820 * [taylor]: Taking taylor expansion of y in y
18.821 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
18.821 * [taylor]: Taking taylor expansion of (* t z) in y
18.821 * [taylor]: Taking taylor expansion of t in y
18.821 * [taylor]: Taking taylor expansion of z in y
18.821 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
18.821 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
18.821 * [taylor]: Taking taylor expansion of (* t y) in y
18.821 * [taylor]: Taking taylor expansion of t in y
18.821 * [taylor]: Taking taylor expansion of y in y
18.821 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
18.821 * [taylor]: Taking taylor expansion of (* t z) in y
18.821 * [taylor]: Taking taylor expansion of t in y
18.821 * [taylor]: Taking taylor expansion of z in y
18.821 * [taylor]: Taking taylor expansion of (/ 1 t) in t
18.821 * [taylor]: Taking taylor expansion of t in t
18.822 * [taylor]: Taking taylor expansion of 1 in z
18.825 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in t
18.825 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.825 * [taylor]: Taking taylor expansion of (* t z) in t
18.825 * [taylor]: Taking taylor expansion of t in t
18.825 * [taylor]: Taking taylor expansion of z in t
18.825 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
18.825 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.825 * [taylor]: Taking taylor expansion of z in z
18.826 * [taylor]: Taking taylor expansion of 0 in z
18.828 * [taylor]: Taking taylor expansion of 0 in t
18.828 * [taylor]: Taking taylor expansion of 0 in z
18.829 * [taylor]: Taking taylor expansion of 0 in z
18.831 * [taylor]: Taking taylor expansion of 0 in t
18.831 * [taylor]: Taking taylor expansion of 0 in z
18.832 * [taylor]: Taking taylor expansion of 0 in z
18.833 * [taylor]: Taking taylor expansion of 0 in z
18.834 * * * * [progress]: [ 2 / 3 ] generating series at (2)
18.834 * [approximate]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in (x y t z) around 0
18.834 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in z
18.834 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in z
18.834 * [taylor]: Taking taylor expansion of (* x z) in z
18.834 * [taylor]: Taking taylor expansion of x in z
18.834 * [taylor]: Taking taylor expansion of z in z
18.834 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z
18.834 * [taylor]: Taking taylor expansion of x in z
18.834 * [taylor]: Taking taylor expansion of (* t y) in z
18.834 * [taylor]: Taking taylor expansion of t in z
18.834 * [taylor]: Taking taylor expansion of y in z
18.834 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z
18.834 * [taylor]: Taking taylor expansion of (* t z) in z
18.834 * [taylor]: Taking taylor expansion of t in z
18.834 * [taylor]: Taking taylor expansion of z in z
18.834 * [taylor]: Taking taylor expansion of (* x y) in z
18.834 * [taylor]: Taking taylor expansion of x in z
18.834 * [taylor]: Taking taylor expansion of y in z
18.834 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in t
18.834 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in t
18.834 * [taylor]: Taking taylor expansion of (* x z) in t
18.834 * [taylor]: Taking taylor expansion of x in t
18.834 * [taylor]: Taking taylor expansion of z in t
18.834 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t
18.834 * [taylor]: Taking taylor expansion of x in t
18.834 * [taylor]: Taking taylor expansion of (* t y) in t
18.834 * [taylor]: Taking taylor expansion of t in t
18.834 * [taylor]: Taking taylor expansion of y in t
18.834 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t
18.834 * [taylor]: Taking taylor expansion of (* t z) in t
18.834 * [taylor]: Taking taylor expansion of t in t
18.834 * [taylor]: Taking taylor expansion of z in t
18.834 * [taylor]: Taking taylor expansion of (* x y) in t
18.834 * [taylor]: Taking taylor expansion of x in t
18.835 * [taylor]: Taking taylor expansion of y in t
18.835 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in y
18.835 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in y
18.835 * [taylor]: Taking taylor expansion of (* x z) in y
18.835 * [taylor]: Taking taylor expansion of x in y
18.835 * [taylor]: Taking taylor expansion of z in y
18.835 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y
18.835 * [taylor]: Taking taylor expansion of x in y
18.835 * [taylor]: Taking taylor expansion of (* t y) in y
18.835 * [taylor]: Taking taylor expansion of t in y
18.835 * [taylor]: Taking taylor expansion of y in y
18.835 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y
18.835 * [taylor]: Taking taylor expansion of (* t z) in y
18.835 * [taylor]: Taking taylor expansion of t in y
18.835 * [taylor]: Taking taylor expansion of z in y
18.835 * [taylor]: Taking taylor expansion of (* x y) in y
18.835 * [taylor]: Taking taylor expansion of x in y
18.835 * [taylor]: Taking taylor expansion of y in y
18.835 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
18.835 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
18.835 * [taylor]: Taking taylor expansion of (* x z) in x
18.835 * [taylor]: Taking taylor expansion of x in x
18.835 * [taylor]: Taking taylor expansion of z in x
18.835 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
18.835 * [taylor]: Taking taylor expansion of x in x
18.835 * [taylor]: Taking taylor expansion of (* t y) in x
18.835 * [taylor]: Taking taylor expansion of t in x
18.835 * [taylor]: Taking taylor expansion of y in x
18.835 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
18.835 * [taylor]: Taking taylor expansion of (* t z) in x
18.835 * [taylor]: Taking taylor expansion of t in x
18.835 * [taylor]: Taking taylor expansion of z in x
18.835 * [taylor]: Taking taylor expansion of (* x y) in x
18.835 * [taylor]: Taking taylor expansion of x in x
18.835 * [taylor]: Taking taylor expansion of y in x
18.835 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
18.835 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
18.835 * [taylor]: Taking taylor expansion of (* x z) in x
18.835 * [taylor]: Taking taylor expansion of x in x
18.835 * [taylor]: Taking taylor expansion of z in x
18.835 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
18.835 * [taylor]: Taking taylor expansion of x in x
18.835 * [taylor]: Taking taylor expansion of (* t y) in x
18.835 * [taylor]: Taking taylor expansion of t in x
18.835 * [taylor]: Taking taylor expansion of y in x
18.835 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
18.835 * [taylor]: Taking taylor expansion of (* t z) in x
18.835 * [taylor]: Taking taylor expansion of t in x
18.835 * [taylor]: Taking taylor expansion of z in x
18.835 * [taylor]: Taking taylor expansion of (* x y) in x
18.835 * [taylor]: Taking taylor expansion of x in x
18.835 * [taylor]: Taking taylor expansion of y in x
18.836 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in y
18.836 * [taylor]: Taking taylor expansion of (* t y) in y
18.836 * [taylor]: Taking taylor expansion of t in y
18.836 * [taylor]: Taking taylor expansion of y in y
18.836 * [taylor]: Taking taylor expansion of (* t z) in y
18.836 * [taylor]: Taking taylor expansion of t in y
18.836 * [taylor]: Taking taylor expansion of z in y
18.836 * [taylor]: Taking taylor expansion of (- (* t z)) in t
18.836 * [taylor]: Taking taylor expansion of (* t z) in t
18.836 * [taylor]: Taking taylor expansion of t in t
18.836 * [taylor]: Taking taylor expansion of z in t
18.836 * [taylor]: Taking taylor expansion of 0 in z
18.837 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in y
18.837 * [taylor]: Taking taylor expansion of (+ z 1) in y
18.837 * [taylor]: Taking taylor expansion of z in y
18.837 * [taylor]: Taking taylor expansion of 1 in y
18.837 * [taylor]: Taking taylor expansion of y in y
18.838 * [taylor]: Taking taylor expansion of (+ z 1) in t
18.838 * [taylor]: Taking taylor expansion of z in t
18.838 * [taylor]: Taking taylor expansion of 1 in t
18.838 * [taylor]: Taking taylor expansion of (+ z 1) in z
18.838 * [taylor]: Taking taylor expansion of z in z
18.838 * [taylor]: Taking taylor expansion of 1 in z
18.838 * [taylor]: Taking taylor expansion of t in t
18.838 * [taylor]: Taking taylor expansion of 0 in z
18.839 * [taylor]: Taking taylor expansion of (- z) in z
18.839 * [taylor]: Taking taylor expansion of z in z
18.842 * [taylor]: Taking taylor expansion of 0 in y
18.842 * [taylor]: Taking taylor expansion of 0 in t
18.842 * [taylor]: Taking taylor expansion of 0 in z
18.842 * [taylor]: Taking taylor expansion of -1 in t
18.842 * [taylor]: Taking taylor expansion of -1 in z
18.844 * [taylor]: Taking taylor expansion of 0 in t
18.844 * [taylor]: Taking taylor expansion of 0 in z
18.844 * [taylor]: Taking taylor expansion of 0 in z
18.844 * [taylor]: Taking taylor expansion of 1 in z
18.845 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (x y t z) around 0
18.845 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z
18.845 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in z
18.845 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
18.845 * [taylor]: Taking taylor expansion of (* t y) in z
18.845 * [taylor]: Taking taylor expansion of t in z
18.845 * [taylor]: Taking taylor expansion of y in z
18.845 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in z
18.845 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
18.845 * [taylor]: Taking taylor expansion of (* x z) in z
18.845 * [taylor]: Taking taylor expansion of x in z
18.845 * [taylor]: Taking taylor expansion of z in z
18.845 * [taylor]: Taking taylor expansion of (/ 1 x) in z
18.845 * [taylor]: Taking taylor expansion of x in z
18.845 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
18.845 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
18.845 * [taylor]: Taking taylor expansion of (* t z) in z
18.845 * [taylor]: Taking taylor expansion of t in z
18.845 * [taylor]: Taking taylor expansion of z in z
18.846 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
18.846 * [taylor]: Taking taylor expansion of (* x y) in z
18.846 * [taylor]: Taking taylor expansion of x in z
18.846 * [taylor]: Taking taylor expansion of y in z
18.846 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t
18.846 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in t
18.846 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
18.846 * [taylor]: Taking taylor expansion of (* t y) in t
18.846 * [taylor]: Taking taylor expansion of t in t
18.846 * [taylor]: Taking taylor expansion of y in t
18.846 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in t
18.846 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
18.846 * [taylor]: Taking taylor expansion of (* x z) in t
18.846 * [taylor]: Taking taylor expansion of x in t
18.846 * [taylor]: Taking taylor expansion of z in t
18.846 * [taylor]: Taking taylor expansion of (/ 1 x) in t
18.846 * [taylor]: Taking taylor expansion of x in t
18.846 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
18.846 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.846 * [taylor]: Taking taylor expansion of (* t z) in t
18.846 * [taylor]: Taking taylor expansion of t in t
18.846 * [taylor]: Taking taylor expansion of z in t
18.847 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
18.847 * [taylor]: Taking taylor expansion of (* x y) in t
18.847 * [taylor]: Taking taylor expansion of x in t
18.847 * [taylor]: Taking taylor expansion of y in t
18.847 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
18.847 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in y
18.847 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
18.847 * [taylor]: Taking taylor expansion of (* t y) in y
18.847 * [taylor]: Taking taylor expansion of t in y
18.847 * [taylor]: Taking taylor expansion of y in y
18.847 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in y
18.847 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
18.847 * [taylor]: Taking taylor expansion of (* x z) in y
18.847 * [taylor]: Taking taylor expansion of x in y
18.847 * [taylor]: Taking taylor expansion of z in y
18.847 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.847 * [taylor]: Taking taylor expansion of x in y
18.847 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
18.847 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
18.847 * [taylor]: Taking taylor expansion of (* t z) in y
18.847 * [taylor]: Taking taylor expansion of t in y
18.847 * [taylor]: Taking taylor expansion of z in y
18.847 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
18.847 * [taylor]: Taking taylor expansion of (* x y) in y
18.848 * [taylor]: Taking taylor expansion of x in y
18.848 * [taylor]: Taking taylor expansion of y in y
18.848 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
18.848 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
18.848 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
18.848 * [taylor]: Taking taylor expansion of (* t y) in x
18.848 * [taylor]: Taking taylor expansion of t in x
18.848 * [taylor]: Taking taylor expansion of y in x
18.848 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
18.848 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
18.848 * [taylor]: Taking taylor expansion of (* x z) in x
18.848 * [taylor]: Taking taylor expansion of x in x
18.848 * [taylor]: Taking taylor expansion of z in x
18.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.848 * [taylor]: Taking taylor expansion of x in x
18.849 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
18.849 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
18.849 * [taylor]: Taking taylor expansion of (* t z) in x
18.849 * [taylor]: Taking taylor expansion of t in x
18.849 * [taylor]: Taking taylor expansion of z in x
18.849 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
18.849 * [taylor]: Taking taylor expansion of (* x y) in x
18.849 * [taylor]: Taking taylor expansion of x in x
18.849 * [taylor]: Taking taylor expansion of y in x
18.849 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
18.849 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
18.849 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
18.849 * [taylor]: Taking taylor expansion of (* t y) in x
18.849 * [taylor]: Taking taylor expansion of t in x
18.849 * [taylor]: Taking taylor expansion of y in x
18.849 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
18.849 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
18.849 * [taylor]: Taking taylor expansion of (* x z) in x
18.849 * [taylor]: Taking taylor expansion of x in x
18.849 * [taylor]: Taking taylor expansion of z in x
18.850 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.850 * [taylor]: Taking taylor expansion of x in x
18.850 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
18.850 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
18.850 * [taylor]: Taking taylor expansion of (* t z) in x
18.850 * [taylor]: Taking taylor expansion of t in x
18.850 * [taylor]: Taking taylor expansion of z in x
18.850 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
18.850 * [taylor]: Taking taylor expansion of (* x y) in x
18.850 * [taylor]: Taking taylor expansion of x in x
18.850 * [taylor]: Taking taylor expansion of y in x
18.851 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in y
18.851 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y
18.851 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.851 * [taylor]: Taking taylor expansion of z in y
18.851 * [taylor]: Taking taylor expansion of 1 in y
18.851 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.851 * [taylor]: Taking taylor expansion of y in y
18.852 * [taylor]: Taking taylor expansion of -1 in t
18.854 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
18.854 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
18.854 * [taylor]: Taking taylor expansion of (* t y) in y
18.854 * [taylor]: Taking taylor expansion of t in y
18.854 * [taylor]: Taking taylor expansion of y in y
18.855 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
18.855 * [taylor]: Taking taylor expansion of (* t z) in y
18.855 * [taylor]: Taking taylor expansion of t in y
18.855 * [taylor]: Taking taylor expansion of z in y
18.855 * [taylor]: Taking taylor expansion of (/ 1 t) in t
18.855 * [taylor]: Taking taylor expansion of t in t
18.855 * [taylor]: Taking taylor expansion of 1 in z
18.856 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in t
18.856 * [taylor]: Taking taylor expansion of (/ 1 z) in t
18.856 * [taylor]: Taking taylor expansion of z in t
18.856 * [taylor]: Taking taylor expansion of 1 in t
18.856 * [taylor]: Taking taylor expansion of -1 in z
18.860 * [taylor]: Taking taylor expansion of 0 in y
18.860 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in t
18.860 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.860 * [taylor]: Taking taylor expansion of (* t z) in t
18.860 * [taylor]: Taking taylor expansion of t in t
18.860 * [taylor]: Taking taylor expansion of z in t
18.861 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
18.861 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.861 * [taylor]: Taking taylor expansion of z in z
18.863 * [taylor]: Taking taylor expansion of 0 in t
18.863 * [taylor]: Taking taylor expansion of 0 in z
18.863 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
18.863 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.863 * [taylor]: Taking taylor expansion of z in z
18.864 * [taylor]: Taking taylor expansion of 1 in z
18.864 * [taylor]: Taking taylor expansion of 0 in z
18.865 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in (x y t z) around 0
18.865 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in z
18.865 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z
18.865 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
18.865 * [taylor]: Taking taylor expansion of (* x z) in z
18.865 * [taylor]: Taking taylor expansion of x in z
18.865 * [taylor]: Taking taylor expansion of z in z
18.866 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
18.866 * [taylor]: Taking taylor expansion of (* t y) in z
18.866 * [taylor]: Taking taylor expansion of t in z
18.866 * [taylor]: Taking taylor expansion of y in z
18.866 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in z
18.866 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
18.866 * [taylor]: Taking taylor expansion of (* t z) in z
18.866 * [taylor]: Taking taylor expansion of t in z
18.866 * [taylor]: Taking taylor expansion of z in z
18.866 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z
18.866 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
18.866 * [taylor]: Taking taylor expansion of (* x y) in z
18.866 * [taylor]: Taking taylor expansion of x in z
18.866 * [taylor]: Taking taylor expansion of y in z
18.866 * [taylor]: Taking taylor expansion of (/ 1 x) in z
18.866 * [taylor]: Taking taylor expansion of x in z
18.866 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in t
18.866 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t
18.866 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
18.867 * [taylor]: Taking taylor expansion of (* x z) in t
18.867 * [taylor]: Taking taylor expansion of x in t
18.867 * [taylor]: Taking taylor expansion of z in t
18.867 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
18.867 * [taylor]: Taking taylor expansion of (* t y) in t
18.867 * [taylor]: Taking taylor expansion of t in t
18.867 * [taylor]: Taking taylor expansion of y in t
18.867 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in t
18.867 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.867 * [taylor]: Taking taylor expansion of (* t z) in t
18.867 * [taylor]: Taking taylor expansion of t in t
18.867 * [taylor]: Taking taylor expansion of z in t
18.867 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in t
18.867 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
18.867 * [taylor]: Taking taylor expansion of (* x y) in t
18.867 * [taylor]: Taking taylor expansion of x in t
18.867 * [taylor]: Taking taylor expansion of y in t
18.867 * [taylor]: Taking taylor expansion of (/ 1 x) in t
18.867 * [taylor]: Taking taylor expansion of x in t
18.868 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in y
18.868 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y
18.868 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
18.868 * [taylor]: Taking taylor expansion of (* x z) in y
18.868 * [taylor]: Taking taylor expansion of x in y
18.868 * [taylor]: Taking taylor expansion of z in y
18.868 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
18.868 * [taylor]: Taking taylor expansion of (* t y) in y
18.868 * [taylor]: Taking taylor expansion of t in y
18.868 * [taylor]: Taking taylor expansion of y in y
18.868 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in y
18.868 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
18.868 * [taylor]: Taking taylor expansion of (* t z) in y
18.868 * [taylor]: Taking taylor expansion of t in y
18.868 * [taylor]: Taking taylor expansion of z in y
18.868 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
18.868 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
18.868 * [taylor]: Taking taylor expansion of (* x y) in y
18.868 * [taylor]: Taking taylor expansion of x in y
18.868 * [taylor]: Taking taylor expansion of y in y
18.869 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.869 * [taylor]: Taking taylor expansion of x in y
18.869 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
18.869 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
18.869 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
18.869 * [taylor]: Taking taylor expansion of (* x z) in x
18.869 * [taylor]: Taking taylor expansion of x in x
18.869 * [taylor]: Taking taylor expansion of z in x
18.869 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
18.869 * [taylor]: Taking taylor expansion of (* t y) in x
18.869 * [taylor]: Taking taylor expansion of t in x
18.869 * [taylor]: Taking taylor expansion of y in x
18.869 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
18.869 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
18.869 * [taylor]: Taking taylor expansion of (* t z) in x
18.869 * [taylor]: Taking taylor expansion of t in x
18.869 * [taylor]: Taking taylor expansion of z in x
18.869 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
18.869 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
18.869 * [taylor]: Taking taylor expansion of (* x y) in x
18.869 * [taylor]: Taking taylor expansion of x in x
18.869 * [taylor]: Taking taylor expansion of y in x
18.870 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.870 * [taylor]: Taking taylor expansion of x in x
18.870 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
18.870 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
18.870 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
18.870 * [taylor]: Taking taylor expansion of (* x z) in x
18.870 * [taylor]: Taking taylor expansion of x in x
18.870 * [taylor]: Taking taylor expansion of z in x
18.870 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
18.870 * [taylor]: Taking taylor expansion of (* t y) in x
18.870 * [taylor]: Taking taylor expansion of t in x
18.870 * [taylor]: Taking taylor expansion of y in x
18.870 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
18.870 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
18.870 * [taylor]: Taking taylor expansion of (* t z) in x
18.871 * [taylor]: Taking taylor expansion of t in x
18.871 * [taylor]: Taking taylor expansion of z in x
18.871 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
18.871 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
18.871 * [taylor]: Taking taylor expansion of (* x y) in x
18.871 * [taylor]: Taking taylor expansion of x in x
18.871 * [taylor]: Taking taylor expansion of y in x
18.871 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.871 * [taylor]: Taking taylor expansion of x in x
18.871 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in y
18.872 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.872 * [taylor]: Taking taylor expansion of z in y
18.872 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
18.872 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.872 * [taylor]: Taking taylor expansion of y in y
18.872 * [taylor]: Taking taylor expansion of 1 in y
18.873 * [taylor]: Taking taylor expansion of -1 in t
18.875 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
18.875 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
18.875 * [taylor]: Taking taylor expansion of (* t y) in y
18.875 * [taylor]: Taking taylor expansion of t in y
18.875 * [taylor]: Taking taylor expansion of y in y
18.875 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
18.875 * [taylor]: Taking taylor expansion of (* t z) in y
18.875 * [taylor]: Taking taylor expansion of t in y
18.875 * [taylor]: Taking taylor expansion of z in y
18.875 * [taylor]: Taking taylor expansion of (/ 1 t) in t
18.875 * [taylor]: Taking taylor expansion of t in t
18.875 * [taylor]: Taking taylor expansion of 1 in z
18.876 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in t
18.876 * [taylor]: Taking taylor expansion of (/ 1 z) in t
18.876 * [taylor]: Taking taylor expansion of z in t
18.877 * [taylor]: Taking taylor expansion of 1 in t
18.877 * [taylor]: Taking taylor expansion of -1 in z
18.880 * [taylor]: Taking taylor expansion of 0 in y
18.881 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in t
18.881 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.881 * [taylor]: Taking taylor expansion of (* t z) in t
18.881 * [taylor]: Taking taylor expansion of t in t
18.881 * [taylor]: Taking taylor expansion of z in t
18.881 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
18.881 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.881 * [taylor]: Taking taylor expansion of z in z
18.883 * [taylor]: Taking taylor expansion of 0 in t
18.883 * [taylor]: Taking taylor expansion of 0 in z
18.883 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in z
18.884 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.884 * [taylor]: Taking taylor expansion of z in z
18.884 * [taylor]: Taking taylor expansion of 1 in z
18.884 * [taylor]: Taking taylor expansion of 0 in z
18.885 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
18.885 * [approximate]: Taking taylor expansion of (* -1 (* (- y z) x)) in (x y z) around 0
18.885 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in z
18.885 * [taylor]: Taking taylor expansion of -1 in z
18.885 * [taylor]: Taking taylor expansion of (* (- y z) x) in z
18.885 * [taylor]: Taking taylor expansion of (- y z) in z
18.885 * [taylor]: Taking taylor expansion of y in z
18.885 * [taylor]: Taking taylor expansion of z in z
18.885 * [taylor]: Taking taylor expansion of x in z
18.885 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in y
18.885 * [taylor]: Taking taylor expansion of -1 in y
18.885 * [taylor]: Taking taylor expansion of (* (- y z) x) in y
18.885 * [taylor]: Taking taylor expansion of (- y z) in y
18.885 * [taylor]: Taking taylor expansion of y in y
18.885 * [taylor]: Taking taylor expansion of z in y
18.885 * [taylor]: Taking taylor expansion of x in y
18.885 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in x
18.885 * [taylor]: Taking taylor expansion of -1 in x
18.885 * [taylor]: Taking taylor expansion of (* (- y z) x) in x
18.885 * [taylor]: Taking taylor expansion of (- y z) in x
18.885 * [taylor]: Taking taylor expansion of y in x
18.885 * [taylor]: Taking taylor expansion of z in x
18.885 * [taylor]: Taking taylor expansion of x in x
18.885 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in x
18.885 * [taylor]: Taking taylor expansion of -1 in x
18.885 * [taylor]: Taking taylor expansion of (* (- y z) x) in x
18.885 * [taylor]: Taking taylor expansion of (- y z) in x
18.885 * [taylor]: Taking taylor expansion of y in x
18.885 * [taylor]: Taking taylor expansion of z in x
18.886 * [taylor]: Taking taylor expansion of x in x
18.886 * [taylor]: Taking taylor expansion of 0 in y
18.886 * [taylor]: Taking taylor expansion of 0 in z
18.887 * [taylor]: Taking taylor expansion of (- z y) in y
18.887 * [taylor]: Taking taylor expansion of z in y
18.887 * [taylor]: Taking taylor expansion of y in y
18.887 * [taylor]: Taking taylor expansion of z in z
18.887 * [taylor]: Taking taylor expansion of 0 in z
18.889 * [taylor]: Taking taylor expansion of 0 in y
18.889 * [taylor]: Taking taylor expansion of 0 in z
18.889 * [taylor]: Taking taylor expansion of -1 in z
18.889 * [taylor]: Taking taylor expansion of 0 in z
18.891 * [taylor]: Taking taylor expansion of 0 in y
18.891 * [taylor]: Taking taylor expansion of 0 in z
18.891 * [taylor]: Taking taylor expansion of 0 in z
18.892 * [taylor]: Taking taylor expansion of 0 in z
18.892 * [taylor]: Taking taylor expansion of 0 in z
18.892 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in (x y z) around 0
18.892 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in z
18.892 * [taylor]: Taking taylor expansion of -1 in z
18.892 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z
18.892 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
18.892 * [taylor]: Taking taylor expansion of (/ 1 y) in z
18.892 * [taylor]: Taking taylor expansion of y in z
18.892 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.892 * [taylor]: Taking taylor expansion of z in z
18.892 * [taylor]: Taking taylor expansion of x in z
18.893 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in y
18.893 * [taylor]: Taking taylor expansion of -1 in y
18.893 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y
18.893 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
18.893 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.893 * [taylor]: Taking taylor expansion of y in y
18.893 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.893 * [taylor]: Taking taylor expansion of z in y
18.893 * [taylor]: Taking taylor expansion of x in y
18.894 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in x
18.894 * [taylor]: Taking taylor expansion of -1 in x
18.894 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x
18.894 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
18.894 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.894 * [taylor]: Taking taylor expansion of y in x
18.894 * [taylor]: Taking taylor expansion of (/ 1 z) in x
18.894 * [taylor]: Taking taylor expansion of z in x
18.894 * [taylor]: Taking taylor expansion of x in x
18.894 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in x
18.894 * [taylor]: Taking taylor expansion of -1 in x
18.894 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x
18.894 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
18.894 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.894 * [taylor]: Taking taylor expansion of y in x
18.894 * [taylor]: Taking taylor expansion of (/ 1 z) in x
18.894 * [taylor]: Taking taylor expansion of z in x
18.894 * [taylor]: Taking taylor expansion of x in x
18.894 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 y) (/ 1 z))) in y
18.894 * [taylor]: Taking taylor expansion of -1 in y
18.894 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
18.894 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.894 * [taylor]: Taking taylor expansion of y in y
18.895 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.895 * [taylor]: Taking taylor expansion of z in y
18.895 * [taylor]: Taking taylor expansion of -1 in z
18.897 * [taylor]: Taking taylor expansion of 0 in y
18.898 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.898 * [taylor]: Taking taylor expansion of z in z
18.900 * [taylor]: Taking taylor expansion of 0 in y
18.900 * [taylor]: Taking taylor expansion of 0 in z
18.902 * [taylor]: Taking taylor expansion of 0 in z
18.905 * [taylor]: Taking taylor expansion of 0 in y
18.905 * [taylor]: Taking taylor expansion of 0 in z
18.905 * [taylor]: Taking taylor expansion of 0 in z
18.907 * [taylor]: Taking taylor expansion of 0 in z
18.908 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in (x y z) around 0
18.908 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z
18.908 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
18.908 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.908 * [taylor]: Taking taylor expansion of z in z
18.908 * [taylor]: Taking taylor expansion of (/ 1 y) in z
18.908 * [taylor]: Taking taylor expansion of y in z
18.909 * [taylor]: Taking taylor expansion of x in z
18.909 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y
18.909 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
18.909 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.909 * [taylor]: Taking taylor expansion of z in y
18.909 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.909 * [taylor]: Taking taylor expansion of y in y
18.909 * [taylor]: Taking taylor expansion of x in y
18.910 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x
18.910 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
18.910 * [taylor]: Taking taylor expansion of (/ 1 z) in x
18.910 * [taylor]: Taking taylor expansion of z in x
18.910 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.910 * [taylor]: Taking taylor expansion of y in x
18.910 * [taylor]: Taking taylor expansion of x in x
18.910 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x
18.910 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
18.910 * [taylor]: Taking taylor expansion of (/ 1 z) in x
18.910 * [taylor]: Taking taylor expansion of z in x
18.910 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.910 * [taylor]: Taking taylor expansion of y in x
18.910 * [taylor]: Taking taylor expansion of x in x
18.910 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
18.910 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.910 * [taylor]: Taking taylor expansion of z in y
18.910 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.910 * [taylor]: Taking taylor expansion of y in y
18.911 * [taylor]: Taking taylor expansion of -1 in z
18.913 * [taylor]: Taking taylor expansion of 0 in y
18.916 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.916 * [taylor]: Taking taylor expansion of z in z
18.917 * [taylor]: Taking taylor expansion of 0 in y
18.918 * [taylor]: Taking taylor expansion of 0 in z
18.919 * [taylor]: Taking taylor expansion of 0 in z
18.921 * [taylor]: Taking taylor expansion of 0 in y
18.921 * [taylor]: Taking taylor expansion of 0 in z
18.921 * [taylor]: Taking taylor expansion of 0 in z
18.922 * [taylor]: Taking taylor expansion of 0 in z
18.923 * * * [progress]: simplifying candidates
18.924 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (exp (* y t)) (exp (* (- z) t)))
  (log (+ (* y t) (* (- z) t)))
  (exp (+ (* y t) (* (- z) t)))
  (* (cbrt (+ (* y t) (* (- z) t))) (cbrt (+ (* y t) (* (- z) t))))
  (cbrt (+ (* y t) (* (- z) t)))
  (* (* (+ (* y t) (* (- z) t)) (+ (* y t) (* (- z) t))) (+ (* y t) (* (- z) t)))
  (sqrt (+ (* y t) (* (- z) t)))
  (sqrt (+ (* y t) (* (- z) t)))
  (+ (pow (* y t) 3) (pow (* (- z) t) 3))
  (+ (* (* y t) (* y t)) (- (* (* (- z) t) (* (- z) t)) (* (* y t) (* (- z) t))))
  (- (* (* y t) (* y t)) (* (* (- z) t) (* (- z) t)))
  (- (* y t) (* (- z) t))
  (+ y (- z))
  (* (* (exp x) (* (exp (* y t)) (exp (* (- z) t)))) (exp (* (- x) (- y z))))
  (* (* (exp x) (exp (+ (* y t) (* (- z) t)))) (exp (* (- x) (- y z))))
  (* (exp (+ x (+ (* y t) (* (- z) t)))) (exp (* (- x) (- y z))))
  (log (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))
  (exp (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))
  (* (cbrt (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z)))) (cbrt (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z)))))
  (cbrt (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))
  (* (* (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z)))) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))
  (sqrt (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))
  (sqrt (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))
  (+ (* (+ (pow x 3) (pow (+ (* y t) (* (- z) t)) 3)) (+ (* y y) (+ (* z z) (* y z)))) (* (+ (* x x) (- (* (+ (* y t) (* (- z) t)) (+ (* y t) (* (- z) t))) (* x (+ (* y t) (* (- z) t))))) (* (- x) (- (pow y 3) (pow z 3)))))
  (* (+ (* x x) (- (* (+ (* y t) (* (- z) t)) (+ (* y t) (* (- z) t))) (* x (+ (* y t) (* (- z) t))))) (+ (* y y) (+ (* z z) (* y z))))
  (+ (* (+ (pow x 3) (pow (+ (* y t) (* (- z) t)) 3)) (+ y z)) (* (+ (* x x) (- (* (+ (* y t) (* (- z) t)) (+ (* y t) (* (- z) t))) (* x (+ (* y t) (* (- z) t))))) (* (- x) (- (* y y) (* z z)))))
  (* (+ (* x x) (- (* (+ (* y t) (* (- z) t)) (+ (* y t) (* (- z) t))) (* x (+ (* y t) (* (- z) t))))) (+ y z))
  (+ (* (- (* x x) (* (+ (* y t) (* (- z) t)) (+ (* y t) (* (- z) t)))) (+ (* y y) (+ (* z z) (* y z)))) (* (- x (+ (* y t) (* (- z) t))) (* (- x) (- (pow y 3) (pow z 3)))))
  (* (- x (+ (* y t) (* (- z) t))) (+ (* y y) (+ (* z z) (* y z))))
  (+ (* (- (* x x) (* (+ (* y t) (* (- z) t)) (+ (* y t) (* (- z) t)))) (+ y z)) (* (- x (+ (* y t) (* (- z) t))) (* (- x) (- (* y y) (* z z)))))
  (* (- x (+ (* y t) (* (- z) t))) (+ y z))
  (+ (pow (+ x (+ (* y t) (* (- z) t))) 3) (pow (* (- x) (- y z)) 3))
  (+ (* (+ x (+ (* y t) (* (- z) t))) (+ x (+ (* y t) (* (- z) t)))) (- (* (* (- x) (- y z)) (* (- x) (- y z))) (* (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z)))))
  (- (* (+ x (+ (* y t) (* (- z) t))) (+ x (+ (* y t) (* (- z) t)))) (* (* (- x) (- y z)) (* (- x) (- y z))))
  (- (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z)))
  (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) y))
  (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) y))
  (+ (+ x (+ (* y t) (* (- z) t))) (* y (- x)))
  (+ (+ x (+ (* y t) (* (- z) t))) (* y (- x)))
  (+ (+ (* y t) (* (- z) t)) (* (- x) (- y z)))
  (- (* z t) (* (- x) (- y z)))
  (- (* z t) (* (- x) (- y z)))
  (* (- x) (- y z))
  (+ (log (- x)) (log (- y z)))
  (log (* (- x) (- y z)))
  (exp (* (- x) (- y z)))
  (* (* (* (- x) (- x)) (- x)) (* (* (- y z) (- y z)) (- y z)))
  (* (cbrt (* (- x) (- y z))) (cbrt (* (- x) (- y z))))
  (cbrt (* (- x) (- y z)))
  (* (* (* (- x) (- y z)) (* (- x) (- y z))) (* (- x) (- y z)))
  (sqrt (* (- x) (- y z)))
  (sqrt (* (- x) (- y z)))
  (* (sqrt (- x)) (sqrt (- y z)))
  (* (sqrt (- x)) (sqrt (- y z)))
  (* x (- y z))
  (* (- x) y)
  (* (- x) (- z))
  (* (- x) y)
  (* (- x) (- z))
  (* y (- x))
  (* (- z) (- x))
  (* y (- x))
  (* (- z) (- x))
  (* (- x) (* (cbrt (- y z)) (cbrt (- y z))))
  (* (- x) (sqrt (- y z)))
  (* (- x) 1)
  (* (- x) (+ (sqrt y) (sqrt z)))
  (* (- x) 1)
  (* (cbrt (- x)) (- y z))
  (* (sqrt (- x)) (- y z))
  (* (- x) (- y z))
  (* x (- y z))
  (* (cbrt x) (- y z))
  (* (sqrt x) (- y z))
  (* x (- y z))
  (* (- (cbrt x)) (- y z))
  (* (- (sqrt x)) (- y z))
  (* (- x) (- y z))
  (* (- x) (- (pow y 3) (pow z 3)))
  (* (- x) (- (* y y) (* z z)))
  (- (* t y) (* t z))
  (- (* t y) (* t z))
  (- (* t y) (* t z))
  (- (+ (* t y) x) (* x y))
  (- (+ (* x z) (* t y)) (* t z))
  (- (+ (* x z) (* t y)) (* t z))
  (- (* x z) (* x y))
  (- (* x z) (* x y))
  (- (* x z) (* x y))
18.928 * * [simplify]: iteration  0 :  154  enodes  (cost  1329 )
18.958 * * [simplify]: iteration  1 :  495  enodes  (cost  1047 )
19.137 * * [simplify]: iteration  2 :  2054  enodes  (cost  988 )
19.671 * * [simplify]: iteration  done :  5000  enodes  (cost  981 )
19.671 * [simplify]: Simplified to:
   (exp (* t (- y z)))
  (log (* t (- y z)))
  (exp (* t (- y z)))
  (* (cbrt (* t (- y z))) (cbrt (* t (- y z))))
  (cbrt (* t (- y z)))
  (pow (* t (- y z)) 3)
  (sqrt (* t (- y z)))
  (sqrt (* t (- y z)))
  (* (pow t 3) (- (pow y 3) (pow z 3)))
  (- (* (* y t) (* y t)) (* (* z t) (* t (- (- z) y))))
  (* (* t t) (- (* y y) (* z z)))
  (* t (- y (- z)))
  (- y z)
  (exp (- (+ x (* t (- y z))) (* x (- y z))))
  (exp (- (+ x (* t (- y z))) (* x (- y z))))
  (exp (- (+ x (* t (- y z))) (* x (- y z))))
  (log (- (+ x (* t (- y z))) (* x (- y z))))
  (exp (- (+ x (* t (- y z))) (* x (- y z))))
  (* (cbrt (- (+ x (* t (- y z))) (* x (- y z)))) (cbrt (- (+ x (* t (- y z))) (* x (- y z)))))
  (cbrt (- (+ x (* t (- y z))) (* x (- y z))))
  (pow (- (+ x (* t (- y z))) (* x (- y z))) 3)
  (sqrt (- (+ x (* t (- y z))) (* x (- y z))))
  (sqrt (- (+ x (* t (- y z))) (* x (- y z))))
  (- (* (+ (* y y) (* z (+ y z))) (+ (pow (* t (- y z)) 3) (pow x 3))) (* (+ (* x x) (* (* t (- y z)) (- (* t (- y z)) x))) (* x (- (pow y 3) (pow z 3)))))
  (* (+ (* x x) (* (* t (- y z)) (- (* t (- y z)) x))) (+ (* y y) (* z (+ y z))))
  (- (* (+ (pow (* t (- y z)) 3) (pow x 3)) (+ y z)) (* (* x (- (* y y) (* z z))) (+ (* x x) (* (* t (- y z)) (- (* t (- y z)) x)))))
  (* (+ y z) (+ (* x x) (* (* t (- y z)) (- (* t (- y z)) x))))
  (- (* (- (* x x) (* (* t (- y z)) (* t (- y z)))) (+ (* y y) (* z (+ y z)))) (* (- x (* t (- y z))) (* x (- (pow y 3) (pow z 3)))))
  (* (+ (* y y) (* z (+ y z))) (- x (* t (- y z))))
  (- (* (- (* x x) (* (* t (- y z)) (* t (- y z)))) (+ y z)) (* (- x (* t (- y z))) (* x (- (* y y) (* z z)))))
  (* (- x (* t (- y z))) (+ y z))
  (- (pow (+ x (* t (- y z))) 3) (pow (* x (- y z)) 3))
  (- (* (+ x (* t (- y z))) (+ x (* t (- y z)))) (* (* x (- y z)) (- (* (- x) (- y z)) (+ x (* t (- y z))))))
  (- (* (+ x (* t (- y z))) (+ x (* t (- y z)))) (* (* x x) (* (- y z) (- y z))))
  (+ (* x (- y z)) (+ x (* t (- y z))))
  (+ (- (* t (- y z)) (* x y)) x)
  (+ (- (* t (- y z)) (* x y)) x)
  (+ (- (* t (- y z)) (* x y)) x)
  (+ (- (* t (- y z)) (* x y)) x)
  (- (* t (- y z)) (* x (- y z)))
  (+ (* z t) (* x (- y z)))
  (+ (* z t) (* x (- y z)))
  (* (- x) (- y z))
  (log (* (- x) (- y z)))
  (log (* (- x) (- y z)))
  (exp (* (- x) (- y z)))
  (pow (* (- x) (- y z)) 3)
  (* (cbrt (* (- x) (- y z))) (cbrt (* (- x) (- y z))))
  (cbrt (* (- x) (- y z)))
  (pow (* (- x) (- y z)) 3)
  (sqrt (* (- x) (- y z)))
  (sqrt (* (- x) (- y z)))
  (* (sqrt (- x)) (sqrt (- y z)))
  (* (sqrt (- x)) (sqrt (- y z)))
  (* x (- y z))
  (* y (- x))
  (* (- z) (- x))
  (* y (- x))
  (* (- z) (- x))
  (* y (- x))
  (* (- z) (- x))
  (* y (- x))
  (* (- z) (- x))
  (* (- x) (* (cbrt (- y z)) (cbrt (- y z))))
  (* (- x) (sqrt (- y z)))
  (- x)
  (* (- x) (+ (sqrt y) (sqrt z)))
  (- x)
  (* (cbrt (- x)) (- y z))
  (* (sqrt (- x)) (- y z))
  (* (- x) (- y z))
  (* x (- y z))
  (* (cbrt x) (- y z))
  (* (sqrt x) (- y z))
  (* x (- y z))
  (* (- (cbrt x)) (- y z))
  (* (- (sqrt x)) (- y z))
  (* (- x) (- y z))
  (* (- x) (- (pow y 3) (pow z 3)))
  (* (- x) (- (* y y) (* z z)))
  (* t (- y z))
  (* t (- y z))
  (* t (- y z))
  (- (+ (* t y) x) (* x y))
  (+ (* x z) (* t (- y z)))
  (+ (* x z) (* t (- y z)))
  (* x (- z y))
  (* x (- z y))
  (* x (- z y))
19.672 * * * [progress]: adding candidates to table
19.860 * * [progress]: iteration 4 / 4
19.860 * * * [progress]: picking best candidate
19.865 * * * * [pick]: Picked  #<alt (λ (x y z t) (* x (- (+ z 1) y)))>
19.866 * * * [progress]: localizing error
19.871 * * * [progress]: generating rewritten candidates
19.871 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
19.910 * * * [progress]: generating series expansions
19.910 * * * * [progress]: [ 1 / 1 ] generating series at (2)
19.911 * [approximate]: Taking taylor expansion of (* (- (+ z 1) y) x) in (x z y) around 0
19.911 * [taylor]: Taking taylor expansion of (* (- (+ z 1) y) x) in y
19.911 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in y
19.911 * [taylor]: Taking taylor expansion of (+ z 1) in y
19.911 * [taylor]: Taking taylor expansion of z in y
19.911 * [taylor]: Taking taylor expansion of 1 in y
19.911 * [taylor]: Taking taylor expansion of y in y
19.911 * [taylor]: Taking taylor expansion of x in y
19.911 * [taylor]: Taking taylor expansion of (* (- (+ z 1) y) x) in z
19.911 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in z
19.911 * [taylor]: Taking taylor expansion of (+ z 1) in z
19.911 * [taylor]: Taking taylor expansion of z in z
19.911 * [taylor]: Taking taylor expansion of 1 in z
19.911 * [taylor]: Taking taylor expansion of y in z
19.911 * [taylor]: Taking taylor expansion of x in z
19.911 * [taylor]: Taking taylor expansion of (* (- (+ z 1) y) x) in x
19.911 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in x
19.911 * [taylor]: Taking taylor expansion of (+ z 1) in x
19.911 * [taylor]: Taking taylor expansion of z in x
19.911 * [taylor]: Taking taylor expansion of 1 in x
19.911 * [taylor]: Taking taylor expansion of y in x
19.911 * [taylor]: Taking taylor expansion of x in x
19.911 * [taylor]: Taking taylor expansion of (* (- (+ z 1) y) x) in x
19.911 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in x
19.911 * [taylor]: Taking taylor expansion of (+ z 1) in x
19.911 * [taylor]: Taking taylor expansion of z in x
19.911 * [taylor]: Taking taylor expansion of 1 in x
19.911 * [taylor]: Taking taylor expansion of y in x
19.911 * [taylor]: Taking taylor expansion of x in x
19.911 * [taylor]: Taking taylor expansion of 0 in z
19.911 * [taylor]: Taking taylor expansion of 0 in y
19.913 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in z
19.913 * [taylor]: Taking taylor expansion of (+ z 1) in z
19.913 * [taylor]: Taking taylor expansion of z in z
19.913 * [taylor]: Taking taylor expansion of 1 in z
19.913 * [taylor]: Taking taylor expansion of y in z
19.913 * [taylor]: Taking taylor expansion of (- 1 y) in y
19.913 * [taylor]: Taking taylor expansion of 1 in y
19.913 * [taylor]: Taking taylor expansion of y in y
19.916 * [taylor]: Taking taylor expansion of 0 in y
19.917 * [taylor]: Taking taylor expansion of 0 in z
19.917 * [taylor]: Taking taylor expansion of 0 in y
19.918 * [taylor]: Taking taylor expansion of 1 in y
19.918 * [taylor]: Taking taylor expansion of 0 in y
19.919 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 z) 1) (/ 1 y)) x) in (x z y) around 0
19.919 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 z) 1) (/ 1 y)) x) in y
19.919 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in y
19.919 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y
19.919 * [taylor]: Taking taylor expansion of (/ 1 z) in y
19.919 * [taylor]: Taking taylor expansion of z in y
19.919 * [taylor]: Taking taylor expansion of 1 in y
19.919 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.919 * [taylor]: Taking taylor expansion of y in y
19.919 * [taylor]: Taking taylor expansion of x in y
19.920 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 z) 1) (/ 1 y)) x) in z
19.920 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in z
19.920 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
19.920 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.920 * [taylor]: Taking taylor expansion of z in z
19.920 * [taylor]: Taking taylor expansion of 1 in z
19.920 * [taylor]: Taking taylor expansion of (/ 1 y) in z
19.920 * [taylor]: Taking taylor expansion of y in z
19.920 * [taylor]: Taking taylor expansion of x in z
19.921 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 z) 1) (/ 1 y)) x) in x
19.921 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in x
19.921 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in x
19.921 * [taylor]: Taking taylor expansion of (/ 1 z) in x
19.921 * [taylor]: Taking taylor expansion of z in x
19.921 * [taylor]: Taking taylor expansion of 1 in x
19.921 * [taylor]: Taking taylor expansion of (/ 1 y) in x
19.921 * [taylor]: Taking taylor expansion of y in x
19.921 * [taylor]: Taking taylor expansion of x in x
19.921 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 z) 1) (/ 1 y)) x) in x
19.921 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in x
19.921 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in x
19.921 * [taylor]: Taking taylor expansion of (/ 1 z) in x
19.921 * [taylor]: Taking taylor expansion of z in x
19.921 * [taylor]: Taking taylor expansion of 1 in x
19.921 * [taylor]: Taking taylor expansion of (/ 1 y) in x
19.921 * [taylor]: Taking taylor expansion of y in x
19.921 * [taylor]: Taking taylor expansion of x in x
19.922 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in z
19.922 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
19.922 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.922 * [taylor]: Taking taylor expansion of z in z
19.922 * [taylor]: Taking taylor expansion of 1 in z
19.922 * [taylor]: Taking taylor expansion of (/ 1 y) in z
19.922 * [taylor]: Taking taylor expansion of y in z
19.922 * [taylor]: Taking taylor expansion of 1 in y
19.924 * [taylor]: Taking taylor expansion of 0 in z
19.925 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
19.925 * [taylor]: Taking taylor expansion of 1 in y
19.925 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.925 * [taylor]: Taking taylor expansion of y in y
19.927 * [taylor]: Taking taylor expansion of 0 in z
19.927 * [taylor]: Taking taylor expansion of 0 in y
19.928 * [taylor]: Taking taylor expansion of 0 in y
19.930 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 y) 1) (/ 1 z)) x)) in (x z y) around 0
19.930 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 y) 1) (/ 1 z)) x)) in y
19.930 * [taylor]: Taking taylor expansion of -1 in y
19.930 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) 1) (/ 1 z)) x) in y
19.930 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1) (/ 1 z)) in y
19.930 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
19.930 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.930 * [taylor]: Taking taylor expansion of y in y
19.930 * [taylor]: Taking taylor expansion of 1 in y
19.930 * [taylor]: Taking taylor expansion of (/ 1 z) in y
19.930 * [taylor]: Taking taylor expansion of z in y
19.930 * [taylor]: Taking taylor expansion of x in y
19.931 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 y) 1) (/ 1 z)) x)) in z
19.931 * [taylor]: Taking taylor expansion of -1 in z
19.931 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) 1) (/ 1 z)) x) in z
19.931 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1) (/ 1 z)) in z
19.931 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in z
19.931 * [taylor]: Taking taylor expansion of (/ 1 y) in z
19.931 * [taylor]: Taking taylor expansion of y in z
19.931 * [taylor]: Taking taylor expansion of 1 in z
19.931 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.931 * [taylor]: Taking taylor expansion of z in z
19.931 * [taylor]: Taking taylor expansion of x in z
19.932 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 y) 1) (/ 1 z)) x)) in x
19.932 * [taylor]: Taking taylor expansion of -1 in x
19.932 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) 1) (/ 1 z)) x) in x
19.932 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1) (/ 1 z)) in x
19.932 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in x
19.932 * [taylor]: Taking taylor expansion of (/ 1 y) in x
19.932 * [taylor]: Taking taylor expansion of y in x
19.932 * [taylor]: Taking taylor expansion of 1 in x
19.932 * [taylor]: Taking taylor expansion of (/ 1 z) in x
19.932 * [taylor]: Taking taylor expansion of z in x
19.932 * [taylor]: Taking taylor expansion of x in x
19.932 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 y) 1) (/ 1 z)) x)) in x
19.932 * [taylor]: Taking taylor expansion of -1 in x
19.932 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) 1) (/ 1 z)) x) in x
19.932 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1) (/ 1 z)) in x
19.932 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in x
19.932 * [taylor]: Taking taylor expansion of (/ 1 y) in x
19.932 * [taylor]: Taking taylor expansion of y in x
19.932 * [taylor]: Taking taylor expansion of 1 in x
19.932 * [taylor]: Taking taylor expansion of (/ 1 z) in x
19.932 * [taylor]: Taking taylor expansion of z in x
19.932 * [taylor]: Taking taylor expansion of x in x
19.933 * [taylor]: Taking taylor expansion of (* -1 (- (+ (/ 1 y) 1) (/ 1 z))) in z
19.933 * [taylor]: Taking taylor expansion of -1 in z
19.933 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1) (/ 1 z)) in z
19.933 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in z
19.933 * [taylor]: Taking taylor expansion of (/ 1 y) in z
19.933 * [taylor]: Taking taylor expansion of y in z
19.933 * [taylor]: Taking taylor expansion of 1 in z
19.933 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.933 * [taylor]: Taking taylor expansion of z in z
19.934 * [taylor]: Taking taylor expansion of 1 in y
19.936 * [taylor]: Taking taylor expansion of 0 in z
19.937 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1)) in y
19.937 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
19.937 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.937 * [taylor]: Taking taylor expansion of y in y
19.937 * [taylor]: Taking taylor expansion of 1 in y
19.940 * [taylor]: Taking taylor expansion of 0 in z
19.940 * [taylor]: Taking taylor expansion of 0 in y
19.942 * [taylor]: Taking taylor expansion of 0 in y
19.943 * * * [progress]: simplifying candidates
19.944 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (- (+ z 1) y))
  (+ (log x) (log (- (+ z 1) y)))
  (log (* x (- (+ z 1) y)))
  (exp (* x (- (+ z 1) y)))
  (* (* (* x x) x) (* (* (- (+ z 1) y) (- (+ z 1) y)) (- (+ z 1) y)))
  (* (cbrt (* x (- (+ z 1) y))) (cbrt (* x (- (+ z 1) y))))
  (cbrt (* x (- (+ z 1) y)))
  (* (* (* x (- (+ z 1) y)) (* x (- (+ z 1) y))) (* x (- (+ z 1) y)))
  (sqrt (* x (- (+ z 1) y)))
  (sqrt (* x (- (+ z 1) y)))
  (* (sqrt x) (sqrt (- (+ z 1) y)))
  (* (sqrt x) (sqrt (- (+ z 1) y)))
  (* x (+ z 1))
  (* x (- y))
  (* x z)
  (* x (- 1 y))
  (* x (+ z 1))
  (* x (- y))
  (* (+ z 1) x)
  (* (- y) x)
  (* z x)
  (* (- 1 y) x)
  (* (+ z 1) x)
  (* (- y) x)
  (* x (* (cbrt (- (+ z 1) y)) (cbrt (- (+ z 1) y))))
  (* x (sqrt (- (+ z 1) y)))
  (* x 1)
  (* x (+ (sqrt (+ z 1)) (sqrt y)))
  (* x 1)
  (* x 1)
  (* (cbrt x) (- (+ z 1) y))
  (* (sqrt x) (- (+ z 1) y))
  (* x (- (+ z 1) y))
  (* x (- (pow (+ z 1) 3) (pow y 3)))
  (* x (- (* (+ z 1) (+ z 1)) (* y y)))
  (- (+ (* x z) x) (* x y))
  (- (+ (* x z) x) (* x y))
  (- (+ (* x z) x) (* x y))
19.946 * * [simplify]: iteration  0 :  59  enodes  (cost  304 )
19.958 * * [simplify]: iteration  1 :  132  enodes  (cost  297 )
19.986 * * [simplify]: iteration  2 :  367  enodes  (cost  263 )
20.130 * * [simplify]: iteration  3 :  1554  enodes  (cost  263 )
21.015 * * [simplify]: iteration  done :  5001  enodes  (cost  263 )
21.015 * [simplify]: Simplified to:
   (+ x (* x (- z y)))
  (log (* x (- (+ z 1) y)))
  (log (* x (- (+ z 1) y)))
  (exp (* x (- (+ z 1) y)))
  (pow (* x (- (+ z 1) y)) 3)
  (* (cbrt (* x (- (+ z 1) y))) (cbrt (* x (- (+ z 1) y))))
  (cbrt (* x (- (+ z 1) y)))
  (pow (* x (- (+ z 1) y)) 3)
  (sqrt (* x (- (+ z 1) y)))
  (sqrt (* x (- (+ z 1) y)))
  (* (sqrt x) (sqrt (- (+ z 1) y)))
  (* (sqrt x) (sqrt (- (+ z 1) y)))
  (* (+ z 1) x)
  (* x (- y))
  (* z x)
  (- x (* x y))
  (* (+ z 1) x)
  (* x (- y))
  (* (+ z 1) x)
  (* x (- y))
  (* z x)
  (- x (* x y))
  (* (+ z 1) x)
  (* x (- y))
  (* x (* (cbrt (- (+ z 1) y)) (cbrt (- (+ z 1) y))))
  (* x (sqrt (- (+ z 1) y)))
  x
  (* x (+ (sqrt (+ z 1)) (sqrt y)))
  x
  x
  (* (cbrt x) (- (+ z 1) y))
  (* (sqrt x) (- (+ z 1) y))
  (+ x (* x (- z y)))
  (* x (- (pow (+ z 1) 3) (pow y 3)))
  (* x (- (* (+ z 1) (+ z 1)) (* y y)))
  (+ x (* x (- z y)))
  (+ x (* x (- z y)))
  (+ x (* x (- z y)))
21.016 * * * [progress]: adding candidates to table
21.067 * [progress]: [Phase 3 of 3] Extracting.
21.067 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ (+ x (* (sqrt (* t (- y z))) (sqrt (* t (- y z))))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))))> #<alt (λ (x y z t) (* x (- (+ z 1) y)))> #<alt (λ (x y z t) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>)
21.068 * * * [regime-changes]: Trying 6 branch expressions: ((- y z) (+ x (* (- y z) (- t x))) t z y x)
21.068 * * * * [regimes]: Trying to branch on (- y z) from (#<alt (λ (x y z t) (+ (+ x (* (sqrt (* t (- y z))) (sqrt (* t (- y z))))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))))> #<alt (λ (x y z t) (* x (- (+ z 1) y)))> #<alt (λ (x y z t) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>)
21.090 * * * * [regimes]: Trying to branch on (- y z) from (#<alt (λ (x y z t) (+ (+ x (* (sqrt (* t (- y z))) (sqrt (* t (- y z))))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))))> #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>)
21.106 * * * * [regimes]: Trying to branch on (+ x (* (- y z) (- t x))) from (#<alt (λ (x y z t) (+ (+ x (* (sqrt (* t (- y z))) (sqrt (* t (- y z))))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))))> #<alt (λ (x y z t) (* x (- (+ z 1) y)))> #<alt (λ (x y z t) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>)
21.129 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ (+ x (* (sqrt (* t (- y z))) (sqrt (* t (- y z))))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))))> #<alt (λ (x y z t) (* x (- (+ z 1) y)))> #<alt (λ (x y z t) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>)
21.151 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ (+ x (* (sqrt (* t (- y z))) (sqrt (* t (- y z))))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))))> #<alt (λ (x y z t) (* x (- (+ z 1) y)))> #<alt (λ (x y z t) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>)
21.173 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ (+ x (* (sqrt (* t (- y z))) (sqrt (* t (- y z))))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))))> #<alt (λ (x y z t) (* x (- (+ z 1) y)))> #<alt (λ (x y z t) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>)
21.195 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ (+ x (* (sqrt (* t (- y z))) (sqrt (* t (- y z))))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))))> #<alt (λ (x y z t) (* x (- (+ z 1) y)))> #<alt (λ (x y z t) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>)
21.216 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
21.216 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z)))
21.216 * * [simplify]: iteration  0 :  13  enodes  (cost  17 )
21.217 * * [simplify]: iteration  1 :  23  enodes  (cost  17 )
21.218 * * [simplify]: iteration  2 :  29  enodes  (cost  17 )
21.219 * * [simplify]: iteration  3 :  31  enodes  (cost  17 )
21.220 * * [simplify]: iteration  done :  31  enodes  (cost  17 )
21.220 * [simplify]: Simplified to:
   (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z)))
21.953 * [regime-testing]: Baseline error score: 0.02890721573827927
21.954 * [regime-testing]: Oracle error score: 0.009489547517890802
21.955 * [regime-testing]: End program error score: 0.02890721573827927
21.978 * [regime-testing]: Target error score: 0.02928226261913938