6.940 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [progress]: [2/2] Setting up program.
0.023 * [progress]: [Phase 2 of 3] Improving.
0.023 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (* (- y z) (- t x)))
0.024 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.025 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
0.027 * * [simplify]: iteration  2 :  28  enodes  (cost  9 )
0.030 * * [simplify]: iteration  3 :  70  enodes  (cost  9 )
0.041 * * [simplify]: iteration  4 :  174  enodes  (cost  9 )
0.077 * * [simplify]: iteration  5 :  369  enodes  (cost  9 )
0.171 * * [simplify]: iteration  6 :  691  enodes  (cost  9 )
0.361 * * [simplify]: iteration  7 :  1267  enodes  (cost  9 )
0.835 * * [simplify]: iteration  8 :  2071  enodes  (cost  9 )
1.847 * * [simplify]: iteration  9 :  2784  enodes  (cost  9 )
3.017 * * [simplify]: iteration  10 :  3290  enodes  (cost  9 )
5.009 * * [simplify]: iteration  11 :  3847  enodes  (cost  9 )
8.061 * * [simplify]: iteration  12 :  4252  enodes  (cost  9 )
12.251 * * [simplify]: iteration  13 :  4871  enodes  (cost  9 )
16.410 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
16.410 * [simplify]: Simplified to:
   (+ x (* (- y z) (- t x)))
16.411 * * [progress]: iteration 1 / 4
16.411 * * * [progress]: picking best candidate
16.412 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>
16.412 * * * [progress]: localizing error
16.418 * * * [progress]: generating rewritten candidates
16.419 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
16.435 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
16.441 * * * [progress]: generating series expansions
16.441 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
16.441 * [approximate]: Taking taylor expansion of (* (- y z) (- t x)) in (y z t x) around 0
16.441 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in x
16.441 * [taylor]: Taking taylor expansion of (- y z) in x
16.441 * [taylor]: Taking taylor expansion of y in x
16.441 * [taylor]: Taking taylor expansion of z in x
16.441 * [taylor]: Taking taylor expansion of (- t x) in x
16.441 * [taylor]: Taking taylor expansion of t in x
16.441 * [taylor]: Taking taylor expansion of x in x
16.441 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in t
16.441 * [taylor]: Taking taylor expansion of (- y z) in t
16.441 * [taylor]: Taking taylor expansion of y in t
16.441 * [taylor]: Taking taylor expansion of z in t
16.441 * [taylor]: Taking taylor expansion of (- t x) in t
16.441 * [taylor]: Taking taylor expansion of t in t
16.441 * [taylor]: Taking taylor expansion of x in t
16.441 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in z
16.441 * [taylor]: Taking taylor expansion of (- y z) in z
16.441 * [taylor]: Taking taylor expansion of y in z
16.441 * [taylor]: Taking taylor expansion of z in z
16.441 * [taylor]: Taking taylor expansion of (- t x) in z
16.441 * [taylor]: Taking taylor expansion of t in z
16.441 * [taylor]: Taking taylor expansion of x in z
16.441 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
16.441 * [taylor]: Taking taylor expansion of (- y z) in y
16.441 * [taylor]: Taking taylor expansion of y in y
16.441 * [taylor]: Taking taylor expansion of z in y
16.441 * [taylor]: Taking taylor expansion of (- t x) in y
16.441 * [taylor]: Taking taylor expansion of t in y
16.441 * [taylor]: Taking taylor expansion of x in y
16.441 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
16.441 * [taylor]: Taking taylor expansion of (- y z) in y
16.441 * [taylor]: Taking taylor expansion of y in y
16.441 * [taylor]: Taking taylor expansion of z in y
16.441 * [taylor]: Taking taylor expansion of (- t x) in y
16.441 * [taylor]: Taking taylor expansion of t in y
16.441 * [taylor]: Taking taylor expansion of x in y
16.442 * [taylor]: Taking taylor expansion of (* -1 (* z (- t x))) in z
16.442 * [taylor]: Taking taylor expansion of -1 in z
16.442 * [taylor]: Taking taylor expansion of (* z (- t x)) in z
16.442 * [taylor]: Taking taylor expansion of z in z
16.442 * [taylor]: Taking taylor expansion of (- t x) in z
16.442 * [taylor]: Taking taylor expansion of t in z
16.442 * [taylor]: Taking taylor expansion of x in z
16.442 * [taylor]: Taking taylor expansion of 0 in t
16.442 * [taylor]: Taking taylor expansion of 0 in x
16.447 * [taylor]: Taking taylor expansion of (- t x) in z
16.447 * [taylor]: Taking taylor expansion of t in z
16.447 * [taylor]: Taking taylor expansion of x in z
16.447 * [taylor]: Taking taylor expansion of (- t x) in t
16.447 * [taylor]: Taking taylor expansion of t in t
16.447 * [taylor]: Taking taylor expansion of x in t
16.447 * [taylor]: Taking taylor expansion of (- x) in x
16.447 * [taylor]: Taking taylor expansion of x in x
16.448 * [taylor]: Taking taylor expansion of (- x t) in t
16.448 * [taylor]: Taking taylor expansion of x in t
16.448 * [taylor]: Taking taylor expansion of t in t
16.449 * [taylor]: Taking taylor expansion of x in x
16.449 * [taylor]: Taking taylor expansion of 0 in x
16.450 * [taylor]: Taking taylor expansion of 0 in z
16.450 * [taylor]: Taking taylor expansion of 0 in t
16.450 * [taylor]: Taking taylor expansion of 0 in x
16.450 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in (y z t x) around 0
16.450 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in x
16.450 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
16.450 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.450 * [taylor]: Taking taylor expansion of y in x
16.450 * [taylor]: Taking taylor expansion of (/ 1 z) in x
16.450 * [taylor]: Taking taylor expansion of z in x
16.450 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x
16.450 * [taylor]: Taking taylor expansion of (/ 1 t) in x
16.450 * [taylor]: Taking taylor expansion of t in x
16.450 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.450 * [taylor]: Taking taylor expansion of x in x
16.451 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in t
16.451 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
16.451 * [taylor]: Taking taylor expansion of (/ 1 y) in t
16.451 * [taylor]: Taking taylor expansion of y in t
16.451 * [taylor]: Taking taylor expansion of (/ 1 z) in t
16.451 * [taylor]: Taking taylor expansion of z in t
16.451 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
16.451 * [taylor]: Taking taylor expansion of (/ 1 t) in t
16.451 * [taylor]: Taking taylor expansion of t in t
16.451 * [taylor]: Taking taylor expansion of (/ 1 x) in t
16.451 * [taylor]: Taking taylor expansion of x in t
16.451 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in z
16.451 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
16.451 * [taylor]: Taking taylor expansion of (/ 1 y) in z
16.451 * [taylor]: Taking taylor expansion of y in z
16.451 * [taylor]: Taking taylor expansion of (/ 1 z) in z
16.451 * [taylor]: Taking taylor expansion of z in z
16.452 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
16.452 * [taylor]: Taking taylor expansion of (/ 1 t) in z
16.452 * [taylor]: Taking taylor expansion of t in z
16.452 * [taylor]: Taking taylor expansion of (/ 1 x) in z
16.452 * [taylor]: Taking taylor expansion of x in z
16.452 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in y
16.452 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
16.452 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.452 * [taylor]: Taking taylor expansion of y in y
16.452 * [taylor]: Taking taylor expansion of (/ 1 z) in y
16.452 * [taylor]: Taking taylor expansion of z in y
16.452 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y
16.452 * [taylor]: Taking taylor expansion of (/ 1 t) in y
16.452 * [taylor]: Taking taylor expansion of t in y
16.452 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.452 * [taylor]: Taking taylor expansion of x in y
16.452 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in y
16.452 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
16.453 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.453 * [taylor]: Taking taylor expansion of y in y
16.453 * [taylor]: Taking taylor expansion of (/ 1 z) in y
16.453 * [taylor]: Taking taylor expansion of z in y
16.453 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y
16.453 * [taylor]: Taking taylor expansion of (/ 1 t) in y
16.453 * [taylor]: Taking taylor expansion of t in y
16.453 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.453 * [taylor]: Taking taylor expansion of x in y
16.453 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
16.453 * [taylor]: Taking taylor expansion of (/ 1 t) in z
16.453 * [taylor]: Taking taylor expansion of t in z
16.454 * [taylor]: Taking taylor expansion of (/ 1 x) in z
16.454 * [taylor]: Taking taylor expansion of x in z
16.455 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* t z))) in z
16.455 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
16.455 * [taylor]: Taking taylor expansion of (* x z) in z
16.455 * [taylor]: Taking taylor expansion of x in z
16.455 * [taylor]: Taking taylor expansion of z in z
16.455 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
16.455 * [taylor]: Taking taylor expansion of (* t z) in z
16.455 * [taylor]: Taking taylor expansion of t in z
16.455 * [taylor]: Taking taylor expansion of z in z
16.456 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
16.456 * [taylor]: Taking taylor expansion of (/ 1 x) in t
16.456 * [taylor]: Taking taylor expansion of x in t
16.456 * [taylor]: Taking taylor expansion of (/ 1 t) in t
16.456 * [taylor]: Taking taylor expansion of t in t
16.457 * [taylor]: Taking taylor expansion of -1 in x
16.457 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
16.457 * [taylor]: Taking taylor expansion of (/ 1 t) in t
16.457 * [taylor]: Taking taylor expansion of t in t
16.457 * [taylor]: Taking taylor expansion of (/ 1 x) in t
16.457 * [taylor]: Taking taylor expansion of x in t
16.457 * [taylor]: Taking taylor expansion of 1 in x
16.459 * [taylor]: Taking taylor expansion of 0 in z
16.461 * [taylor]: Taking taylor expansion of 0 in t
16.461 * [taylor]: Taking taylor expansion of 0 in t
16.462 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.462 * [taylor]: Taking taylor expansion of x in x
16.463 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
16.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.463 * [taylor]: Taking taylor expansion of x in x
16.464 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in (y z t x) around 0
16.464 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in x
16.464 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
16.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.464 * [taylor]: Taking taylor expansion of x in x
16.464 * [taylor]: Taking taylor expansion of (/ 1 t) in x
16.464 * [taylor]: Taking taylor expansion of t in x
16.464 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
16.464 * [taylor]: Taking taylor expansion of (/ 1 z) in x
16.464 * [taylor]: Taking taylor expansion of z in x
16.464 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.464 * [taylor]: Taking taylor expansion of y in x
16.464 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in t
16.464 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
16.464 * [taylor]: Taking taylor expansion of (/ 1 x) in t
16.464 * [taylor]: Taking taylor expansion of x in t
16.464 * [taylor]: Taking taylor expansion of (/ 1 t) in t
16.464 * [taylor]: Taking taylor expansion of t in t
16.465 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
16.465 * [taylor]: Taking taylor expansion of (/ 1 z) in t
16.465 * [taylor]: Taking taylor expansion of z in t
16.465 * [taylor]: Taking taylor expansion of (/ 1 y) in t
16.465 * [taylor]: Taking taylor expansion of y in t
16.465 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in z
16.465 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in z
16.465 * [taylor]: Taking taylor expansion of (/ 1 x) in z
16.465 * [taylor]: Taking taylor expansion of x in z
16.465 * [taylor]: Taking taylor expansion of (/ 1 t) in z
16.465 * [taylor]: Taking taylor expansion of t in z
16.465 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
16.465 * [taylor]: Taking taylor expansion of (/ 1 z) in z
16.465 * [taylor]: Taking taylor expansion of z in z
16.465 * [taylor]: Taking taylor expansion of (/ 1 y) in z
16.465 * [taylor]: Taking taylor expansion of y in z
16.465 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y
16.465 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y
16.465 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.465 * [taylor]: Taking taylor expansion of x in y
16.465 * [taylor]: Taking taylor expansion of (/ 1 t) in y
16.465 * [taylor]: Taking taylor expansion of t in y
16.465 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
16.466 * [taylor]: Taking taylor expansion of (/ 1 z) in y
16.466 * [taylor]: Taking taylor expansion of z in y
16.466 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.466 * [taylor]: Taking taylor expansion of y in y
16.466 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y
16.466 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y
16.466 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.466 * [taylor]: Taking taylor expansion of x in y
16.466 * [taylor]: Taking taylor expansion of (/ 1 t) in y
16.466 * [taylor]: Taking taylor expansion of t in y
16.466 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
16.466 * [taylor]: Taking taylor expansion of (/ 1 z) in y
16.466 * [taylor]: Taking taylor expansion of z in y
16.466 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.466 * [taylor]: Taking taylor expansion of y in y
16.467 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 t))) in z
16.467 * [taylor]: Taking taylor expansion of -1 in z
16.467 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in z
16.467 * [taylor]: Taking taylor expansion of (/ 1 x) in z
16.467 * [taylor]: Taking taylor expansion of x in z
16.467 * [taylor]: Taking taylor expansion of (/ 1 t) in z
16.467 * [taylor]: Taking taylor expansion of t in z
16.469 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* t z))) in z
16.469 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
16.469 * [taylor]: Taking taylor expansion of (* x z) in z
16.469 * [taylor]: Taking taylor expansion of x in z
16.469 * [taylor]: Taking taylor expansion of z in z
16.469 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
16.469 * [taylor]: Taking taylor expansion of (* t z) in z
16.469 * [taylor]: Taking taylor expansion of t in z
16.469 * [taylor]: Taking taylor expansion of z in z
16.470 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
16.470 * [taylor]: Taking taylor expansion of (/ 1 x) in t
16.470 * [taylor]: Taking taylor expansion of x in t
16.470 * [taylor]: Taking taylor expansion of (/ 1 t) in t
16.470 * [taylor]: Taking taylor expansion of t in t
16.470 * [taylor]: Taking taylor expansion of -1 in x
16.471 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 t))) in t
16.471 * [taylor]: Taking taylor expansion of -1 in t
16.471 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
16.471 * [taylor]: Taking taylor expansion of (/ 1 x) in t
16.471 * [taylor]: Taking taylor expansion of x in t
16.471 * [taylor]: Taking taylor expansion of (/ 1 t) in t
16.471 * [taylor]: Taking taylor expansion of t in t
16.472 * [taylor]: Taking taylor expansion of 1 in x
16.474 * [taylor]: Taking taylor expansion of 0 in z
16.476 * [taylor]: Taking taylor expansion of 0 in t
16.476 * [taylor]: Taking taylor expansion of 0 in t
16.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.477 * [taylor]: Taking taylor expansion of x in x
16.479 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
16.479 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.479 * [taylor]: Taking taylor expansion of x in x
16.480 * * * * [progress]: [ 2 / 2 ] generating series at (2)
16.480 * [approximate]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in (x y z t) around 0
16.480 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in t
16.480 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in t
16.480 * [taylor]: Taking taylor expansion of (* x z) in t
16.480 * [taylor]: Taking taylor expansion of x in t
16.480 * [taylor]: Taking taylor expansion of z in t
16.480 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t
16.480 * [taylor]: Taking taylor expansion of x in t
16.480 * [taylor]: Taking taylor expansion of (* t y) in t
16.480 * [taylor]: Taking taylor expansion of t in t
16.480 * [taylor]: Taking taylor expansion of y in t
16.480 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t
16.480 * [taylor]: Taking taylor expansion of (* t z) in t
16.480 * [taylor]: Taking taylor expansion of t in t
16.480 * [taylor]: Taking taylor expansion of z in t
16.480 * [taylor]: Taking taylor expansion of (* x y) in t
16.480 * [taylor]: Taking taylor expansion of x in t
16.480 * [taylor]: Taking taylor expansion of y in t
16.480 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in z
16.480 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in z
16.480 * [taylor]: Taking taylor expansion of (* x z) in z
16.480 * [taylor]: Taking taylor expansion of x in z
16.480 * [taylor]: Taking taylor expansion of z in z
16.480 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z
16.480 * [taylor]: Taking taylor expansion of x in z
16.480 * [taylor]: Taking taylor expansion of (* t y) in z
16.480 * [taylor]: Taking taylor expansion of t in z
16.480 * [taylor]: Taking taylor expansion of y in z
16.480 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z
16.480 * [taylor]: Taking taylor expansion of (* t z) in z
16.481 * [taylor]: Taking taylor expansion of t in z
16.481 * [taylor]: Taking taylor expansion of z in z
16.481 * [taylor]: Taking taylor expansion of (* x y) in z
16.481 * [taylor]: Taking taylor expansion of x in z
16.481 * [taylor]: Taking taylor expansion of y in z
16.481 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in y
16.481 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in y
16.481 * [taylor]: Taking taylor expansion of (* x z) in y
16.481 * [taylor]: Taking taylor expansion of x in y
16.481 * [taylor]: Taking taylor expansion of z in y
16.481 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y
16.481 * [taylor]: Taking taylor expansion of x in y
16.481 * [taylor]: Taking taylor expansion of (* t y) in y
16.481 * [taylor]: Taking taylor expansion of t in y
16.481 * [taylor]: Taking taylor expansion of y in y
16.481 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y
16.481 * [taylor]: Taking taylor expansion of (* t z) in y
16.481 * [taylor]: Taking taylor expansion of t in y
16.481 * [taylor]: Taking taylor expansion of z in y
16.481 * [taylor]: Taking taylor expansion of (* x y) in y
16.481 * [taylor]: Taking taylor expansion of x in y
16.481 * [taylor]: Taking taylor expansion of y in y
16.481 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
16.481 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
16.481 * [taylor]: Taking taylor expansion of (* x z) in x
16.481 * [taylor]: Taking taylor expansion of x in x
16.481 * [taylor]: Taking taylor expansion of z in x
16.481 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
16.481 * [taylor]: Taking taylor expansion of x in x
16.481 * [taylor]: Taking taylor expansion of (* t y) in x
16.481 * [taylor]: Taking taylor expansion of t in x
16.481 * [taylor]: Taking taylor expansion of y in x
16.481 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
16.481 * [taylor]: Taking taylor expansion of (* t z) in x
16.481 * [taylor]: Taking taylor expansion of t in x
16.481 * [taylor]: Taking taylor expansion of z in x
16.481 * [taylor]: Taking taylor expansion of (* x y) in x
16.481 * [taylor]: Taking taylor expansion of x in x
16.481 * [taylor]: Taking taylor expansion of y in x
16.481 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
16.481 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
16.481 * [taylor]: Taking taylor expansion of (* x z) in x
16.481 * [taylor]: Taking taylor expansion of x in x
16.481 * [taylor]: Taking taylor expansion of z in x
16.481 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
16.481 * [taylor]: Taking taylor expansion of x in x
16.481 * [taylor]: Taking taylor expansion of (* t y) in x
16.481 * [taylor]: Taking taylor expansion of t in x
16.481 * [taylor]: Taking taylor expansion of y in x
16.481 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
16.481 * [taylor]: Taking taylor expansion of (* t z) in x
16.481 * [taylor]: Taking taylor expansion of t in x
16.481 * [taylor]: Taking taylor expansion of z in x
16.481 * [taylor]: Taking taylor expansion of (* x y) in x
16.481 * [taylor]: Taking taylor expansion of x in x
16.481 * [taylor]: Taking taylor expansion of y in x
16.482 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in y
16.482 * [taylor]: Taking taylor expansion of (* t y) in y
16.482 * [taylor]: Taking taylor expansion of t in y
16.482 * [taylor]: Taking taylor expansion of y in y
16.482 * [taylor]: Taking taylor expansion of (* t z) in y
16.482 * [taylor]: Taking taylor expansion of t in y
16.482 * [taylor]: Taking taylor expansion of z in y
16.482 * [taylor]: Taking taylor expansion of (- (* t z)) in z
16.482 * [taylor]: Taking taylor expansion of (* t z) in z
16.482 * [taylor]: Taking taylor expansion of t in z
16.482 * [taylor]: Taking taylor expansion of z in z
16.482 * [taylor]: Taking taylor expansion of 0 in t
16.483 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in y
16.483 * [taylor]: Taking taylor expansion of (+ z 1) in y
16.483 * [taylor]: Taking taylor expansion of z in y
16.483 * [taylor]: Taking taylor expansion of 1 in y
16.483 * [taylor]: Taking taylor expansion of y in y
16.484 * [taylor]: Taking taylor expansion of (+ z 1) in z
16.484 * [taylor]: Taking taylor expansion of z in z
16.484 * [taylor]: Taking taylor expansion of 1 in z
16.484 * [taylor]: Taking taylor expansion of 1 in t
16.485 * [taylor]: Taking taylor expansion of t in z
16.485 * [taylor]: Taking taylor expansion of t in t
16.485 * [taylor]: Taking taylor expansion of (- t) in t
16.485 * [taylor]: Taking taylor expansion of t in t
16.488 * [taylor]: Taking taylor expansion of 0 in y
16.488 * [taylor]: Taking taylor expansion of 0 in z
16.488 * [taylor]: Taking taylor expansion of 0 in t
16.489 * [taylor]: Taking taylor expansion of -1 in z
16.489 * [taylor]: Taking taylor expansion of -1 in t
16.490 * [taylor]: Taking taylor expansion of 0 in z
16.490 * [taylor]: Taking taylor expansion of 0 in t
16.490 * [taylor]: Taking taylor expansion of 1 in t
16.490 * [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
16.490 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t
16.490 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in t
16.491 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
16.491 * [taylor]: Taking taylor expansion of (* t y) in t
16.491 * [taylor]: Taking taylor expansion of t in t
16.491 * [taylor]: Taking taylor expansion of y in t
16.491 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in t
16.491 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
16.491 * [taylor]: Taking taylor expansion of (* x z) in t
16.491 * [taylor]: Taking taylor expansion of x in t
16.491 * [taylor]: Taking taylor expansion of z in t
16.491 * [taylor]: Taking taylor expansion of (/ 1 x) in t
16.491 * [taylor]: Taking taylor expansion of x in t
16.491 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
16.491 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
16.491 * [taylor]: Taking taylor expansion of (* t z) in t
16.491 * [taylor]: Taking taylor expansion of t in t
16.491 * [taylor]: Taking taylor expansion of z in t
16.491 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
16.491 * [taylor]: Taking taylor expansion of (* x y) in t
16.492 * [taylor]: Taking taylor expansion of x in t
16.492 * [taylor]: Taking taylor expansion of y in t
16.492 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z
16.492 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in z
16.492 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
16.492 * [taylor]: Taking taylor expansion of (* t y) in z
16.492 * [taylor]: Taking taylor expansion of t in z
16.492 * [taylor]: Taking taylor expansion of y in z
16.492 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in z
16.492 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
16.492 * [taylor]: Taking taylor expansion of (* x z) in z
16.492 * [taylor]: Taking taylor expansion of x in z
16.492 * [taylor]: Taking taylor expansion of z in z
16.492 * [taylor]: Taking taylor expansion of (/ 1 x) in z
16.492 * [taylor]: Taking taylor expansion of x in z
16.492 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
16.492 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
16.492 * [taylor]: Taking taylor expansion of (* t z) in z
16.492 * [taylor]: Taking taylor expansion of t in z
16.492 * [taylor]: Taking taylor expansion of z in z
16.493 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
16.493 * [taylor]: Taking taylor expansion of (* x y) in z
16.493 * [taylor]: Taking taylor expansion of x in z
16.493 * [taylor]: Taking taylor expansion of y in z
16.493 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
16.493 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in y
16.493 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
16.493 * [taylor]: Taking taylor expansion of (* t y) in y
16.493 * [taylor]: Taking taylor expansion of t in y
16.493 * [taylor]: Taking taylor expansion of y in y
16.493 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in y
16.493 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
16.493 * [taylor]: Taking taylor expansion of (* x z) in y
16.493 * [taylor]: Taking taylor expansion of x in y
16.493 * [taylor]: Taking taylor expansion of z in y
16.493 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.493 * [taylor]: Taking taylor expansion of x in y
16.493 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
16.493 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
16.493 * [taylor]: Taking taylor expansion of (* t z) in y
16.493 * [taylor]: Taking taylor expansion of t in y
16.493 * [taylor]: Taking taylor expansion of z in y
16.493 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
16.493 * [taylor]: Taking taylor expansion of (* x y) in y
16.493 * [taylor]: Taking taylor expansion of x in y
16.493 * [taylor]: Taking taylor expansion of y in y
16.494 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
16.494 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
16.494 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
16.494 * [taylor]: Taking taylor expansion of (* t y) in x
16.494 * [taylor]: Taking taylor expansion of t in x
16.494 * [taylor]: Taking taylor expansion of y in x
16.494 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
16.494 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
16.494 * [taylor]: Taking taylor expansion of (* x z) in x
16.494 * [taylor]: Taking taylor expansion of x in x
16.494 * [taylor]: Taking taylor expansion of z in x
16.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.494 * [taylor]: Taking taylor expansion of x in x
16.495 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
16.495 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
16.495 * [taylor]: Taking taylor expansion of (* t z) in x
16.495 * [taylor]: Taking taylor expansion of t in x
16.495 * [taylor]: Taking taylor expansion of z in x
16.495 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
16.495 * [taylor]: Taking taylor expansion of (* x y) in x
16.495 * [taylor]: Taking taylor expansion of x in x
16.495 * [taylor]: Taking taylor expansion of y in x
16.495 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
16.495 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
16.495 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
16.495 * [taylor]: Taking taylor expansion of (* t y) in x
16.495 * [taylor]: Taking taylor expansion of t in x
16.495 * [taylor]: Taking taylor expansion of y in x
16.495 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
16.495 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
16.495 * [taylor]: Taking taylor expansion of (* x z) in x
16.495 * [taylor]: Taking taylor expansion of x in x
16.495 * [taylor]: Taking taylor expansion of z in x
16.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.496 * [taylor]: Taking taylor expansion of x in x
16.496 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
16.496 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
16.496 * [taylor]: Taking taylor expansion of (* t z) in x
16.496 * [taylor]: Taking taylor expansion of t in x
16.496 * [taylor]: Taking taylor expansion of z in x
16.496 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
16.496 * [taylor]: Taking taylor expansion of (* x y) in x
16.496 * [taylor]: Taking taylor expansion of x in x
16.496 * [taylor]: Taking taylor expansion of y in x
16.497 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in y
16.497 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y
16.497 * [taylor]: Taking taylor expansion of (/ 1 z) in y
16.497 * [taylor]: Taking taylor expansion of z in y
16.497 * [taylor]: Taking taylor expansion of 1 in y
16.497 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.497 * [taylor]: Taking taylor expansion of y in y
16.497 * [taylor]: Taking taylor expansion of -1 in z
16.499 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
16.499 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
16.499 * [taylor]: Taking taylor expansion of (* t y) in y
16.500 * [taylor]: Taking taylor expansion of t in y
16.500 * [taylor]: Taking taylor expansion of y in y
16.500 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
16.500 * [taylor]: Taking taylor expansion of (* t z) in y
16.500 * [taylor]: Taking taylor expansion of t in y
16.500 * [taylor]: Taking taylor expansion of z in y
16.500 * [taylor]: Taking taylor expansion of (/ 1 t) in z
16.500 * [taylor]: Taking taylor expansion of t in z
16.501 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
16.501 * [taylor]: Taking taylor expansion of (/ 1 z) in z
16.501 * [taylor]: Taking taylor expansion of z in z
16.501 * [taylor]: Taking taylor expansion of 1 in z
16.501 * [taylor]: Taking taylor expansion of 1 in t
16.501 * [taylor]: Taking taylor expansion of -1 in t
16.505 * [taylor]: Taking taylor expansion of 0 in y
16.506 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z
16.506 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
16.506 * [taylor]: Taking taylor expansion of (* t z) in z
16.506 * [taylor]: Taking taylor expansion of t in z
16.506 * [taylor]: Taking taylor expansion of z in z
16.506 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
16.506 * [taylor]: Taking taylor expansion of (/ 1 t) in t
16.506 * [taylor]: Taking taylor expansion of t in t
16.508 * [taylor]: Taking taylor expansion of 0 in z
16.508 * [taylor]: Taking taylor expansion of (/ 1 t) in t
16.508 * [taylor]: Taking taylor expansion of t in t
16.509 * [taylor]: Taking taylor expansion of 1 in t
16.509 * [taylor]: Taking taylor expansion of 0 in t
16.510 * [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
16.510 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in t
16.510 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t
16.510 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
16.510 * [taylor]: Taking taylor expansion of (* x z) in t
16.510 * [taylor]: Taking taylor expansion of x in t
16.510 * [taylor]: Taking taylor expansion of z in t
16.510 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
16.510 * [taylor]: Taking taylor expansion of (* t y) in t
16.510 * [taylor]: Taking taylor expansion of t in t
16.510 * [taylor]: Taking taylor expansion of y in t
16.510 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in t
16.510 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
16.510 * [taylor]: Taking taylor expansion of (* t z) in t
16.510 * [taylor]: Taking taylor expansion of t in t
16.510 * [taylor]: Taking taylor expansion of z in t
16.511 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in t
16.511 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
16.511 * [taylor]: Taking taylor expansion of (* x y) in t
16.511 * [taylor]: Taking taylor expansion of x in t
16.511 * [taylor]: Taking taylor expansion of y in t
16.511 * [taylor]: Taking taylor expansion of (/ 1 x) in t
16.511 * [taylor]: Taking taylor expansion of x in t
16.511 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in z
16.511 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z
16.511 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
16.511 * [taylor]: Taking taylor expansion of (* x z) in z
16.511 * [taylor]: Taking taylor expansion of x in z
16.511 * [taylor]: Taking taylor expansion of z in z
16.511 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
16.511 * [taylor]: Taking taylor expansion of (* t y) in z
16.511 * [taylor]: Taking taylor expansion of t in z
16.511 * [taylor]: Taking taylor expansion of y in z
16.511 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in z
16.511 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
16.511 * [taylor]: Taking taylor expansion of (* t z) in z
16.511 * [taylor]: Taking taylor expansion of t in z
16.511 * [taylor]: Taking taylor expansion of z in z
16.512 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z
16.512 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
16.512 * [taylor]: Taking taylor expansion of (* x y) in z
16.512 * [taylor]: Taking taylor expansion of x in z
16.512 * [taylor]: Taking taylor expansion of y in z
16.512 * [taylor]: Taking taylor expansion of (/ 1 x) in z
16.512 * [taylor]: Taking taylor expansion of x in z
16.512 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in y
16.512 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y
16.512 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
16.512 * [taylor]: Taking taylor expansion of (* x z) in y
16.512 * [taylor]: Taking taylor expansion of x in y
16.512 * [taylor]: Taking taylor expansion of z in y
16.512 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
16.512 * [taylor]: Taking taylor expansion of (* t y) in y
16.512 * [taylor]: Taking taylor expansion of t in y
16.512 * [taylor]: Taking taylor expansion of y in y
16.513 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in y
16.513 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
16.513 * [taylor]: Taking taylor expansion of (* t z) in y
16.513 * [taylor]: Taking taylor expansion of t in y
16.513 * [taylor]: Taking taylor expansion of z in y
16.513 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
16.513 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
16.513 * [taylor]: Taking taylor expansion of (* x y) in y
16.513 * [taylor]: Taking taylor expansion of x in y
16.513 * [taylor]: Taking taylor expansion of y in y
16.513 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.513 * [taylor]: Taking taylor expansion of x in y
16.513 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
16.513 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
16.513 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
16.513 * [taylor]: Taking taylor expansion of (* x z) in x
16.513 * [taylor]: Taking taylor expansion of x in x
16.513 * [taylor]: Taking taylor expansion of z in x
16.513 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
16.514 * [taylor]: Taking taylor expansion of (* t y) in x
16.514 * [taylor]: Taking taylor expansion of t in x
16.514 * [taylor]: Taking taylor expansion of y in x
16.514 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
16.514 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
16.514 * [taylor]: Taking taylor expansion of (* t z) in x
16.514 * [taylor]: Taking taylor expansion of t in x
16.514 * [taylor]: Taking taylor expansion of z in x
16.514 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
16.514 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
16.514 * [taylor]: Taking taylor expansion of (* x y) in x
16.514 * [taylor]: Taking taylor expansion of x in x
16.514 * [taylor]: Taking taylor expansion of y in x
16.514 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.514 * [taylor]: Taking taylor expansion of x in x
16.515 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
16.515 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
16.515 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
16.515 * [taylor]: Taking taylor expansion of (* x z) in x
16.515 * [taylor]: Taking taylor expansion of x in x
16.515 * [taylor]: Taking taylor expansion of z in x
16.515 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
16.515 * [taylor]: Taking taylor expansion of (* t y) in x
16.515 * [taylor]: Taking taylor expansion of t in x
16.515 * [taylor]: Taking taylor expansion of y in x
16.515 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
16.515 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
16.515 * [taylor]: Taking taylor expansion of (* t z) in x
16.515 * [taylor]: Taking taylor expansion of t in x
16.515 * [taylor]: Taking taylor expansion of z in x
16.515 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
16.515 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
16.515 * [taylor]: Taking taylor expansion of (* x y) in x
16.515 * [taylor]: Taking taylor expansion of x in x
16.515 * [taylor]: Taking taylor expansion of y in x
16.516 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.516 * [taylor]: Taking taylor expansion of x in x
16.516 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in y
16.516 * [taylor]: Taking taylor expansion of (/ 1 z) in y
16.516 * [taylor]: Taking taylor expansion of z in y
16.516 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
16.516 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.516 * [taylor]: Taking taylor expansion of y in y
16.517 * [taylor]: Taking taylor expansion of 1 in y
16.517 * [taylor]: Taking taylor expansion of -1 in z
16.519 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
16.520 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
16.520 * [taylor]: Taking taylor expansion of (* t y) in y
16.520 * [taylor]: Taking taylor expansion of t in y
16.520 * [taylor]: Taking taylor expansion of y in y
16.520 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
16.520 * [taylor]: Taking taylor expansion of (* t z) in y
16.520 * [taylor]: Taking taylor expansion of t in y
16.520 * [taylor]: Taking taylor expansion of z in y
16.520 * [taylor]: Taking taylor expansion of (/ 1 t) in z
16.520 * [taylor]: Taking taylor expansion of t in z
16.521 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in z
16.521 * [taylor]: Taking taylor expansion of (/ 1 z) in z
16.521 * [taylor]: Taking taylor expansion of z in z
16.521 * [taylor]: Taking taylor expansion of 1 in z
16.522 * [taylor]: Taking taylor expansion of 1 in t
16.522 * [taylor]: Taking taylor expansion of -1 in t
16.525 * [taylor]: Taking taylor expansion of 0 in y
16.526 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z
16.526 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
16.526 * [taylor]: Taking taylor expansion of (* t z) in z
16.526 * [taylor]: Taking taylor expansion of t in z
16.526 * [taylor]: Taking taylor expansion of z in z
16.526 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
16.526 * [taylor]: Taking taylor expansion of (/ 1 t) in t
16.526 * [taylor]: Taking taylor expansion of t in t
16.528 * [taylor]: Taking taylor expansion of 0 in z
16.528 * [taylor]: Taking taylor expansion of (/ 1 t) in t
16.528 * [taylor]: Taking taylor expansion of t in t
16.529 * [taylor]: Taking taylor expansion of -1 in t
16.529 * [taylor]: Taking taylor expansion of 0 in t
16.530 * * * [progress]: simplifying candidates
16.531 * [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))
16.534 * * [simplify]: iteration  0 :  110  enodes  (cost  687 )
16.554 * * [simplify]: iteration  1 :  290  enodes  (cost  651 )
16.613 * * [simplify]: iteration  2 :  1057  enodes  (cost  611 )
17.242 * * [simplify]: iteration  3 :  4692  enodes  (cost  609 )
18.510 * * [simplify]: iteration  done :  5000  enodes  (cost  609 )
18.510 * [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 y)) x)
  (+ (* x z) (* t (- y z)))
  (+ (* x z) (* t (- y z)))
18.511 * * * [progress]: adding candidates to table
18.626 * * [progress]: iteration 2 / 4
18.627 * * * [progress]: picking best candidate
18.637 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (+ x (* t (- y z))) (* (- x) (- y z))))>
18.637 * * * [progress]: localizing error
18.650 * * * [progress]: generating rewritten candidates
18.650 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
18.660 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
18.672 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
18.683 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
18.688 * * * [progress]: generating series expansions
18.688 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
18.688 * [approximate]: Taking taylor expansion of (* (- y z) t) in (t y z) around 0
18.688 * [taylor]: Taking taylor expansion of (* (- y z) t) in z
18.688 * [taylor]: Taking taylor expansion of (- y z) in z
18.688 * [taylor]: Taking taylor expansion of y in z
18.688 * [taylor]: Taking taylor expansion of z in z
18.688 * [taylor]: Taking taylor expansion of t in z
18.688 * [taylor]: Taking taylor expansion of (* (- y z) t) in y
18.689 * [taylor]: Taking taylor expansion of (- y z) in y
18.689 * [taylor]: Taking taylor expansion of y in y
18.689 * [taylor]: Taking taylor expansion of z in y
18.689 * [taylor]: Taking taylor expansion of t in y
18.689 * [taylor]: Taking taylor expansion of (* (- y z) t) in t
18.689 * [taylor]: Taking taylor expansion of (- y z) in t
18.689 * [taylor]: Taking taylor expansion of y in t
18.689 * [taylor]: Taking taylor expansion of z in t
18.689 * [taylor]: Taking taylor expansion of t in t
18.689 * [taylor]: Taking taylor expansion of (* (- y z) t) in t
18.689 * [taylor]: Taking taylor expansion of (- y z) in t
18.689 * [taylor]: Taking taylor expansion of y in t
18.689 * [taylor]: Taking taylor expansion of z in t
18.689 * [taylor]: Taking taylor expansion of t in t
18.689 * [taylor]: Taking taylor expansion of 0 in y
18.689 * [taylor]: Taking taylor expansion of 0 in z
18.690 * [taylor]: Taking taylor expansion of (- y z) in y
18.690 * [taylor]: Taking taylor expansion of y in y
18.690 * [taylor]: Taking taylor expansion of z in y
18.690 * [taylor]: Taking taylor expansion of (- z) in z
18.690 * [taylor]: Taking taylor expansion of z in z
18.690 * [taylor]: Taking taylor expansion of 0 in z
18.691 * [taylor]: Taking taylor expansion of 0 in y
18.691 * [taylor]: Taking taylor expansion of 0 in z
18.692 * [taylor]: Taking taylor expansion of 1 in z
18.692 * [taylor]: Taking taylor expansion of 0 in z
18.693 * [taylor]: Taking taylor expansion of 0 in y
18.693 * [taylor]: Taking taylor expansion of 0 in z
18.693 * [taylor]: Taking taylor expansion of 0 in z
18.693 * [taylor]: Taking taylor expansion of 0 in z
18.693 * [taylor]: Taking taylor expansion of 0 in z
18.694 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in (t y z) around 0
18.694 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in z
18.694 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
18.694 * [taylor]: Taking taylor expansion of (/ 1 y) in z
18.694 * [taylor]: Taking taylor expansion of y in z
18.694 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.694 * [taylor]: Taking taylor expansion of z in z
18.694 * [taylor]: Taking taylor expansion of t in z
18.695 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in y
18.695 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
18.695 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.695 * [taylor]: Taking taylor expansion of y in y
18.695 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.695 * [taylor]: Taking taylor expansion of z in y
18.695 * [taylor]: Taking taylor expansion of t in y
18.695 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in t
18.695 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
18.695 * [taylor]: Taking taylor expansion of (/ 1 y) in t
18.695 * [taylor]: Taking taylor expansion of y in t
18.695 * [taylor]: Taking taylor expansion of (/ 1 z) in t
18.695 * [taylor]: Taking taylor expansion of z in t
18.696 * [taylor]: Taking taylor expansion of t in t
18.696 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in t
18.696 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
18.696 * [taylor]: Taking taylor expansion of (/ 1 y) in t
18.696 * [taylor]: Taking taylor expansion of y in t
18.696 * [taylor]: Taking taylor expansion of (/ 1 z) in t
18.696 * [taylor]: Taking taylor expansion of z in t
18.696 * [taylor]: Taking taylor expansion of t in t
18.696 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
18.696 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.696 * [taylor]: Taking taylor expansion of y in y
18.697 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.697 * [taylor]: Taking taylor expansion of z in y
18.697 * [taylor]: Taking taylor expansion of 1 in z
18.698 * [taylor]: Taking taylor expansion of 0 in y
18.699 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
18.699 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.699 * [taylor]: Taking taylor expansion of z in z
18.701 * [taylor]: Taking taylor expansion of 0 in y
18.701 * [taylor]: Taking taylor expansion of 0 in z
18.702 * [taylor]: Taking taylor expansion of 0 in z
18.704 * [taylor]: Taking taylor expansion of 0 in y
18.704 * [taylor]: Taking taylor expansion of 0 in z
18.704 * [taylor]: Taking taylor expansion of 0 in z
18.705 * [taylor]: Taking taylor expansion of 0 in z
18.707 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in (t y z) around 0
18.707 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in z
18.707 * [taylor]: Taking taylor expansion of -1 in z
18.707 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in z
18.707 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
18.707 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.707 * [taylor]: Taking taylor expansion of z in z
18.707 * [taylor]: Taking taylor expansion of (/ 1 y) in z
18.707 * [taylor]: Taking taylor expansion of y in z
18.707 * [taylor]: Taking taylor expansion of t in z
18.707 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in y
18.707 * [taylor]: Taking taylor expansion of -1 in y
18.707 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in y
18.707 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
18.707 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.707 * [taylor]: Taking taylor expansion of z in y
18.708 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.708 * [taylor]: Taking taylor expansion of y in y
18.708 * [taylor]: Taking taylor expansion of t in y
18.708 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in t
18.708 * [taylor]: Taking taylor expansion of -1 in t
18.708 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in t
18.708 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
18.708 * [taylor]: Taking taylor expansion of (/ 1 z) in t
18.708 * [taylor]: Taking taylor expansion of z in t
18.709 * [taylor]: Taking taylor expansion of (/ 1 y) in t
18.709 * [taylor]: Taking taylor expansion of y in t
18.709 * [taylor]: Taking taylor expansion of t in t
18.709 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in t
18.709 * [taylor]: Taking taylor expansion of -1 in t
18.709 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in t
18.709 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
18.709 * [taylor]: Taking taylor expansion of (/ 1 z) in t
18.709 * [taylor]: Taking taylor expansion of z in t
18.709 * [taylor]: Taking taylor expansion of (/ 1 y) in t
18.709 * [taylor]: Taking taylor expansion of y in t
18.709 * [taylor]: Taking taylor expansion of t in t
18.709 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 y))) in y
18.709 * [taylor]: Taking taylor expansion of -1 in y
18.709 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
18.709 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.709 * [taylor]: Taking taylor expansion of z in y
18.709 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.709 * [taylor]: Taking taylor expansion of y in y
18.710 * [taylor]: Taking taylor expansion of 1 in z
18.712 * [taylor]: Taking taylor expansion of 0 in y
18.713 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
18.713 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.713 * [taylor]: Taking taylor expansion of z in z
18.716 * [taylor]: Taking taylor expansion of 0 in y
18.716 * [taylor]: Taking taylor expansion of 0 in z
18.717 * [taylor]: Taking taylor expansion of 0 in z
18.720 * [taylor]: Taking taylor expansion of 0 in y
18.721 * [taylor]: Taking taylor expansion of 0 in z
18.721 * [taylor]: Taking taylor expansion of 0 in z
18.722 * [taylor]: Taking taylor expansion of 0 in z
18.724 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
18.724 * [approximate]: Taking taylor expansion of (* -1 (* (- y z) x)) in (x y z) around 0
18.724 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in z
18.724 * [taylor]: Taking taylor expansion of -1 in z
18.724 * [taylor]: Taking taylor expansion of (* (- y z) x) in z
18.724 * [taylor]: Taking taylor expansion of (- y z) in z
18.724 * [taylor]: Taking taylor expansion of y in z
18.724 * [taylor]: Taking taylor expansion of z in z
18.724 * [taylor]: Taking taylor expansion of x in z
18.724 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in y
18.724 * [taylor]: Taking taylor expansion of -1 in y
18.724 * [taylor]: Taking taylor expansion of (* (- y z) x) in y
18.724 * [taylor]: Taking taylor expansion of (- y z) in y
18.724 * [taylor]: Taking taylor expansion of y in y
18.724 * [taylor]: Taking taylor expansion of z in y
18.724 * [taylor]: Taking taylor expansion of x in y
18.724 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in x
18.724 * [taylor]: Taking taylor expansion of -1 in x
18.724 * [taylor]: Taking taylor expansion of (* (- y z) x) in x
18.724 * [taylor]: Taking taylor expansion of (- y z) in x
18.724 * [taylor]: Taking taylor expansion of y in x
18.724 * [taylor]: Taking taylor expansion of z in x
18.724 * [taylor]: Taking taylor expansion of x in x
18.724 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in x
18.724 * [taylor]: Taking taylor expansion of -1 in x
18.724 * [taylor]: Taking taylor expansion of (* (- y z) x) in x
18.724 * [taylor]: Taking taylor expansion of (- y z) in x
18.724 * [taylor]: Taking taylor expansion of y in x
18.724 * [taylor]: Taking taylor expansion of z in x
18.724 * [taylor]: Taking taylor expansion of x in x
18.725 * [taylor]: Taking taylor expansion of 0 in y
18.725 * [taylor]: Taking taylor expansion of 0 in z
18.726 * [taylor]: Taking taylor expansion of (- z y) in y
18.726 * [taylor]: Taking taylor expansion of z in y
18.726 * [taylor]: Taking taylor expansion of y in y
18.730 * [taylor]: Taking taylor expansion of z in z
18.730 * [taylor]: Taking taylor expansion of 0 in z
18.731 * [taylor]: Taking taylor expansion of 0 in y
18.731 * [taylor]: Taking taylor expansion of 0 in z
18.732 * [taylor]: Taking taylor expansion of -1 in z
18.732 * [taylor]: Taking taylor expansion of 0 in z
18.733 * [taylor]: Taking taylor expansion of 0 in y
18.733 * [taylor]: Taking taylor expansion of 0 in z
18.734 * [taylor]: Taking taylor expansion of 0 in z
18.734 * [taylor]: Taking taylor expansion of 0 in z
18.734 * [taylor]: Taking taylor expansion of 0 in z
18.734 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in (x y z) around 0
18.734 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in z
18.734 * [taylor]: Taking taylor expansion of -1 in z
18.734 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z
18.734 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
18.734 * [taylor]: Taking taylor expansion of (/ 1 y) in z
18.734 * [taylor]: Taking taylor expansion of y in z
18.734 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.734 * [taylor]: Taking taylor expansion of z in z
18.735 * [taylor]: Taking taylor expansion of x in z
18.735 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in y
18.735 * [taylor]: Taking taylor expansion of -1 in y
18.735 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y
18.735 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
18.735 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.735 * [taylor]: Taking taylor expansion of y in y
18.736 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.736 * [taylor]: Taking taylor expansion of z in y
18.736 * [taylor]: Taking taylor expansion of x in y
18.736 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in x
18.736 * [taylor]: Taking taylor expansion of -1 in x
18.736 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x
18.736 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
18.736 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.736 * [taylor]: Taking taylor expansion of y in x
18.736 * [taylor]: Taking taylor expansion of (/ 1 z) in x
18.736 * [taylor]: Taking taylor expansion of z in x
18.736 * [taylor]: Taking taylor expansion of x in x
18.736 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in x
18.736 * [taylor]: Taking taylor expansion of -1 in x
18.736 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x
18.736 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
18.736 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.736 * [taylor]: Taking taylor expansion of y in x
18.736 * [taylor]: Taking taylor expansion of (/ 1 z) in x
18.736 * [taylor]: Taking taylor expansion of z in x
18.736 * [taylor]: Taking taylor expansion of x in x
18.737 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 y) (/ 1 z))) in y
18.737 * [taylor]: Taking taylor expansion of -1 in y
18.737 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
18.737 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.737 * [taylor]: Taking taylor expansion of y in y
18.737 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.737 * [taylor]: Taking taylor expansion of z in y
18.738 * [taylor]: Taking taylor expansion of -1 in z
18.739 * [taylor]: Taking taylor expansion of 0 in y
18.740 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.740 * [taylor]: Taking taylor expansion of z in z
18.742 * [taylor]: Taking taylor expansion of 0 in y
18.742 * [taylor]: Taking taylor expansion of 0 in z
18.744 * [taylor]: Taking taylor expansion of 0 in z
18.747 * [taylor]: Taking taylor expansion of 0 in y
18.748 * [taylor]: Taking taylor expansion of 0 in z
18.748 * [taylor]: Taking taylor expansion of 0 in z
18.750 * [taylor]: Taking taylor expansion of 0 in z
18.751 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in (x y z) around 0
18.751 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z
18.751 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
18.751 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.751 * [taylor]: Taking taylor expansion of z in z
18.751 * [taylor]: Taking taylor expansion of (/ 1 y) in z
18.751 * [taylor]: Taking taylor expansion of y in z
18.751 * [taylor]: Taking taylor expansion of x in z
18.751 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y
18.751 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
18.751 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.751 * [taylor]: Taking taylor expansion of z in y
18.751 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.751 * [taylor]: Taking taylor expansion of y in y
18.752 * [taylor]: Taking taylor expansion of x in y
18.752 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x
18.752 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
18.752 * [taylor]: Taking taylor expansion of (/ 1 z) in x
18.752 * [taylor]: Taking taylor expansion of z in x
18.752 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.752 * [taylor]: Taking taylor expansion of y in x
18.752 * [taylor]: Taking taylor expansion of x in x
18.753 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x
18.753 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
18.753 * [taylor]: Taking taylor expansion of (/ 1 z) in x
18.753 * [taylor]: Taking taylor expansion of z in x
18.753 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.753 * [taylor]: Taking taylor expansion of y in x
18.753 * [taylor]: Taking taylor expansion of x in x
18.753 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
18.753 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.753 * [taylor]: Taking taylor expansion of z in y
18.753 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.753 * [taylor]: Taking taylor expansion of y in y
18.754 * [taylor]: Taking taylor expansion of -1 in z
18.755 * [taylor]: Taking taylor expansion of 0 in y
18.756 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.756 * [taylor]: Taking taylor expansion of z in z
18.757 * [taylor]: Taking taylor expansion of 0 in y
18.757 * [taylor]: Taking taylor expansion of 0 in z
18.758 * [taylor]: Taking taylor expansion of 0 in z
18.761 * [taylor]: Taking taylor expansion of 0 in y
18.761 * [taylor]: Taking taylor expansion of 0 in z
18.761 * [taylor]: Taking taylor expansion of 0 in z
18.762 * [taylor]: Taking taylor expansion of 0 in z
18.762 * * * * [progress]: [ 3 / 4 ] generating series at (2)
18.763 * [approximate]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in (x t y z) around 0
18.763 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in z
18.763 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in z
18.763 * [taylor]: Taking taylor expansion of (* x z) in z
18.763 * [taylor]: Taking taylor expansion of x in z
18.763 * [taylor]: Taking taylor expansion of z in z
18.763 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z
18.763 * [taylor]: Taking taylor expansion of x in z
18.763 * [taylor]: Taking taylor expansion of (* t y) in z
18.763 * [taylor]: Taking taylor expansion of t in z
18.763 * [taylor]: Taking taylor expansion of y in z
18.763 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z
18.763 * [taylor]: Taking taylor expansion of (* t z) in z
18.763 * [taylor]: Taking taylor expansion of t in z
18.763 * [taylor]: Taking taylor expansion of z in z
18.763 * [taylor]: Taking taylor expansion of (* x y) in z
18.763 * [taylor]: Taking taylor expansion of x in z
18.763 * [taylor]: Taking taylor expansion of y in z
18.763 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in y
18.763 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in y
18.763 * [taylor]: Taking taylor expansion of (* x z) in y
18.763 * [taylor]: Taking taylor expansion of x in y
18.763 * [taylor]: Taking taylor expansion of z in y
18.763 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y
18.763 * [taylor]: Taking taylor expansion of x in y
18.763 * [taylor]: Taking taylor expansion of (* t y) in y
18.763 * [taylor]: Taking taylor expansion of t in y
18.763 * [taylor]: Taking taylor expansion of y in y
18.763 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y
18.763 * [taylor]: Taking taylor expansion of (* t z) in y
18.763 * [taylor]: Taking taylor expansion of t in y
18.763 * [taylor]: Taking taylor expansion of z in y
18.763 * [taylor]: Taking taylor expansion of (* x y) in y
18.763 * [taylor]: Taking taylor expansion of x in y
18.763 * [taylor]: Taking taylor expansion of y in y
18.763 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in t
18.763 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in t
18.763 * [taylor]: Taking taylor expansion of (* x z) in t
18.763 * [taylor]: Taking taylor expansion of x in t
18.763 * [taylor]: Taking taylor expansion of z in t
18.763 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t
18.763 * [taylor]: Taking taylor expansion of x in t
18.763 * [taylor]: Taking taylor expansion of (* t y) in t
18.763 * [taylor]: Taking taylor expansion of t in t
18.763 * [taylor]: Taking taylor expansion of y in t
18.763 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t
18.763 * [taylor]: Taking taylor expansion of (* t z) in t
18.763 * [taylor]: Taking taylor expansion of t in t
18.763 * [taylor]: Taking taylor expansion of z in t
18.763 * [taylor]: Taking taylor expansion of (* x y) in t
18.763 * [taylor]: Taking taylor expansion of x in t
18.764 * [taylor]: Taking taylor expansion of y in t
18.764 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
18.764 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
18.764 * [taylor]: Taking taylor expansion of (* x z) in x
18.764 * [taylor]: Taking taylor expansion of x in x
18.764 * [taylor]: Taking taylor expansion of z in x
18.764 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
18.764 * [taylor]: Taking taylor expansion of x in x
18.764 * [taylor]: Taking taylor expansion of (* t y) in x
18.764 * [taylor]: Taking taylor expansion of t in x
18.764 * [taylor]: Taking taylor expansion of y in x
18.764 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
18.764 * [taylor]: Taking taylor expansion of (* t z) in x
18.764 * [taylor]: Taking taylor expansion of t in x
18.764 * [taylor]: Taking taylor expansion of z in x
18.764 * [taylor]: Taking taylor expansion of (* x y) in x
18.764 * [taylor]: Taking taylor expansion of x in x
18.764 * [taylor]: Taking taylor expansion of y in x
18.764 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
18.764 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
18.764 * [taylor]: Taking taylor expansion of (* x z) in x
18.764 * [taylor]: Taking taylor expansion of x in x
18.764 * [taylor]: Taking taylor expansion of z in x
18.764 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
18.764 * [taylor]: Taking taylor expansion of x in x
18.764 * [taylor]: Taking taylor expansion of (* t y) in x
18.764 * [taylor]: Taking taylor expansion of t in x
18.764 * [taylor]: Taking taylor expansion of y in x
18.764 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
18.764 * [taylor]: Taking taylor expansion of (* t z) in x
18.764 * [taylor]: Taking taylor expansion of t in x
18.764 * [taylor]: Taking taylor expansion of z in x
18.764 * [taylor]: Taking taylor expansion of (* x y) in x
18.764 * [taylor]: Taking taylor expansion of x in x
18.764 * [taylor]: Taking taylor expansion of y in x
18.764 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in t
18.764 * [taylor]: Taking taylor expansion of (* t y) in t
18.764 * [taylor]: Taking taylor expansion of t in t
18.764 * [taylor]: Taking taylor expansion of y in t
18.764 * [taylor]: Taking taylor expansion of (* t z) in t
18.764 * [taylor]: Taking taylor expansion of t in t
18.764 * [taylor]: Taking taylor expansion of z in t
18.765 * [taylor]: Taking taylor expansion of 0 in y
18.765 * [taylor]: Taking taylor expansion of 0 in z
18.766 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in t
18.766 * [taylor]: Taking taylor expansion of (+ z 1) in t
18.766 * [taylor]: Taking taylor expansion of z in t
18.766 * [taylor]: Taking taylor expansion of 1 in t
18.766 * [taylor]: Taking taylor expansion of y in t
18.766 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in y
18.766 * [taylor]: Taking taylor expansion of (+ z 1) in y
18.766 * [taylor]: Taking taylor expansion of z in y
18.766 * [taylor]: Taking taylor expansion of 1 in y
18.766 * [taylor]: Taking taylor expansion of y in y
18.767 * [taylor]: Taking taylor expansion of (+ z 1) in z
18.767 * [taylor]: Taking taylor expansion of z in z
18.767 * [taylor]: Taking taylor expansion of 1 in z
18.767 * [taylor]: Taking taylor expansion of (- y z) in y
18.767 * [taylor]: Taking taylor expansion of y in y
18.767 * [taylor]: Taking taylor expansion of z in y
18.768 * [taylor]: Taking taylor expansion of (- z) in z
18.768 * [taylor]: Taking taylor expansion of z in z
18.768 * [taylor]: Taking taylor expansion of 0 in z
18.770 * [taylor]: Taking taylor expansion of 0 in t
18.770 * [taylor]: Taking taylor expansion of 0 in y
18.771 * [taylor]: Taking taylor expansion of 0 in z
18.771 * [taylor]: Taking taylor expansion of 0 in y
18.771 * [taylor]: Taking taylor expansion of 0 in z
18.773 * [taylor]: Taking taylor expansion of 0 in y
18.773 * [taylor]: Taking taylor expansion of 0 in z
18.773 * [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
18.773 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z
18.773 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in z
18.773 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
18.773 * [taylor]: Taking taylor expansion of (* t y) in z
18.773 * [taylor]: Taking taylor expansion of t in z
18.773 * [taylor]: Taking taylor expansion of y in z
18.773 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in z
18.773 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
18.773 * [taylor]: Taking taylor expansion of (* x z) in z
18.773 * [taylor]: Taking taylor expansion of x in z
18.773 * [taylor]: Taking taylor expansion of z in z
18.774 * [taylor]: Taking taylor expansion of (/ 1 x) in z
18.774 * [taylor]: Taking taylor expansion of x in z
18.774 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
18.774 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
18.774 * [taylor]: Taking taylor expansion of (* t z) in z
18.774 * [taylor]: Taking taylor expansion of t in z
18.774 * [taylor]: Taking taylor expansion of z in z
18.774 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
18.774 * [taylor]: Taking taylor expansion of (* x y) in z
18.774 * [taylor]: Taking taylor expansion of x in z
18.774 * [taylor]: Taking taylor expansion of y in z
18.774 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
18.774 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in y
18.774 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
18.774 * [taylor]: Taking taylor expansion of (* t y) in y
18.774 * [taylor]: Taking taylor expansion of t in y
18.774 * [taylor]: Taking taylor expansion of y in y
18.775 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in y
18.775 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
18.775 * [taylor]: Taking taylor expansion of (* x z) in y
18.775 * [taylor]: Taking taylor expansion of x in y
18.775 * [taylor]: Taking taylor expansion of z in y
18.775 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.775 * [taylor]: Taking taylor expansion of x in y
18.775 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
18.775 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
18.775 * [taylor]: Taking taylor expansion of (* t z) in y
18.775 * [taylor]: Taking taylor expansion of t in y
18.775 * [taylor]: Taking taylor expansion of z in y
18.775 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
18.775 * [taylor]: Taking taylor expansion of (* x y) in y
18.775 * [taylor]: Taking taylor expansion of x in y
18.775 * [taylor]: Taking taylor expansion of y in y
18.775 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t
18.775 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in t
18.775 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
18.775 * [taylor]: Taking taylor expansion of (* t y) in t
18.776 * [taylor]: Taking taylor expansion of t in t
18.776 * [taylor]: Taking taylor expansion of y in t
18.776 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in t
18.776 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
18.776 * [taylor]: Taking taylor expansion of (* x z) in t
18.776 * [taylor]: Taking taylor expansion of x in t
18.776 * [taylor]: Taking taylor expansion of z in t
18.776 * [taylor]: Taking taylor expansion of (/ 1 x) in t
18.776 * [taylor]: Taking taylor expansion of x in t
18.776 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
18.776 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.776 * [taylor]: Taking taylor expansion of (* t z) in t
18.776 * [taylor]: Taking taylor expansion of t in t
18.776 * [taylor]: Taking taylor expansion of z in t
18.776 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
18.776 * [taylor]: Taking taylor expansion of (* x y) in t
18.776 * [taylor]: Taking taylor expansion of x in t
18.776 * [taylor]: Taking taylor expansion of y in t
18.777 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
18.777 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
18.777 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
18.777 * [taylor]: Taking taylor expansion of (* t y) in x
18.777 * [taylor]: Taking taylor expansion of t in x
18.777 * [taylor]: Taking taylor expansion of y in x
18.777 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
18.777 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
18.777 * [taylor]: Taking taylor expansion of (* x z) in x
18.777 * [taylor]: Taking taylor expansion of x in x
18.777 * [taylor]: Taking taylor expansion of z in x
18.777 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.777 * [taylor]: Taking taylor expansion of x in x
18.777 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
18.777 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
18.777 * [taylor]: Taking taylor expansion of (* t z) in x
18.777 * [taylor]: Taking taylor expansion of t in x
18.777 * [taylor]: Taking taylor expansion of z in x
18.777 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
18.777 * [taylor]: Taking taylor expansion of (* x y) in x
18.778 * [taylor]: Taking taylor expansion of x in x
18.778 * [taylor]: Taking taylor expansion of y in x
18.778 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
18.778 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
18.778 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
18.778 * [taylor]: Taking taylor expansion of (* t y) in x
18.778 * [taylor]: Taking taylor expansion of t in x
18.778 * [taylor]: Taking taylor expansion of y in x
18.778 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
18.778 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
18.778 * [taylor]: Taking taylor expansion of (* x z) in x
18.778 * [taylor]: Taking taylor expansion of x in x
18.778 * [taylor]: Taking taylor expansion of z in x
18.778 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.778 * [taylor]: Taking taylor expansion of x in x
18.779 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
18.779 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
18.779 * [taylor]: Taking taylor expansion of (* t z) in x
18.779 * [taylor]: Taking taylor expansion of t in x
18.779 * [taylor]: Taking taylor expansion of z in x
18.779 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
18.779 * [taylor]: Taking taylor expansion of (* x y) in x
18.779 * [taylor]: Taking taylor expansion of x in x
18.779 * [taylor]: Taking taylor expansion of y in x
18.779 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in t
18.779 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in t
18.779 * [taylor]: Taking taylor expansion of (/ 1 z) in t
18.779 * [taylor]: Taking taylor expansion of z in t
18.780 * [taylor]: Taking taylor expansion of 1 in t
18.780 * [taylor]: Taking taylor expansion of (/ 1 y) in t
18.780 * [taylor]: Taking taylor expansion of y in t
18.782 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t
18.782 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
18.782 * [taylor]: Taking taylor expansion of (* t y) in t
18.782 * [taylor]: Taking taylor expansion of t in t
18.782 * [taylor]: Taking taylor expansion of y in t
18.782 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.782 * [taylor]: Taking taylor expansion of (* t z) in t
18.782 * [taylor]: Taking taylor expansion of t in t
18.782 * [taylor]: Taking taylor expansion of z in t
18.782 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
18.782 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.783 * [taylor]: Taking taylor expansion of y in y
18.783 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.783 * [taylor]: Taking taylor expansion of z in y
18.783 * [taylor]: Taking taylor expansion of 1 in z
18.783 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in y
18.783 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y
18.783 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.783 * [taylor]: Taking taylor expansion of z in y
18.783 * [taylor]: Taking taylor expansion of 1 in y
18.783 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.783 * [taylor]: Taking taylor expansion of y in y
18.784 * [taylor]: Taking taylor expansion of -1 in z
18.788 * [taylor]: Taking taylor expansion of 0 in t
18.789 * [taylor]: Taking taylor expansion of 0 in y
18.790 * [taylor]: Taking taylor expansion of 0 in y
18.791 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
18.791 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.791 * [taylor]: Taking taylor expansion of z in z
18.792 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
18.792 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.792 * [taylor]: Taking taylor expansion of z in z
18.792 * [taylor]: Taking taylor expansion of 1 in z
18.793 * [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
18.793 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in z
18.793 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z
18.793 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
18.793 * [taylor]: Taking taylor expansion of (* x z) in z
18.793 * [taylor]: Taking taylor expansion of x in z
18.794 * [taylor]: Taking taylor expansion of z in z
18.794 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
18.794 * [taylor]: Taking taylor expansion of (* t y) in z
18.794 * [taylor]: Taking taylor expansion of t in z
18.794 * [taylor]: Taking taylor expansion of y in z
18.794 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in z
18.794 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
18.794 * [taylor]: Taking taylor expansion of (* t z) in z
18.794 * [taylor]: Taking taylor expansion of t in z
18.794 * [taylor]: Taking taylor expansion of z in z
18.794 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z
18.794 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
18.794 * [taylor]: Taking taylor expansion of (* x y) in z
18.794 * [taylor]: Taking taylor expansion of x in z
18.794 * [taylor]: Taking taylor expansion of y in z
18.794 * [taylor]: Taking taylor expansion of (/ 1 x) in z
18.795 * [taylor]: Taking taylor expansion of x in z
18.795 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in y
18.795 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y
18.795 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
18.795 * [taylor]: Taking taylor expansion of (* x z) in y
18.795 * [taylor]: Taking taylor expansion of x in y
18.795 * [taylor]: Taking taylor expansion of z in y
18.795 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
18.795 * [taylor]: Taking taylor expansion of (* t y) in y
18.795 * [taylor]: Taking taylor expansion of t in y
18.795 * [taylor]: Taking taylor expansion of y in y
18.795 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in y
18.795 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
18.795 * [taylor]: Taking taylor expansion of (* t z) in y
18.795 * [taylor]: Taking taylor expansion of t in y
18.795 * [taylor]: Taking taylor expansion of z in y
18.795 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
18.795 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
18.795 * [taylor]: Taking taylor expansion of (* x y) in y
18.795 * [taylor]: Taking taylor expansion of x in y
18.795 * [taylor]: Taking taylor expansion of y in y
18.796 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.796 * [taylor]: Taking taylor expansion of x in y
18.796 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in t
18.796 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t
18.796 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
18.796 * [taylor]: Taking taylor expansion of (* x z) in t
18.796 * [taylor]: Taking taylor expansion of x in t
18.796 * [taylor]: Taking taylor expansion of z in t
18.796 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
18.796 * [taylor]: Taking taylor expansion of (* t y) in t
18.796 * [taylor]: Taking taylor expansion of t in t
18.796 * [taylor]: Taking taylor expansion of y in t
18.796 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in t
18.796 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.796 * [taylor]: Taking taylor expansion of (* t z) in t
18.796 * [taylor]: Taking taylor expansion of t in t
18.796 * [taylor]: Taking taylor expansion of z in t
18.797 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in t
18.797 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
18.797 * [taylor]: Taking taylor expansion of (* x y) in t
18.797 * [taylor]: Taking taylor expansion of x in t
18.797 * [taylor]: Taking taylor expansion of y in t
18.797 * [taylor]: Taking taylor expansion of (/ 1 x) in t
18.797 * [taylor]: Taking taylor expansion of x in t
18.797 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
18.797 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
18.797 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
18.797 * [taylor]: Taking taylor expansion of (* x z) in x
18.797 * [taylor]: Taking taylor expansion of x in x
18.797 * [taylor]: Taking taylor expansion of z in x
18.797 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
18.797 * [taylor]: Taking taylor expansion of (* t y) in x
18.797 * [taylor]: Taking taylor expansion of t in x
18.797 * [taylor]: Taking taylor expansion of y in x
18.797 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
18.797 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
18.797 * [taylor]: Taking taylor expansion of (* t z) in x
18.797 * [taylor]: Taking taylor expansion of t in x
18.797 * [taylor]: Taking taylor expansion of z in x
18.797 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
18.797 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
18.797 * [taylor]: Taking taylor expansion of (* x y) in x
18.797 * [taylor]: Taking taylor expansion of x in x
18.797 * [taylor]: Taking taylor expansion of y in x
18.798 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.798 * [taylor]: Taking taylor expansion of x in x
18.798 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
18.798 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
18.798 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
18.798 * [taylor]: Taking taylor expansion of (* x z) in x
18.798 * [taylor]: Taking taylor expansion of x in x
18.798 * [taylor]: Taking taylor expansion of z in x
18.798 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
18.798 * [taylor]: Taking taylor expansion of (* t y) in x
18.798 * [taylor]: Taking taylor expansion of t in x
18.799 * [taylor]: Taking taylor expansion of y in x
18.799 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
18.799 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
18.799 * [taylor]: Taking taylor expansion of (* t z) in x
18.799 * [taylor]: Taking taylor expansion of t in x
18.799 * [taylor]: Taking taylor expansion of z in x
18.799 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
18.799 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
18.799 * [taylor]: Taking taylor expansion of (* x y) in x
18.799 * [taylor]: Taking taylor expansion of x in x
18.799 * [taylor]: Taking taylor expansion of y in x
18.799 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.799 * [taylor]: Taking taylor expansion of x in x
18.800 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in t
18.800 * [taylor]: Taking taylor expansion of (/ 1 z) in t
18.800 * [taylor]: Taking taylor expansion of z in t
18.800 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in t
18.800 * [taylor]: Taking taylor expansion of (/ 1 y) in t
18.800 * [taylor]: Taking taylor expansion of y in t
18.800 * [taylor]: Taking taylor expansion of 1 in t
18.802 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t
18.802 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
18.802 * [taylor]: Taking taylor expansion of (* t y) in t
18.802 * [taylor]: Taking taylor expansion of t in t
18.802 * [taylor]: Taking taylor expansion of y in t
18.802 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.802 * [taylor]: Taking taylor expansion of (* t z) in t
18.803 * [taylor]: Taking taylor expansion of t in t
18.803 * [taylor]: Taking taylor expansion of z in t
18.803 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
18.803 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.803 * [taylor]: Taking taylor expansion of y in y
18.804 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.804 * [taylor]: Taking taylor expansion of z in y
18.804 * [taylor]: Taking taylor expansion of 1 in z
18.804 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in y
18.804 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.804 * [taylor]: Taking taylor expansion of z in y
18.804 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
18.804 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.804 * [taylor]: Taking taylor expansion of y in y
18.804 * [taylor]: Taking taylor expansion of 1 in y
18.805 * [taylor]: Taking taylor expansion of -1 in z
18.809 * [taylor]: Taking taylor expansion of 0 in t
18.811 * [taylor]: Taking taylor expansion of 0 in y
18.811 * [taylor]: Taking taylor expansion of 0 in y
18.812 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
18.812 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.812 * [taylor]: Taking taylor expansion of z in z
18.813 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in z
18.813 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.813 * [taylor]: Taking taylor expansion of z in z
18.814 * [taylor]: Taking taylor expansion of 1 in z
18.814 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
18.815 * [approximate]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in (x t y z) around 0
18.815 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in z
18.815 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z
18.815 * [taylor]: Taking taylor expansion of x in z
18.815 * [taylor]: Taking taylor expansion of (* t y) in z
18.815 * [taylor]: Taking taylor expansion of t in z
18.815 * [taylor]: Taking taylor expansion of y in z
18.815 * [taylor]: Taking taylor expansion of (* t z) in z
18.815 * [taylor]: Taking taylor expansion of t in z
18.815 * [taylor]: Taking taylor expansion of z in z
18.815 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in y
18.815 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y
18.815 * [taylor]: Taking taylor expansion of x in y
18.815 * [taylor]: Taking taylor expansion of (* t y) in y
18.815 * [taylor]: Taking taylor expansion of t in y
18.815 * [taylor]: Taking taylor expansion of y in y
18.815 * [taylor]: Taking taylor expansion of (* t z) in y
18.815 * [taylor]: Taking taylor expansion of t in y
18.815 * [taylor]: Taking taylor expansion of z in y
18.815 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in t
18.815 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t
18.815 * [taylor]: Taking taylor expansion of x in t
18.815 * [taylor]: Taking taylor expansion of (* t y) in t
18.815 * [taylor]: Taking taylor expansion of t in t
18.815 * [taylor]: Taking taylor expansion of y in t
18.815 * [taylor]: Taking taylor expansion of (* t z) in t
18.815 * [taylor]: Taking taylor expansion of t in t
18.815 * [taylor]: Taking taylor expansion of z in t
18.815 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in x
18.815 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
18.815 * [taylor]: Taking taylor expansion of x in x
18.815 * [taylor]: Taking taylor expansion of (* t y) in x
18.815 * [taylor]: Taking taylor expansion of t in x
18.815 * [taylor]: Taking taylor expansion of y in x
18.815 * [taylor]: Taking taylor expansion of (* t z) in x
18.815 * [taylor]: Taking taylor expansion of t in x
18.815 * [taylor]: Taking taylor expansion of z in x
18.815 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in x
18.815 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
18.815 * [taylor]: Taking taylor expansion of x in x
18.815 * [taylor]: Taking taylor expansion of (* t y) in x
18.815 * [taylor]: Taking taylor expansion of t in x
18.815 * [taylor]: Taking taylor expansion of y in x
18.815 * [taylor]: Taking taylor expansion of (* t z) in x
18.815 * [taylor]: Taking taylor expansion of t in x
18.815 * [taylor]: Taking taylor expansion of z in x
18.816 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in t
18.816 * [taylor]: Taking taylor expansion of (* t y) in t
18.816 * [taylor]: Taking taylor expansion of t in t
18.816 * [taylor]: Taking taylor expansion of y in t
18.816 * [taylor]: Taking taylor expansion of (* t z) in t
18.816 * [taylor]: Taking taylor expansion of t in t
18.816 * [taylor]: Taking taylor expansion of z in t
18.816 * [taylor]: Taking taylor expansion of 0 in y
18.816 * [taylor]: Taking taylor expansion of 0 in z
18.817 * [taylor]: Taking taylor expansion of 1 in t
18.817 * [taylor]: Taking taylor expansion of 1 in y
18.817 * [taylor]: Taking taylor expansion of 1 in z
18.818 * [taylor]: Taking taylor expansion of (- y z) in y
18.818 * [taylor]: Taking taylor expansion of y in y
18.818 * [taylor]: Taking taylor expansion of z in y
18.818 * [taylor]: Taking taylor expansion of (- z) in z
18.818 * [taylor]: Taking taylor expansion of z in z
18.820 * [taylor]: Taking taylor expansion of 0 in z
18.822 * [taylor]: Taking taylor expansion of 0 in t
18.822 * [taylor]: Taking taylor expansion of 0 in y
18.822 * [taylor]: Taking taylor expansion of 0 in z
18.822 * [taylor]: Taking taylor expansion of 0 in y
18.822 * [taylor]: Taking taylor expansion of 0 in z
18.824 * [taylor]: Taking taylor expansion of 0 in y
18.824 * [taylor]: Taking taylor expansion of 0 in z
18.824 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in (x t y z) around 0
18.824 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in z
18.824 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in z
18.824 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
18.824 * [taylor]: Taking taylor expansion of (* t y) in z
18.824 * [taylor]: Taking taylor expansion of t in z
18.824 * [taylor]: Taking taylor expansion of y in z
18.824 * [taylor]: Taking taylor expansion of (/ 1 x) in z
18.824 * [taylor]: Taking taylor expansion of x in z
18.824 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
18.824 * [taylor]: Taking taylor expansion of (* t z) in z
18.824 * [taylor]: Taking taylor expansion of t in z
18.824 * [taylor]: Taking taylor expansion of z in z
18.825 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in y
18.825 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in y
18.825 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
18.825 * [taylor]: Taking taylor expansion of (* t y) in y
18.825 * [taylor]: Taking taylor expansion of t in y
18.825 * [taylor]: Taking taylor expansion of y in y
18.825 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.825 * [taylor]: Taking taylor expansion of x in y
18.825 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
18.825 * [taylor]: Taking taylor expansion of (* t z) in y
18.825 * [taylor]: Taking taylor expansion of t in y
18.825 * [taylor]: Taking taylor expansion of z in y
18.825 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in t
18.825 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in t
18.825 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
18.825 * [taylor]: Taking taylor expansion of (* t y) in t
18.825 * [taylor]: Taking taylor expansion of t in t
18.825 * [taylor]: Taking taylor expansion of y in t
18.826 * [taylor]: Taking taylor expansion of (/ 1 x) in t
18.826 * [taylor]: Taking taylor expansion of x in t
18.826 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.826 * [taylor]: Taking taylor expansion of (* t z) in t
18.826 * [taylor]: Taking taylor expansion of t in t
18.826 * [taylor]: Taking taylor expansion of z in t
18.826 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in x
18.826 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in x
18.826 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
18.826 * [taylor]: Taking taylor expansion of (* t y) in x
18.826 * [taylor]: Taking taylor expansion of t in x
18.826 * [taylor]: Taking taylor expansion of y in x
18.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.826 * [taylor]: Taking taylor expansion of x in x
18.826 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
18.826 * [taylor]: Taking taylor expansion of (* t z) in x
18.827 * [taylor]: Taking taylor expansion of t in x
18.827 * [taylor]: Taking taylor expansion of z in x
18.827 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in x
18.827 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in x
18.827 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
18.827 * [taylor]: Taking taylor expansion of (* t y) in x
18.827 * [taylor]: Taking taylor expansion of t in x
18.827 * [taylor]: Taking taylor expansion of y in x
18.827 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.827 * [taylor]: Taking taylor expansion of x in x
18.827 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
18.827 * [taylor]: Taking taylor expansion of (* t z) in x
18.827 * [taylor]: Taking taylor expansion of t in x
18.827 * [taylor]: Taking taylor expansion of z in x
18.828 * [taylor]: Taking taylor expansion of 1 in t
18.828 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t
18.828 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
18.828 * [taylor]: Taking taylor expansion of (* t y) in t
18.828 * [taylor]: Taking taylor expansion of t in t
18.828 * [taylor]: Taking taylor expansion of y in t
18.829 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.829 * [taylor]: Taking taylor expansion of (* t z) in t
18.829 * [taylor]: Taking taylor expansion of t in t
18.829 * [taylor]: Taking taylor expansion of z in t
18.829 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
18.829 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.829 * [taylor]: Taking taylor expansion of y in y
18.829 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.829 * [taylor]: Taking taylor expansion of z in y
18.830 * [taylor]: Taking taylor expansion of 1 in z
18.830 * [taylor]: Taking taylor expansion of 1 in y
18.831 * [taylor]: Taking taylor expansion of 0 in t
18.833 * [taylor]: Taking taylor expansion of 0 in y
18.833 * [taylor]: Taking taylor expansion of 0 in y
18.833 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
18.833 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.833 * [taylor]: Taking taylor expansion of z in z
18.834 * [taylor]: Taking taylor expansion of 1 in z
18.836 * [taylor]: Taking taylor expansion of 0 in t
18.836 * [taylor]: Taking taylor expansion of 0 in y
18.838 * [taylor]: Taking taylor expansion of 0 in y
18.838 * [taylor]: Taking taylor expansion of 0 in y
18.838 * [taylor]: Taking taylor expansion of 0 in z
18.838 * [taylor]: Taking taylor expansion of 0 in z
18.839 * [taylor]: Taking taylor expansion of 0 in z
18.839 * [taylor]: Taking taylor expansion of 0 in z
18.840 * [approximate]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in (x t y z) around 0
18.840 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in z
18.840 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
18.840 * [taylor]: Taking taylor expansion of (* t y) in z
18.840 * [taylor]: Taking taylor expansion of t in z
18.840 * [taylor]: Taking taylor expansion of y in z
18.841 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in z
18.841 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
18.841 * [taylor]: Taking taylor expansion of (* t z) in z
18.841 * [taylor]: Taking taylor expansion of t in z
18.841 * [taylor]: Taking taylor expansion of z in z
18.841 * [taylor]: Taking taylor expansion of (/ 1 x) in z
18.841 * [taylor]: Taking taylor expansion of x in z
18.841 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in y
18.841 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
18.841 * [taylor]: Taking taylor expansion of (* t y) in y
18.841 * [taylor]: Taking taylor expansion of t in y
18.841 * [taylor]: Taking taylor expansion of y in y
18.841 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in y
18.841 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
18.841 * [taylor]: Taking taylor expansion of (* t z) in y
18.841 * [taylor]: Taking taylor expansion of t in y
18.841 * [taylor]: Taking taylor expansion of z in y
18.842 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.842 * [taylor]: Taking taylor expansion of x in y
18.842 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in t
18.842 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
18.842 * [taylor]: Taking taylor expansion of (* t y) in t
18.842 * [taylor]: Taking taylor expansion of t in t
18.842 * [taylor]: Taking taylor expansion of y in t
18.842 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in t
18.842 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.842 * [taylor]: Taking taylor expansion of (* t z) in t
18.842 * [taylor]: Taking taylor expansion of t in t
18.842 * [taylor]: Taking taylor expansion of z in t
18.842 * [taylor]: Taking taylor expansion of (/ 1 x) in t
18.842 * [taylor]: Taking taylor expansion of x in t
18.842 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in x
18.842 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
18.842 * [taylor]: Taking taylor expansion of (* t y) in x
18.842 * [taylor]: Taking taylor expansion of t in x
18.842 * [taylor]: Taking taylor expansion of y in x
18.843 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in x
18.843 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
18.843 * [taylor]: Taking taylor expansion of (* t z) in x
18.843 * [taylor]: Taking taylor expansion of t in x
18.843 * [taylor]: Taking taylor expansion of z in x
18.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.843 * [taylor]: Taking taylor expansion of x in x
18.843 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in x
18.843 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
18.843 * [taylor]: Taking taylor expansion of (* t y) in x
18.843 * [taylor]: Taking taylor expansion of t in x
18.843 * [taylor]: Taking taylor expansion of y in x
18.843 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in x
18.843 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
18.843 * [taylor]: Taking taylor expansion of (* t z) in x
18.843 * [taylor]: Taking taylor expansion of t in x
18.843 * [taylor]: Taking taylor expansion of z in x
18.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.843 * [taylor]: Taking taylor expansion of x in x
18.844 * [taylor]: Taking taylor expansion of -1 in t
18.845 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t
18.845 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
18.845 * [taylor]: Taking taylor expansion of (* t y) in t
18.845 * [taylor]: Taking taylor expansion of t in t
18.845 * [taylor]: Taking taylor expansion of y in t
18.845 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.845 * [taylor]: Taking taylor expansion of (* t z) in t
18.845 * [taylor]: Taking taylor expansion of t in t
18.845 * [taylor]: Taking taylor expansion of z in t
18.846 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
18.846 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.846 * [taylor]: Taking taylor expansion of y in y
18.846 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.846 * [taylor]: Taking taylor expansion of z in y
18.846 * [taylor]: Taking taylor expansion of 1 in z
18.846 * [taylor]: Taking taylor expansion of -1 in y
18.848 * [taylor]: Taking taylor expansion of 0 in t
18.849 * [taylor]: Taking taylor expansion of 0 in y
18.849 * [taylor]: Taking taylor expansion of 0 in y
18.850 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
18.850 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.850 * [taylor]: Taking taylor expansion of z in z
18.850 * [taylor]: Taking taylor expansion of -1 in z
18.852 * [taylor]: Taking taylor expansion of 0 in t
18.852 * [taylor]: Taking taylor expansion of 0 in y
18.854 * [taylor]: Taking taylor expansion of 0 in y
18.855 * [taylor]: Taking taylor expansion of 0 in y
18.855 * [taylor]: Taking taylor expansion of 0 in z
18.855 * [taylor]: Taking taylor expansion of 0 in z
18.856 * [taylor]: Taking taylor expansion of 0 in z
18.856 * [taylor]: Taking taylor expansion of 0 in z
18.857 * * * [progress]: simplifying candidates
18.859 * [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)))
  (* (- 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)))
  (* (* (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)))
  (* (exp x) (exp (* t (- y z))))
  (log (+ x (* t (- y z))))
  (exp (+ x (* t (- y z))))
  (* (cbrt (+ x (* t (- y z)))) (cbrt (+ x (* t (- y z)))))
  (cbrt (+ x (* t (- y z))))
  (* (* (+ x (* t (- y z))) (+ x (* t (- y z)))) (+ x (* t (- y z))))
  (sqrt (+ x (* t (- y z))))
  (sqrt (+ x (* t (- y z))))
  (+ (pow x 3) (pow (* t (- y z)) 3))
  (+ (* x x) (- (* (* t (- y z)) (* t (- y z))) (* x (* t (- y z)))))
  (- (* x x) (* (* t (- y z)) (* t (- y z))))
  (- x (* t (- y z)))
  (+ x (* t y))
  (+ x (* t y))
  (+ x (* y t))
  (+ x (* y t))
  (- (* t y) (* t z))
  (- (* t y) (* t z))
  (- (* t y) (* t z))
  (- (* x z) (* x y))
  (- (* x z) (* x y))
  (- (* x z) (* x y))
  x
  (- (+ (* x z) (* t y)) (* t z))
  (- (+ (* x z) (* t y)) (* t z))
  x
  (- (+ x (* t y)) (* t z))
  (- (+ x (* t y)) (* t z))
18.863 * * [simplify]: iteration  0 :  159  enodes  (cost  1355 )
18.896 * * [simplify]: iteration  1 :  464  enodes  (cost  1180 )
19.028 * * [simplify]: iteration  2 :  1916  enodes  (cost  1118 )
19.532 * * [simplify]: iteration  done :  5001  enodes  (cost  1112 )
19.533 * [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)))
  (* (- 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)
  (* (- x) (- z))
  (* (- x) y)
  (* (- x) (- z))
  (* (- x) y)
  (* (- x) (- z))
  (* (- x) y)
  (* (- x) (- z))
  (* (- 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)))
  (exp (+ x (* (- t x) (- y z))))
  (exp (+ x (* (- t x) (- y z))))
  (log (+ x (* (- t x) (- y z))))
  (exp (+ x (* (- t x) (- y z))))
  (* (cbrt (+ x (* (- t x) (- y z)))) (cbrt (+ x (* (- t x) (- y z)))))
  (cbrt (+ x (* (- t x) (- y z))))
  (pow (+ x (* (- t x) (- y z))) 3)
  (sqrt (+ x (* (- t x) (- y z))))
  (sqrt (+ x (* (- t x) (- y z))))
  (- (* (+ (pow x 3) (pow (* t (- y z)) 3)) (+ (* y y) (* z (+ y z)))) (* (+ (* 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 x 3) (pow (* t (- y z)) 3)) (+ y z)) (* (+ (* x x) (* (* t (- y z)) (- (* t (- y z)) x))) (* x (- (* y y) (* z z)))))
  (* (+ y z) (+ (* x x) (* (* t (- y z)) (- (* t (- y z)) x))))
  (- (* (+ (* y y) (* z (+ y z))) (- (* x x) (* (* t (- y z)) (* t (- y z))))) (* (- x (* t (- y z))) (* x (- (pow y 3) (pow z 3)))))
  (* (- x (* t (- y z))) (+ (* y y) (* 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) (- t (- x)))) (+ x (* (- t x) (- y z))))
  (+ x (* (- y z) (- t (- 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))
  (* (- t x) (- y z))
  (exp (+ x (* t (- y z))))
  (log (+ x (* t (- y z))))
  (exp (+ x (* t (- y z))))
  (* (cbrt (+ x (* t (- y z)))) (cbrt (+ x (* t (- y z)))))
  (cbrt (+ x (* t (- y z))))
  (pow (+ x (* t (- y z))) 3)
  (sqrt (+ x (* t (- y z))))
  (sqrt (+ x (* t (- y z))))
  (+ (pow x 3) (pow (* t (- y z)) 3))
  (+ (* x x) (* (* t (- y z)) (- (* t (- y z)) x)))
  (- (* x x) (* (* t (- y z)) (* t (- y z))))
  (- x (* t (- y z)))
  (+ x (* y t))
  (+ x (* y t))
  (+ x (* y t))
  (+ x (* y t))
  (* t (- y z))
  (* t (- y z))
  (* t (- y z))
  (* x (- z y))
  (* x (- z y))
  (* x (- z y))
  x
  (+ (* x z) (* t (- y z)))
  (+ (* x z) (* t (- y z)))
  x
  (+ x (* t (- y z)))
  (+ x (* t (- y z)))
19.533 * * * [progress]: adding candidates to table
19.758 * * [progress]: iteration 3 / 4
19.758 * * * [progress]: picking best candidate
19.769 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (+ (+ x (* y t)) (* (- z) t)) (* (- x) (- y z))))>
19.769 * * * [progress]: localizing error
19.781 * * * [progress]: generating rewritten candidates
19.781 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
19.793 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
19.832 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
19.834 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
19.848 * * * [progress]: generating series expansions
19.848 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
19.848 * [approximate]: Taking taylor expansion of (* -1 (* (- y z) x)) in (x y z) around 0
19.848 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in z
19.848 * [taylor]: Taking taylor expansion of -1 in z
19.848 * [taylor]: Taking taylor expansion of (* (- y z) x) in z
19.848 * [taylor]: Taking taylor expansion of (- y z) in z
19.848 * [taylor]: Taking taylor expansion of y in z
19.848 * [taylor]: Taking taylor expansion of z in z
19.848 * [taylor]: Taking taylor expansion of x in z
19.848 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in y
19.848 * [taylor]: Taking taylor expansion of -1 in y
19.848 * [taylor]: Taking taylor expansion of (* (- y z) x) in y
19.849 * [taylor]: Taking taylor expansion of (- y z) in y
19.849 * [taylor]: Taking taylor expansion of y in y
19.849 * [taylor]: Taking taylor expansion of z in y
19.849 * [taylor]: Taking taylor expansion of x in y
19.849 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in x
19.849 * [taylor]: Taking taylor expansion of -1 in x
19.849 * [taylor]: Taking taylor expansion of (* (- y z) x) in x
19.849 * [taylor]: Taking taylor expansion of (- y z) in x
19.849 * [taylor]: Taking taylor expansion of y in x
19.849 * [taylor]: Taking taylor expansion of z in x
19.849 * [taylor]: Taking taylor expansion of x in x
19.849 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in x
19.849 * [taylor]: Taking taylor expansion of -1 in x
19.849 * [taylor]: Taking taylor expansion of (* (- y z) x) in x
19.849 * [taylor]: Taking taylor expansion of (- y z) in x
19.849 * [taylor]: Taking taylor expansion of y in x
19.849 * [taylor]: Taking taylor expansion of z in x
19.849 * [taylor]: Taking taylor expansion of x in x
19.849 * [taylor]: Taking taylor expansion of 0 in y
19.849 * [taylor]: Taking taylor expansion of 0 in z
19.851 * [taylor]: Taking taylor expansion of (- z y) in y
19.851 * [taylor]: Taking taylor expansion of z in y
19.851 * [taylor]: Taking taylor expansion of y in y
19.851 * [taylor]: Taking taylor expansion of z in z
19.851 * [taylor]: Taking taylor expansion of 0 in z
19.853 * [taylor]: Taking taylor expansion of 0 in y
19.853 * [taylor]: Taking taylor expansion of 0 in z
19.853 * [taylor]: Taking taylor expansion of -1 in z
19.853 * [taylor]: Taking taylor expansion of 0 in z
19.855 * [taylor]: Taking taylor expansion of 0 in y
19.855 * [taylor]: Taking taylor expansion of 0 in z
19.855 * [taylor]: Taking taylor expansion of 0 in z
19.856 * [taylor]: Taking taylor expansion of 0 in z
19.856 * [taylor]: Taking taylor expansion of 0 in z
19.856 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in (x y z) around 0
19.856 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in z
19.856 * [taylor]: Taking taylor expansion of -1 in z
19.856 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z
19.856 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
19.856 * [taylor]: Taking taylor expansion of (/ 1 y) in z
19.856 * [taylor]: Taking taylor expansion of y in z
19.856 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.856 * [taylor]: Taking taylor expansion of z in z
19.856 * [taylor]: Taking taylor expansion of x in z
19.857 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in y
19.857 * [taylor]: Taking taylor expansion of -1 in y
19.857 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y
19.857 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
19.857 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.857 * [taylor]: Taking taylor expansion of y in y
19.857 * [taylor]: Taking taylor expansion of (/ 1 z) in y
19.857 * [taylor]: Taking taylor expansion of z in y
19.857 * [taylor]: Taking taylor expansion of x in y
19.858 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in x
19.858 * [taylor]: Taking taylor expansion of -1 in x
19.858 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x
19.858 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
19.858 * [taylor]: Taking taylor expansion of (/ 1 y) in x
19.858 * [taylor]: Taking taylor expansion of y in x
19.858 * [taylor]: Taking taylor expansion of (/ 1 z) in x
19.858 * [taylor]: Taking taylor expansion of z in x
19.858 * [taylor]: Taking taylor expansion of x in x
19.858 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in x
19.858 * [taylor]: Taking taylor expansion of -1 in x
19.858 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x
19.858 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
19.858 * [taylor]: Taking taylor expansion of (/ 1 y) in x
19.858 * [taylor]: Taking taylor expansion of y in x
19.858 * [taylor]: Taking taylor expansion of (/ 1 z) in x
19.858 * [taylor]: Taking taylor expansion of z in x
19.858 * [taylor]: Taking taylor expansion of x in x
19.858 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 y) (/ 1 z))) in y
19.858 * [taylor]: Taking taylor expansion of -1 in y
19.858 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
19.859 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.859 * [taylor]: Taking taylor expansion of y in y
19.859 * [taylor]: Taking taylor expansion of (/ 1 z) in y
19.859 * [taylor]: Taking taylor expansion of z in y
19.859 * [taylor]: Taking taylor expansion of -1 in z
19.861 * [taylor]: Taking taylor expansion of 0 in y
19.862 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.862 * [taylor]: Taking taylor expansion of z in z
19.864 * [taylor]: Taking taylor expansion of 0 in y
19.864 * [taylor]: Taking taylor expansion of 0 in z
19.866 * [taylor]: Taking taylor expansion of 0 in z
19.869 * [taylor]: Taking taylor expansion of 0 in y
19.869 * [taylor]: Taking taylor expansion of 0 in z
19.869 * [taylor]: Taking taylor expansion of 0 in z
19.870 * [taylor]: Taking taylor expansion of 0 in z
19.871 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in (x y z) around 0
19.871 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z
19.871 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
19.871 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.871 * [taylor]: Taking taylor expansion of z in z
19.872 * [taylor]: Taking taylor expansion of (/ 1 y) in z
19.872 * [taylor]: Taking taylor expansion of y in z
19.872 * [taylor]: Taking taylor expansion of x in z
19.872 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y
19.872 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
19.872 * [taylor]: Taking taylor expansion of (/ 1 z) in y
19.872 * [taylor]: Taking taylor expansion of z in y
19.872 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.872 * [taylor]: Taking taylor expansion of y in y
19.872 * [taylor]: Taking taylor expansion of x in y
19.873 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x
19.873 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
19.873 * [taylor]: Taking taylor expansion of (/ 1 z) in x
19.873 * [taylor]: Taking taylor expansion of z in x
19.873 * [taylor]: Taking taylor expansion of (/ 1 y) in x
19.873 * [taylor]: Taking taylor expansion of y in x
19.873 * [taylor]: Taking taylor expansion of x in x
19.874 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x
19.874 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
19.874 * [taylor]: Taking taylor expansion of (/ 1 z) in x
19.874 * [taylor]: Taking taylor expansion of z in x
19.874 * [taylor]: Taking taylor expansion of (/ 1 y) in x
19.874 * [taylor]: Taking taylor expansion of y in x
19.874 * [taylor]: Taking taylor expansion of x in x
19.874 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
19.874 * [taylor]: Taking taylor expansion of (/ 1 z) in y
19.874 * [taylor]: Taking taylor expansion of z in y
19.874 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.874 * [taylor]: Taking taylor expansion of y in y
19.875 * [taylor]: Taking taylor expansion of -1 in z
19.876 * [taylor]: Taking taylor expansion of 0 in y
19.877 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.877 * [taylor]: Taking taylor expansion of z in z
19.879 * [taylor]: Taking taylor expansion of 0 in y
19.879 * [taylor]: Taking taylor expansion of 0 in z
19.880 * [taylor]: Taking taylor expansion of 0 in z
19.882 * [taylor]: Taking taylor expansion of 0 in y
19.882 * [taylor]: Taking taylor expansion of 0 in z
19.882 * [taylor]: Taking taylor expansion of 0 in z
19.883 * [taylor]: Taking taylor expansion of 0 in z
19.884 * * * * [progress]: [ 2 / 4 ] generating series at (2)
19.885 * [approximate]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in (x y t z) around 0
19.885 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in z
19.885 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in z
19.885 * [taylor]: Taking taylor expansion of (* x z) in z
19.885 * [taylor]: Taking taylor expansion of x in z
19.885 * [taylor]: Taking taylor expansion of z in z
19.885 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z
19.885 * [taylor]: Taking taylor expansion of x in z
19.885 * [taylor]: Taking taylor expansion of (* t y) in z
19.885 * [taylor]: Taking taylor expansion of t in z
19.885 * [taylor]: Taking taylor expansion of y in z
19.885 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z
19.885 * [taylor]: Taking taylor expansion of (* t z) in z
19.885 * [taylor]: Taking taylor expansion of t in z
19.885 * [taylor]: Taking taylor expansion of z in z
19.885 * [taylor]: Taking taylor expansion of (* x y) in z
19.885 * [taylor]: Taking taylor expansion of x in z
19.885 * [taylor]: Taking taylor expansion of y in z
19.885 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in t
19.885 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in t
19.885 * [taylor]: Taking taylor expansion of (* x z) in t
19.885 * [taylor]: Taking taylor expansion of x in t
19.885 * [taylor]: Taking taylor expansion of z in t
19.885 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t
19.885 * [taylor]: Taking taylor expansion of x in t
19.885 * [taylor]: Taking taylor expansion of (* t y) in t
19.885 * [taylor]: Taking taylor expansion of t in t
19.885 * [taylor]: Taking taylor expansion of y in t
19.885 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t
19.885 * [taylor]: Taking taylor expansion of (* t z) in t
19.885 * [taylor]: Taking taylor expansion of t in t
19.885 * [taylor]: Taking taylor expansion of z in t
19.885 * [taylor]: Taking taylor expansion of (* x y) in t
19.885 * [taylor]: Taking taylor expansion of x in t
19.885 * [taylor]: Taking taylor expansion of y in t
19.885 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in y
19.885 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in y
19.885 * [taylor]: Taking taylor expansion of (* x z) in y
19.885 * [taylor]: Taking taylor expansion of x in y
19.885 * [taylor]: Taking taylor expansion of z in y
19.885 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y
19.885 * [taylor]: Taking taylor expansion of x in y
19.885 * [taylor]: Taking taylor expansion of (* t y) in y
19.885 * [taylor]: Taking taylor expansion of t in y
19.885 * [taylor]: Taking taylor expansion of y in y
19.885 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y
19.885 * [taylor]: Taking taylor expansion of (* t z) in y
19.885 * [taylor]: Taking taylor expansion of t in y
19.885 * [taylor]: Taking taylor expansion of z in y
19.885 * [taylor]: Taking taylor expansion of (* x y) in y
19.885 * [taylor]: Taking taylor expansion of x in y
19.885 * [taylor]: Taking taylor expansion of y in y
19.885 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
19.885 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
19.885 * [taylor]: Taking taylor expansion of (* x z) in x
19.885 * [taylor]: Taking taylor expansion of x in x
19.885 * [taylor]: Taking taylor expansion of z in x
19.886 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
19.886 * [taylor]: Taking taylor expansion of x in x
19.886 * [taylor]: Taking taylor expansion of (* t y) in x
19.886 * [taylor]: Taking taylor expansion of t in x
19.886 * [taylor]: Taking taylor expansion of y in x
19.886 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
19.886 * [taylor]: Taking taylor expansion of (* t z) in x
19.886 * [taylor]: Taking taylor expansion of t in x
19.886 * [taylor]: Taking taylor expansion of z in x
19.886 * [taylor]: Taking taylor expansion of (* x y) in x
19.886 * [taylor]: Taking taylor expansion of x in x
19.886 * [taylor]: Taking taylor expansion of y in x
19.886 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
19.886 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
19.886 * [taylor]: Taking taylor expansion of (* x z) in x
19.886 * [taylor]: Taking taylor expansion of x in x
19.886 * [taylor]: Taking taylor expansion of z in x
19.886 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
19.886 * [taylor]: Taking taylor expansion of x in x
19.886 * [taylor]: Taking taylor expansion of (* t y) in x
19.886 * [taylor]: Taking taylor expansion of t in x
19.886 * [taylor]: Taking taylor expansion of y in x
19.886 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
19.886 * [taylor]: Taking taylor expansion of (* t z) in x
19.886 * [taylor]: Taking taylor expansion of t in x
19.886 * [taylor]: Taking taylor expansion of z in x
19.886 * [taylor]: Taking taylor expansion of (* x y) in x
19.886 * [taylor]: Taking taylor expansion of x in x
19.886 * [taylor]: Taking taylor expansion of y in x
19.886 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in y
19.886 * [taylor]: Taking taylor expansion of (* t y) in y
19.886 * [taylor]: Taking taylor expansion of t in y
19.886 * [taylor]: Taking taylor expansion of y in y
19.886 * [taylor]: Taking taylor expansion of (* t z) in y
19.886 * [taylor]: Taking taylor expansion of t in y
19.886 * [taylor]: Taking taylor expansion of z in y
19.887 * [taylor]: Taking taylor expansion of (- (* t z)) in t
19.887 * [taylor]: Taking taylor expansion of (* t z) in t
19.887 * [taylor]: Taking taylor expansion of t in t
19.887 * [taylor]: Taking taylor expansion of z in t
19.887 * [taylor]: Taking taylor expansion of 0 in z
19.888 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in y
19.888 * [taylor]: Taking taylor expansion of (+ z 1) in y
19.888 * [taylor]: Taking taylor expansion of z in y
19.888 * [taylor]: Taking taylor expansion of 1 in y
19.888 * [taylor]: Taking taylor expansion of y in y
19.888 * [taylor]: Taking taylor expansion of (+ z 1) in t
19.889 * [taylor]: Taking taylor expansion of z in t
19.889 * [taylor]: Taking taylor expansion of 1 in t
19.889 * [taylor]: Taking taylor expansion of (+ z 1) in z
19.889 * [taylor]: Taking taylor expansion of z in z
19.889 * [taylor]: Taking taylor expansion of 1 in z
19.889 * [taylor]: Taking taylor expansion of t in t
19.889 * [taylor]: Taking taylor expansion of 0 in z
19.890 * [taylor]: Taking taylor expansion of (- z) in z
19.890 * [taylor]: Taking taylor expansion of z in z
19.893 * [taylor]: Taking taylor expansion of 0 in y
19.893 * [taylor]: Taking taylor expansion of 0 in t
19.893 * [taylor]: Taking taylor expansion of 0 in z
19.893 * [taylor]: Taking taylor expansion of -1 in t
19.894 * [taylor]: Taking taylor expansion of -1 in z
19.895 * [taylor]: Taking taylor expansion of 0 in t
19.895 * [taylor]: Taking taylor expansion of 0 in z
19.895 * [taylor]: Taking taylor expansion of 0 in z
19.895 * [taylor]: Taking taylor expansion of 1 in z
19.896 * [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
19.896 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z
19.896 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in z
19.896 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
19.896 * [taylor]: Taking taylor expansion of (* t y) in z
19.896 * [taylor]: Taking taylor expansion of t in z
19.896 * [taylor]: Taking taylor expansion of y in z
19.896 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in z
19.896 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
19.896 * [taylor]: Taking taylor expansion of (* x z) in z
19.896 * [taylor]: Taking taylor expansion of x in z
19.896 * [taylor]: Taking taylor expansion of z in z
19.896 * [taylor]: Taking taylor expansion of (/ 1 x) in z
19.896 * [taylor]: Taking taylor expansion of x in z
19.896 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
19.896 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
19.896 * [taylor]: Taking taylor expansion of (* t z) in z
19.896 * [taylor]: Taking taylor expansion of t in z
19.896 * [taylor]: Taking taylor expansion of z in z
19.897 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
19.897 * [taylor]: Taking taylor expansion of (* x y) in z
19.897 * [taylor]: Taking taylor expansion of x in z
19.897 * [taylor]: Taking taylor expansion of y in z
19.897 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t
19.897 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in t
19.897 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
19.897 * [taylor]: Taking taylor expansion of (* t y) in t
19.897 * [taylor]: Taking taylor expansion of t in t
19.897 * [taylor]: Taking taylor expansion of y in t
19.897 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in t
19.897 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
19.897 * [taylor]: Taking taylor expansion of (* x z) in t
19.897 * [taylor]: Taking taylor expansion of x in t
19.897 * [taylor]: Taking taylor expansion of z in t
19.897 * [taylor]: Taking taylor expansion of (/ 1 x) in t
19.897 * [taylor]: Taking taylor expansion of x in t
19.897 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
19.897 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
19.897 * [taylor]: Taking taylor expansion of (* t z) in t
19.897 * [taylor]: Taking taylor expansion of t in t
19.897 * [taylor]: Taking taylor expansion of z in t
19.898 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
19.898 * [taylor]: Taking taylor expansion of (* x y) in t
19.898 * [taylor]: Taking taylor expansion of x in t
19.898 * [taylor]: Taking taylor expansion of y in t
19.898 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
19.898 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in y
19.898 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.898 * [taylor]: Taking taylor expansion of (* t y) in y
19.898 * [taylor]: Taking taylor expansion of t in y
19.898 * [taylor]: Taking taylor expansion of y in y
19.898 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in y
19.898 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
19.898 * [taylor]: Taking taylor expansion of (* x z) in y
19.898 * [taylor]: Taking taylor expansion of x in y
19.898 * [taylor]: Taking taylor expansion of z in y
19.898 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.898 * [taylor]: Taking taylor expansion of x in y
19.898 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
19.898 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
19.898 * [taylor]: Taking taylor expansion of (* t z) in y
19.899 * [taylor]: Taking taylor expansion of t in y
19.899 * [taylor]: Taking taylor expansion of z in y
19.899 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
19.899 * [taylor]: Taking taylor expansion of (* x y) in y
19.899 * [taylor]: Taking taylor expansion of x in y
19.899 * [taylor]: Taking taylor expansion of y in y
19.899 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
19.899 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
19.899 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
19.899 * [taylor]: Taking taylor expansion of (* t y) in x
19.899 * [taylor]: Taking taylor expansion of t in x
19.899 * [taylor]: Taking taylor expansion of y in x
19.899 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
19.899 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
19.899 * [taylor]: Taking taylor expansion of (* x z) in x
19.899 * [taylor]: Taking taylor expansion of x in x
19.899 * [taylor]: Taking taylor expansion of z in x
19.899 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.900 * [taylor]: Taking taylor expansion of x in x
19.900 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
19.900 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
19.900 * [taylor]: Taking taylor expansion of (* t z) in x
19.900 * [taylor]: Taking taylor expansion of t in x
19.900 * [taylor]: Taking taylor expansion of z in x
19.900 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
19.900 * [taylor]: Taking taylor expansion of (* x y) in x
19.900 * [taylor]: Taking taylor expansion of x in x
19.900 * [taylor]: Taking taylor expansion of y in x
19.900 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
19.900 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
19.900 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
19.900 * [taylor]: Taking taylor expansion of (* t y) in x
19.900 * [taylor]: Taking taylor expansion of t in x
19.900 * [taylor]: Taking taylor expansion of y in x
19.900 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
19.900 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
19.900 * [taylor]: Taking taylor expansion of (* x z) in x
19.900 * [taylor]: Taking taylor expansion of x in x
19.900 * [taylor]: Taking taylor expansion of z in x
19.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.901 * [taylor]: Taking taylor expansion of x in x
19.901 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
19.901 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
19.901 * [taylor]: Taking taylor expansion of (* t z) in x
19.901 * [taylor]: Taking taylor expansion of t in x
19.901 * [taylor]: Taking taylor expansion of z in x
19.901 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
19.901 * [taylor]: Taking taylor expansion of (* x y) in x
19.901 * [taylor]: Taking taylor expansion of x in x
19.901 * [taylor]: Taking taylor expansion of y in x
19.902 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in y
19.902 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y
19.902 * [taylor]: Taking taylor expansion of (/ 1 z) in y
19.902 * [taylor]: Taking taylor expansion of z in y
19.902 * [taylor]: Taking taylor expansion of 1 in y
19.902 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.902 * [taylor]: Taking taylor expansion of y in y
19.903 * [taylor]: Taking taylor expansion of -1 in t
19.905 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
19.905 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.905 * [taylor]: Taking taylor expansion of (* t y) in y
19.905 * [taylor]: Taking taylor expansion of t in y
19.905 * [taylor]: Taking taylor expansion of y in y
19.905 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
19.905 * [taylor]: Taking taylor expansion of (* t z) in y
19.905 * [taylor]: Taking taylor expansion of t in y
19.905 * [taylor]: Taking taylor expansion of z in y
19.905 * [taylor]: Taking taylor expansion of (/ 1 t) in t
19.905 * [taylor]: Taking taylor expansion of t in t
19.906 * [taylor]: Taking taylor expansion of 1 in z
19.906 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in t
19.906 * [taylor]: Taking taylor expansion of (/ 1 z) in t
19.906 * [taylor]: Taking taylor expansion of z in t
19.906 * [taylor]: Taking taylor expansion of 1 in t
19.906 * [taylor]: Taking taylor expansion of -1 in z
19.910 * [taylor]: Taking taylor expansion of 0 in y
19.910 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in t
19.910 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
19.910 * [taylor]: Taking taylor expansion of (* t z) in t
19.911 * [taylor]: Taking taylor expansion of t in t
19.911 * [taylor]: Taking taylor expansion of z in t
19.911 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
19.911 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.911 * [taylor]: Taking taylor expansion of z in z
19.913 * [taylor]: Taking taylor expansion of 0 in t
19.913 * [taylor]: Taking taylor expansion of 0 in z
19.913 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
19.913 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.913 * [taylor]: Taking taylor expansion of z in z
19.913 * [taylor]: Taking taylor expansion of 1 in z
19.914 * [taylor]: Taking taylor expansion of 0 in z
19.915 * [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
19.915 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in z
19.915 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z
19.915 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
19.915 * [taylor]: Taking taylor expansion of (* x z) in z
19.915 * [taylor]: Taking taylor expansion of x in z
19.915 * [taylor]: Taking taylor expansion of z in z
19.915 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
19.915 * [taylor]: Taking taylor expansion of (* t y) in z
19.915 * [taylor]: Taking taylor expansion of t in z
19.915 * [taylor]: Taking taylor expansion of y in z
19.915 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in z
19.915 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
19.915 * [taylor]: Taking taylor expansion of (* t z) in z
19.915 * [taylor]: Taking taylor expansion of t in z
19.915 * [taylor]: Taking taylor expansion of z in z
19.916 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z
19.916 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
19.916 * [taylor]: Taking taylor expansion of (* x y) in z
19.916 * [taylor]: Taking taylor expansion of x in z
19.916 * [taylor]: Taking taylor expansion of y in z
19.916 * [taylor]: Taking taylor expansion of (/ 1 x) in z
19.916 * [taylor]: Taking taylor expansion of x in z
19.916 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in t
19.916 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t
19.916 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
19.916 * [taylor]: Taking taylor expansion of (* x z) in t
19.916 * [taylor]: Taking taylor expansion of x in t
19.916 * [taylor]: Taking taylor expansion of z in t
19.916 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
19.916 * [taylor]: Taking taylor expansion of (* t y) in t
19.916 * [taylor]: Taking taylor expansion of t in t
19.916 * [taylor]: Taking taylor expansion of y in t
19.916 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in t
19.916 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
19.916 * [taylor]: Taking taylor expansion of (* t z) in t
19.916 * [taylor]: Taking taylor expansion of t in t
19.916 * [taylor]: Taking taylor expansion of z in t
19.917 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in t
19.917 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
19.917 * [taylor]: Taking taylor expansion of (* x y) in t
19.917 * [taylor]: Taking taylor expansion of x in t
19.917 * [taylor]: Taking taylor expansion of y in t
19.917 * [taylor]: Taking taylor expansion of (/ 1 x) in t
19.917 * [taylor]: Taking taylor expansion of x in t
19.917 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in y
19.917 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y
19.917 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
19.917 * [taylor]: Taking taylor expansion of (* x z) in y
19.917 * [taylor]: Taking taylor expansion of x in y
19.917 * [taylor]: Taking taylor expansion of z in y
19.917 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.917 * [taylor]: Taking taylor expansion of (* t y) in y
19.917 * [taylor]: Taking taylor expansion of t in y
19.917 * [taylor]: Taking taylor expansion of y in y
19.917 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in y
19.918 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
19.918 * [taylor]: Taking taylor expansion of (* t z) in y
19.918 * [taylor]: Taking taylor expansion of t in y
19.918 * [taylor]: Taking taylor expansion of z in y
19.918 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
19.918 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
19.918 * [taylor]: Taking taylor expansion of (* x y) in y
19.918 * [taylor]: Taking taylor expansion of x in y
19.918 * [taylor]: Taking taylor expansion of y in y
19.918 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.918 * [taylor]: Taking taylor expansion of x in y
19.918 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
19.918 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
19.918 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
19.918 * [taylor]: Taking taylor expansion of (* x z) in x
19.918 * [taylor]: Taking taylor expansion of x in x
19.918 * [taylor]: Taking taylor expansion of z in x
19.918 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
19.919 * [taylor]: Taking taylor expansion of (* t y) in x
19.919 * [taylor]: Taking taylor expansion of t in x
19.919 * [taylor]: Taking taylor expansion of y in x
19.919 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
19.919 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
19.919 * [taylor]: Taking taylor expansion of (* t z) in x
19.919 * [taylor]: Taking taylor expansion of t in x
19.919 * [taylor]: Taking taylor expansion of z in x
19.919 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
19.919 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
19.919 * [taylor]: Taking taylor expansion of (* x y) in x
19.919 * [taylor]: Taking taylor expansion of x in x
19.919 * [taylor]: Taking taylor expansion of y in x
19.919 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.919 * [taylor]: Taking taylor expansion of x in x
19.919 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
19.919 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
19.919 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
19.920 * [taylor]: Taking taylor expansion of (* x z) in x
19.920 * [taylor]: Taking taylor expansion of x in x
19.920 * [taylor]: Taking taylor expansion of z in x
19.920 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
19.920 * [taylor]: Taking taylor expansion of (* t y) in x
19.920 * [taylor]: Taking taylor expansion of t in x
19.920 * [taylor]: Taking taylor expansion of y in x
19.920 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
19.920 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
19.920 * [taylor]: Taking taylor expansion of (* t z) in x
19.920 * [taylor]: Taking taylor expansion of t in x
19.920 * [taylor]: Taking taylor expansion of z in x
19.920 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
19.920 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
19.920 * [taylor]: Taking taylor expansion of (* x y) in x
19.920 * [taylor]: Taking taylor expansion of x in x
19.920 * [taylor]: Taking taylor expansion of y in x
19.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.921 * [taylor]: Taking taylor expansion of x in x
19.921 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in y
19.921 * [taylor]: Taking taylor expansion of (/ 1 z) in y
19.921 * [taylor]: Taking taylor expansion of z in y
19.921 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
19.921 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.921 * [taylor]: Taking taylor expansion of y in y
19.921 * [taylor]: Taking taylor expansion of 1 in y
19.922 * [taylor]: Taking taylor expansion of -1 in t
19.925 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
19.925 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.925 * [taylor]: Taking taylor expansion of (* t y) in y
19.925 * [taylor]: Taking taylor expansion of t in y
19.925 * [taylor]: Taking taylor expansion of y in y
19.925 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
19.925 * [taylor]: Taking taylor expansion of (* t z) in y
19.925 * [taylor]: Taking taylor expansion of t in y
19.925 * [taylor]: Taking taylor expansion of z in y
19.925 * [taylor]: Taking taylor expansion of (/ 1 t) in t
19.925 * [taylor]: Taking taylor expansion of t in t
19.926 * [taylor]: Taking taylor expansion of 1 in z
19.927 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in t
19.927 * [taylor]: Taking taylor expansion of (/ 1 z) in t
19.927 * [taylor]: Taking taylor expansion of z in t
19.927 * [taylor]: Taking taylor expansion of 1 in t
19.927 * [taylor]: Taking taylor expansion of -1 in z
19.934 * [taylor]: Taking taylor expansion of 0 in y
19.935 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in t
19.935 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
19.935 * [taylor]: Taking taylor expansion of (* t z) in t
19.935 * [taylor]: Taking taylor expansion of t in t
19.935 * [taylor]: Taking taylor expansion of z in t
19.935 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
19.935 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.935 * [taylor]: Taking taylor expansion of z in z
19.937 * [taylor]: Taking taylor expansion of 0 in t
19.937 * [taylor]: Taking taylor expansion of 0 in z
19.938 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in z
19.938 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.938 * [taylor]: Taking taylor expansion of z in z
19.938 * [taylor]: Taking taylor expansion of 1 in z
19.938 * [taylor]: Taking taylor expansion of 0 in z
19.939 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
19.939 * [approximate]: Taking taylor expansion of (+ x (* t y)) in (x y t) around 0
19.939 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t
19.939 * [taylor]: Taking taylor expansion of x in t
19.939 * [taylor]: Taking taylor expansion of (* t y) in t
19.939 * [taylor]: Taking taylor expansion of t in t
19.939 * [taylor]: Taking taylor expansion of y in t
19.939 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y
19.939 * [taylor]: Taking taylor expansion of x in y
19.939 * [taylor]: Taking taylor expansion of (* t y) in y
19.939 * [taylor]: Taking taylor expansion of t in y
19.939 * [taylor]: Taking taylor expansion of y in y
19.939 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
19.939 * [taylor]: Taking taylor expansion of x in x
19.939 * [taylor]: Taking taylor expansion of (* t y) in x
19.939 * [taylor]: Taking taylor expansion of t in x
19.939 * [taylor]: Taking taylor expansion of y in x
19.940 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
19.940 * [taylor]: Taking taylor expansion of x in x
19.940 * [taylor]: Taking taylor expansion of (* t y) in x
19.940 * [taylor]: Taking taylor expansion of t in x
19.940 * [taylor]: Taking taylor expansion of y in x
19.940 * [taylor]: Taking taylor expansion of (* t y) in y
19.940 * [taylor]: Taking taylor expansion of t in y
19.940 * [taylor]: Taking taylor expansion of y in y
19.940 * [taylor]: Taking taylor expansion of 0 in t
19.940 * [taylor]: Taking taylor expansion of 1 in y
19.940 * [taylor]: Taking taylor expansion of 1 in t
19.941 * [taylor]: Taking taylor expansion of t in t
19.941 * [taylor]: Taking taylor expansion of 0 in y
19.941 * [taylor]: Taking taylor expansion of 0 in t
19.941 * [taylor]: Taking taylor expansion of 0 in t
19.942 * [taylor]: Taking taylor expansion of 0 in t
19.942 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in (x y t) around 0
19.942 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in t
19.942 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
19.942 * [taylor]: Taking taylor expansion of (* t y) in t
19.942 * [taylor]: Taking taylor expansion of t in t
19.942 * [taylor]: Taking taylor expansion of y in t
19.942 * [taylor]: Taking taylor expansion of (/ 1 x) in t
19.942 * [taylor]: Taking taylor expansion of x in t
19.942 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in y
19.942 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.942 * [taylor]: Taking taylor expansion of (* t y) in y
19.942 * [taylor]: Taking taylor expansion of t in y
19.942 * [taylor]: Taking taylor expansion of y in y
19.943 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.943 * [taylor]: Taking taylor expansion of x in y
19.943 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in x
19.943 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
19.943 * [taylor]: Taking taylor expansion of (* t y) in x
19.943 * [taylor]: Taking taylor expansion of t in x
19.943 * [taylor]: Taking taylor expansion of y in x
19.943 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.943 * [taylor]: Taking taylor expansion of x in x
19.943 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in x
19.943 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
19.943 * [taylor]: Taking taylor expansion of (* t y) in x
19.943 * [taylor]: Taking taylor expansion of t in x
19.943 * [taylor]: Taking taylor expansion of y in x
19.943 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.943 * [taylor]: Taking taylor expansion of x in x
19.944 * [taylor]: Taking taylor expansion of 1 in y
19.945 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.945 * [taylor]: Taking taylor expansion of (* t y) in y
19.945 * [taylor]: Taking taylor expansion of t in y
19.945 * [taylor]: Taking taylor expansion of y in y
19.945 * [taylor]: Taking taylor expansion of (/ 1 t) in t
19.945 * [taylor]: Taking taylor expansion of t in t
19.945 * [taylor]: Taking taylor expansion of 1 in t
19.946 * [taylor]: Taking taylor expansion of 0 in y
19.947 * [taylor]: Taking taylor expansion of 0 in t
19.947 * [taylor]: Taking taylor expansion of 0 in t
19.948 * [taylor]: Taking taylor expansion of 0 in y
19.948 * [taylor]: Taking taylor expansion of 0 in t
19.949 * [taylor]: Taking taylor expansion of 0 in t
19.949 * [taylor]: Taking taylor expansion of 0 in t
19.951 * [taylor]: Taking taylor expansion of 0 in y
19.951 * [taylor]: Taking taylor expansion of 0 in t
19.951 * [taylor]: Taking taylor expansion of 0 in t
19.952 * [taylor]: Taking taylor expansion of 0 in t
19.952 * [taylor]: Taking taylor expansion of 0 in t
19.952 * [approximate]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 x)) in (x y t) around 0
19.952 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 x)) in t
19.952 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
19.952 * [taylor]: Taking taylor expansion of (* t y) in t
19.952 * [taylor]: Taking taylor expansion of t in t
19.952 * [taylor]: Taking taylor expansion of y in t
19.952 * [taylor]: Taking taylor expansion of (/ 1 x) in t
19.952 * [taylor]: Taking taylor expansion of x in t
19.952 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 x)) in y
19.953 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.953 * [taylor]: Taking taylor expansion of (* t y) in y
19.953 * [taylor]: Taking taylor expansion of t in y
19.953 * [taylor]: Taking taylor expansion of y in y
19.953 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.953 * [taylor]: Taking taylor expansion of x in y
19.953 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 x)) in x
19.953 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
19.953 * [taylor]: Taking taylor expansion of (* t y) in x
19.953 * [taylor]: Taking taylor expansion of t in x
19.953 * [taylor]: Taking taylor expansion of y in x
19.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.953 * [taylor]: Taking taylor expansion of x in x
19.953 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 x)) in x
19.953 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
19.953 * [taylor]: Taking taylor expansion of (* t y) in x
19.953 * [taylor]: Taking taylor expansion of t in x
19.953 * [taylor]: Taking taylor expansion of y in x
19.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.954 * [taylor]: Taking taylor expansion of x in x
19.954 * [taylor]: Taking taylor expansion of -1 in y
19.955 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.955 * [taylor]: Taking taylor expansion of (* t y) in y
19.955 * [taylor]: Taking taylor expansion of t in y
19.955 * [taylor]: Taking taylor expansion of y in y
19.955 * [taylor]: Taking taylor expansion of (/ 1 t) in t
19.955 * [taylor]: Taking taylor expansion of t in t
19.956 * [taylor]: Taking taylor expansion of -1 in t
19.957 * [taylor]: Taking taylor expansion of 0 in y
19.957 * [taylor]: Taking taylor expansion of 0 in t
19.957 * [taylor]: Taking taylor expansion of 0 in t
19.959 * [taylor]: Taking taylor expansion of 0 in y
19.959 * [taylor]: Taking taylor expansion of 0 in t
19.960 * [taylor]: Taking taylor expansion of 0 in t
19.960 * [taylor]: Taking taylor expansion of 0 in t
19.962 * [taylor]: Taking taylor expansion of 0 in y
19.962 * [taylor]: Taking taylor expansion of 0 in t
19.962 * [taylor]: Taking taylor expansion of 0 in t
19.963 * [taylor]: Taking taylor expansion of 0 in t
19.963 * [taylor]: Taking taylor expansion of 0 in t
19.963 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
19.963 * [approximate]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in (x y t z) around 0
19.963 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in z
19.963 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z
19.963 * [taylor]: Taking taylor expansion of x in z
19.963 * [taylor]: Taking taylor expansion of (* t y) in z
19.963 * [taylor]: Taking taylor expansion of t in z
19.963 * [taylor]: Taking taylor expansion of y in z
19.963 * [taylor]: Taking taylor expansion of (* t z) in z
19.963 * [taylor]: Taking taylor expansion of t in z
19.963 * [taylor]: Taking taylor expansion of z in z
19.963 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in t
19.963 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t
19.963 * [taylor]: Taking taylor expansion of x in t
19.963 * [taylor]: Taking taylor expansion of (* t y) in t
19.963 * [taylor]: Taking taylor expansion of t in t
19.963 * [taylor]: Taking taylor expansion of y in t
19.964 * [taylor]: Taking taylor expansion of (* t z) in t
19.964 * [taylor]: Taking taylor expansion of t in t
19.964 * [taylor]: Taking taylor expansion of z in t
19.964 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in y
19.964 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y
19.964 * [taylor]: Taking taylor expansion of x in y
19.964 * [taylor]: Taking taylor expansion of (* t y) in y
19.964 * [taylor]: Taking taylor expansion of t in y
19.964 * [taylor]: Taking taylor expansion of y in y
19.964 * [taylor]: Taking taylor expansion of (* t z) in y
19.964 * [taylor]: Taking taylor expansion of t in y
19.964 * [taylor]: Taking taylor expansion of z in y
19.964 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in x
19.964 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
19.964 * [taylor]: Taking taylor expansion of x in x
19.964 * [taylor]: Taking taylor expansion of (* t y) in x
19.964 * [taylor]: Taking taylor expansion of t in x
19.964 * [taylor]: Taking taylor expansion of y in x
19.964 * [taylor]: Taking taylor expansion of (* t z) in x
19.964 * [taylor]: Taking taylor expansion of t in x
19.964 * [taylor]: Taking taylor expansion of z in x
19.964 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in x
19.964 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
19.964 * [taylor]: Taking taylor expansion of x in x
19.964 * [taylor]: Taking taylor expansion of (* t y) in x
19.964 * [taylor]: Taking taylor expansion of t in x
19.964 * [taylor]: Taking taylor expansion of y in x
19.964 * [taylor]: Taking taylor expansion of (* t z) in x
19.964 * [taylor]: Taking taylor expansion of t in x
19.964 * [taylor]: Taking taylor expansion of z in x
19.964 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in y
19.964 * [taylor]: Taking taylor expansion of (* t y) in y
19.964 * [taylor]: Taking taylor expansion of t in y
19.964 * [taylor]: Taking taylor expansion of y in y
19.964 * [taylor]: Taking taylor expansion of (* t z) in y
19.964 * [taylor]: Taking taylor expansion of t in y
19.964 * [taylor]: Taking taylor expansion of z in y
19.964 * [taylor]: Taking taylor expansion of (- (* t z)) in t
19.964 * [taylor]: Taking taylor expansion of (* t z) in t
19.964 * [taylor]: Taking taylor expansion of t in t
19.964 * [taylor]: Taking taylor expansion of z in t
19.965 * [taylor]: Taking taylor expansion of 0 in z
19.966 * [taylor]: Taking taylor expansion of 1 in y
19.966 * [taylor]: Taking taylor expansion of 1 in t
19.966 * [taylor]: Taking taylor expansion of 1 in z
19.966 * [taylor]: Taking taylor expansion of t in t
19.966 * [taylor]: Taking taylor expansion of 0 in z
19.967 * [taylor]: Taking taylor expansion of (- z) in z
19.967 * [taylor]: Taking taylor expansion of z in z
19.968 * [taylor]: Taking taylor expansion of 0 in y
19.968 * [taylor]: Taking taylor expansion of 0 in t
19.968 * [taylor]: Taking taylor expansion of 0 in z
19.968 * [taylor]: Taking taylor expansion of 0 in t
19.968 * [taylor]: Taking taylor expansion of 0 in z
19.969 * [taylor]: Taking taylor expansion of 0 in t
19.969 * [taylor]: Taking taylor expansion of 0 in z
19.970 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in (x y t z) around 0
19.970 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in z
19.970 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in z
19.970 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
19.970 * [taylor]: Taking taylor expansion of (* t y) in z
19.970 * [taylor]: Taking taylor expansion of t in z
19.970 * [taylor]: Taking taylor expansion of y in z
19.970 * [taylor]: Taking taylor expansion of (/ 1 x) in z
19.970 * [taylor]: Taking taylor expansion of x in z
19.970 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
19.970 * [taylor]: Taking taylor expansion of (* t z) in z
19.970 * [taylor]: Taking taylor expansion of t in z
19.970 * [taylor]: Taking taylor expansion of z in z
19.970 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in t
19.970 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in t
19.970 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
19.970 * [taylor]: Taking taylor expansion of (* t y) in t
19.970 * [taylor]: Taking taylor expansion of t in t
19.970 * [taylor]: Taking taylor expansion of y in t
19.971 * [taylor]: Taking taylor expansion of (/ 1 x) in t
19.971 * [taylor]: Taking taylor expansion of x in t
19.971 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
19.971 * [taylor]: Taking taylor expansion of (* t z) in t
19.971 * [taylor]: Taking taylor expansion of t in t
19.971 * [taylor]: Taking taylor expansion of z in t
19.971 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in y
19.971 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in y
19.971 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.971 * [taylor]: Taking taylor expansion of (* t y) in y
19.971 * [taylor]: Taking taylor expansion of t in y
19.971 * [taylor]: Taking taylor expansion of y in y
19.972 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.972 * [taylor]: Taking taylor expansion of x in y
19.972 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
19.972 * [taylor]: Taking taylor expansion of (* t z) in y
19.972 * [taylor]: Taking taylor expansion of t in y
19.972 * [taylor]: Taking taylor expansion of z in y
19.972 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in x
19.972 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in x
19.972 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
19.972 * [taylor]: Taking taylor expansion of (* t y) in x
19.972 * [taylor]: Taking taylor expansion of t in x
19.972 * [taylor]: Taking taylor expansion of y in x
19.972 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.972 * [taylor]: Taking taylor expansion of x in x
19.972 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
19.972 * [taylor]: Taking taylor expansion of (* t z) in x
19.972 * [taylor]: Taking taylor expansion of t in x
19.972 * [taylor]: Taking taylor expansion of z in x
19.972 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in x
19.972 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in x
19.972 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
19.972 * [taylor]: Taking taylor expansion of (* t y) in x
19.972 * [taylor]: Taking taylor expansion of t in x
19.972 * [taylor]: Taking taylor expansion of y in x
19.972 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.972 * [taylor]: Taking taylor expansion of x in x
19.973 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
19.973 * [taylor]: Taking taylor expansion of (* t z) in x
19.973 * [taylor]: Taking taylor expansion of t in x
19.973 * [taylor]: Taking taylor expansion of z in x
19.973 * [taylor]: Taking taylor expansion of 1 in y
19.974 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
19.974 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.974 * [taylor]: Taking taylor expansion of (* t y) in y
19.974 * [taylor]: Taking taylor expansion of t in y
19.974 * [taylor]: Taking taylor expansion of y in y
19.975 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
19.975 * [taylor]: Taking taylor expansion of (* t z) in y
19.975 * [taylor]: Taking taylor expansion of t in y
19.975 * [taylor]: Taking taylor expansion of z in y
19.975 * [taylor]: Taking taylor expansion of (/ 1 t) in t
19.975 * [taylor]: Taking taylor expansion of t in t
19.975 * [taylor]: Taking taylor expansion of 1 in z
19.975 * [taylor]: Taking taylor expansion of 1 in t
19.977 * [taylor]: Taking taylor expansion of 0 in y
19.977 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in t
19.977 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
19.977 * [taylor]: Taking taylor expansion of (* t z) in t
19.977 * [taylor]: Taking taylor expansion of t in t
19.977 * [taylor]: Taking taylor expansion of z in t
19.978 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
19.978 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.978 * [taylor]: Taking taylor expansion of z in z
19.978 * [taylor]: Taking taylor expansion of 0 in t
19.979 * [taylor]: Taking taylor expansion of 0 in z
19.979 * [taylor]: Taking taylor expansion of 1 in z
19.981 * [taylor]: Taking taylor expansion of 0 in y
19.981 * [taylor]: Taking taylor expansion of 0 in t
19.982 * [taylor]: Taking taylor expansion of 0 in t
19.982 * [taylor]: Taking taylor expansion of 0 in t
19.983 * [taylor]: Taking taylor expansion of 0 in z
19.983 * [taylor]: Taking taylor expansion of 0 in z
19.983 * [taylor]: Taking taylor expansion of 0 in z
19.983 * [taylor]: Taking taylor expansion of 0 in z
19.985 * [approximate]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in (x y t z) around 0
19.985 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in z
19.985 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
19.985 * [taylor]: Taking taylor expansion of (* t y) in z
19.985 * [taylor]: Taking taylor expansion of t in z
19.985 * [taylor]: Taking taylor expansion of y in z
19.985 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in z
19.985 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
19.985 * [taylor]: Taking taylor expansion of (* t z) in z
19.985 * [taylor]: Taking taylor expansion of t in z
19.985 * [taylor]: Taking taylor expansion of z in z
19.985 * [taylor]: Taking taylor expansion of (/ 1 x) in z
19.985 * [taylor]: Taking taylor expansion of x in z
19.985 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in t
19.985 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
19.985 * [taylor]: Taking taylor expansion of (* t y) in t
19.986 * [taylor]: Taking taylor expansion of t in t
19.986 * [taylor]: Taking taylor expansion of y in t
19.986 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in t
19.986 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
19.986 * [taylor]: Taking taylor expansion of (* t z) in t
19.986 * [taylor]: Taking taylor expansion of t in t
19.986 * [taylor]: Taking taylor expansion of z in t
19.986 * [taylor]: Taking taylor expansion of (/ 1 x) in t
19.986 * [taylor]: Taking taylor expansion of x in t
19.986 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in y
19.986 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.986 * [taylor]: Taking taylor expansion of (* t y) in y
19.986 * [taylor]: Taking taylor expansion of t in y
19.986 * [taylor]: Taking taylor expansion of y in y
19.987 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in y
19.987 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
19.987 * [taylor]: Taking taylor expansion of (* t z) in y
19.987 * [taylor]: Taking taylor expansion of t in y
19.987 * [taylor]: Taking taylor expansion of z in y
19.987 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.987 * [taylor]: Taking taylor expansion of x in y
19.987 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in x
19.987 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
19.987 * [taylor]: Taking taylor expansion of (* t y) in x
19.987 * [taylor]: Taking taylor expansion of t in x
19.987 * [taylor]: Taking taylor expansion of y in x
19.987 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in x
19.987 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
19.987 * [taylor]: Taking taylor expansion of (* t z) in x
19.987 * [taylor]: Taking taylor expansion of t in x
19.988 * [taylor]: Taking taylor expansion of z in x
19.988 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.988 * [taylor]: Taking taylor expansion of x in x
19.988 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in x
19.988 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
19.988 * [taylor]: Taking taylor expansion of (* t y) in x
19.988 * [taylor]: Taking taylor expansion of t in x
19.988 * [taylor]: Taking taylor expansion of y in x
19.988 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in x
19.988 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
19.988 * [taylor]: Taking taylor expansion of (* t z) in x
19.988 * [taylor]: Taking taylor expansion of t in x
19.988 * [taylor]: Taking taylor expansion of z in x
19.988 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.988 * [taylor]: Taking taylor expansion of x in x
19.989 * [taylor]: Taking taylor expansion of -1 in y
19.990 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
19.990 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.990 * [taylor]: Taking taylor expansion of (* t y) in y
19.990 * [taylor]: Taking taylor expansion of t in y
19.990 * [taylor]: Taking taylor expansion of y in y
19.990 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
19.990 * [taylor]: Taking taylor expansion of (* t z) in y
19.990 * [taylor]: Taking taylor expansion of t in y
19.990 * [taylor]: Taking taylor expansion of z in y
19.990 * [taylor]: Taking taylor expansion of (/ 1 t) in t
19.990 * [taylor]: Taking taylor expansion of t in t
19.991 * [taylor]: Taking taylor expansion of 1 in z
19.991 * [taylor]: Taking taylor expansion of -1 in t
19.992 * [taylor]: Taking taylor expansion of 0 in y
19.993 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in t
19.993 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
19.993 * [taylor]: Taking taylor expansion of (* t z) in t
19.993 * [taylor]: Taking taylor expansion of t in t
19.993 * [taylor]: Taking taylor expansion of z in t
19.993 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
19.993 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.993 * [taylor]: Taking taylor expansion of z in z
19.994 * [taylor]: Taking taylor expansion of 0 in t
19.994 * [taylor]: Taking taylor expansion of 0 in z
19.994 * [taylor]: Taking taylor expansion of -1 in z
19.996 * [taylor]: Taking taylor expansion of 0 in y
19.996 * [taylor]: Taking taylor expansion of 0 in t
19.997 * [taylor]: Taking taylor expansion of 0 in t
19.998 * [taylor]: Taking taylor expansion of 0 in t
19.998 * [taylor]: Taking taylor expansion of 0 in z
19.998 * [taylor]: Taking taylor expansion of 0 in z
19.999 * [taylor]: Taking taylor expansion of 0 in z
19.999 * [taylor]: Taking taylor expansion of 0 in z
20.001 * * * [progress]: simplifying candidates
20.002 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (- 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)))
  (* (* (* (exp x) (exp (* y t))) (exp (* (- z) t))) (exp (* (- x) (- y z))))
  (* (* (exp (+ x (* y t))) (exp (* (- 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 (* y t)) 3) (pow (* (- z) t) 3)) (+ (* y y) (+ (* z z) (* y z)))) (* (+ (* (+ x (* y t)) (+ x (* y t))) (- (* (* (- z) t) (* (- z) t)) (* (+ x (* y t)) (* (- z) t)))) (* (- x) (- (pow y 3) (pow z 3)))))
  (* (+ (* (+ x (* y t)) (+ x (* y t))) (- (* (* (- z) t) (* (- z) t)) (* (+ x (* y t)) (* (- z) t)))) (+ (* y y) (+ (* z z) (* y z))))
  (+ (* (+ (pow (+ x (* y t)) 3) (pow (* (- z) t) 3)) (+ y z)) (* (+ (* (+ x (* y t)) (+ x (* y t))) (- (* (* (- z) t) (* (- z) t)) (* (+ x (* y t)) (* (- z) t)))) (* (- x) (- (* y y) (* z z)))))
  (* (+ (* (+ x (* y t)) (+ x (* y t))) (- (* (* (- z) t) (* (- z) t)) (* (+ x (* y t)) (* (- z) t)))) (+ y z))
  (+ (* (- (* (+ x (* y t)) (+ x (* y t))) (* (* (- z) 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 (* y t)) (+ x (* y t))) (* (* (- z) 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)))
  (+ (* (- z) t) (* (- x) (- y z)))
  (- (* z t) (* (- x) (- y z)))
  (- (* z t) (* (- x) (- y z)))
  (* (exp x) (exp (* y t)))
  (log (+ x (* y t)))
  (exp (+ x (* y t)))
  (* (cbrt (+ x (* y t))) (cbrt (+ x (* y t))))
  (cbrt (+ x (* y t)))
  (* (* (+ x (* y t)) (+ x (* y t))) (+ x (* y t)))
  (sqrt (+ x (* y t)))
  (sqrt (+ x (* y t)))
  (+ (pow x 3) (pow (* y t) 3))
  (+ (* x x) (- (* (* y t) (* y t)) (* x (* y t))))
  (- (* x x) (* (* y t) (* y t)))
  (- x (* y t))
  (* (* (exp x) (exp (* y t))) (exp (* (- z) t)))
  (* (exp (+ x (* y t))) (exp (* (- z) t)))
  (log (+ (+ x (* y t)) (* (- z) t)))
  (exp (+ (+ x (* y t)) (* (- z) t)))
  (* (cbrt (+ (+ x (* y t)) (* (- z) t))) (cbrt (+ (+ x (* y t)) (* (- z) t))))
  (cbrt (+ (+ x (* y t)) (* (- z) t)))
  (* (* (+ (+ x (* y t)) (* (- z) t)) (+ (+ x (* y t)) (* (- z) t))) (+ (+ x (* y t)) (* (- z) t)))
  (sqrt (+ (+ x (* y t)) (* (- z) t)))
  (sqrt (+ (+ x (* y t)) (* (- z) t)))
  (+ (pow (+ x (* y t)) 3) (pow (* (- z) t) 3))
  (+ (* (+ x (* y t)) (+ x (* y t))) (- (* (* (- z) t) (* (- z) t)) (* (+ x (* y t)) (* (- z) t))))
  (- (* (+ x (* y t)) (+ x (* y t))) (* (* (- z) t) (* (- z) t)))
  (- (+ x (* y t)) (* (- z) t))
  (+ (* y t) (* (- z) t))
  (- (* x z) (* x y))
  (- (* x z) (* x y))
  (- (* x z) (* x y))
  (- (+ (* t y) x) (* x y))
  (- (+ (* x z) (* t y)) (* t z))
  (- (+ (* x z) (* t y)) (* t z))
  x
  (+ x (* t y))
  (+ x (* t y))
  x
  (- (+ x (* t y)) (* t z))
  (- (+ x (* t y)) (* t z))
20.007 * * [simplify]: iteration  0 :  160  enodes  (cost  1496 )
20.040 * * [simplify]: iteration  1 :  496  enodes  (cost  1265 )
20.180 * * [simplify]: iteration  2 :  2060  enodes  (cost  1190 )
20.903 * * [simplify]: iteration  done :  5001  enodes  (cost  1176 )
20.903 * [simplify]: Simplified to:
   (* (- 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))
  (* (- x) (- z))
  (* y (- x))
  (* (- x) (- z))
  (* y (- x))
  (* (- x) (- z))
  (* y (- x))
  (* (- x) (- z))
  (* (- 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)))
  (exp (- (+ x (* t (- y z))) (* (- y z) x)))
  (exp (- (+ x (* t (- y z))) (* (- y z) x)))
  (exp (- (+ x (* t (- y z))) (* (- y z) x)))
  (log (- (+ x (* t (- y z))) (* (- y z) x)))
  (exp (- (+ x (* t (- y z))) (* (- y z) x)))
  (* (cbrt (- (+ x (* t (- y z))) (* (- y z) x))) (cbrt (- (+ x (* t (- y z))) (* (- y z) x))))
  (cbrt (- (+ x (* t (- y z))) (* (- y z) x)))
  (pow (- (+ x (* t (- y z))) (* (- y z) x)) 3)
  (sqrt (- (+ x (* t (- y z))) (* (- y z) x)))
  (sqrt (- (+ x (* t (- y z))) (* (- y z) x)))
  (- (* (- (pow (+ x (* t y)) 3) (pow (* t z) 3)) (+ (* z (+ y z)) (* y y))) (* (* x (- (pow y 3) (pow z 3))) (- (* (+ x (* y t)) (+ x (* y t))) (* (* t z) (- (* (- z) t) (+ x (* y t)))))))
  (* (- (* (+ x (* y t)) (+ x (* y t))) (* (* t z) (- (* (- z) t) (+ x (* y t))))) (+ (* z (+ y z)) (* y y)))
  (- (* (+ y z) (- (pow (+ x (* t y)) 3) (pow (* t z) 3))) (* (* x (- (* y y) (* z z))) (- (* (+ x (* y t)) (+ x (* y t))) (* (* t z) (- (* (- z) t) (+ x (* y t)))))))
  (* (- (* (+ x (* y t)) (+ x (* y t))) (* (* t z) (- (* (- z) t) (+ x (* y t))))) (+ y z))
  (- (* (+ (* z (+ y z)) (* y y)) (* (+ x (* t (- y z))) (+ x (* t (- y (- z)))))) (* (* x (- (pow y 3) (pow z 3))) (+ x (* t (- y (- z))))))
  (* (+ (* z (+ y z)) (* y y)) (+ x (* t (- y (- z)))))
  (- (* (* (+ y z) (+ x (* t (- y z)))) (+ x (* t (- y (- z))))) (* (* x (- (* y y) (* z z))) (+ x (* t (- y (- 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))))
  (- (+ x (* t (- y z))) (* x y))
  (- (+ x (* t (- y z))) (* x y))
  (- (+ x (* t (- y z))) (* x y))
  (- (+ x (* t (- y z))) (* x y))
  (- (* (- x) (- y z)) (* t z))
  (+ (* z t) (* (- y z) x))
  (+ (* z t) (* (- y z) x))
  (exp (+ x (* y t)))
  (log (+ x (* y t)))
  (exp (+ x (* y t)))
  (* (cbrt (+ x (* y t))) (cbrt (+ x (* y t))))
  (cbrt (+ x (* y t)))
  (pow (+ x (* t y)) 3)
  (sqrt (+ x (* y t)))
  (sqrt (+ x (* y t)))
  (+ (pow x 3) (pow (* y t) 3))
  (+ (* x x) (* (* y t) (- (* y t) x)))
  (- (* x x) (* (* y t) (* y t)))
  (- x (* y t))
  (exp (+ x (* t (- y z))))
  (exp (+ x (* t (- y z))))
  (log (+ x (* t (- y z))))
  (exp (+ x (* t (- y z))))
  (* (cbrt (+ x (* t (- y z)))) (cbrt (+ x (* t (- y z)))))
  (cbrt (+ x (* t (- y z))))
  (pow (+ x (* t (- y z))) 3)
  (sqrt (+ x (* t (- y z))))
  (sqrt (+ x (* t (- y z))))
  (- (pow (+ x (* t y)) 3) (pow (* t z) 3))
  (- (* (+ x (* y t)) (+ x (* y t))) (* (* t z) (- (* (- z) t) (+ x (* y t)))))
  (* (+ x (* t (- y z))) (+ x (* t (- y (- z)))))
  (+ x (* t (- y (- z))))
  (* (- y z) t)
  (* x (- z y))
  (* x (- z y))
  (* x (- z y))
  (- (+ (* t y) x) (* x y))
  (+ (* x z) (* (- y z) t))
  (+ (* x z) (* (- y z) t))
  x
  (+ x (* y t))
  (+ x (* y t))
  x
  (+ x (* t (- y z)))
  (+ x (* t (- y z)))
20.904 * * * [progress]: adding candidates to table
21.137 * * [progress]: iteration 4 / 4
21.137 * * * [progress]: picking best candidate
21.144 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (+ x (* t (- y z))) (* (* (cbrt (- x)) (cbrt (- x))) (* (cbrt (- x)) (- y z)))))>
21.144 * * * [progress]: localizing error
21.157 * * * [progress]: generating rewritten candidates
21.157 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
21.158 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
21.159 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
21.160 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
21.177 * * * [progress]: generating series expansions
21.177 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
21.178 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in (x) around 0
21.178 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in x
21.178 * [taylor]: Taking taylor expansion of (cbrt -1) in x
21.178 * [taylor]: Taking taylor expansion of -1 in x
21.179 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
21.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
21.180 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
21.180 * [taylor]: Taking taylor expansion of 1/3 in x
21.180 * [taylor]: Taking taylor expansion of (log x) in x
21.180 * [taylor]: Taking taylor expansion of x in x
21.180 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in x
21.180 * [taylor]: Taking taylor expansion of (cbrt -1) in x
21.180 * [taylor]: Taking taylor expansion of -1 in x
21.181 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
21.181 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
21.181 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
21.181 * [taylor]: Taking taylor expansion of 1/3 in x
21.181 * [taylor]: Taking taylor expansion of (log x) in x
21.181 * [taylor]: Taking taylor expansion of x in x
21.248 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
21.248 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
21.248 * [taylor]: Taking taylor expansion of (cbrt -1) in x
21.248 * [taylor]: Taking taylor expansion of -1 in x
21.249 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
21.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
21.249 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
21.249 * [taylor]: Taking taylor expansion of 1/3 in x
21.249 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
21.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.249 * [taylor]: Taking taylor expansion of x in x
21.250 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
21.250 * [taylor]: Taking taylor expansion of (cbrt -1) in x
21.250 * [taylor]: Taking taylor expansion of -1 in x
21.250 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
21.250 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
21.250 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
21.250 * [taylor]: Taking taylor expansion of 1/3 in x
21.250 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
21.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.250 * [taylor]: Taking taylor expansion of x in x
21.319 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
21.319 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
21.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
21.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
21.319 * [taylor]: Taking taylor expansion of 1/3 in x
21.319 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
21.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.319 * [taylor]: Taking taylor expansion of x in x
21.320 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
21.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
21.320 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
21.320 * [taylor]: Taking taylor expansion of 1/3 in x
21.320 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
21.320 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.320 * [taylor]: Taking taylor expansion of x in x
21.378 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
21.378 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in (x) around 0
21.378 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in x
21.378 * [taylor]: Taking taylor expansion of (cbrt -1) in x
21.378 * [taylor]: Taking taylor expansion of -1 in x
21.379 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
21.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
21.379 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
21.379 * [taylor]: Taking taylor expansion of 1/3 in x
21.379 * [taylor]: Taking taylor expansion of (log x) in x
21.379 * [taylor]: Taking taylor expansion of x in x
21.380 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in x
21.380 * [taylor]: Taking taylor expansion of (cbrt -1) in x
21.380 * [taylor]: Taking taylor expansion of -1 in x
21.380 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
21.380 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
21.380 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
21.380 * [taylor]: Taking taylor expansion of 1/3 in x
21.380 * [taylor]: Taking taylor expansion of (log x) in x
21.380 * [taylor]: Taking taylor expansion of x in x
21.447 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
21.447 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
21.447 * [taylor]: Taking taylor expansion of (cbrt -1) in x
21.447 * [taylor]: Taking taylor expansion of -1 in x
21.448 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
21.448 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
21.448 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
21.448 * [taylor]: Taking taylor expansion of 1/3 in x
21.448 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
21.448 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.448 * [taylor]: Taking taylor expansion of x in x
21.449 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
21.449 * [taylor]: Taking taylor expansion of (cbrt -1) in x
21.449 * [taylor]: Taking taylor expansion of -1 in x
21.450 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
21.450 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
21.450 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
21.450 * [taylor]: Taking taylor expansion of 1/3 in x
21.450 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
21.450 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.450 * [taylor]: Taking taylor expansion of x in x
21.523 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
21.523 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
21.523 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
21.523 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
21.523 * [taylor]: Taking taylor expansion of 1/3 in x
21.523 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
21.523 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.523 * [taylor]: Taking taylor expansion of x in x
21.524 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
21.524 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
21.524 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
21.524 * [taylor]: Taking taylor expansion of 1/3 in x
21.524 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
21.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.524 * [taylor]: Taking taylor expansion of x in x
21.578 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
21.579 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in (x) around 0
21.579 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in x
21.579 * [taylor]: Taking taylor expansion of (cbrt -1) in x
21.579 * [taylor]: Taking taylor expansion of -1 in x
21.579 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
21.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
21.580 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
21.580 * [taylor]: Taking taylor expansion of 1/3 in x
21.580 * [taylor]: Taking taylor expansion of (log x) in x
21.580 * [taylor]: Taking taylor expansion of x in x
21.580 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in x
21.580 * [taylor]: Taking taylor expansion of (cbrt -1) in x
21.580 * [taylor]: Taking taylor expansion of -1 in x
21.581 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
21.581 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
21.581 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
21.581 * [taylor]: Taking taylor expansion of 1/3 in x
21.581 * [taylor]: Taking taylor expansion of (log x) in x
21.581 * [taylor]: Taking taylor expansion of x in x
21.650 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
21.650 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
21.650 * [taylor]: Taking taylor expansion of (cbrt -1) in x
21.650 * [taylor]: Taking taylor expansion of -1 in x
21.651 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
21.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
21.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
21.651 * [taylor]: Taking taylor expansion of 1/3 in x
21.651 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
21.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.651 * [taylor]: Taking taylor expansion of x in x
21.652 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
21.652 * [taylor]: Taking taylor expansion of (cbrt -1) in x
21.652 * [taylor]: Taking taylor expansion of -1 in x
21.652 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
21.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
21.652 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
21.652 * [taylor]: Taking taylor expansion of 1/3 in x
21.652 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
21.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.652 * [taylor]: Taking taylor expansion of x in x
21.726 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
21.726 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
21.726 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
21.726 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
21.726 * [taylor]: Taking taylor expansion of 1/3 in x
21.726 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
21.726 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.726 * [taylor]: Taking taylor expansion of x in x
21.727 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
21.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
21.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
21.727 * [taylor]: Taking taylor expansion of 1/3 in x
21.727 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
21.727 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.727 * [taylor]: Taking taylor expansion of x in x
21.788 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
21.788 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3)) in (x) around 0
21.788 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3)) in x
21.788 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
21.788 * [taylor]: Taking taylor expansion of (cbrt -1) in x
21.788 * [taylor]: Taking taylor expansion of -1 in x
21.789 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
21.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
21.789 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
21.789 * [taylor]: Taking taylor expansion of 1/3 in x
21.789 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
21.789 * [taylor]: Taking taylor expansion of (pow x 2) in x
21.789 * [taylor]: Taking taylor expansion of x in x
21.790 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3)) in x
21.790 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
21.790 * [taylor]: Taking taylor expansion of (cbrt -1) in x
21.790 * [taylor]: Taking taylor expansion of -1 in x
21.791 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
21.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
21.791 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
21.791 * [taylor]: Taking taylor expansion of 1/3 in x
21.791 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
21.791 * [taylor]: Taking taylor expansion of (pow x 2) in x
21.791 * [taylor]: Taking taylor expansion of x in x
21.868 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in (x) around 0
21.868 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
21.868 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
21.868 * [taylor]: Taking taylor expansion of (cbrt -1) in x
21.868 * [taylor]: Taking taylor expansion of -1 in x
21.869 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
21.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
21.869 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
21.869 * [taylor]: Taking taylor expansion of 1/3 in x
21.869 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
21.869 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
21.869 * [taylor]: Taking taylor expansion of (pow x 2) in x
21.869 * [taylor]: Taking taylor expansion of x in x
21.870 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
21.870 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
21.870 * [taylor]: Taking taylor expansion of (cbrt -1) in x
21.870 * [taylor]: Taking taylor expansion of -1 in x
21.871 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
21.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
21.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
21.871 * [taylor]: Taking taylor expansion of 1/3 in x
21.871 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
21.871 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
21.871 * [taylor]: Taking taylor expansion of (pow x 2) in x
21.871 * [taylor]: Taking taylor expansion of x in x
21.951 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
21.951 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
21.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
21.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
21.951 * [taylor]: Taking taylor expansion of 1/3 in x
21.951 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
21.951 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
21.951 * [taylor]: Taking taylor expansion of (pow x 2) in x
21.951 * [taylor]: Taking taylor expansion of x in x
21.952 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
21.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
21.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
21.952 * [taylor]: Taking taylor expansion of 1/3 in x
21.952 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
21.952 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
21.952 * [taylor]: Taking taylor expansion of (pow x 2) in x
21.952 * [taylor]: Taking taylor expansion of x in x
22.016 * * * [progress]: simplifying candidates
22.018 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (- x)))
  (exp (cbrt (- x)))
  (cbrt (* (cbrt (- x)) (cbrt (- x))))
  (cbrt (cbrt (- x)))
  (cbrt (sqrt (- x)))
  (cbrt (sqrt (- x)))
  (cbrt 1)
  (cbrt (- x))
  (cbrt -1)
  (cbrt x)
  (cbrt (- (* (cbrt x) (cbrt x))))
  (cbrt (cbrt x))
  (cbrt (- (sqrt x)))
  (cbrt (sqrt x))
  (cbrt (- 1))
  (cbrt x)
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (- (cbrt x)))
  (cbrt (sqrt x))
  (cbrt (- (sqrt x)))
  (cbrt 1)
  (cbrt (- x))
  (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x))))
  (cbrt (cbrt (- x)))
  (* (* (cbrt (- x)) (cbrt (- x))) (cbrt (- x)))
  (sqrt (cbrt (- x)))
  (sqrt (cbrt (- x)))
  (log (cbrt (- x)))
  (exp (cbrt (- x)))
  (cbrt (* (cbrt (- x)) (cbrt (- x))))
  (cbrt (cbrt (- x)))
  (cbrt (sqrt (- x)))
  (cbrt (sqrt (- x)))
  (cbrt 1)
  (cbrt (- x))
  (cbrt -1)
  (cbrt x)
  (cbrt (- (* (cbrt x) (cbrt x))))
  (cbrt (cbrt x))
  (cbrt (- (sqrt x)))
  (cbrt (sqrt x))
  (cbrt (- 1))
  (cbrt x)
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (- (cbrt x)))
  (cbrt (sqrt x))
  (cbrt (- (sqrt x)))
  (cbrt 1)
  (cbrt (- x))
  (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x))))
  (cbrt (cbrt (- x)))
  (* (* (cbrt (- x)) (cbrt (- x))) (cbrt (- x)))
  (sqrt (cbrt (- x)))
  (sqrt (cbrt (- x)))
  (log (cbrt (- x)))
  (exp (cbrt (- x)))
  (cbrt (* (cbrt (- x)) (cbrt (- x))))
  (cbrt (cbrt (- x)))
  (cbrt (sqrt (- x)))
  (cbrt (sqrt (- x)))
  (cbrt 1)
  (cbrt (- x))
  (cbrt -1)
  (cbrt x)
  (cbrt (- (* (cbrt x) (cbrt x))))
  (cbrt (cbrt x))
  (cbrt (- (sqrt x)))
  (cbrt (sqrt x))
  (cbrt (- 1))
  (cbrt x)
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (- (cbrt x)))
  (cbrt (sqrt x))
  (cbrt (- (sqrt x)))
  (cbrt 1)
  (cbrt (- x))
  (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x))))
  (cbrt (cbrt (- x)))
  (* (* (cbrt (- x)) (cbrt (- x))) (cbrt (- x)))
  (sqrt (cbrt (- x)))
  (sqrt (cbrt (- x)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (- x) (- x))
  (* (cbrt (- x)) (cbrt (- x)))
  (+ 1 1)
  (+ (log (cbrt (- x))) (log (cbrt (- x))))
  (log (* (cbrt (- x)) (cbrt (- x))))
  (exp (* (cbrt (- x)) (cbrt (- x))))
  (* (- x) (- x))
  (* (cbrt (* (cbrt (- x)) (cbrt (- x)))) (cbrt (* (cbrt (- x)) (cbrt (- x)))))
  (cbrt (* (cbrt (- x)) (cbrt (- x))))
  (* (* (* (cbrt (- x)) (cbrt (- x))) (* (cbrt (- x)) (cbrt (- x)))) (* (cbrt (- x)) (cbrt (- x))))
  (sqrt (* (cbrt (- x)) (cbrt (- x))))
  (sqrt (* (cbrt (- x)) (cbrt (- x))))
  (* (cbrt (* (cbrt (- x)) (cbrt (- x)))) (cbrt (* (cbrt (- x)) (cbrt (- x)))))
  (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x))))
  (* (cbrt (sqrt (- x))) (cbrt (sqrt (- x))))
  (* (cbrt (sqrt (- x))) (cbrt (sqrt (- x))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- x)) (cbrt (- x)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- x)) (cbrt (- x)))
  (* (cbrt -1) (cbrt -1))
  (* (cbrt x) (cbrt x))
  (* (cbrt (- (* (cbrt x) (cbrt x)))) (cbrt (- (* (cbrt x) (cbrt x)))))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (cbrt (- (sqrt x))) (cbrt (- (sqrt x))))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (- 1)) (cbrt (- 1)))
  (* (cbrt x) (cbrt x))
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt (- (cbrt x))) (cbrt (- (cbrt x))))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (- (sqrt x))) (cbrt (- (sqrt x))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- x)) (cbrt (- x)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- x)) (cbrt (- x)))
  (* (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x)))) (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x)))))
  (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x))))
  (* (sqrt (cbrt (- x))) (sqrt (cbrt (- x))))
  (* (sqrt (cbrt (- x))) (sqrt (cbrt (- x))))
  (* 1 1)
  (* (cbrt (- x)) (cbrt (- x)))
  (* (cbrt (sqrt (- x))) (cbrt (sqrt (- x))))
  (* (cbrt (sqrt (- x))) (cbrt (sqrt (- x))))
  (* (cbrt (sqrt (- x))) (sqrt (cbrt (- x))))
  (* (cbrt (sqrt (- x))) (sqrt (cbrt (- x))))
  (* (sqrt (cbrt (- x))) (cbrt (sqrt (- x))))
  (* (sqrt (cbrt (- x))) (cbrt (sqrt (- x))))
  (* (sqrt (cbrt (- x))) (sqrt (cbrt (- x))))
  (* (sqrt (cbrt (- x))) (sqrt (cbrt (- x))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (- x)) (cbrt (* (cbrt (- x)) (cbrt (- x)))))
  (* (cbrt (- x)) (cbrt (sqrt (- x))))
  (* (cbrt (- x)) (cbrt 1))
  (* (cbrt (- x)) (cbrt -1))
  (* (cbrt (- x)) (cbrt (- (* (cbrt x) (cbrt x)))))
  (* (cbrt (- x)) (cbrt (- (sqrt x))))
  (* (cbrt (- x)) (cbrt (- 1)))
  (* (cbrt (- x)) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt (- x)) (cbrt (sqrt x)))
  (* (cbrt (- x)) (cbrt 1))
  (* (cbrt (- x)) (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x)))))
  (* (cbrt (- x)) (sqrt (cbrt (- x))))
  (* (cbrt (- x)) 1)
  (* (cbrt (cbrt (- x))) (cbrt (- x)))
  (* (cbrt (sqrt (- x))) (cbrt (- x)))
  (* (cbrt (- x)) (cbrt (- x)))
  (* (cbrt x) (cbrt (- x)))
  (* (cbrt (cbrt x)) (cbrt (- x)))
  (* (cbrt (sqrt x)) (cbrt (- x)))
  (* (cbrt x) (cbrt (- x)))
  (* (cbrt (- (cbrt x))) (cbrt (- x)))
  (* (cbrt (- (sqrt x))) (cbrt (- x)))
  (* (cbrt (- x)) (cbrt (- x)))
  (* (cbrt (cbrt (- x))) (cbrt (- x)))
  (* (sqrt (cbrt (- x))) (cbrt (- x)))
  (* (cbrt (- x)) (cbrt (- x)))
  (* (cbrt -1) (pow x 1/3))
  (* (cbrt -1) (pow x 1/3))
  (pow (/ -1 x) -1/3)
  (* (cbrt -1) (pow x 1/3))
  (* (cbrt -1) (pow x 1/3))
  (pow (/ -1 x) -1/3)
  (* (cbrt -1) (pow x 1/3))
  (* (cbrt -1) (pow x 1/3))
  (pow (/ -1 x) -1/3)
  (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3))
  (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3))
  (pow (/ -1 x) -2/3)
22.021 * * [simplify]: iteration  0 :  91  enodes  (cost  1056 )
22.040 * * [simplify]: iteration  1 :  151  enodes  (cost  957 )
22.079 * * [simplify]: iteration  2 :  451  enodes  (cost  885 )
22.385 * * [simplify]: iteration  3 :  1913  enodes  (cost  840 )
23.280 * * [simplify]: iteration  done :  5000  enodes  (cost  840 )
23.281 * [simplify]: Simplified to:
   (log (cbrt (- x)))
  (exp (cbrt (- x)))
  (cbrt (pow (sqrt (cbrt (- x))) 4))
  (cbrt (cbrt (- x)))
  (cbrt (sqrt (- x)))
  (cbrt (sqrt (- x)))
  1
  (cbrt (- x))
  (cbrt -1)
  (cbrt x)
  (cbrt (- (pow x 2/3)))
  (cbrt (cbrt x))
  (cbrt (- (sqrt x)))
  (cbrt (sqrt x))
  (cbrt -1)
  (cbrt x)
  (cbrt (pow x 2/3))
  (cbrt (- (cbrt x)))
  (cbrt (sqrt x))
  (cbrt (- (sqrt x)))
  1
  (cbrt (- x))
  (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x))))
  (cbrt (cbrt (- x)))
  (- x)
  (sqrt (cbrt (- x)))
  (sqrt (cbrt (- x)))
  (log (cbrt (- x)))
  (exp (cbrt (- x)))
  (cbrt (pow (sqrt (cbrt (- x))) 4))
  (cbrt (cbrt (- x)))
  (cbrt (sqrt (- x)))
  (cbrt (sqrt (- x)))
  1
  (cbrt (- x))
  (cbrt -1)
  (cbrt x)
  (cbrt (- (pow x 2/3)))
  (cbrt (cbrt x))
  (cbrt (- (sqrt x)))
  (cbrt (sqrt x))
  (cbrt -1)
  (cbrt x)
  (cbrt (pow x 2/3))
  (cbrt (- (cbrt x)))
  (cbrt (sqrt x))
  (cbrt (- (sqrt x)))
  1
  (cbrt (- x))
  (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x))))
  (cbrt (cbrt (- x)))
  (- x)
  (sqrt (cbrt (- x)))
  (sqrt (cbrt (- x)))
  (log (cbrt (- x)))
  (exp (cbrt (- x)))
  (cbrt (pow (sqrt (cbrt (- x))) 4))
  (cbrt (cbrt (- x)))
  (cbrt (sqrt (- x)))
  (cbrt (sqrt (- x)))
  1
  (cbrt (- x))
  (cbrt -1)
  (cbrt x)
  (cbrt (- (pow x 2/3)))
  (cbrt (cbrt x))
  (cbrt (- (sqrt x)))
  (cbrt (sqrt x))
  (cbrt -1)
  (cbrt x)
  (cbrt (pow x 2/3))
  (cbrt (- (cbrt x)))
  (cbrt (sqrt x))
  (cbrt (- (sqrt x)))
  1
  (cbrt (- x))
  (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x))))
  (cbrt (cbrt (- x)))
  (- x)
  (sqrt (cbrt (- x)))
  (sqrt (cbrt (- x)))
  2/3
  2
  (pow x 2)
  (pow (sqrt (cbrt (- x))) 4)
  2
  (* 2 (log (cbrt (- x))))
  (* 2 (log (cbrt (- x))))
  (exp (pow (sqrt (cbrt (- x))) 4))
  (pow x 2)
  (* (cbrt (pow (sqrt (cbrt (- x))) 4)) (cbrt (pow (sqrt (cbrt (- x))) 4)))
  (cbrt (pow (sqrt (cbrt (- x))) 4))
  (pow x 2)
  (fabs (cbrt (- x)))
  (fabs (cbrt (- x)))
  (* (cbrt (pow (sqrt (cbrt (- x))) 4)) (cbrt (pow (sqrt (cbrt (- x))) 4)))
  (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x))))
  (* (cbrt (sqrt (- x))) (cbrt (sqrt (- x))))
  (* (cbrt (sqrt (- x))) (cbrt (sqrt (- x))))
  1
  (pow (sqrt (cbrt (- x))) 4)
  1
  (pow (sqrt (cbrt (- x))) 4)
  (pow (cbrt -1) 2)
  (pow x 2/3)
  (* (cbrt (- (pow x 2/3))) (cbrt (- (pow x 2/3))))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (cbrt (- (sqrt x))) (cbrt (- (sqrt x))))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (pow (cbrt -1) 2)
  (pow x 2/3)
  (* (cbrt (pow x 2/3)) (cbrt (pow x 2/3)))
  (* (cbrt (- (cbrt x))) (cbrt (- (cbrt x))))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (- (sqrt x))) (cbrt (- (sqrt x))))
  1
  (pow (sqrt (cbrt (- x))) 4)
  1
  (pow (sqrt (cbrt (- x))) 4)
  (pow (cbrt (cbrt (- x))) 4)
  (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x))))
  (cbrt (- x))
  (cbrt (- x))
  1
  (pow (sqrt (cbrt (- x))) 4)
  (* (cbrt (sqrt (- x))) (cbrt (sqrt (- x))))
  (* (cbrt (sqrt (- x))) (cbrt (sqrt (- x))))
  (* (sqrt (cbrt (- x))) (cbrt (sqrt (- x))))
  (* (sqrt (cbrt (- x))) (cbrt (sqrt (- x))))
  (* (sqrt (cbrt (- x))) (cbrt (sqrt (- x))))
  (* (sqrt (cbrt (- x))) (cbrt (sqrt (- x))))
  (cbrt (- x))
  (cbrt (- x))
  2/3
  2
  (* (cbrt (pow (sqrt (cbrt (- x))) 4)) (cbrt (- x)))
  (* (cbrt (sqrt (- x))) (cbrt (- x)))
  (cbrt (- x))
  (* (cbrt (- x)) (cbrt -1))
  (* (cbrt (- (pow x 2/3))) (cbrt (- x)))
  (* (cbrt (- (sqrt x))) (cbrt (- x)))
  (* (cbrt (- x)) (cbrt -1))
  (* (cbrt (pow x 2/3)) (cbrt (- x)))
  (* (cbrt (- x)) (cbrt (sqrt x)))
  (cbrt (- x))
  (* (cbrt (cbrt (- x))) (pow (cbrt (cbrt (- x))) 4))
  (pow (sqrt (cbrt (- x))) 3)
  (cbrt (- x))
  (pow (cbrt (cbrt (- x))) 4)
  (* (cbrt (sqrt (- x))) (cbrt (- x)))
  (pow (sqrt (cbrt (- x))) 4)
  (* (cbrt x) (cbrt (- x)))
  (* (cbrt (cbrt x)) (cbrt (- x)))
  (* (cbrt (- x)) (cbrt (sqrt x)))
  (* (cbrt x) (cbrt (- x)))
  (* (cbrt (- (cbrt x))) (cbrt (- x)))
  (* (cbrt (- (sqrt x))) (cbrt (- x)))
  (pow (sqrt (cbrt (- x))) 4)
  (pow (cbrt (cbrt (- x))) 4)
  (pow (sqrt (cbrt (- x))) 3)
  (pow (sqrt (cbrt (- x))) 4)
  (* (cbrt x) (cbrt -1))
  (* (cbrt x) (cbrt -1))
  (pow (/ -1 x) -1/3)
  (* (cbrt x) (cbrt -1))
  (* (cbrt x) (cbrt -1))
  (pow (/ -1 x) -1/3)
  (* (cbrt x) (cbrt -1))
  (* (cbrt x) (cbrt -1))
  (pow (/ -1 x) -1/3)
  (* (pow (cbrt -1) 2) (cbrt (pow x 2)))
  (* (pow (cbrt -1) 2) (cbrt (pow x 2)))
  (pow (/ -1 x) -2/3)
23.282 * * * [progress]: adding candidates to table
23.650 * [progress]: [Phase 3 of 3] Extracting.
23.650 * * [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 (* (* t (* (cbrt (- y z)) (cbrt (- y z)))) (cbrt (- y z)))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ (+ (+ x (* y t)) (* (- z) t)) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ (+ x (* t (- y z))) (* (* (cbrt (- x)) (cbrt (- x))) (* (cbrt (- x)) (- y z)))))>)
23.651 * * * [regime-changes]: Trying 5 branch expressions: ((- y z) t z y x)
23.651 * * * * [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 (* (* t (* (cbrt (- y z)) (cbrt (- y z)))) (cbrt (- y z)))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ (+ (+ x (* y t)) (* (- z) t)) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ (+ x (* t (- y z))) (* (* (cbrt (- x)) (cbrt (- x))) (* (cbrt (- x)) (- y z)))))>)
23.675 * * * * [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 (* (* t (* (cbrt (- y z)) (cbrt (- y z)))) (cbrt (- y z)))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ (+ x (* t (- y z))) (* (* (cbrt (- x)) (cbrt (- x))) (* (cbrt (- x)) (- y z)))))>)
23.692 * * * * [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 (* (* t (* (cbrt (- y z)) (cbrt (- y z)))) (cbrt (- y z)))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ (+ (+ x (* y t)) (* (- z) t)) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ (+ x (* t (- y z))) (* (* (cbrt (- x)) (cbrt (- x))) (* (cbrt (- x)) (- y z)))))>)
23.715 * * * * [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 (* (* t (* (cbrt (- y z)) (cbrt (- y z)))) (cbrt (- y z)))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ (+ (+ x (* y t)) (* (- z) t)) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ (+ x (* t (- y z))) (* (* (cbrt (- x)) (cbrt (- x))) (* (cbrt (- x)) (- y z)))))>)
23.737 * * * * [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 (* (* t (* (cbrt (- y z)) (cbrt (- y z)))) (cbrt (- y z)))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ (+ (+ x (* y t)) (* (- z) t)) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ (+ x (* t (- y z))) (* (* (cbrt (- x)) (cbrt (- x))) (* (cbrt (- x)) (- y z)))))>)
23.758 * * * * [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 (* (* t (* (cbrt (- y z)) (cbrt (- y z)))) (cbrt (- y z)))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ (+ (+ x (* y t)) (* (- z) t)) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ (+ x (* t (- y z))) (* (* (cbrt (- x)) (cbrt (- x))) (* (cbrt (- x)) (- y z)))))>)
23.781 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
23.781 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ (+ x (* y t)) (* (- z) t)) (* (- x) (- y z)))
23.781 * * [simplify]: iteration  0 :  13  enodes  (cost  17 )
23.782 * * [simplify]: iteration  1 :  23  enodes  (cost  17 )
23.783 * * [simplify]: iteration  2 :  29  enodes  (cost  17 )
23.784 * * [simplify]: iteration  3 :  31  enodes  (cost  17 )
23.785 * * [simplify]: iteration  done :  31  enodes  (cost  17 )
23.785 * [simplify]: Simplified to:
   (+ (+ (+ x (* y t)) (* (- z) t)) (* (- x) (- y z)))
24.541 * [regime-testing]: Baseline error score: 0.029253656707088387
24.541 * [regime-testing]: Oracle error score: 0.020502562820352545
24.542 * [regime-testing]: End program error score: 0.029253656707088387
24.566 * [regime-testing]: Target error score: 0.02825353169146143