14.596 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.019 * [progress]: [Phase 2 of 3] Improving.
0.019 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ x (* (- y z) (- t z)))
0.020 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.022 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
0.024 * * [simplify]: iteration  2 :  30  enodes  (cost  9 )
0.032 * * [simplify]: iteration  3 :  67  enodes  (cost  9 )
0.045 * * [simplify]: iteration  4 :  146  enodes  (cost  9 )
0.081 * * [simplify]: iteration  5 :  286  enodes  (cost  9 )
0.218 * * [simplify]: iteration  6 :  462  enodes  (cost  9 )
0.431 * * [simplify]: iteration  7 :  737  enodes  (cost  9 )
0.969 * * [simplify]: iteration  8 :  1097  enodes  (cost  9 )
1.762 * * [simplify]: iteration  9 :  1449  enodes  (cost  9 )
2.461 * * [simplify]: iteration  10 :  1517  enodes  (cost  9 )
2.964 * * [simplify]: iteration  11 :  1521  enodes  (cost  9 )
3.462 * * [simplify]: iteration  done :  1521  enodes  (cost  9 )
3.462 * [simplify]: Simplified to:
   (/ x (* (- y z) (- t z)))
3.463 * * [progress]: iteration 1 / 4
3.463 * * * [progress]: picking best candidate
3.464 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ x (* (- y z) (- t z))))>
3.465 * * * [progress]: localizing error
3.471 * * * [progress]: generating rewritten candidates
3.472 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
3.484 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
3.507 * * * [progress]: generating series expansions
3.507 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.508 * [approximate]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in (x y z t) around 0
3.508 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in t
3.508 * [taylor]: Taking taylor expansion of x in t
3.508 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in t
3.508 * [taylor]: Taking taylor expansion of (- y z) in t
3.508 * [taylor]: Taking taylor expansion of y in t
3.508 * [taylor]: Taking taylor expansion of z in t
3.508 * [taylor]: Taking taylor expansion of (- t z) in t
3.508 * [taylor]: Taking taylor expansion of t in t
3.508 * [taylor]: Taking taylor expansion of z in t
3.508 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in z
3.508 * [taylor]: Taking taylor expansion of x in z
3.508 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in z
3.508 * [taylor]: Taking taylor expansion of (- y z) in z
3.508 * [taylor]: Taking taylor expansion of y in z
3.508 * [taylor]: Taking taylor expansion of z in z
3.508 * [taylor]: Taking taylor expansion of (- t z) in z
3.508 * [taylor]: Taking taylor expansion of t in z
3.508 * [taylor]: Taking taylor expansion of z in z
3.509 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in y
3.509 * [taylor]: Taking taylor expansion of x in y
3.509 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
3.509 * [taylor]: Taking taylor expansion of (- y z) in y
3.509 * [taylor]: Taking taylor expansion of y in y
3.509 * [taylor]: Taking taylor expansion of z in y
3.509 * [taylor]: Taking taylor expansion of (- t z) in y
3.509 * [taylor]: Taking taylor expansion of t in y
3.509 * [taylor]: Taking taylor expansion of z in y
3.509 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in x
3.509 * [taylor]: Taking taylor expansion of x in x
3.510 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in x
3.510 * [taylor]: Taking taylor expansion of (- y z) in x
3.510 * [taylor]: Taking taylor expansion of y in x
3.510 * [taylor]: Taking taylor expansion of z in x
3.510 * [taylor]: Taking taylor expansion of (- t z) in x
3.510 * [taylor]: Taking taylor expansion of t in x
3.510 * [taylor]: Taking taylor expansion of z in x
3.510 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in x
3.510 * [taylor]: Taking taylor expansion of x in x
3.510 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in x
3.510 * [taylor]: Taking taylor expansion of (- y z) in x
3.510 * [taylor]: Taking taylor expansion of y in x
3.510 * [taylor]: Taking taylor expansion of z in x
3.510 * [taylor]: Taking taylor expansion of (- t z) in x
3.510 * [taylor]: Taking taylor expansion of t in x
3.510 * [taylor]: Taking taylor expansion of z in x
3.510 * [taylor]: Taking taylor expansion of (/ 1 (* (- y z) (- t z))) in y
3.510 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
3.510 * [taylor]: Taking taylor expansion of (- y z) in y
3.510 * [taylor]: Taking taylor expansion of y in y
3.510 * [taylor]: Taking taylor expansion of z in y
3.510 * [taylor]: Taking taylor expansion of (- t z) in y
3.510 * [taylor]: Taking taylor expansion of t in y
3.510 * [taylor]: Taking taylor expansion of z in y
3.510 * [taylor]: Taking taylor expansion of (/ -1 (* z (- t z))) in z
3.511 * [taylor]: Taking taylor expansion of -1 in z
3.511 * [taylor]: Taking taylor expansion of (* z (- t z)) in z
3.511 * [taylor]: Taking taylor expansion of z in z
3.511 * [taylor]: Taking taylor expansion of (- t z) in z
3.511 * [taylor]: Taking taylor expansion of t in z
3.511 * [taylor]: Taking taylor expansion of z in z
3.513 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t
3.513 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
3.513 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.513 * [taylor]: Taking taylor expansion of t in t
3.517 * [taylor]: Taking taylor expansion of 0 in y
3.517 * [taylor]: Taking taylor expansion of 0 in z
3.517 * [taylor]: Taking taylor expansion of 0 in t
3.519 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (- t z)))) in z
3.519 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (- t z))) in z
3.519 * [taylor]: Taking taylor expansion of (* (pow z 2) (- t z)) in z
3.519 * [taylor]: Taking taylor expansion of (pow z 2) in z
3.519 * [taylor]: Taking taylor expansion of z in z
3.519 * [taylor]: Taking taylor expansion of (- t z) in z
3.519 * [taylor]: Taking taylor expansion of t in z
3.519 * [taylor]: Taking taylor expansion of z in z
3.523 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 3))) in t
3.523 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
3.523 * [taylor]: Taking taylor expansion of (pow t 3) in t
3.523 * [taylor]: Taking taylor expansion of t in t
3.530 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 3))) in t
3.530 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
3.531 * [taylor]: Taking taylor expansion of (pow t 3) in t
3.531 * [taylor]: Taking taylor expansion of t in t
3.539 * [taylor]: Taking taylor expansion of 0 in y
3.539 * [taylor]: Taking taylor expansion of 0 in z
3.539 * [taylor]: Taking taylor expansion of 0 in t
3.539 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in (x y z t) around 0
3.539 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in t
3.539 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in t
3.539 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
3.539 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.539 * [taylor]: Taking taylor expansion of t in t
3.540 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.540 * [taylor]: Taking taylor expansion of z in t
3.540 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in t
3.540 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
3.540 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.540 * [taylor]: Taking taylor expansion of y in t
3.540 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.540 * [taylor]: Taking taylor expansion of z in t
3.540 * [taylor]: Taking taylor expansion of x in t
3.540 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in z
3.540 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in z
3.540 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
3.541 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.541 * [taylor]: Taking taylor expansion of t in z
3.541 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.541 * [taylor]: Taking taylor expansion of z in z
3.541 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in z
3.541 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
3.541 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.541 * [taylor]: Taking taylor expansion of y in z
3.541 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.541 * [taylor]: Taking taylor expansion of z in z
3.541 * [taylor]: Taking taylor expansion of x in z
3.542 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in y
3.542 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in y
3.542 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
3.543 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.543 * [taylor]: Taking taylor expansion of t in y
3.543 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.543 * [taylor]: Taking taylor expansion of z in y
3.543 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in y
3.543 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
3.543 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.543 * [taylor]: Taking taylor expansion of y in y
3.543 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.543 * [taylor]: Taking taylor expansion of z in y
3.543 * [taylor]: Taking taylor expansion of x in y
3.544 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in x
3.544 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in x
3.544 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
3.544 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.544 * [taylor]: Taking taylor expansion of t in x
3.544 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.544 * [taylor]: Taking taylor expansion of z in x
3.544 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x
3.544 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
3.544 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.544 * [taylor]: Taking taylor expansion of y in x
3.544 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.544 * [taylor]: Taking taylor expansion of z in x
3.544 * [taylor]: Taking taylor expansion of x in x
3.547 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in x
3.547 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in x
3.547 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
3.547 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.547 * [taylor]: Taking taylor expansion of t in x
3.547 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.547 * [taylor]: Taking taylor expansion of z in x
3.547 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x
3.547 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
3.547 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.547 * [taylor]: Taking taylor expansion of y in x
3.547 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.547 * [taylor]: Taking taylor expansion of z in x
3.547 * [taylor]: Taking taylor expansion of x in x
3.551 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y))))) in y
3.551 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y)))) in y
3.551 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 (pow z 2))) in y
3.551 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
3.551 * [taylor]: Taking taylor expansion of (* t y) in y
3.551 * [taylor]: Taking taylor expansion of t in y
3.551 * [taylor]: Taking taylor expansion of y in y
3.551 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
3.551 * [taylor]: Taking taylor expansion of (pow z 2) in y
3.551 * [taylor]: Taking taylor expansion of z in y
3.552 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* z y))) in y
3.552 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
3.552 * [taylor]: Taking taylor expansion of (* t z) in y
3.552 * [taylor]: Taking taylor expansion of t in y
3.552 * [taylor]: Taking taylor expansion of z in y
3.552 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.552 * [taylor]: Taking taylor expansion of (* z y) in y
3.552 * [taylor]: Taking taylor expansion of z in y
3.552 * [taylor]: Taking taylor expansion of y in y
3.553 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 z))) in z
3.553 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
3.553 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.553 * [taylor]: Taking taylor expansion of t in z
3.553 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.553 * [taylor]: Taking taylor expansion of z in z
3.555 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
3.555 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.555 * [taylor]: Taking taylor expansion of t in t
3.560 * [taylor]: Taking taylor expansion of 0 in y
3.560 * [taylor]: Taking taylor expansion of 0 in z
3.560 * [taylor]: Taking taylor expansion of 0 in t
3.562 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z))) (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2)))) in z
3.562 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z))) in z
3.562 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z)) in z
3.562 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
3.562 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
3.562 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.562 * [taylor]: Taking taylor expansion of t in z
3.562 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.562 * [taylor]: Taking taylor expansion of z in z
3.563 * [taylor]: Taking taylor expansion of (* t z) in z
3.564 * [taylor]: Taking taylor expansion of t in z
3.564 * [taylor]: Taking taylor expansion of z in z
3.565 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2))) in z
3.566 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2)) in z
3.566 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
3.566 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
3.566 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.566 * [taylor]: Taking taylor expansion of t in z
3.566 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.566 * [taylor]: Taking taylor expansion of z in z
3.567 * [taylor]: Taking taylor expansion of (pow z 2) in z
3.567 * [taylor]: Taking taylor expansion of z in z
3.583 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t
3.583 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
3.583 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.583 * [taylor]: Taking taylor expansion of t in t
3.589 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t
3.589 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
3.589 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.589 * [taylor]: Taking taylor expansion of t in t
3.597 * [taylor]: Taking taylor expansion of 0 in y
3.597 * [taylor]: Taking taylor expansion of 0 in z
3.597 * [taylor]: Taking taylor expansion of 0 in t
3.598 * [approximate]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in (x y z t) around 0
3.598 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in t
3.598 * [taylor]: Taking taylor expansion of -1 in t
3.598 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in t
3.598 * [taylor]: Taking taylor expansion of x in t
3.598 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in t
3.598 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
3.598 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.598 * [taylor]: Taking taylor expansion of z in t
3.598 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.598 * [taylor]: Taking taylor expansion of t in t
3.598 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
3.598 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.598 * [taylor]: Taking taylor expansion of z in t
3.599 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.599 * [taylor]: Taking taylor expansion of y in t
3.599 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in z
3.599 * [taylor]: Taking taylor expansion of -1 in z
3.600 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in z
3.600 * [taylor]: Taking taylor expansion of x in z
3.600 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in z
3.600 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
3.600 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.600 * [taylor]: Taking taylor expansion of z in z
3.600 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.600 * [taylor]: Taking taylor expansion of t in z
3.600 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
3.600 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.600 * [taylor]: Taking taylor expansion of z in z
3.600 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.600 * [taylor]: Taking taylor expansion of y in z
3.601 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in y
3.602 * [taylor]: Taking taylor expansion of -1 in y
3.602 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in y
3.602 * [taylor]: Taking taylor expansion of x in y
3.602 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y
3.602 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
3.602 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.602 * [taylor]: Taking taylor expansion of z in y
3.602 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.602 * [taylor]: Taking taylor expansion of t in y
3.602 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
3.602 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.602 * [taylor]: Taking taylor expansion of z in y
3.602 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.602 * [taylor]: Taking taylor expansion of y in y
3.603 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in x
3.603 * [taylor]: Taking taylor expansion of -1 in x
3.603 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in x
3.603 * [taylor]: Taking taylor expansion of x in x
3.603 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in x
3.603 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
3.603 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.603 * [taylor]: Taking taylor expansion of z in x
3.603 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.603 * [taylor]: Taking taylor expansion of t in x
3.603 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
3.603 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.603 * [taylor]: Taking taylor expansion of z in x
3.603 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.603 * [taylor]: Taking taylor expansion of y in x
3.606 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in x
3.606 * [taylor]: Taking taylor expansion of -1 in x
3.606 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in x
3.606 * [taylor]: Taking taylor expansion of x in x
3.606 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in x
3.606 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
3.606 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.606 * [taylor]: Taking taylor expansion of z in x
3.606 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.606 * [taylor]: Taking taylor expansion of t in x
3.606 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
3.606 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.606 * [taylor]: Taking taylor expansion of z in x
3.606 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.606 * [taylor]: Taking taylor expansion of y in x
3.609 * [taylor]: Taking taylor expansion of (/ -1 (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y))))) in y
3.609 * [taylor]: Taking taylor expansion of -1 in y
3.609 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y)))) in y
3.609 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 (pow z 2))) in y
3.609 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
3.609 * [taylor]: Taking taylor expansion of (* t y) in y
3.609 * [taylor]: Taking taylor expansion of t in y
3.609 * [taylor]: Taking taylor expansion of y in y
3.610 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
3.610 * [taylor]: Taking taylor expansion of (pow z 2) in y
3.610 * [taylor]: Taking taylor expansion of z in y
3.610 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* z y))) in y
3.610 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
3.610 * [taylor]: Taking taylor expansion of (* t z) in y
3.610 * [taylor]: Taking taylor expansion of t in y
3.610 * [taylor]: Taking taylor expansion of z in y
3.610 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.610 * [taylor]: Taking taylor expansion of (* z y) in y
3.610 * [taylor]: Taking taylor expansion of z in y
3.610 * [taylor]: Taking taylor expansion of y in y
3.611 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 t) (/ 1 z))) in z
3.611 * [taylor]: Taking taylor expansion of -1 in z
3.611 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
3.611 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.611 * [taylor]: Taking taylor expansion of t in z
3.611 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.611 * [taylor]: Taking taylor expansion of z in z
3.614 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.614 * [taylor]: Taking taylor expansion of t in t
3.618 * [taylor]: Taking taylor expansion of 0 in y
3.618 * [taylor]: Taking taylor expansion of 0 in z
3.618 * [taylor]: Taking taylor expansion of 0 in t
3.621 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2))) (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z)))) in z
3.621 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2))) in z
3.621 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2)) in z
3.621 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
3.621 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
3.621 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.621 * [taylor]: Taking taylor expansion of t in z
3.621 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.621 * [taylor]: Taking taylor expansion of z in z
3.622 * [taylor]: Taking taylor expansion of (pow z 2) in z
3.622 * [taylor]: Taking taylor expansion of z in z
3.623 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z))) in z
3.623 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z)) in z
3.623 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
3.623 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
3.623 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.623 * [taylor]: Taking taylor expansion of t in z
3.623 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.623 * [taylor]: Taking taylor expansion of z in z
3.624 * [taylor]: Taking taylor expansion of (* t z) in z
3.624 * [taylor]: Taking taylor expansion of t in z
3.624 * [taylor]: Taking taylor expansion of z in z
3.634 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
3.634 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.634 * [taylor]: Taking taylor expansion of t in t
3.639 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
3.639 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.639 * [taylor]: Taking taylor expansion of t in t
3.647 * [taylor]: Taking taylor expansion of 0 in y
3.647 * [taylor]: Taking taylor expansion of 0 in z
3.648 * [taylor]: Taking taylor expansion of 0 in t
3.648 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
3.648 * [approximate]: Taking taylor expansion of (* (- y z) (- t z)) in (y z t) around 0
3.648 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in t
3.648 * [taylor]: Taking taylor expansion of (- y z) in t
3.648 * [taylor]: Taking taylor expansion of y in t
3.648 * [taylor]: Taking taylor expansion of z in t
3.648 * [taylor]: Taking taylor expansion of (- t z) in t
3.648 * [taylor]: Taking taylor expansion of t in t
3.648 * [taylor]: Taking taylor expansion of z in t
3.648 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in z
3.648 * [taylor]: Taking taylor expansion of (- y z) in z
3.648 * [taylor]: Taking taylor expansion of y in z
3.648 * [taylor]: Taking taylor expansion of z in z
3.648 * [taylor]: Taking taylor expansion of (- t z) in z
3.648 * [taylor]: Taking taylor expansion of t in z
3.648 * [taylor]: Taking taylor expansion of z in z
3.648 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
3.648 * [taylor]: Taking taylor expansion of (- y z) in y
3.648 * [taylor]: Taking taylor expansion of y in y
3.648 * [taylor]: Taking taylor expansion of z in y
3.648 * [taylor]: Taking taylor expansion of (- t z) in y
3.648 * [taylor]: Taking taylor expansion of t in y
3.648 * [taylor]: Taking taylor expansion of z in y
3.648 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
3.648 * [taylor]: Taking taylor expansion of (- y z) in y
3.648 * [taylor]: Taking taylor expansion of y in y
3.648 * [taylor]: Taking taylor expansion of z in y
3.648 * [taylor]: Taking taylor expansion of (- t z) in y
3.648 * [taylor]: Taking taylor expansion of t in y
3.648 * [taylor]: Taking taylor expansion of z in y
3.648 * [taylor]: Taking taylor expansion of (* -1 (* z (- t z))) in z
3.648 * [taylor]: Taking taylor expansion of -1 in z
3.648 * [taylor]: Taking taylor expansion of (* z (- t z)) in z
3.648 * [taylor]: Taking taylor expansion of z in z
3.648 * [taylor]: Taking taylor expansion of (- t z) in z
3.648 * [taylor]: Taking taylor expansion of t in z
3.648 * [taylor]: Taking taylor expansion of z in z
3.649 * [taylor]: Taking taylor expansion of 0 in t
3.650 * [taylor]: Taking taylor expansion of (- t z) in z
3.650 * [taylor]: Taking taylor expansion of t in z
3.650 * [taylor]: Taking taylor expansion of z in z
3.651 * [taylor]: Taking taylor expansion of t in t
3.652 * [taylor]: Taking taylor expansion of (- t) in t
3.652 * [taylor]: Taking taylor expansion of t in t
3.654 * [taylor]: Taking taylor expansion of 0 in z
3.654 * [taylor]: Taking taylor expansion of 0 in t
3.654 * [taylor]: Taking taylor expansion of -1 in t
3.656 * [taylor]: Taking taylor expansion of 1 in t
3.656 * [approximate]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (- (/ 1 y) (/ 1 z))) in (y z t) around 0
3.656 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (- (/ 1 y) (/ 1 z))) in t
3.656 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
3.656 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.656 * [taylor]: Taking taylor expansion of t in t
3.657 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.657 * [taylor]: Taking taylor expansion of z in t
3.657 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
3.657 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.657 * [taylor]: Taking taylor expansion of y in t
3.657 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.657 * [taylor]: Taking taylor expansion of z in t
3.657 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (- (/ 1 y) (/ 1 z))) in z
3.657 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
3.657 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.657 * [taylor]: Taking taylor expansion of t in z
3.657 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.657 * [taylor]: Taking taylor expansion of z in z
3.657 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
3.657 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.657 * [taylor]: Taking taylor expansion of y in z
3.658 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.658 * [taylor]: Taking taylor expansion of z in z
3.658 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (- (/ 1 y) (/ 1 z))) in y
3.658 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
3.658 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.658 * [taylor]: Taking taylor expansion of t in y
3.658 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.658 * [taylor]: Taking taylor expansion of z in y
3.658 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
3.658 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.658 * [taylor]: Taking taylor expansion of y in y
3.658 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.658 * [taylor]: Taking taylor expansion of z in y
3.658 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (- (/ 1 y) (/ 1 z))) in y
3.658 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
3.658 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.658 * [taylor]: Taking taylor expansion of t in y
3.658 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.658 * [taylor]: Taking taylor expansion of z in y
3.659 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
3.659 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.659 * [taylor]: Taking taylor expansion of y in y
3.659 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.659 * [taylor]: Taking taylor expansion of z in y
3.659 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
3.660 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.660 * [taylor]: Taking taylor expansion of t in z
3.660 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.660 * [taylor]: Taking taylor expansion of z in z
3.661 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t z))) in z
3.661 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
3.661 * [taylor]: Taking taylor expansion of (pow z 2) in z
3.661 * [taylor]: Taking taylor expansion of z in z
3.662 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.662 * [taylor]: Taking taylor expansion of (* t z) in z
3.662 * [taylor]: Taking taylor expansion of t in z
3.662 * [taylor]: Taking taylor expansion of z in z
3.663 * [taylor]: Taking taylor expansion of 1 in t
3.663 * [taylor]: Taking taylor expansion of -1 in t
3.665 * [taylor]: Taking taylor expansion of 0 in z
3.666 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
3.666 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.666 * [taylor]: Taking taylor expansion of t in t
3.668 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.668 * [taylor]: Taking taylor expansion of t in t
3.669 * [approximate]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in (y z t) around 0
3.669 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in t
3.669 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
3.669 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.669 * [taylor]: Taking taylor expansion of z in t
3.669 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.669 * [taylor]: Taking taylor expansion of t in t
3.669 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
3.669 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.669 * [taylor]: Taking taylor expansion of z in t
3.669 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.669 * [taylor]: Taking taylor expansion of y in t
3.669 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in z
3.669 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
3.669 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.669 * [taylor]: Taking taylor expansion of z in z
3.670 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.670 * [taylor]: Taking taylor expansion of t in z
3.670 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
3.670 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.670 * [taylor]: Taking taylor expansion of z in z
3.670 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.670 * [taylor]: Taking taylor expansion of y in z
3.670 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y
3.670 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
3.670 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.670 * [taylor]: Taking taylor expansion of z in y
3.670 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.670 * [taylor]: Taking taylor expansion of t in y
3.670 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
3.670 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.670 * [taylor]: Taking taylor expansion of z in y
3.670 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.670 * [taylor]: Taking taylor expansion of y in y
3.671 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y
3.671 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
3.671 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.671 * [taylor]: Taking taylor expansion of z in y
3.671 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.671 * [taylor]: Taking taylor expansion of t in y
3.671 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
3.671 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.671 * [taylor]: Taking taylor expansion of z in y
3.671 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.671 * [taylor]: Taking taylor expansion of y in y
3.672 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 t))) in z
3.672 * [taylor]: Taking taylor expansion of -1 in z
3.672 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
3.672 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.672 * [taylor]: Taking taylor expansion of z in z
3.672 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.672 * [taylor]: Taking taylor expansion of t in z
3.680 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t z))) in z
3.680 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
3.680 * [taylor]: Taking taylor expansion of (pow z 2) in z
3.680 * [taylor]: Taking taylor expansion of z in z
3.680 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.680 * [taylor]: Taking taylor expansion of (* t z) in z
3.680 * [taylor]: Taking taylor expansion of t in z
3.680 * [taylor]: Taking taylor expansion of z in z
3.681 * [taylor]: Taking taylor expansion of 1 in t
3.682 * [taylor]: Taking taylor expansion of -1 in t
3.684 * [taylor]: Taking taylor expansion of 0 in z
3.685 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
3.685 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.685 * [taylor]: Taking taylor expansion of t in t
3.686 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.686 * [taylor]: Taking taylor expansion of t in t
3.687 * * * [progress]: simplifying candidates
3.688 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ x (* (- y z) (- t z))))
  (log1p (/ x (* (- y z) (- t z))))
  (- (log x) (+ (log (- y z)) (log (- t z))))
  (- (log x) (log (* (- y z) (- t z))))
  (log (/ x (* (- y z) (- t z))))
  (exp (/ x (* (- y z) (- t z))))
  (/ (* (* x x) x) (* (* (* (- y z) (- y z)) (- y z)) (* (* (- t z) (- t z)) (- t z))))
  (/ (* (* x x) x) (* (* (* (- y z) (- t z)) (* (- y z) (- t z))) (* (- y z) (- t z))))
  (* (cbrt (/ x (* (- y z) (- t z)))) (cbrt (/ x (* (- y z) (- t z)))))
  (cbrt (/ x (* (- y z) (- t z))))
  (* (* (/ x (* (- y z) (- t z))) (/ x (* (- y z) (- t z)))) (/ x (* (- y z) (- t z))))
  (sqrt (/ x (* (- y z) (- t z))))
  (sqrt (/ x (* (- y z) (- t z))))
  (- x)
  (- (* (- y z) (- t z)))
  (/ (* (cbrt x) (cbrt x)) (- y z))
  (/ (cbrt x) (- t z))
  (/ (sqrt x) (- y z))
  (/ (sqrt x) (- t z))
  (/ 1 (- y z))
  (/ x (- t z))
  (/ 1 (* (- y z) (- t z)))
  (/ (* (- y z) (- t z)) x)
  (/ x (- y z))
  (/ (* (- y z) (- t z)) (cbrt x))
  (/ (* (- y z) (- t z)) (sqrt x))
  (/ (* (- y z) (- t z)) x)
  (/ x (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow z 3))))
  (/ x (* (- (pow y 3) (pow z 3)) (- (* t t) (* z z))))
  (/ x (* (- (* y y) (* z z)) (- (pow t 3) (pow z 3))))
  (/ x (* (- (* y y) (* z z)) (- (* t t) (* z z))))
  (/ x (* (- y z) (- (pow t 3) (pow z 3))))
  (/ x (* (- y z) (- (* t t) (* z z))))
  (/ x (* (- (pow y 3) (pow z 3)) (- t z)))
  (/ x (* (- (* y y) (* z z)) (- t z)))
  (expm1 (* (- y z) (- t z)))
  (log1p (* (- y z) (- t z)))
  (* (- y z) (- t z))
  (+ (log (- y z)) (log (- t z)))
  (log (* (- y z) (- t z)))
  (exp (* (- y z) (- t z)))
  (* (* (* (- y z) (- y z)) (- y z)) (* (* (- t z) (- t z)) (- t z)))
  (* (cbrt (* (- y z) (- t z))) (cbrt (* (- y z) (- t z))))
  (cbrt (* (- y z) (- t z)))
  (* (* (* (- y z) (- t z)) (* (- y z) (- t z))) (* (- y z) (- t z)))
  (sqrt (* (- y z) (- t z)))
  (sqrt (* (- y z) (- t z)))
  (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow z 3)))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ (* t t) (+ (* z z) (* t z))))
  (* (- (pow y 3) (pow z 3)) (- (* t t) (* z z)))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ t z))
  (* (- (* y y) (* z z)) (- (pow t 3) (pow z 3)))
  (* (+ y z) (+ (* t t) (+ (* z z) (* t z))))
  (* (- (* y y) (* z z)) (- (* t t) (* z z)))
  (* (+ y z) (+ t z))
  (* (sqrt (- y z)) (sqrt (- t z)))
  (* (sqrt (- y z)) (sqrt (- t z)))
  (* (- y z) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* (- y z) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* (- y z) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (sqrt z) (sqrt z)))))
  (* (- y z) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* (- y z) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* z 1))))
  (* (- y z) (fma (- z) 1 (* z 1)))
  (* (- y z) (fma (sqrt t) (sqrt t) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* (- y z) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* (- y z) (fma (sqrt t) (sqrt t) (- (* (sqrt z) (sqrt z)))))
  (* (- y z) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* (- y z) (fma (sqrt t) (sqrt t) (- (* z 1))))
  (* (- y z) (fma (- z) 1 (* z 1)))
  (* (- y z) (fma 1 t (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* (- y z) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* (- y z) (fma 1 t (- (* (sqrt z) (sqrt z)))))
  (* (- y z) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* (- y z) (fma 1 t (- (* z 1))))
  (* (- y z) (fma (- z) 1 (* z 1)))
  (* (- y z) t)
  (* (- y z) (- z))
  (* (- y z) t)
  (* (- y z) (- z))
  (* (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (- y z))
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (- y z))
  (* (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (sqrt z) (sqrt z)))) (- y z))
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (- y z))
  (* (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* z 1))) (- y z))
  (* (fma (- z) 1 (* z 1)) (- y z))
  (* (fma (sqrt t) (sqrt t) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (- y z))
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (- y z))
  (* (fma (sqrt t) (sqrt t) (- (* (sqrt z) (sqrt z)))) (- y z))
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (- y z))
  (* (fma (sqrt t) (sqrt t) (- (* z 1))) (- y z))
  (* (fma (- z) 1 (* z 1)) (- y z))
  (* (fma 1 t (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (- y z))
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (- y z))
  (* (fma 1 t (- (* (sqrt z) (sqrt z)))) (- y z))
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (- y z))
  (* (fma 1 t (- (* z 1))) (- y z))
  (* (fma (- z) 1 (* z 1)) (- y z))
  (* t (- y z))
  (* (- z) (- y z))
  (* t (- y z))
  (* (- z) (- y z))
  (* (- y z) (* (cbrt (- t z)) (cbrt (- t z))))
  (* (- y z) (sqrt (- t z)))
  (* (- y z) 1)
  (* (- y z) (+ (sqrt t) (sqrt z)))
  (* (- y z) 1)
  (* (cbrt (- y z)) (- t z))
  (* (sqrt (- y z)) (- t z))
  (* (- y z) (- t z))
  (* (- (sqrt y) (sqrt z)) (- t z))
  (* (- y z) (- t z))
  (* (- y z) (- (pow t 3) (pow z 3)))
  (* (- y z) (- (* t t) (* z z)))
  (* (- (pow y 3) (pow z 3)) (- t z))
  (* (- (* y y) (* z z)) (- t z))
  0
  0
  0
  (- (+ (* t y) (pow z 2)) (* z y))
  (- (+ (* t y) (pow z 2)) (* t z))
  (- (+ (* t y) (pow z 2)) (* t z))
3.693 * * [simplify]: iteration  0 :  176  enodes  (cost  1460 )
3.732 * * [simplify]: iteration  1 :  385  enodes  (cost  1275 )
3.926 * * [simplify]: iteration  2 :  1486  enodes  (cost  1097 )
4.522 * * [simplify]: iteration  done :  5001  enodes  (cost  1079 )
4.523 * [simplify]: Simplified to:
   (expm1 (/ x (* (- y z) (- t z))))
  (log1p (/ x (* (- y z) (- t z))))
  (log (/ x (* (- y z) (- t z))))
  (log (/ x (* (- y z) (- t z))))
  (log (/ x (* (- y z) (- t z))))
  (exp (/ x (* (- y z) (- t z))))
  (pow (/ x (* (- y z) (- t z))) 3)
  (pow (/ x (* (- y z) (- t z))) 3)
  (* (cbrt (/ x (* (- y z) (- t z)))) (cbrt (/ x (* (- y z) (- t z)))))
  (cbrt (/ x (* (- y z) (- t z))))
  (pow (/ x (* (- y z) (- t z))) 3)
  (sqrt (/ x (* (- y z) (- t z))))
  (sqrt (/ x (* (- y z) (- t z))))
  (- x)
  (- (* (- y z) (- t z)))
  (/ (* (cbrt x) (cbrt x)) (- y z))
  (/ (cbrt x) (- t z))
  (/ (sqrt x) (- y z))
  (/ (sqrt x) (- t z))
  (/ 1 (- y z))
  (/ x (- t z))
  (/ 1 (* (- y z) (- t z)))
  (/ (* (- y z) (- t z)) x)
  (/ x (- y z))
  (/ (* (- y z) (- t z)) (cbrt x))
  (/ (* (- y z) (- t z)) (sqrt x))
  (/ (* (- y z) (- t z)) x)
  (/ x (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow z 3))))
  (/ x (* (- (pow y 3) (pow z 3)) (- (* t t) (* z z))))
  (/ x (* (- (* y y) (* z z)) (- (pow t 3) (pow z 3))))
  (/ x (* (- (* y y) (* z z)) (- (* t t) (* z z))))
  (/ x (* (- y z) (- (pow t 3) (pow z 3))))
  (/ x (* (- y z) (- (* t t) (* z z))))
  (/ x (* (- (pow y 3) (pow z 3)) (- t z)))
  (/ x (* (- (* y y) (* z z)) (- t z)))
  (expm1 (* (- y z) (- t z)))
  (log1p (* (- y z) (- t z)))
  (* (- y z) (- t z))
  (log (* (- y z) (- t z)))
  (log (* (- y z) (- t z)))
  (exp (* (- y z) (- t z)))
  (pow (* (- y z) (- t z)) 3)
  (* (cbrt (* (- y z) (- t z))) (cbrt (* (- y z) (- t z))))
  (cbrt (* (- y z) (- t z)))
  (pow (* (- y z) (- t z)) 3)
  (sqrt (* (- y z) (- t z)))
  (sqrt (* (- y z) (- t z)))
  (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow z 3)))
  (* (fma t t (* z (+ t z))) (fma y y (* z (+ y z))))
  (* (- (pow y 3) (pow z 3)) (- (* t t) (* z z)))
  (* (fma y y (* z (+ y z))) (+ t z))
  (* (- (* y y) (* z z)) (- (pow t 3) (pow z 3)))
  (* (fma t t (* z (+ t z))) (+ y z))
  (* (- (* y y) (* z z)) (- (* t t) (* z z)))
  (* (+ y z) (+ t z))
  (* (sqrt (- y z)) (sqrt (- t z)))
  (* (sqrt (- y z)) (sqrt (- t z)))
  (* (- y z) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- z)))
  (* (- y z) (- z z))
  (* (- y z) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- z)))
  (* (- y z) (- z z))
  (* (- y z) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- z)))
  (* (- y z) (- z z))
  (* (- y z) (- t z))
  (* (- y z) (- z z))
  (* (- y z) (- t z))
  (* (- y z) (- z z))
  (* (- y z) (- t z))
  (* (- y z) (- z z))
  (* (- y z) (- t z))
  (* (- y z) (- z z))
  (* (- y z) (- t z))
  (* (- y z) (- z z))
  (* (- y z) (- t z))
  (* (- y z) (- z z))
  (* t (- y z))
  (* (- z) (- y z))
  (* t (- y z))
  (* (- z) (- y z))
  (* (- y z) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- z)))
  (* (- y z) (- z z))
  (* (- y z) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- z)))
  (* (- y z) (- z z))
  (* (- y z) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- z)))
  (* (- y z) (- z z))
  (* (- y z) (- t z))
  (* (- y z) (- z z))
  (* (- y z) (- t z))
  (* (- y z) (- z z))
  (* (- y z) (- t z))
  (* (- y z) (- z z))
  (* (- y z) (- t z))
  (* (- y z) (- z z))
  (* (- y z) (- t z))
  (* (- y z) (- z z))
  (* (- y z) (- t z))
  (* (- y z) (- z z))
  (* t (- y z))
  (* (- z) (- y z))
  (* t (- y z))
  (* (- z) (- y z))
  (* (- y z) (* (cbrt (- t z)) (cbrt (- t z))))
  (* (- y z) (sqrt (- t z)))
  (- y z)
  (* (- y z) (+ (sqrt t) (sqrt z)))
  (- y z)
  (* (cbrt (- y z)) (- t z))
  (* (sqrt (- y z)) (- t z))
  (* (- y z) (- t z))
  (* (- (sqrt y) (sqrt z)) (- t z))
  (* (- y z) (- t z))
  (* (- y z) (- (pow t 3) (pow z 3)))
  (* (- y z) (- (* t t) (* z z)))
  (* (- (pow y 3) (pow z 3)) (- t z))
  (* (- (* y y) (* z z)) (- t z))
  0
  0
  0
  (fma y t (* z (- z y)))
  (fma y t (* z (- z t)))
  (fma y t (* z (- z t)))
4.524 * * * [progress]: adding candidates to table
4.729 * * [progress]: iteration 2 / 4
4.729 * * * [progress]: picking best candidate
4.745 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))>
4.745 * * * [progress]: localizing error
4.756 * * * [progress]: generating rewritten candidates
4.757 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
4.806 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
4.806 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
4.807 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
4.812 * * * [progress]: generating series expansions
4.812 * * * * [progress]: [ 1 / 4 ] generating series at (2)
4.813 * [approximate]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in (x y z t) around 0
4.813 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in t
4.813 * [taylor]: Taking taylor expansion of x in t
4.813 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in t
4.813 * [taylor]: Taking taylor expansion of (- y z) in t
4.813 * [taylor]: Taking taylor expansion of y in t
4.813 * [taylor]: Taking taylor expansion of z in t
4.813 * [taylor]: Taking taylor expansion of (- t z) in t
4.813 * [taylor]: Taking taylor expansion of t in t
4.813 * [taylor]: Taking taylor expansion of z in t
4.813 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in z
4.813 * [taylor]: Taking taylor expansion of x in z
4.813 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in z
4.813 * [taylor]: Taking taylor expansion of (- y z) in z
4.813 * [taylor]: Taking taylor expansion of y in z
4.813 * [taylor]: Taking taylor expansion of z in z
4.813 * [taylor]: Taking taylor expansion of (- t z) in z
4.813 * [taylor]: Taking taylor expansion of t in z
4.813 * [taylor]: Taking taylor expansion of z in z
4.814 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in y
4.814 * [taylor]: Taking taylor expansion of x in y
4.814 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
4.814 * [taylor]: Taking taylor expansion of (- y z) in y
4.814 * [taylor]: Taking taylor expansion of y in y
4.814 * [taylor]: Taking taylor expansion of z in y
4.814 * [taylor]: Taking taylor expansion of (- t z) in y
4.814 * [taylor]: Taking taylor expansion of t in y
4.814 * [taylor]: Taking taylor expansion of z in y
4.815 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in x
4.815 * [taylor]: Taking taylor expansion of x in x
4.815 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in x
4.815 * [taylor]: Taking taylor expansion of (- y z) in x
4.815 * [taylor]: Taking taylor expansion of y in x
4.815 * [taylor]: Taking taylor expansion of z in x
4.815 * [taylor]: Taking taylor expansion of (- t z) in x
4.815 * [taylor]: Taking taylor expansion of t in x
4.815 * [taylor]: Taking taylor expansion of z in x
4.815 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in x
4.815 * [taylor]: Taking taylor expansion of x in x
4.815 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in x
4.815 * [taylor]: Taking taylor expansion of (- y z) in x
4.815 * [taylor]: Taking taylor expansion of y in x
4.815 * [taylor]: Taking taylor expansion of z in x
4.815 * [taylor]: Taking taylor expansion of (- t z) in x
4.815 * [taylor]: Taking taylor expansion of t in x
4.815 * [taylor]: Taking taylor expansion of z in x
4.815 * [taylor]: Taking taylor expansion of (/ 1 (* (- y z) (- t z))) in y
4.815 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
4.815 * [taylor]: Taking taylor expansion of (- y z) in y
4.815 * [taylor]: Taking taylor expansion of y in y
4.815 * [taylor]: Taking taylor expansion of z in y
4.815 * [taylor]: Taking taylor expansion of (- t z) in y
4.815 * [taylor]: Taking taylor expansion of t in y
4.816 * [taylor]: Taking taylor expansion of z in y
4.816 * [taylor]: Taking taylor expansion of (/ -1 (* z (- t z))) in z
4.816 * [taylor]: Taking taylor expansion of -1 in z
4.816 * [taylor]: Taking taylor expansion of (* z (- t z)) in z
4.816 * [taylor]: Taking taylor expansion of z in z
4.816 * [taylor]: Taking taylor expansion of (- t z) in z
4.816 * [taylor]: Taking taylor expansion of t in z
4.816 * [taylor]: Taking taylor expansion of z in z
4.819 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t
4.819 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
4.819 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.819 * [taylor]: Taking taylor expansion of t in t
4.823 * [taylor]: Taking taylor expansion of 0 in y
4.823 * [taylor]: Taking taylor expansion of 0 in z
4.823 * [taylor]: Taking taylor expansion of 0 in t
4.825 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (- t z)))) in z
4.825 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (- t z))) in z
4.825 * [taylor]: Taking taylor expansion of (* (pow z 2) (- t z)) in z
4.825 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.825 * [taylor]: Taking taylor expansion of z in z
4.825 * [taylor]: Taking taylor expansion of (- t z) in z
4.825 * [taylor]: Taking taylor expansion of t in z
4.825 * [taylor]: Taking taylor expansion of z in z
4.829 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 3))) in t
4.829 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
4.829 * [taylor]: Taking taylor expansion of (pow t 3) in t
4.829 * [taylor]: Taking taylor expansion of t in t
4.836 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 3))) in t
4.836 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
4.836 * [taylor]: Taking taylor expansion of (pow t 3) in t
4.836 * [taylor]: Taking taylor expansion of t in t
4.849 * [taylor]: Taking taylor expansion of 0 in y
4.849 * [taylor]: Taking taylor expansion of 0 in z
4.849 * [taylor]: Taking taylor expansion of 0 in t
4.850 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in (x y z t) around 0
4.850 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in t
4.850 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in t
4.850 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
4.850 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.850 * [taylor]: Taking taylor expansion of t in t
4.850 * [taylor]: Taking taylor expansion of (/ 1 z) in t
4.850 * [taylor]: Taking taylor expansion of z in t
4.850 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in t
4.850 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
4.850 * [taylor]: Taking taylor expansion of (/ 1 y) in t
4.850 * [taylor]: Taking taylor expansion of y in t
4.850 * [taylor]: Taking taylor expansion of (/ 1 z) in t
4.851 * [taylor]: Taking taylor expansion of z in t
4.851 * [taylor]: Taking taylor expansion of x in t
4.851 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in z
4.851 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in z
4.851 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
4.851 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.851 * [taylor]: Taking taylor expansion of t in z
4.851 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.851 * [taylor]: Taking taylor expansion of z in z
4.852 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in z
4.852 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
4.852 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.852 * [taylor]: Taking taylor expansion of y in z
4.852 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.852 * [taylor]: Taking taylor expansion of z in z
4.852 * [taylor]: Taking taylor expansion of x in z
4.853 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in y
4.853 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in y
4.853 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
4.854 * [taylor]: Taking taylor expansion of (/ 1 t) in y
4.854 * [taylor]: Taking taylor expansion of t in y
4.854 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.854 * [taylor]: Taking taylor expansion of z in y
4.854 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in y
4.854 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
4.854 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.854 * [taylor]: Taking taylor expansion of y in y
4.854 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.854 * [taylor]: Taking taylor expansion of z in y
4.854 * [taylor]: Taking taylor expansion of x in y
4.855 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in x
4.855 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in x
4.855 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
4.855 * [taylor]: Taking taylor expansion of (/ 1 t) in x
4.855 * [taylor]: Taking taylor expansion of t in x
4.855 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.855 * [taylor]: Taking taylor expansion of z in x
4.855 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x
4.855 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
4.855 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.855 * [taylor]: Taking taylor expansion of y in x
4.855 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.855 * [taylor]: Taking taylor expansion of z in x
4.855 * [taylor]: Taking taylor expansion of x in x
4.858 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in x
4.858 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in x
4.858 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
4.858 * [taylor]: Taking taylor expansion of (/ 1 t) in x
4.858 * [taylor]: Taking taylor expansion of t in x
4.858 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.858 * [taylor]: Taking taylor expansion of z in x
4.858 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x
4.858 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
4.858 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.858 * [taylor]: Taking taylor expansion of y in x
4.858 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.858 * [taylor]: Taking taylor expansion of z in x
4.858 * [taylor]: Taking taylor expansion of x in x
4.862 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y))))) in y
4.862 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y)))) in y
4.862 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 (pow z 2))) in y
4.862 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
4.862 * [taylor]: Taking taylor expansion of (* t y) in y
4.862 * [taylor]: Taking taylor expansion of t in y
4.862 * [taylor]: Taking taylor expansion of y in y
4.862 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
4.862 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.862 * [taylor]: Taking taylor expansion of z in y
4.862 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* z y))) in y
4.862 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
4.863 * [taylor]: Taking taylor expansion of (* t z) in y
4.863 * [taylor]: Taking taylor expansion of t in y
4.863 * [taylor]: Taking taylor expansion of z in y
4.863 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.863 * [taylor]: Taking taylor expansion of (* z y) in y
4.863 * [taylor]: Taking taylor expansion of z in y
4.863 * [taylor]: Taking taylor expansion of y in y
4.863 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 z))) in z
4.863 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
4.863 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.863 * [taylor]: Taking taylor expansion of t in z
4.863 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.863 * [taylor]: Taking taylor expansion of z in z
4.865 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
4.865 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.865 * [taylor]: Taking taylor expansion of t in t
4.870 * [taylor]: Taking taylor expansion of 0 in y
4.870 * [taylor]: Taking taylor expansion of 0 in z
4.870 * [taylor]: Taking taylor expansion of 0 in t
4.872 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z))) (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2)))) in z
4.872 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z))) in z
4.872 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z)) in z
4.872 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
4.872 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
4.872 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.872 * [taylor]: Taking taylor expansion of t in z
4.872 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.872 * [taylor]: Taking taylor expansion of z in z
4.873 * [taylor]: Taking taylor expansion of (* t z) in z
4.873 * [taylor]: Taking taylor expansion of t in z
4.873 * [taylor]: Taking taylor expansion of z in z
4.875 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2))) in z
4.875 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2)) in z
4.875 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
4.875 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
4.875 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.875 * [taylor]: Taking taylor expansion of t in z
4.875 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.875 * [taylor]: Taking taylor expansion of z in z
4.876 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.876 * [taylor]: Taking taylor expansion of z in z
4.885 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t
4.885 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
4.885 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.885 * [taylor]: Taking taylor expansion of t in t
4.890 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t
4.891 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
4.891 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.891 * [taylor]: Taking taylor expansion of t in t
4.899 * [taylor]: Taking taylor expansion of 0 in y
4.899 * [taylor]: Taking taylor expansion of 0 in z
4.899 * [taylor]: Taking taylor expansion of 0 in t
4.899 * [approximate]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in (x y z t) around 0
4.899 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in t
4.899 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t
4.899 * [taylor]: Taking taylor expansion of (cbrt -1) in t
4.899 * [taylor]: Taking taylor expansion of -1 in t
4.901 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in t
4.901 * [taylor]: Taking taylor expansion of x in t
4.901 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in t
4.901 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
4.901 * [taylor]: Taking taylor expansion of (/ 1 z) in t
4.901 * [taylor]: Taking taylor expansion of z in t
4.901 * [taylor]: Taking taylor expansion of (/ 1 y) in t
4.901 * [taylor]: Taking taylor expansion of y in t
4.901 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
4.901 * [taylor]: Taking taylor expansion of (/ 1 z) in t
4.901 * [taylor]: Taking taylor expansion of z in t
4.901 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.901 * [taylor]: Taking taylor expansion of t in t
4.905 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in z
4.905 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
4.905 * [taylor]: Taking taylor expansion of (cbrt -1) in z
4.905 * [taylor]: Taking taylor expansion of -1 in z
4.906 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in z
4.906 * [taylor]: Taking taylor expansion of x in z
4.906 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in z
4.906 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
4.906 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.906 * [taylor]: Taking taylor expansion of z in z
4.907 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.907 * [taylor]: Taking taylor expansion of y in z
4.907 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
4.907 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.907 * [taylor]: Taking taylor expansion of z in z
4.907 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.907 * [taylor]: Taking taylor expansion of t in z
4.911 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in y
4.911 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
4.912 * [taylor]: Taking taylor expansion of (cbrt -1) in y
4.912 * [taylor]: Taking taylor expansion of -1 in y
4.912 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in y
4.912 * [taylor]: Taking taylor expansion of x in y
4.912 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in y
4.912 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
4.912 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.912 * [taylor]: Taking taylor expansion of z in y
4.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.913 * [taylor]: Taking taylor expansion of y in y
4.913 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
4.913 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.913 * [taylor]: Taking taylor expansion of z in y
4.913 * [taylor]: Taking taylor expansion of (/ 1 t) in y
4.913 * [taylor]: Taking taylor expansion of t in y
4.917 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in x
4.917 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
4.917 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.918 * [taylor]: Taking taylor expansion of -1 in x
4.918 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in x
4.918 * [taylor]: Taking taylor expansion of x in x
4.918 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in x
4.918 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
4.918 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.918 * [taylor]: Taking taylor expansion of z in x
4.918 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.919 * [taylor]: Taking taylor expansion of y in x
4.919 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
4.919 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.919 * [taylor]: Taking taylor expansion of z in x
4.919 * [taylor]: Taking taylor expansion of (/ 1 t) in x
4.919 * [taylor]: Taking taylor expansion of t in x
4.925 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in x
4.925 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
4.925 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.925 * [taylor]: Taking taylor expansion of -1 in x
4.926 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in x
4.926 * [taylor]: Taking taylor expansion of x in x
4.926 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in x
4.926 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
4.926 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.926 * [taylor]: Taking taylor expansion of z in x
4.926 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.926 * [taylor]: Taking taylor expansion of y in x
4.926 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
4.926 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.926 * [taylor]: Taking taylor expansion of z in x
4.926 * [taylor]: Taking taylor expansion of (/ 1 t) in x
4.926 * [taylor]: Taking taylor expansion of t in x
4.932 * [taylor]: Taking taylor expansion of (/ -1 (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y))))) in y
4.932 * [taylor]: Taking taylor expansion of -1 in y
4.932 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y)))) in y
4.932 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 (pow z 2))) in y
4.932 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
4.932 * [taylor]: Taking taylor expansion of (* t y) in y
4.932 * [taylor]: Taking taylor expansion of t in y
4.932 * [taylor]: Taking taylor expansion of y in y
4.932 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
4.932 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.932 * [taylor]: Taking taylor expansion of z in y
4.933 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* z y))) in y
4.933 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
4.933 * [taylor]: Taking taylor expansion of (* t z) in y
4.933 * [taylor]: Taking taylor expansion of t in y
4.933 * [taylor]: Taking taylor expansion of z in y
4.933 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.933 * [taylor]: Taking taylor expansion of (* z y) in y
4.933 * [taylor]: Taking taylor expansion of z in y
4.933 * [taylor]: Taking taylor expansion of y in y
4.933 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 t) (/ 1 z))) in z
4.933 * [taylor]: Taking taylor expansion of -1 in z
4.933 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
4.933 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.934 * [taylor]: Taking taylor expansion of t in z
4.934 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.934 * [taylor]: Taking taylor expansion of z in z
4.936 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.936 * [taylor]: Taking taylor expansion of t in t
4.941 * [taylor]: Taking taylor expansion of 0 in y
4.941 * [taylor]: Taking taylor expansion of 0 in z
4.942 * [taylor]: Taking taylor expansion of 0 in t
4.944 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2))) (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z)))) in z
4.944 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2))) in z
4.944 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2)) in z
4.944 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
4.944 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
4.944 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.944 * [taylor]: Taking taylor expansion of t in z
4.944 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.944 * [taylor]: Taking taylor expansion of z in z
4.945 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.945 * [taylor]: Taking taylor expansion of z in z
4.946 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z))) in z
4.946 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z)) in z
4.946 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
4.946 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
4.952 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.952 * [taylor]: Taking taylor expansion of t in z
4.952 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.952 * [taylor]: Taking taylor expansion of z in z
4.953 * [taylor]: Taking taylor expansion of (* t z) in z
4.954 * [taylor]: Taking taylor expansion of t in z
4.954 * [taylor]: Taking taylor expansion of z in z
4.964 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
4.964 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.964 * [taylor]: Taking taylor expansion of t in t
4.969 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
4.969 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.969 * [taylor]: Taking taylor expansion of t in t
4.980 * [taylor]: Taking taylor expansion of 0 in y
4.980 * [taylor]: Taking taylor expansion of 0 in z
4.980 * [taylor]: Taking taylor expansion of 0 in t
4.981 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
4.981 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
4.981 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.981 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.981 * [taylor]: Taking taylor expansion of 1/3 in x
4.981 * [taylor]: Taking taylor expansion of (log x) in x
4.981 * [taylor]: Taking taylor expansion of x in x
4.982 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.982 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.982 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.982 * [taylor]: Taking taylor expansion of 1/3 in x
4.982 * [taylor]: Taking taylor expansion of (log x) in x
4.982 * [taylor]: Taking taylor expansion of x in x
5.041 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
5.041 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.041 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.041 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.041 * [taylor]: Taking taylor expansion of 1/3 in x
5.041 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.041 * [taylor]: Taking taylor expansion of x in x
5.042 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.042 * [taylor]: Taking taylor expansion of 1/3 in x
5.042 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.042 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.042 * [taylor]: Taking taylor expansion of x in x
5.095 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
5.095 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
5.095 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.095 * [taylor]: Taking taylor expansion of -1 in x
5.096 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.096 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.096 * [taylor]: Taking taylor expansion of 1/3 in x
5.096 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.096 * [taylor]: Taking taylor expansion of x in x
5.097 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
5.097 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.097 * [taylor]: Taking taylor expansion of -1 in x
5.098 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.098 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.098 * [taylor]: Taking taylor expansion of 1/3 in x
5.098 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.098 * [taylor]: Taking taylor expansion of x in x
5.175 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
5.176 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
5.176 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
5.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
5.176 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
5.176 * [taylor]: Taking taylor expansion of 1/3 in x
5.176 * [taylor]: Taking taylor expansion of (log x) in x
5.176 * [taylor]: Taking taylor expansion of x in x
5.176 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
5.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
5.176 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
5.176 * [taylor]: Taking taylor expansion of 1/3 in x
5.176 * [taylor]: Taking taylor expansion of (log x) in x
5.177 * [taylor]: Taking taylor expansion of x in x
5.237 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
5.238 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.238 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.238 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.238 * [taylor]: Taking taylor expansion of 1/3 in x
5.238 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.238 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.238 * [taylor]: Taking taylor expansion of x in x
5.239 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.239 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.239 * [taylor]: Taking taylor expansion of 1/3 in x
5.239 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.239 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.239 * [taylor]: Taking taylor expansion of x in x
5.302 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
5.302 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
5.302 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.302 * [taylor]: Taking taylor expansion of -1 in x
5.303 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.304 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.304 * [taylor]: Taking taylor expansion of 1/3 in x
5.304 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.304 * [taylor]: Taking taylor expansion of x in x
5.305 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
5.305 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.305 * [taylor]: Taking taylor expansion of -1 in x
5.305 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.306 * [taylor]: Taking taylor expansion of 1/3 in x
5.306 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.306 * [taylor]: Taking taylor expansion of x in x
5.375 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
5.375 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
5.375 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
5.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
5.375 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
5.375 * [taylor]: Taking taylor expansion of 1/3 in x
5.375 * [taylor]: Taking taylor expansion of (log x) in x
5.375 * [taylor]: Taking taylor expansion of x in x
5.376 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
5.376 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
5.376 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
5.376 * [taylor]: Taking taylor expansion of 1/3 in x
5.376 * [taylor]: Taking taylor expansion of (log x) in x
5.376 * [taylor]: Taking taylor expansion of x in x
5.436 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
5.436 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.436 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.436 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.436 * [taylor]: Taking taylor expansion of 1/3 in x
5.436 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.436 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.436 * [taylor]: Taking taylor expansion of x in x
5.437 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.437 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.437 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.437 * [taylor]: Taking taylor expansion of 1/3 in x
5.437 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.437 * [taylor]: Taking taylor expansion of x in x
5.495 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
5.496 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
5.496 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.496 * [taylor]: Taking taylor expansion of -1 in x
5.497 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.497 * [taylor]: Taking taylor expansion of 1/3 in x
5.497 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.497 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.497 * [taylor]: Taking taylor expansion of x in x
5.498 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
5.498 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.498 * [taylor]: Taking taylor expansion of -1 in x
5.499 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.499 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.499 * [taylor]: Taking taylor expansion of 1/3 in x
5.499 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.499 * [taylor]: Taking taylor expansion of x in x
5.574 * * * [progress]: simplifying candidates
5.576 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))
  (log1p (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z)))
  (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (- y z))) (- (log (cbrt x)) (log (- t z))))
  (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (- y z))) (log (/ (cbrt x) (- t z))))
  (+ (- (log (* (cbrt x) (cbrt x))) (log (- y z))) (- (log (cbrt x)) (log (- t z))))
  (+ (- (log (* (cbrt x) (cbrt x))) (log (- y z))) (log (/ (cbrt x) (- t z))))
  (+ (log (/ (* (cbrt x) (cbrt x)) (- y z))) (- (log (cbrt x)) (log (- t z))))
  (+ (log (/ (* (cbrt x) (cbrt x)) (- y z))) (log (/ (cbrt x) (- t z))))
  (log (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))
  (exp (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))
  (* (/ (* x x) (* (* (- y z) (- y z)) (- y z))) (/ x (* (* (- t z) (- t z)) (- t z))))
  (* (/ (* x x) (* (* (- y z) (- y z)) (- y z))) (* (* (/ (cbrt x) (- t z)) (/ (cbrt x) (- t z))) (/ (cbrt x) (- t z))))
  (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (- y z) (- y z)) (- y z))) (/ x (* (* (- t z) (- t z)) (- t z))))
  (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (- y z) (- y z)) (- y z))) (* (* (/ (cbrt x) (- t z)) (/ (cbrt x) (- t z))) (/ (cbrt x) (- t z))))
  (* (* (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (* (cbrt x) (cbrt x)) (- y z))) (/ (* (cbrt x) (cbrt x)) (- y z))) (/ x (* (* (- t z) (- t z)) (- t z))))
  (* (* (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (* (cbrt x) (cbrt x)) (- y z))) (/ (* (cbrt x) (cbrt x)) (- y z))) (* (* (/ (cbrt x) (- t z)) (/ (cbrt x) (- t z))) (/ (cbrt x) (- t z))))
  (* (cbrt (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z)))) (cbrt (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z)))))
  (cbrt (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))
  (* (* (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z)))) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))
  (sqrt (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))
  (sqrt (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (* (- y z) (- t z))
  (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y z))) (sqrt (/ (cbrt x) (- t z))))
  (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y z))) (sqrt (/ (cbrt x) (- t z))))
  (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y z))) (/ (cbrt (sqrt x)) (sqrt (- t z))))
  (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y z))) (/ (cbrt (sqrt x)) (sqrt (- t z))))
  (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y z))) (/ (sqrt (cbrt x)) (sqrt (- t z))))
  (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y z))) (/ (sqrt (cbrt x)) (sqrt (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (sqrt (/ (cbrt x) (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (sqrt (/ (cbrt x) (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (/ (cbrt (sqrt x)) (sqrt (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (/ (cbrt (sqrt x)) (sqrt (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (/ (sqrt (cbrt x)) (sqrt (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (/ (sqrt (cbrt x)) (sqrt (- t z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (* (cbrt (/ (cbrt x) (- t z))) (cbrt (/ (cbrt x) (- t z)))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (sqrt (/ (cbrt x) (- t z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (- t z)) (cbrt (- t z)))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt (- t z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (* (cbrt x) (cbrt x))) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (* (cbrt x) (cbrt x))) (+ (sqrt t) (sqrt z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (* (cbrt x) (cbrt x))) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (sqrt x)) (* (cbrt (- t z)) (cbrt (- t z)))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (sqrt x)) (sqrt (- t z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (sqrt x)) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (sqrt x)) (+ (sqrt t) (sqrt z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (sqrt x)) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt 1) (* (cbrt (- t z)) (cbrt (- t z)))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt 1) (sqrt (- t z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt 1) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt 1) (+ (sqrt t) (sqrt z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt 1) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (- t z)) (cbrt (- t z)))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (sqrt (- t z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (+ (sqrt t) (sqrt z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (sqrt (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (sqrt (cbrt x)) (sqrt (- t z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (sqrt (cbrt x)) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (sqrt (cbrt x)) (+ (sqrt t) (sqrt z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (sqrt (cbrt x)) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ 1 (sqrt (- t z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ 1 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ 1 (+ (sqrt t) (sqrt z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ 1 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) 1)
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (cbrt x))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- (pow t 3) (pow z 3))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- (* t t) (* z z))))
  (* (cbrt (/ (* (cbrt x) (cbrt x)) (- y z))) (/ (cbrt x) (- t z)))
  (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y z))) (/ (cbrt x) (- t z)))
  (* (/ (cbrt x) (cbrt (- y z))) (/ (cbrt x) (- t z)))
  (* (/ (cbrt x) (sqrt (- y z))) (/ (cbrt x) (- t z)))
  (* (/ (cbrt x) (- y z)) (/ (cbrt x) (- t z)))
  (* (/ (cbrt x) (- (sqrt y) (sqrt z))) (/ (cbrt x) (- t z)))
  (* (/ (cbrt x) (- y z)) (/ (cbrt x) (- t z)))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z)))
  (* (/ 1 (- y z)) (/ (cbrt x) (- t z)))
  (* (+ (* y y) (+ (* z z) (* y z))) (/ (cbrt x) (- t z)))
  (* (+ y z) (/ (cbrt x) (- t z)))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (cbrt x))
  (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (- t z)))
  (expm1 (cbrt x))
  (log1p (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 (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (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 (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (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 (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  0
  0
  0
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
5.582 * * [simplify]: iteration  0 :  184  enodes  (cost  1873 )
5.634 * * [simplify]: iteration  1 :  542  enodes  (cost  1802 )
5.935 * * [simplify]: iteration  2 :  2176  enodes  (cost  1388 )
6.556 * * [simplify]: iteration  done :  5000  enodes  (cost  1388 )
6.556 * [simplify]: Simplified to:
   (expm1 (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (log1p (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (/ (/ (pow (cbrt x) 3) (- t z)) (- y z))
  (log (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (log (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (log (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (log (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (log (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (log (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (log (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (exp (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (* (/ x (/ (pow (- y z) 3) x)) (/ x (pow (- t z) 3)))
  (/ (* x (pow (/ (cbrt x) (- t z)) 3)) (/ (pow (- y z) 3) x))
  (/ (pow (/ (pow x 2/3) (- y z)) 3) (/ (pow (- t z) 3) x))
  (pow (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)) 3)
  (/ (pow (/ (pow x 2/3) (- y z)) 3) (/ (pow (- t z) 3) x))
  (pow (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)) 3)
  (* (cbrt (/ (/ (pow (cbrt x) 3) (- t z)) (- y z))) (cbrt (/ (/ (pow (cbrt x) 3) (- t z)) (- y z))))
  (cbrt (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (pow (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)) 3)
  (sqrt (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (sqrt (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (pow (cbrt x) 3)
  (* (- y z) (- t z))
  (* (sqrt (/ (cbrt x) (- t z))) (sqrt (/ (pow x 2/3) (- y z))))
  (* (sqrt (/ (cbrt x) (- t z))) (sqrt (/ (pow x 2/3) (- y z))))
  (* (sqrt (/ (pow x 2/3) (- y z))) (/ (cbrt (sqrt x)) (sqrt (- t z))))
  (* (sqrt (/ (pow x 2/3) (- y z))) (/ (cbrt (sqrt x)) (sqrt (- t z))))
  (/ (sqrt (/ (pow x 2/3) (- y z))) (/ (sqrt (- t z)) (sqrt (cbrt x))))
  (/ (sqrt (/ (pow x 2/3) (- y z))) (/ (sqrt (- t z)) (sqrt (cbrt x))))
  (* (/ (cbrt x) (sqrt (- y z))) (sqrt (/ (cbrt x) (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (sqrt (/ (cbrt x) (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (/ (cbrt (sqrt x)) (sqrt (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (/ (cbrt (sqrt x)) (sqrt (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (/ (sqrt (cbrt x)) (sqrt (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (/ (sqrt (cbrt x)) (sqrt (- t z))))
  (* (/ (pow x 2/3) (- y z)) (* (cbrt (/ (cbrt x) (- t z))) (cbrt (/ (cbrt x) (- t z)))))
  (/ (pow x 2/3) (/ (- y z) (sqrt (/ (cbrt x) (- t z)))))
  (/ (* (pow x 2/3) (/ (cbrt (pow x 2/3)) (* (cbrt (- t z)) (cbrt (- t z))))) (- y z))
  (/ (cbrt (pow x 2/3)) (/ (sqrt (- t z)) (/ (pow x 2/3) (- y z))))
  (/ (pow x 2/3) (/ (- y z) (cbrt (pow x 2/3))))
  (/ (cbrt (pow x 2/3)) (/ (+ (sqrt t) (sqrt z)) (/ (pow x 2/3) (- y z))))
  (/ (pow x 2/3) (/ (- y z) (cbrt (pow x 2/3))))
  (/ (pow x 2/3) (/ (- y z) (/ (cbrt (sqrt x)) (* (cbrt (- t z)) (cbrt (- t z))))))
  (* (/ (cbrt (sqrt x)) (sqrt (- t z))) (/ (pow x 2/3) (- y z)))
  (/ (pow x 2/3) (/ (- y z) (cbrt (sqrt x))))
  (/ (pow x 2/3) (/ (- y z) (/ (cbrt (sqrt x)) (+ (sqrt t) (sqrt z)))))
  (/ (pow x 2/3) (/ (- y z) (cbrt (sqrt x))))
  (/ (/ (pow x 2/3) (* (cbrt (- t z)) (cbrt (- t z)))) (- y z))
  (/ (pow x 2/3) (* (sqrt (- t z)) (- y z)))
  (/ (pow x 2/3) (- y z))
  (/ (/ (pow x 2/3) (- y z)) (+ (sqrt t) (sqrt z)))
  (/ (pow x 2/3) (- y z))
  (/ (/ (pow x 2/3) (/ (- y z) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (/ (pow x 2/3) (/ (- y z) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (sqrt (- t z)))
  (/ (pow x 2/3) (/ (- y z) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (/ (pow x 2/3) (/ (- y z) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (+ (sqrt t) (sqrt z)))
  (/ (pow x 2/3) (/ (- y z) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (/ (* (pow x 2/3) (/ (sqrt (cbrt x)) (cbrt (- t z)))) (cbrt (- t z))) (- y z))
  (/ (* (pow x 2/3) (sqrt (cbrt x))) (* (sqrt (- t z)) (- y z)))
  (/ (* (pow x 2/3) (sqrt (cbrt x))) (- y z))
  (/ (* (pow x 2/3) (/ (sqrt (cbrt x)) (+ (sqrt t) (sqrt z)))) (- y z))
  (/ (* (pow x 2/3) (sqrt (cbrt x))) (- y z))
  (/ (/ (pow x 2/3) (* (cbrt (- t z)) (cbrt (- t z)))) (- y z))
  (/ (pow x 2/3) (* (sqrt (- t z)) (- y z)))
  (/ (pow x 2/3) (- y z))
  (/ (/ (pow x 2/3) (- y z)) (+ (sqrt t) (sqrt z)))
  (/ (pow x 2/3) (- y z))
  (/ (pow x 2/3) (- y z))
  (/ (pow (cbrt x) 3) (- y z))
  (/ (/ (pow (cbrt x) 3) (- (pow t 3) (pow z 3))) (- y z))
  (/ (/ (pow (cbrt x) 3) (- y z)) (- (* t t) (* z z)))
  (* (/ (cbrt x) (- t z)) (cbrt (/ (pow x 2/3) (- y z))))
  (* (/ (cbrt x) (- t z)) (sqrt (/ (pow x 2/3) (- y z))))
  (/ (/ (pow x 2/3) (cbrt (- y z))) (- t z))
  (/ (/ (pow x 2/3) (sqrt (- y z))) (- t z))
  (/ (/ (pow x 2/3) (- y z)) (- t z))
  (/ (/ (pow x 2/3) (- (sqrt y) (sqrt z))) (- t z))
  (/ (/ (pow x 2/3) (- y z)) (- t z))
  (/ (/ (pow (cbrt x) 3) (- t z)) (- y z))
  (/ (/ (cbrt x) (- t z)) (- y z))
  (* (/ (cbrt x) (- t z)) (fma y y (* z (+ y z))))
  (* (+ y z) (/ (cbrt x) (- t z)))
  (/ (pow (cbrt x) 3) (- y z))
  (/ (pow (cbrt x) 3) (- t z))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (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))
  (pow (cbrt x) 3)
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (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))
  (pow (cbrt x) 3)
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (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))
  (pow (cbrt x) 3)
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  0
  0
  0
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
6.557 * * * [progress]: adding candidates to table
6.972 * * [progress]: iteration 3 / 4
6.972 * * * [progress]: picking best candidate
6.989 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ 1 (- y z)) (/ x (- t z))))>
6.989 * * * [progress]: localizing error
6.998 * * * [progress]: generating rewritten candidates
6.998 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
7.036 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
7.042 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
7.054 * * * [progress]: generating series expansions
7.054 * * * * [progress]: [ 1 / 3 ] generating series at (2)
7.054 * [approximate]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in (y z x t) around 0
7.054 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in t
7.054 * [taylor]: Taking taylor expansion of x in t
7.054 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in t
7.054 * [taylor]: Taking taylor expansion of (- y z) in t
7.054 * [taylor]: Taking taylor expansion of y in t
7.054 * [taylor]: Taking taylor expansion of z in t
7.055 * [taylor]: Taking taylor expansion of (- t z) in t
7.055 * [taylor]: Taking taylor expansion of t in t
7.055 * [taylor]: Taking taylor expansion of z in t
7.055 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in x
7.055 * [taylor]: Taking taylor expansion of x in x
7.055 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in x
7.055 * [taylor]: Taking taylor expansion of (- y z) in x
7.055 * [taylor]: Taking taylor expansion of y in x
7.055 * [taylor]: Taking taylor expansion of z in x
7.055 * [taylor]: Taking taylor expansion of (- t z) in x
7.055 * [taylor]: Taking taylor expansion of t in x
7.055 * [taylor]: Taking taylor expansion of z in x
7.055 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in z
7.055 * [taylor]: Taking taylor expansion of x in z
7.055 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in z
7.055 * [taylor]: Taking taylor expansion of (- y z) in z
7.055 * [taylor]: Taking taylor expansion of y in z
7.055 * [taylor]: Taking taylor expansion of z in z
7.055 * [taylor]: Taking taylor expansion of (- t z) in z
7.055 * [taylor]: Taking taylor expansion of t in z
7.055 * [taylor]: Taking taylor expansion of z in z
7.056 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in y
7.056 * [taylor]: Taking taylor expansion of x in y
7.056 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
7.056 * [taylor]: Taking taylor expansion of (- y z) in y
7.056 * [taylor]: Taking taylor expansion of y in y
7.056 * [taylor]: Taking taylor expansion of z in y
7.056 * [taylor]: Taking taylor expansion of (- t z) in y
7.056 * [taylor]: Taking taylor expansion of t in y
7.056 * [taylor]: Taking taylor expansion of z in y
7.056 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in y
7.056 * [taylor]: Taking taylor expansion of x in y
7.057 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
7.057 * [taylor]: Taking taylor expansion of (- y z) in y
7.057 * [taylor]: Taking taylor expansion of y in y
7.057 * [taylor]: Taking taylor expansion of z in y
7.057 * [taylor]: Taking taylor expansion of (- t z) in y
7.057 * [taylor]: Taking taylor expansion of t in y
7.057 * [taylor]: Taking taylor expansion of z in y
7.057 * [taylor]: Taking taylor expansion of (* -1 (/ x (* z (- t z)))) in z
7.057 * [taylor]: Taking taylor expansion of -1 in z
7.057 * [taylor]: Taking taylor expansion of (/ x (* z (- t z))) in z
7.057 * [taylor]: Taking taylor expansion of x in z
7.057 * [taylor]: Taking taylor expansion of (* z (- t z)) in z
7.057 * [taylor]: Taking taylor expansion of z in z
7.057 * [taylor]: Taking taylor expansion of (- t z) in z
7.057 * [taylor]: Taking taylor expansion of t in z
7.057 * [taylor]: Taking taylor expansion of z in z
7.060 * [taylor]: Taking taylor expansion of (- (/ x (pow t 2))) in x
7.060 * [taylor]: Taking taylor expansion of (/ x (pow t 2)) in x
7.060 * [taylor]: Taking taylor expansion of x in x
7.060 * [taylor]: Taking taylor expansion of (pow t 2) in x
7.060 * [taylor]: Taking taylor expansion of t in x
7.060 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t
7.060 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
7.060 * [taylor]: Taking taylor expansion of (pow t 2) in t
7.060 * [taylor]: Taking taylor expansion of t in t
7.064 * [taylor]: Taking taylor expansion of (- (/ x (* (pow z 2) (- t z)))) in z
7.064 * [taylor]: Taking taylor expansion of (/ x (* (pow z 2) (- t z))) in z
7.064 * [taylor]: Taking taylor expansion of x in z
7.064 * [taylor]: Taking taylor expansion of (* (pow z 2) (- t z)) in z
7.064 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.064 * [taylor]: Taking taylor expansion of z in z
7.064 * [taylor]: Taking taylor expansion of (- t z) in z
7.064 * [taylor]: Taking taylor expansion of t in z
7.064 * [taylor]: Taking taylor expansion of z in z
7.068 * [taylor]: Taking taylor expansion of (- (/ x (pow t 3))) in x
7.069 * [taylor]: Taking taylor expansion of (/ x (pow t 3)) in x
7.069 * [taylor]: Taking taylor expansion of x in x
7.069 * [taylor]: Taking taylor expansion of (pow t 3) in x
7.069 * [taylor]: Taking taylor expansion of t in x
7.069 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 3))) in t
7.069 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
7.069 * [taylor]: Taking taylor expansion of (pow t 3) in t
7.069 * [taylor]: Taking taylor expansion of t in t
7.076 * [taylor]: Taking taylor expansion of (- (/ x (pow t 3))) in x
7.076 * [taylor]: Taking taylor expansion of (/ x (pow t 3)) in x
7.076 * [taylor]: Taking taylor expansion of x in x
7.076 * [taylor]: Taking taylor expansion of (pow t 3) in x
7.076 * [taylor]: Taking taylor expansion of t in x
7.076 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 3))) in t
7.076 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
7.076 * [taylor]: Taking taylor expansion of (pow t 3) in t
7.076 * [taylor]: Taking taylor expansion of t in t
7.082 * [taylor]: Taking taylor expansion of 0 in t
7.086 * [taylor]: Taking taylor expansion of (- (/ x (* (pow z 3) (- t z)))) in z
7.086 * [taylor]: Taking taylor expansion of (/ x (* (pow z 3) (- t z))) in z
7.086 * [taylor]: Taking taylor expansion of x in z
7.086 * [taylor]: Taking taylor expansion of (* (pow z 3) (- t z)) in z
7.086 * [taylor]: Taking taylor expansion of (pow z 3) in z
7.086 * [taylor]: Taking taylor expansion of z in z
7.086 * [taylor]: Taking taylor expansion of (- t z) in z
7.086 * [taylor]: Taking taylor expansion of t in z
7.086 * [taylor]: Taking taylor expansion of z in z
7.100 * [taylor]: Taking taylor expansion of (- (/ x (pow t 4))) in x
7.100 * [taylor]: Taking taylor expansion of (/ x (pow t 4)) in x
7.100 * [taylor]: Taking taylor expansion of x in x
7.100 * [taylor]: Taking taylor expansion of (pow t 4) in x
7.100 * [taylor]: Taking taylor expansion of t in x
7.100 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 4))) in t
7.100 * [taylor]: Taking taylor expansion of (/ 1 (pow t 4)) in t
7.100 * [taylor]: Taking taylor expansion of (pow t 4) in t
7.100 * [taylor]: Taking taylor expansion of t in t
7.107 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in (y z x t) around 0
7.107 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in t
7.107 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in t
7.107 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
7.107 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.107 * [taylor]: Taking taylor expansion of t in t
7.108 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.108 * [taylor]: Taking taylor expansion of z in t
7.108 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in t
7.108 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
7.108 * [taylor]: Taking taylor expansion of (/ 1 y) in t
7.108 * [taylor]: Taking taylor expansion of y in t
7.108 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.108 * [taylor]: Taking taylor expansion of z in t
7.108 * [taylor]: Taking taylor expansion of x in t
7.109 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in x
7.109 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in x
7.109 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
7.109 * [taylor]: Taking taylor expansion of (/ 1 t) in x
7.109 * [taylor]: Taking taylor expansion of t in x
7.109 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.109 * [taylor]: Taking taylor expansion of z in x
7.109 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x
7.109 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
7.109 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.109 * [taylor]: Taking taylor expansion of y in x
7.109 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.109 * [taylor]: Taking taylor expansion of z in x
7.109 * [taylor]: Taking taylor expansion of x in x
7.112 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in z
7.112 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in z
7.112 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
7.112 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.112 * [taylor]: Taking taylor expansion of t in z
7.112 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.112 * [taylor]: Taking taylor expansion of z in z
7.112 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in z
7.112 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
7.112 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.112 * [taylor]: Taking taylor expansion of y in z
7.112 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.112 * [taylor]: Taking taylor expansion of z in z
7.113 * [taylor]: Taking taylor expansion of x in z
7.114 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in y
7.114 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in y
7.114 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
7.114 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.114 * [taylor]: Taking taylor expansion of t in y
7.114 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.114 * [taylor]: Taking taylor expansion of z in y
7.114 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in y
7.114 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
7.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.114 * [taylor]: Taking taylor expansion of y in y
7.114 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.114 * [taylor]: Taking taylor expansion of z in y
7.114 * [taylor]: Taking taylor expansion of x in y
7.115 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in y
7.115 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in y
7.115 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
7.115 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.115 * [taylor]: Taking taylor expansion of t in y
7.115 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.115 * [taylor]: Taking taylor expansion of z in y
7.115 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in y
7.115 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
7.115 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.115 * [taylor]: Taking taylor expansion of y in y
7.115 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.115 * [taylor]: Taking taylor expansion of z in y
7.115 * [taylor]: Taking taylor expansion of x in y
7.116 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in z
7.116 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) x) in z
7.116 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
7.116 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.116 * [taylor]: Taking taylor expansion of t in z
7.116 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.116 * [taylor]: Taking taylor expansion of z in z
7.117 * [taylor]: Taking taylor expansion of x in z
7.118 * [taylor]: Taking taylor expansion of (- (/ 1 (* t x))) in x
7.118 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in x
7.118 * [taylor]: Taking taylor expansion of (* t x) in x
7.118 * [taylor]: Taking taylor expansion of t in x
7.118 * [taylor]: Taking taylor expansion of x in x
7.119 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
7.119 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.119 * [taylor]: Taking taylor expansion of t in t
7.122 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t (* x z)))) (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* x (pow z 2))))) in z
7.122 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t (* x z)))) in z
7.122 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t (* x z))) in z
7.122 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
7.122 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
7.122 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.122 * [taylor]: Taking taylor expansion of t in z
7.122 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.122 * [taylor]: Taking taylor expansion of z in z
7.123 * [taylor]: Taking taylor expansion of (* t (* x z)) in z
7.123 * [taylor]: Taking taylor expansion of t in z
7.123 * [taylor]: Taking taylor expansion of (* x z) in z
7.123 * [taylor]: Taking taylor expansion of x in z
7.123 * [taylor]: Taking taylor expansion of z in z
7.125 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* x (pow z 2)))) in z
7.125 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (* x (pow z 2))) in z
7.125 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
7.125 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
7.125 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.125 * [taylor]: Taking taylor expansion of t in z
7.125 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.125 * [taylor]: Taking taylor expansion of z in z
7.126 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in z
7.126 * [taylor]: Taking taylor expansion of x in z
7.126 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.126 * [taylor]: Taking taylor expansion of z in z
7.135 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow t 2) x))) in x
7.135 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) x)) in x
7.135 * [taylor]: Taking taylor expansion of (* (pow t 2) x) in x
7.135 * [taylor]: Taking taylor expansion of (pow t 2) in x
7.135 * [taylor]: Taking taylor expansion of t in x
7.135 * [taylor]: Taking taylor expansion of x in x
7.136 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t
7.136 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
7.136 * [taylor]: Taking taylor expansion of (pow t 2) in t
7.136 * [taylor]: Taking taylor expansion of t in t
7.141 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow t 2) x))) in x
7.141 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) x)) in x
7.141 * [taylor]: Taking taylor expansion of (* (pow t 2) x) in x
7.141 * [taylor]: Taking taylor expansion of (pow t 2) in x
7.141 * [taylor]: Taking taylor expansion of t in x
7.141 * [taylor]: Taking taylor expansion of x in x
7.142 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t
7.142 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
7.142 * [taylor]: Taking taylor expansion of (pow t 2) in t
7.142 * [taylor]: Taking taylor expansion of t in t
7.147 * [taylor]: Taking taylor expansion of 0 in t
7.151 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 3) (* x (pow z 4)))) (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 3) (* (pow t 2) (* x (pow z 2)))))) (* 2 (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 3) (* t (* x (pow z 3))))))) in z
7.151 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 3) (* x (pow z 4)))) (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 3) (* (pow t 2) (* x (pow z 2)))))) in z
7.151 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 3) (* x (pow z 4)))) in z
7.151 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 3) (* x (pow z 4))) in z
7.151 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 3) in z
7.151 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
7.151 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.151 * [taylor]: Taking taylor expansion of t in z
7.151 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.151 * [taylor]: Taking taylor expansion of z in z
7.152 * [taylor]: Taking taylor expansion of (* x (pow z 4)) in z
7.152 * [taylor]: Taking taylor expansion of x in z
7.152 * [taylor]: Taking taylor expansion of (pow z 4) in z
7.152 * [taylor]: Taking taylor expansion of z in z
7.153 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 3) (* (pow t 2) (* x (pow z 2))))) in z
7.153 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 3) (* (pow t 2) (* x (pow z 2)))) in z
7.153 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 3) in z
7.153 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
7.153 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.153 * [taylor]: Taking taylor expansion of t in z
7.153 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.153 * [taylor]: Taking taylor expansion of z in z
7.154 * [taylor]: Taking taylor expansion of (* (pow t 2) (* x (pow z 2))) in z
7.154 * [taylor]: Taking taylor expansion of (pow t 2) in z
7.154 * [taylor]: Taking taylor expansion of t in z
7.154 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in z
7.154 * [taylor]: Taking taylor expansion of x in z
7.154 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.154 * [taylor]: Taking taylor expansion of z in z
7.155 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 3) (* t (* x (pow z 3)))))) in z
7.155 * [taylor]: Taking taylor expansion of 2 in z
7.155 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 3) (* t (* x (pow z 3))))) in z
7.155 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 3) (* t (* x (pow z 3)))) in z
7.155 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 3) in z
7.155 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
7.155 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.155 * [taylor]: Taking taylor expansion of t in z
7.155 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.155 * [taylor]: Taking taylor expansion of z in z
7.156 * [taylor]: Taking taylor expansion of (* t (* x (pow z 3))) in z
7.156 * [taylor]: Taking taylor expansion of t in z
7.156 * [taylor]: Taking taylor expansion of (* x (pow z 3)) in z
7.156 * [taylor]: Taking taylor expansion of x in z
7.156 * [taylor]: Taking taylor expansion of (pow z 3) in z
7.156 * [taylor]: Taking taylor expansion of z in z
7.185 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow t 3) x))) in x
7.185 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) x)) in x
7.185 * [taylor]: Taking taylor expansion of (* (pow t 3) x) in x
7.185 * [taylor]: Taking taylor expansion of (pow t 3) in x
7.185 * [taylor]: Taking taylor expansion of t in x
7.185 * [taylor]: Taking taylor expansion of x in x
7.186 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 3))) in t
7.186 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
7.186 * [taylor]: Taking taylor expansion of (pow t 3) in t
7.186 * [taylor]: Taking taylor expansion of t in t
7.194 * [approximate]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in (y z x t) around 0
7.194 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in t
7.194 * [taylor]: Taking taylor expansion of -1 in t
7.194 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in t
7.194 * [taylor]: Taking taylor expansion of x in t
7.194 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in t
7.194 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
7.194 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.194 * [taylor]: Taking taylor expansion of z in t
7.194 * [taylor]: Taking taylor expansion of (/ 1 y) in t
7.194 * [taylor]: Taking taylor expansion of y in t
7.194 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
7.194 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.194 * [taylor]: Taking taylor expansion of z in t
7.194 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.194 * [taylor]: Taking taylor expansion of t in t
7.196 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in x
7.196 * [taylor]: Taking taylor expansion of -1 in x
7.196 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in x
7.196 * [taylor]: Taking taylor expansion of x in x
7.196 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in x
7.196 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
7.196 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.196 * [taylor]: Taking taylor expansion of z in x
7.196 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.196 * [taylor]: Taking taylor expansion of y in x
7.196 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
7.196 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.196 * [taylor]: Taking taylor expansion of z in x
7.196 * [taylor]: Taking taylor expansion of (/ 1 t) in x
7.196 * [taylor]: Taking taylor expansion of t in x
7.199 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in z
7.199 * [taylor]: Taking taylor expansion of -1 in z
7.199 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in z
7.199 * [taylor]: Taking taylor expansion of x in z
7.199 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in z
7.199 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
7.199 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.199 * [taylor]: Taking taylor expansion of z in z
7.199 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.199 * [taylor]: Taking taylor expansion of y in z
7.199 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
7.199 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.199 * [taylor]: Taking taylor expansion of z in z
7.200 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.200 * [taylor]: Taking taylor expansion of t in z
7.200 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in y
7.201 * [taylor]: Taking taylor expansion of -1 in y
7.201 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in y
7.201 * [taylor]: Taking taylor expansion of x in y
7.201 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in y
7.201 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
7.201 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.201 * [taylor]: Taking taylor expansion of z in y
7.201 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.201 * [taylor]: Taking taylor expansion of y in y
7.201 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
7.201 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.201 * [taylor]: Taking taylor expansion of z in y
7.201 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.201 * [taylor]: Taking taylor expansion of t in y
7.202 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in y
7.202 * [taylor]: Taking taylor expansion of -1 in y
7.202 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in y
7.202 * [taylor]: Taking taylor expansion of x in y
7.202 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in y
7.202 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
7.202 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.202 * [taylor]: Taking taylor expansion of z in y
7.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.202 * [taylor]: Taking taylor expansion of y in y
7.202 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
7.202 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.202 * [taylor]: Taking taylor expansion of z in y
7.203 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.203 * [taylor]: Taking taylor expansion of t in y
7.203 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (/ 1 z) (/ 1 t)))) in z
7.204 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 t))) in z
7.204 * [taylor]: Taking taylor expansion of x in z
7.204 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
7.204 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.204 * [taylor]: Taking taylor expansion of z in z
7.204 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.204 * [taylor]: Taking taylor expansion of t in z
7.205 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in x
7.205 * [taylor]: Taking taylor expansion of (* t x) in x
7.205 * [taylor]: Taking taylor expansion of t in x
7.205 * [taylor]: Taking taylor expansion of x in x
7.206 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.206 * [taylor]: Taking taylor expansion of t in t
7.210 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 2)))) (/ 1 (* t (* x (* z (pow (- (/ 1 z) (/ 1 t)) 2)))))) in z
7.210 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 2)))) in z
7.210 * [taylor]: Taking taylor expansion of (* x (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 2))) in z
7.210 * [taylor]: Taking taylor expansion of x in z
7.210 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 2)) in z
7.210 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.210 * [taylor]: Taking taylor expansion of z in z
7.210 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 t)) 2) in z
7.210 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
7.210 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.210 * [taylor]: Taking taylor expansion of z in z
7.210 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.210 * [taylor]: Taking taylor expansion of t in z
7.211 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z (pow (- (/ 1 z) (/ 1 t)) 2))))) in z
7.211 * [taylor]: Taking taylor expansion of (* t (* x (* z (pow (- (/ 1 z) (/ 1 t)) 2)))) in z
7.211 * [taylor]: Taking taylor expansion of t in z
7.211 * [taylor]: Taking taylor expansion of (* x (* z (pow (- (/ 1 z) (/ 1 t)) 2))) in z
7.211 * [taylor]: Taking taylor expansion of x in z
7.211 * [taylor]: Taking taylor expansion of (* z (pow (- (/ 1 z) (/ 1 t)) 2)) in z
7.211 * [taylor]: Taking taylor expansion of z in z
7.211 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 t)) 2) in z
7.212 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
7.212 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.212 * [taylor]: Taking taylor expansion of z in z
7.212 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.212 * [taylor]: Taking taylor expansion of t in z
7.223 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) x)) in x
7.223 * [taylor]: Taking taylor expansion of (* (pow t 2) x) in x
7.223 * [taylor]: Taking taylor expansion of (pow t 2) in x
7.223 * [taylor]: Taking taylor expansion of t in x
7.223 * [taylor]: Taking taylor expansion of x in x
7.224 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
7.224 * [taylor]: Taking taylor expansion of (pow t 2) in t
7.224 * [taylor]: Taking taylor expansion of t in t
7.229 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) x)) in x
7.229 * [taylor]: Taking taylor expansion of (* (pow t 2) x) in x
7.229 * [taylor]: Taking taylor expansion of (pow t 2) in x
7.229 * [taylor]: Taking taylor expansion of t in x
7.229 * [taylor]: Taking taylor expansion of x in x
7.229 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
7.229 * [taylor]: Taking taylor expansion of (pow t 2) in t
7.229 * [taylor]: Taking taylor expansion of t in t
7.233 * [taylor]: Taking taylor expansion of 0 in t
7.238 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (* x (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 3))))) (/ 1 (* x (* (pow z 4) (pow (- (/ 1 z) (/ 1 t)) 3))))) (* 2 (/ 1 (* t (* x (* (pow z 3) (pow (- (/ 1 z) (/ 1 t)) 3))))))) in z
7.238 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (* x (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 3))))) (/ 1 (* x (* (pow z 4) (pow (- (/ 1 z) (/ 1 t)) 3))))) in z
7.239 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (* x (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 3))))) in z
7.239 * [taylor]: Taking taylor expansion of (* (pow t 2) (* x (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 3)))) in z
7.239 * [taylor]: Taking taylor expansion of (pow t 2) in z
7.239 * [taylor]: Taking taylor expansion of t in z
7.239 * [taylor]: Taking taylor expansion of (* x (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 3))) in z
7.239 * [taylor]: Taking taylor expansion of x in z
7.239 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 3)) in z
7.239 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.239 * [taylor]: Taking taylor expansion of z in z
7.239 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 t)) 3) in z
7.239 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
7.239 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.239 * [taylor]: Taking taylor expansion of z in z
7.239 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.239 * [taylor]: Taking taylor expansion of t in z
7.241 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (pow z 4) (pow (- (/ 1 z) (/ 1 t)) 3)))) in z
7.241 * [taylor]: Taking taylor expansion of (* x (* (pow z 4) (pow (- (/ 1 z) (/ 1 t)) 3))) in z
7.241 * [taylor]: Taking taylor expansion of x in z
7.241 * [taylor]: Taking taylor expansion of (* (pow z 4) (pow (- (/ 1 z) (/ 1 t)) 3)) in z
7.241 * [taylor]: Taking taylor expansion of (pow z 4) in z
7.241 * [taylor]: Taking taylor expansion of z in z
7.241 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 t)) 3) in z
7.241 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
7.241 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.241 * [taylor]: Taking taylor expansion of z in z
7.242 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.242 * [taylor]: Taking taylor expansion of t in z
7.243 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* t (* x (* (pow z 3) (pow (- (/ 1 z) (/ 1 t)) 3)))))) in z
7.243 * [taylor]: Taking taylor expansion of 2 in z
7.243 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* (pow z 3) (pow (- (/ 1 z) (/ 1 t)) 3))))) in z
7.243 * [taylor]: Taking taylor expansion of (* t (* x (* (pow z 3) (pow (- (/ 1 z) (/ 1 t)) 3)))) in z
7.243 * [taylor]: Taking taylor expansion of t in z
7.243 * [taylor]: Taking taylor expansion of (* x (* (pow z 3) (pow (- (/ 1 z) (/ 1 t)) 3))) in z
7.243 * [taylor]: Taking taylor expansion of x in z
7.243 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow (- (/ 1 z) (/ 1 t)) 3)) in z
7.243 * [taylor]: Taking taylor expansion of (pow z 3) in z
7.243 * [taylor]: Taking taylor expansion of z in z
7.243 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 t)) 3) in z
7.243 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
7.243 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.243 * [taylor]: Taking taylor expansion of z in z
7.244 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.244 * [taylor]: Taking taylor expansion of t in z
7.270 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) x)) in x
7.270 * [taylor]: Taking taylor expansion of (* (pow t 3) x) in x
7.270 * [taylor]: Taking taylor expansion of (pow t 3) in x
7.270 * [taylor]: Taking taylor expansion of t in x
7.270 * [taylor]: Taking taylor expansion of x in x
7.271 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
7.271 * [taylor]: Taking taylor expansion of (pow t 3) in t
7.271 * [taylor]: Taking taylor expansion of t in t
7.284 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
7.284 * [approximate]: Taking taylor expansion of (/ 1 (- y z)) in (y z) around 0
7.284 * [taylor]: Taking taylor expansion of (/ 1 (- y z)) in z
7.284 * [taylor]: Taking taylor expansion of (- y z) in z
7.284 * [taylor]: Taking taylor expansion of y in z
7.284 * [taylor]: Taking taylor expansion of z in z
7.284 * [taylor]: Taking taylor expansion of (/ 1 (- y z)) in y
7.284 * [taylor]: Taking taylor expansion of (- y z) in y
7.284 * [taylor]: Taking taylor expansion of y in y
7.284 * [taylor]: Taking taylor expansion of z in y
7.285 * [taylor]: Taking taylor expansion of (/ 1 (- y z)) in y
7.285 * [taylor]: Taking taylor expansion of (- y z) in y
7.285 * [taylor]: Taking taylor expansion of y in y
7.285 * [taylor]: Taking taylor expansion of z in y
7.285 * [taylor]: Taking taylor expansion of (/ -1 z) in z
7.285 * [taylor]: Taking taylor expansion of -1 in z
7.285 * [taylor]: Taking taylor expansion of z in z
7.286 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
7.286 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.286 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.286 * [taylor]: Taking taylor expansion of z in z
7.290 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3))) in z
7.291 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
7.291 * [taylor]: Taking taylor expansion of (pow z 3) in z
7.291 * [taylor]: Taking taylor expansion of z in z
7.298 * [approximate]: Taking taylor expansion of (/ 1 (- (/ 1 y) (/ 1 z))) in (y z) around 0
7.298 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 y) (/ 1 z))) in z
7.298 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
7.298 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.298 * [taylor]: Taking taylor expansion of y in z
7.298 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.298 * [taylor]: Taking taylor expansion of z in z
7.299 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 y) (/ 1 z))) in y
7.299 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
7.299 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.299 * [taylor]: Taking taylor expansion of y in y
7.299 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.299 * [taylor]: Taking taylor expansion of z in y
7.300 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 y) (/ 1 z))) in y
7.300 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
7.300 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.300 * [taylor]: Taking taylor expansion of y in y
7.300 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.300 * [taylor]: Taking taylor expansion of z in y
7.301 * [taylor]: Taking taylor expansion of 1 in z
7.302 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.302 * [taylor]: Taking taylor expansion of z in z
7.305 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.305 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.305 * [taylor]: Taking taylor expansion of z in z
7.309 * [approximate]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 y))) in (y z) around 0
7.309 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 y))) in z
7.309 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
7.309 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.309 * [taylor]: Taking taylor expansion of z in z
7.309 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.309 * [taylor]: Taking taylor expansion of y in z
7.310 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 y))) in y
7.310 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
7.310 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.310 * [taylor]: Taking taylor expansion of z in y
7.310 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.310 * [taylor]: Taking taylor expansion of y in y
7.311 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 y))) in y
7.311 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
7.311 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.311 * [taylor]: Taking taylor expansion of z in y
7.311 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.311 * [taylor]: Taking taylor expansion of y in y
7.312 * [taylor]: Taking taylor expansion of -1 in z
7.313 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
7.313 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.313 * [taylor]: Taking taylor expansion of z in z
7.316 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
7.316 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.316 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.316 * [taylor]: Taking taylor expansion of z in z
7.320 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
7.320 * [approximate]: Taking taylor expansion of (/ x (- t z)) in (x t z) around 0
7.320 * [taylor]: Taking taylor expansion of (/ x (- t z)) in z
7.320 * [taylor]: Taking taylor expansion of x in z
7.320 * [taylor]: Taking taylor expansion of (- t z) in z
7.320 * [taylor]: Taking taylor expansion of t in z
7.320 * [taylor]: Taking taylor expansion of z in z
7.320 * [taylor]: Taking taylor expansion of (/ x (- t z)) in t
7.320 * [taylor]: Taking taylor expansion of x in t
7.320 * [taylor]: Taking taylor expansion of (- t z) in t
7.321 * [taylor]: Taking taylor expansion of t in t
7.321 * [taylor]: Taking taylor expansion of z in t
7.321 * [taylor]: Taking taylor expansion of (/ x (- t z)) in x
7.321 * [taylor]: Taking taylor expansion of x in x
7.321 * [taylor]: Taking taylor expansion of (- t z) in x
7.321 * [taylor]: Taking taylor expansion of t in x
7.321 * [taylor]: Taking taylor expansion of z in x
7.321 * [taylor]: Taking taylor expansion of (/ x (- t z)) in x
7.321 * [taylor]: Taking taylor expansion of x in x
7.321 * [taylor]: Taking taylor expansion of (- t z) in x
7.321 * [taylor]: Taking taylor expansion of t in x
7.321 * [taylor]: Taking taylor expansion of z in x
7.321 * [taylor]: Taking taylor expansion of (/ 1 (- t z)) in t
7.321 * [taylor]: Taking taylor expansion of (- t z) in t
7.321 * [taylor]: Taking taylor expansion of t in t
7.321 * [taylor]: Taking taylor expansion of z in t
7.321 * [taylor]: Taking taylor expansion of (/ -1 z) in z
7.321 * [taylor]: Taking taylor expansion of -1 in z
7.321 * [taylor]: Taking taylor expansion of z in z
7.323 * [taylor]: Taking taylor expansion of 0 in t
7.323 * [taylor]: Taking taylor expansion of 0 in z
7.323 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
7.323 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.323 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.323 * [taylor]: Taking taylor expansion of z in z
7.327 * [taylor]: Taking taylor expansion of 0 in t
7.327 * [taylor]: Taking taylor expansion of 0 in z
7.327 * [taylor]: Taking taylor expansion of 0 in z
7.327 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in (x t z) around 0
7.327 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in z
7.327 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) x) in z
7.327 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
7.327 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.327 * [taylor]: Taking taylor expansion of t in z
7.327 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.327 * [taylor]: Taking taylor expansion of z in z
7.328 * [taylor]: Taking taylor expansion of x in z
7.328 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in t
7.328 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) x) in t
7.328 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
7.328 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.328 * [taylor]: Taking taylor expansion of t in t
7.329 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.329 * [taylor]: Taking taylor expansion of z in t
7.329 * [taylor]: Taking taylor expansion of x in t
7.329 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in x
7.329 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) x) in x
7.329 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
7.329 * [taylor]: Taking taylor expansion of (/ 1 t) in x
7.329 * [taylor]: Taking taylor expansion of t in x
7.329 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.329 * [taylor]: Taking taylor expansion of z in x
7.329 * [taylor]: Taking taylor expansion of x in x
7.330 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in x
7.330 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) x) in x
7.330 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
7.330 * [taylor]: Taking taylor expansion of (/ 1 t) in x
7.330 * [taylor]: Taking taylor expansion of t in x
7.330 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.330 * [taylor]: Taking taylor expansion of z in x
7.330 * [taylor]: Taking taylor expansion of x in x
7.332 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 z))) in t
7.332 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
7.332 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.332 * [taylor]: Taking taylor expansion of t in t
7.332 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.332 * [taylor]: Taking taylor expansion of z in t
7.333 * [taylor]: Taking taylor expansion of 1 in z
7.334 * [taylor]: Taking taylor expansion of 0 in t
7.334 * [taylor]: Taking taylor expansion of 0 in z
7.334 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.334 * [taylor]: Taking taylor expansion of z in z
7.337 * [taylor]: Taking taylor expansion of 0 in t
7.337 * [taylor]: Taking taylor expansion of 0 in z
7.337 * [taylor]: Taking taylor expansion of 0 in z
7.337 * [approximate]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in (x t z) around 0
7.337 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in z
7.337 * [taylor]: Taking taylor expansion of -1 in z
7.337 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 t))) in z
7.337 * [taylor]: Taking taylor expansion of x in z
7.337 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
7.337 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.337 * [taylor]: Taking taylor expansion of z in z
7.338 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.338 * [taylor]: Taking taylor expansion of t in z
7.338 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in t
7.338 * [taylor]: Taking taylor expansion of -1 in t
7.338 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 t))) in t
7.338 * [taylor]: Taking taylor expansion of x in t
7.338 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
7.338 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.338 * [taylor]: Taking taylor expansion of z in t
7.338 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.338 * [taylor]: Taking taylor expansion of t in t
7.339 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in x
7.339 * [taylor]: Taking taylor expansion of -1 in x
7.339 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 t))) in x
7.339 * [taylor]: Taking taylor expansion of x in x
7.339 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
7.339 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.339 * [taylor]: Taking taylor expansion of z in x
7.339 * [taylor]: Taking taylor expansion of (/ 1 t) in x
7.339 * [taylor]: Taking taylor expansion of t in x
7.340 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in x
7.340 * [taylor]: Taking taylor expansion of -1 in x
7.340 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 t))) in x
7.340 * [taylor]: Taking taylor expansion of x in x
7.340 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
7.341 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.341 * [taylor]: Taking taylor expansion of z in x
7.341 * [taylor]: Taking taylor expansion of (/ 1 t) in x
7.341 * [taylor]: Taking taylor expansion of t in x
7.342 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 z) (/ 1 t))) in t
7.342 * [taylor]: Taking taylor expansion of -1 in t
7.342 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
7.342 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.342 * [taylor]: Taking taylor expansion of z in t
7.342 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.342 * [taylor]: Taking taylor expansion of t in t
7.343 * [taylor]: Taking taylor expansion of 1 in z
7.344 * [taylor]: Taking taylor expansion of 0 in t
7.344 * [taylor]: Taking taylor expansion of 0 in z
7.346 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.346 * [taylor]: Taking taylor expansion of z in z
7.349 * [taylor]: Taking taylor expansion of 0 in t
7.349 * [taylor]: Taking taylor expansion of 0 in z
7.349 * [taylor]: Taking taylor expansion of 0 in z
7.349 * * * [progress]: simplifying candidates
7.352 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (/ 1 (- y z)) (/ x (- t z))))
  (log1p (* (/ 1 (- y z)) (/ x (- t z))))
  (* (/ 1 (- y z)) (/ x (- t z)))
  (+ (- (log (- y z))) (- (log x) (log (- t z))))
  (+ (- (log (- y z))) (log (/ x (- t z))))
  (+ (- 0 (log (- y z))) (- (log x) (log (- t z))))
  (+ (- 0 (log (- y z))) (log (/ x (- t z))))
  (+ (- (log 1) (log (- y z))) (- (log x) (log (- t z))))
  (+ (- (log 1) (log (- y z))) (log (/ x (- t z))))
  (+ (log (/ 1 (- y z))) (- (log x) (log (- t z))))
  (+ (log (/ 1 (- y z))) (log (/ x (- t z))))
  (log (* (/ 1 (- y z)) (/ x (- t z))))
  (exp (* (/ 1 (- y z)) (/ x (- t z))))
  (* (/ (* (* 1 1) 1) (* (* (- y z) (- y z)) (- y z))) (/ (* (* x x) x) (* (* (- t z) (- t z)) (- t z))))
  (* (/ (* (* 1 1) 1) (* (* (- y z) (- y z)) (- y z))) (* (* (/ x (- t z)) (/ x (- t z))) (/ x (- t z))))
  (* (* (* (/ 1 (- y z)) (/ 1 (- y z))) (/ 1 (- y z))) (/ (* (* x x) x) (* (* (- t z) (- t z)) (- t z))))
  (* (* (* (/ 1 (- y z)) (/ 1 (- y z))) (/ 1 (- y z))) (* (* (/ x (- t z)) (/ x (- t z))) (/ x (- t z))))
  (* (cbrt (* (/ 1 (- y z)) (/ x (- t z)))) (cbrt (* (/ 1 (- y z)) (/ x (- t z)))))
  (cbrt (* (/ 1 (- y z)) (/ x (- t z))))
  (* (* (* (/ 1 (- y z)) (/ x (- t z))) (* (/ 1 (- y z)) (/ x (- t z)))) (* (/ 1 (- y z)) (/ x (- t z))))
  (sqrt (* (/ 1 (- y z)) (/ x (- t z))))
  (sqrt (* (/ 1 (- y z)) (/ x (- t z))))
  (* 1 x)
  (* (- y z) (- t z))
  (* (sqrt (/ 1 (- y z))) (sqrt (/ x (- t z))))
  (* (sqrt (/ 1 (- y z))) (sqrt (/ x (- t z))))
  (* (sqrt (/ 1 (- y z))) (/ (sqrt x) (sqrt (- t z))))
  (* (sqrt (/ 1 (- y z))) (/ (sqrt x) (sqrt (- t z))))
  (* (/ (sqrt 1) (sqrt (- y z))) (sqrt (/ x (- t z))))
  (* (/ (sqrt 1) (sqrt (- y z))) (sqrt (/ x (- t z))))
  (* (/ (sqrt 1) (sqrt (- y z))) (/ (sqrt x) (sqrt (- t z))))
  (* (/ (sqrt 1) (sqrt (- y z))) (/ (sqrt x) (sqrt (- t z))))
  (* (/ 1 (sqrt (- y z))) (sqrt (/ x (- t z))))
  (* (/ 1 (sqrt (- y z))) (sqrt (/ x (- t z))))
  (* (/ 1 (sqrt (- y z))) (/ (sqrt x) (sqrt (- t z))))
  (* (/ 1 (sqrt (- y z))) (/ (sqrt x) (sqrt (- t z))))
  (* (/ 1 (- y z)) (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))))
  (* (/ 1 (- y z)) (sqrt (/ x (- t z))))
  (* (/ 1 (- y z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))))
  (* (/ 1 (- y z)) (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))))
  (* (/ 1 (- y z)) (/ (* (cbrt x) (cbrt x)) 1))
  (* (/ 1 (- y z)) (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z))))
  (* (/ 1 (- y z)) (/ (* (cbrt x) (cbrt x)) 1))
  (* (/ 1 (- y z)) (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z)))))
  (* (/ 1 (- y z)) (/ (sqrt x) (sqrt (- t z))))
  (* (/ 1 (- y z)) (/ (sqrt x) 1))
  (* (/ 1 (- y z)) (/ (sqrt x) (+ (sqrt t) (sqrt z))))
  (* (/ 1 (- y z)) (/ (sqrt x) 1))
  (* (/ 1 (- y z)) (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))))
  (* (/ 1 (- y z)) (/ 1 (sqrt (- t z))))
  (* (/ 1 (- y z)) (/ 1 1))
  (* (/ 1 (- y z)) (/ 1 (+ (sqrt t) (sqrt z))))
  (* (/ 1 (- y z)) (/ 1 1))
  (* (/ 1 (- y z)) 1)
  (* (/ 1 (- y z)) x)
  (* (/ 1 (- y z)) (/ x (- (pow t 3) (pow z 3))))
  (* (/ 1 (- y z)) (/ x (- (* t t) (* z z))))
  (* (cbrt (/ 1 (- y z))) (/ x (- t z)))
  (* (sqrt (/ 1 (- y z))) (/ x (- t z)))
  (* (/ (cbrt 1) (cbrt (- y z))) (/ x (- t z)))
  (* (/ (cbrt 1) (sqrt (- y z))) (/ x (- t z)))
  (* (/ (cbrt 1) (- y z)) (/ x (- t z)))
  (* (/ (cbrt 1) (- (sqrt y) (sqrt z))) (/ x (- t z)))
  (* (/ (cbrt 1) (- y z)) (/ x (- t z)))
  (* (/ (sqrt 1) (cbrt (- y z))) (/ x (- t z)))
  (* (/ (sqrt 1) (sqrt (- y z))) (/ x (- t z)))
  (* (/ (sqrt 1) (- y z)) (/ x (- t z)))
  (* (/ (sqrt 1) (- (sqrt y) (sqrt z))) (/ x (- t z)))
  (* (/ (sqrt 1) (- y z)) (/ x (- t z)))
  (* (/ 1 (cbrt (- y z))) (/ x (- t z)))
  (* (/ 1 (sqrt (- y z))) (/ x (- t z)))
  (* (/ 1 (- y z)) (/ x (- t z)))
  (* (/ 1 (- (sqrt y) (sqrt z))) (/ x (- t z)))
  (* (/ 1 (- y z)) (/ x (- t z)))
  (* (/ 1 (- y z)) (/ x (- t z)))
  (* (/ 1 (- y z)) (/ x (- t z)))
  (* (+ (* y y) (+ (* z z) (* y z))) (/ x (- t z)))
  (* (+ y z) (/ x (- t z)))
  (* (/ 1 (- y z)) x)
  (* 1 (/ x (- t z)))
  (expm1 (/ 1 (- y z)))
  (log1p (/ 1 (- y z)))
  (- 1)
  (- (log (- y z)))
  (- 0 (log (- y z)))
  (- (log 1) (log (- y z)))
  (log (/ 1 (- y z)))
  (exp (/ 1 (- y z)))
  (/ (* (* 1 1) 1) (* (* (- y z) (- y z)) (- y z)))
  (* (cbrt (/ 1 (- y z))) (cbrt (/ 1 (- y z))))
  (cbrt (/ 1 (- y z)))
  (* (* (/ 1 (- y z)) (/ 1 (- y z))) (/ 1 (- y z)))
  (sqrt (/ 1 (- y z)))
  (sqrt (/ 1 (- y z)))
  (- 1)
  (- (- y z))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (cbrt 1) (cbrt (- y z)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (- y z)))
  (/ (cbrt 1) (sqrt (- y z)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (- y z))
  (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt y) (sqrt z)))
  (/ (cbrt 1) (- (sqrt y) (sqrt z)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (- y z))
  (/ (sqrt 1) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (sqrt 1) (cbrt (- y z)))
  (/ (sqrt 1) (sqrt (- y z)))
  (/ (sqrt 1) (sqrt (- y z)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (- y z))
  (/ (sqrt 1) (+ (sqrt y) (sqrt z)))
  (/ (sqrt 1) (- (sqrt y) (sqrt z)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (- y z))
  (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))
  (/ 1 (cbrt (- y z)))
  (/ 1 (sqrt (- y z)))
  (/ 1 (sqrt (- y z)))
  (/ 1 1)
  (/ 1 (- y z))
  (/ 1 (+ (sqrt y) (sqrt z)))
  (/ 1 (- (sqrt y) (sqrt z)))
  (/ 1 1)
  (/ 1 (- y z))
  (/ 1 (- y z))
  (/ (- y z) 1)
  (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))
  (/ 1 (sqrt (- y z)))
  (/ 1 1)
  (/ 1 (+ (sqrt y) (sqrt z)))
  (/ 1 1)
  (/ (- y z) (cbrt 1))
  (/ (- y z) (sqrt 1))
  (/ (- y z) 1)
  (/ 1 (- (pow y 3) (pow z 3)))
  (/ 1 (- (* y y) (* z z)))
  (expm1 (/ x (- t z)))
  (log1p (/ x (- t z)))
  (- (log x) (log (- t z)))
  (log (/ x (- t z)))
  (exp (/ x (- t z)))
  (/ (* (* x x) x) (* (* (- t z) (- t z)) (- t z)))
  (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z))))
  (cbrt (/ x (- t z)))
  (* (* (/ x (- t z)) (/ x (- t z))) (/ x (- t z)))
  (sqrt (/ x (- t z)))
  (sqrt (/ x (- t z)))
  (- x)
  (- (- t z))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (cbrt x) (cbrt (- t z)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- t z)))
  (/ (cbrt x) (sqrt (- t z)))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (- t z))
  (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z)))
  (/ (cbrt x) (- (sqrt t) (sqrt z)))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (- t z))
  (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (sqrt x) (cbrt (- t z)))
  (/ (sqrt x) (sqrt (- t z)))
  (/ (sqrt x) (sqrt (- t z)))
  (/ (sqrt x) 1)
  (/ (sqrt x) (- t z))
  (/ (sqrt x) (+ (sqrt t) (sqrt z)))
  (/ (sqrt x) (- (sqrt t) (sqrt z)))
  (/ (sqrt x) 1)
  (/ (sqrt x) (- t z))
  (/ 1 (* (cbrt (- t z)) (cbrt (- t z))))
  (/ x (cbrt (- t z)))
  (/ 1 (sqrt (- t z)))
  (/ x (sqrt (- t z)))
  (/ 1 1)
  (/ x (- t z))
  (/ 1 (+ (sqrt t) (sqrt z)))
  (/ x (- (sqrt t) (sqrt z)))
  (/ 1 1)
  (/ x (- t z))
  (/ 1 (- t z))
  (/ (- t z) x)
  (/ x (* (cbrt (- t z)) (cbrt (- t z))))
  (/ x (sqrt (- t z)))
  (/ x 1)
  (/ x (+ (sqrt t) (sqrt z)))
  (/ x 1)
  (/ (- t z) (cbrt x))
  (/ (- t z) (sqrt x))
  (/ (- t z) x)
  (/ x (- (pow t 3) (pow z 3)))
  (/ x (- (* t t) (* z z)))
  0
  0
  0
  0
  0
  0
  0
  0
  0
7.358 * * [simplify]: iteration  0 :  204  enodes  (cost  1932 )
7.432 * * [simplify]: iteration  1 :  529  enodes  (cost  1723 )
7.681 * * [simplify]: iteration  2 :  1422  enodes  (cost  1513 )
10.722 * * [simplify]: iteration  3 :  4921  enodes  (cost  1513 )
11.676 * * [simplify]: iteration  done :  5000  enodes  (cost  1513 )
11.677 * [simplify]: Simplified to:
   (expm1 (/ (/ x (- t z)) (- y z)))
  (log1p (/ (/ x (- t z)) (- y z)))
  (/ x (* (- y z) (- t z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (exp (/ (/ x (- t z)) (- y z)))
  (pow (/ x (* (- y z) (- t z))) 3)
  (pow (/ x (* (- y z) (- t z))) 3)
  (pow (/ x (* (- y z) (- t z))) 3)
  (pow (/ x (* (- y z) (- t z))) 3)
  (* (cbrt (/ (/ x (- t z)) (- y z))) (cbrt (/ (/ x (- t z)) (- y z))))
  (cbrt (/ (/ x (- t z)) (- y z)))
  (pow (/ x (* (- y z) (- t z))) 3)
  (sqrt (/ (/ x (- t z)) (- y z)))
  (sqrt (/ (/ x (- t z)) (- y z)))
  x
  (* (- t z) (- y z))
  (* (sqrt (/ 1 (- y z))) (sqrt (/ x (- t z))))
  (* (sqrt (/ 1 (- y z))) (sqrt (/ x (- t z))))
  (* (sqrt (/ 1 (- y z))) (/ (sqrt x) (sqrt (- t z))))
  (* (sqrt (/ 1 (- y z))) (/ (sqrt x) (sqrt (- t z))))
  (/ (sqrt (/ x (- t z))) (sqrt (- y z)))
  (/ (sqrt (/ x (- t z))) (sqrt (- y z)))
  (/ (/ (sqrt x) (sqrt (- y z))) (sqrt (- t z)))
  (/ (/ (sqrt x) (sqrt (- y z))) (sqrt (- t z)))
  (/ (sqrt (/ x (- t z))) (sqrt (- y z)))
  (/ (sqrt (/ x (- t z))) (sqrt (- y z)))
  (/ (/ (sqrt x) (sqrt (- y z))) (sqrt (- t z)))
  (/ (/ (sqrt x) (sqrt (- y z))) (sqrt (- t z)))
  (/ (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))) (- y z))
  (/ (sqrt (/ x (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))) (- y z))
  (/ (* (cbrt x) (cbrt x)) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z))) (- y z))
  (/ (* (cbrt x) (cbrt x)) (- y z))
  (/ (/ (sqrt x) (- y z)) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (/ (sqrt x) (- y z)) (sqrt (- t z)))
  (/ (sqrt x) (- y z))
  (/ (/ (sqrt x) (+ (sqrt t) (sqrt z))) (- y z))
  (/ (sqrt x) (- y z))
  (/ (/ 1 (- y z)) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (/ 1 (- y z)) (sqrt (- t z)))
  (/ 1 (- y z))
  (/ (/ 1 (- y z)) (+ (sqrt t) (sqrt z)))
  (/ 1 (- y z))
  (/ 1 (- y z))
  (/ x (- y z))
  (/ (/ x (- y z)) (- (pow t 3) (pow z 3)))
  (/ (/ x (- y z)) (- (* t t) (* z z)))
  (* (cbrt (/ 1 (- y z))) (/ x (- t z)))
  (* (sqrt (/ 1 (- y z))) (/ x (- t z)))
  (/ (/ x (- t z)) (cbrt (- y z)))
  (/ (/ x (- t z)) (sqrt (- y z)))
  (/ x (* (- y z) (- t z)))
  (/ (/ x (- (sqrt y) (sqrt z))) (- t z))
  (/ x (* (- y z) (- t z)))
  (/ (/ x (- t z)) (cbrt (- y z)))
  (/ (/ x (- t z)) (sqrt (- y z)))
  (/ x (* (- y z) (- t z)))
  (/ (/ x (- (sqrt y) (sqrt z))) (- t z))
  (/ x (* (- y z) (- t z)))
  (/ (/ x (- t z)) (cbrt (- y z)))
  (/ (/ x (- t z)) (sqrt (- y z)))
  (/ x (* (- y z) (- t z)))
  (/ (/ x (- (sqrt y) (sqrt z))) (- t z))
  (/ x (* (- y z) (- t z)))
  (/ x (* (- y z) (- t z)))
  (/ x (* (- y z) (- t z)))
  (* (fma y y (* z (+ y z))) (/ x (- t z)))
  (* (+ y z) (/ x (- t z)))
  (/ x (- y z))
  (/ x (- t z))
  (expm1 (/ 1 (- y z)))
  (log1p (/ 1 (- y z)))
  -1
  (- (log (- y z)))
  (- (log (- y z)))
  (- (log (- y z)))
  (- (log (- y z)))
  (exp (/ 1 (- y z)))
  (/ 1 (pow (- y z) 3))
  (* (cbrt (/ 1 (- y z))) (cbrt (/ 1 (- y z))))
  (cbrt (/ 1 (- y z)))
  (/ 1 (pow (- y z) 3))
  (sqrt (/ 1 (- y z)))
  (sqrt (/ 1 (- y z)))
  -1
  (- (- y z))
  (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))
  (/ 1 (cbrt (- y z)))
  (/ 1 (sqrt (- y z)))
  (/ 1 (sqrt (- y z)))
  1
  (/ 1 (- y z))
  (/ 1 (+ (sqrt y) (sqrt z)))
  (/ 1 (- (sqrt y) (sqrt z)))
  1
  (/ 1 (- y z))
  (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))
  (/ 1 (cbrt (- y z)))
  (/ 1 (sqrt (- y z)))
  (/ 1 (sqrt (- y z)))
  1
  (/ 1 (- y z))
  (/ 1 (+ (sqrt y) (sqrt z)))
  (/ 1 (- (sqrt y) (sqrt z)))
  1
  (/ 1 (- y z))
  (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))
  (/ 1 (cbrt (- y z)))
  (/ 1 (sqrt (- y z)))
  (/ 1 (sqrt (- y z)))
  1
  (/ 1 (- y z))
  (/ 1 (+ (sqrt y) (sqrt z)))
  (/ 1 (- (sqrt y) (sqrt z)))
  1
  (/ 1 (- y z))
  (/ 1 (- y z))
  (- y z)
  (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))
  (/ 1 (sqrt (- y z)))
  1
  (/ 1 (+ (sqrt y) (sqrt z)))
  1
  (- y z)
  (- y z)
  (- y z)
  (/ 1 (- (pow y 3) (pow z 3)))
  (/ 1 (- (* y y) (* z z)))
  (expm1 (/ x (- t z)))
  (log1p (/ x (- t z)))
  (log (/ x (- t z)))
  (log (/ x (- t z)))
  (exp (/ x (- t z)))
  (pow (/ x (- t z)) 3)
  (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z))))
  (cbrt (/ x (- t z)))
  (pow (/ x (- t z)) 3)
  (sqrt (/ x (- t z)))
  (sqrt (/ x (- t z)))
  (- x)
  (- (- t z))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (cbrt x) (cbrt (- t z)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- t z)))
  (/ (cbrt x) (sqrt (- t z)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (- t z))
  (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z)))
  (/ (cbrt x) (- (sqrt t) (sqrt z)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (- t z))
  (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (sqrt x) (cbrt (- t z)))
  (/ (sqrt x) (sqrt (- t z)))
  (/ (sqrt x) (sqrt (- t z)))
  (sqrt x)
  (/ (sqrt x) (- t z))
  (/ (sqrt x) (+ (sqrt t) (sqrt z)))
  (/ (sqrt x) (- (sqrt t) (sqrt z)))
  (sqrt x)
  (/ (sqrt x) (- t z))
  (/ 1 (* (cbrt (- t z)) (cbrt (- t z))))
  (/ x (cbrt (- t z)))
  (/ 1 (sqrt (- t z)))
  (/ x (sqrt (- t z)))
  1
  (/ x (- t z))
  (/ 1 (+ (sqrt t) (sqrt z)))
  (/ x (- (sqrt t) (sqrt z)))
  1
  (/ x (- t z))
  (/ 1 (- t z))
  (/ (- t z) x)
  (/ x (* (cbrt (- t z)) (cbrt (- t z))))
  (/ x (sqrt (- t z)))
  x
  (/ x (+ (sqrt t) (sqrt z)))
  x
  (/ (- t z) (cbrt x))
  (/ (- t z) (sqrt x))
  (/ (- t z) x)
  (/ x (- (pow t 3) (pow z 3)))
  (/ x (- (* t t) (* z z)))
  0
  0
  0
  0
  0
  0
  0
  0
  0
11.678 * * * [progress]: adding candidates to table
12.022 * * [progress]: iteration 4 / 4
12.022 * * * [progress]: picking best candidate
12.036 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ (/ x (- t z)) (- y z)))>
12.036 * * * [progress]: localizing error
12.043 * * * [progress]: generating rewritten candidates
12.043 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
12.063 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
12.080 * * * [progress]: generating series expansions
12.080 * * * * [progress]: [ 1 / 2 ] generating series at (2)
12.080 * [approximate]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in (x t z y) around 0
12.080 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in y
12.080 * [taylor]: Taking taylor expansion of x in y
12.080 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
12.080 * [taylor]: Taking taylor expansion of (- y z) in y
12.080 * [taylor]: Taking taylor expansion of y in y
12.080 * [taylor]: Taking taylor expansion of z in y
12.080 * [taylor]: Taking taylor expansion of (- t z) in y
12.080 * [taylor]: Taking taylor expansion of t in y
12.080 * [taylor]: Taking taylor expansion of z in y
12.081 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in z
12.081 * [taylor]: Taking taylor expansion of x in z
12.081 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in z
12.081 * [taylor]: Taking taylor expansion of (- y z) in z
12.081 * [taylor]: Taking taylor expansion of y in z
12.081 * [taylor]: Taking taylor expansion of z in z
12.081 * [taylor]: Taking taylor expansion of (- t z) in z
12.081 * [taylor]: Taking taylor expansion of t in z
12.081 * [taylor]: Taking taylor expansion of z in z
12.082 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in t
12.082 * [taylor]: Taking taylor expansion of x in t
12.082 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in t
12.082 * [taylor]: Taking taylor expansion of (- y z) in t
12.082 * [taylor]: Taking taylor expansion of y in t
12.082 * [taylor]: Taking taylor expansion of z in t
12.082 * [taylor]: Taking taylor expansion of (- t z) in t
12.082 * [taylor]: Taking taylor expansion of t in t
12.082 * [taylor]: Taking taylor expansion of z in t
12.082 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in x
12.082 * [taylor]: Taking taylor expansion of x in x
12.082 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in x
12.082 * [taylor]: Taking taylor expansion of (- y z) in x
12.082 * [taylor]: Taking taylor expansion of y in x
12.082 * [taylor]: Taking taylor expansion of z in x
12.082 * [taylor]: Taking taylor expansion of (- t z) in x
12.082 * [taylor]: Taking taylor expansion of t in x
12.082 * [taylor]: Taking taylor expansion of z in x
12.082 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in x
12.082 * [taylor]: Taking taylor expansion of x in x
12.082 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in x
12.082 * [taylor]: Taking taylor expansion of (- y z) in x
12.082 * [taylor]: Taking taylor expansion of y in x
12.082 * [taylor]: Taking taylor expansion of z in x
12.082 * [taylor]: Taking taylor expansion of (- t z) in x
12.082 * [taylor]: Taking taylor expansion of t in x
12.082 * [taylor]: Taking taylor expansion of z in x
12.083 * [taylor]: Taking taylor expansion of (/ 1 (* (- y z) (- t z))) in t
12.083 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in t
12.083 * [taylor]: Taking taylor expansion of (- y z) in t
12.083 * [taylor]: Taking taylor expansion of y in t
12.083 * [taylor]: Taking taylor expansion of z in t
12.083 * [taylor]: Taking taylor expansion of (- t z) in t
12.083 * [taylor]: Taking taylor expansion of t in t
12.083 * [taylor]: Taking taylor expansion of z in t
12.083 * [taylor]: Taking taylor expansion of (/ -1 (* (- y z) z)) in z
12.083 * [taylor]: Taking taylor expansion of -1 in z
12.083 * [taylor]: Taking taylor expansion of (* (- y z) z) in z
12.083 * [taylor]: Taking taylor expansion of (- y z) in z
12.083 * [taylor]: Taking taylor expansion of y in z
12.083 * [taylor]: Taking taylor expansion of z in z
12.083 * [taylor]: Taking taylor expansion of z in z
12.085 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
12.086 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
12.086 * [taylor]: Taking taylor expansion of (pow y 2) in y
12.086 * [taylor]: Taking taylor expansion of y in y
12.089 * [taylor]: Taking taylor expansion of 0 in t
12.089 * [taylor]: Taking taylor expansion of 0 in z
12.089 * [taylor]: Taking taylor expansion of 0 in y
12.090 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- y z) (pow z 2)))) in z
12.091 * [taylor]: Taking taylor expansion of (/ 1 (* (- y z) (pow z 2))) in z
12.091 * [taylor]: Taking taylor expansion of (* (- y z) (pow z 2)) in z
12.091 * [taylor]: Taking taylor expansion of (- y z) in z
12.091 * [taylor]: Taking taylor expansion of y in z
12.091 * [taylor]: Taking taylor expansion of z in z
12.091 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.091 * [taylor]: Taking taylor expansion of z in z
12.094 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3))) in y
12.095 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
12.095 * [taylor]: Taking taylor expansion of (pow y 3) in y
12.095 * [taylor]: Taking taylor expansion of y in y
12.101 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3))) in y
12.101 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
12.101 * [taylor]: Taking taylor expansion of (pow y 3) in y
12.101 * [taylor]: Taking taylor expansion of y in y
12.109 * [taylor]: Taking taylor expansion of 0 in t
12.109 * [taylor]: Taking taylor expansion of 0 in z
12.109 * [taylor]: Taking taylor expansion of 0 in y
12.110 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in (x t z y) around 0
12.110 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in y
12.110 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in y
12.110 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
12.110 * [taylor]: Taking taylor expansion of (/ 1 t) in y
12.110 * [taylor]: Taking taylor expansion of t in y
12.110 * [taylor]: Taking taylor expansion of (/ 1 z) in y
12.110 * [taylor]: Taking taylor expansion of z in y
12.110 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in y
12.110 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
12.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.110 * [taylor]: Taking taylor expansion of y in y
12.110 * [taylor]: Taking taylor expansion of (/ 1 z) in y
12.110 * [taylor]: Taking taylor expansion of z in y
12.110 * [taylor]: Taking taylor expansion of x in y
12.111 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in z
12.111 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in z
12.111 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
12.111 * [taylor]: Taking taylor expansion of (/ 1 t) in z
12.111 * [taylor]: Taking taylor expansion of t in z
12.111 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.111 * [taylor]: Taking taylor expansion of z in z
12.111 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in z
12.111 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
12.111 * [taylor]: Taking taylor expansion of (/ 1 y) in z
12.111 * [taylor]: Taking taylor expansion of y in z
12.112 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.112 * [taylor]: Taking taylor expansion of z in z
12.112 * [taylor]: Taking taylor expansion of x in z
12.113 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in t
12.113 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in t
12.113 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
12.113 * [taylor]: Taking taylor expansion of (/ 1 t) in t
12.113 * [taylor]: Taking taylor expansion of t in t
12.113 * [taylor]: Taking taylor expansion of (/ 1 z) in t
12.113 * [taylor]: Taking taylor expansion of z in t
12.113 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in t
12.113 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
12.113 * [taylor]: Taking taylor expansion of (/ 1 y) in t
12.113 * [taylor]: Taking taylor expansion of y in t
12.113 * [taylor]: Taking taylor expansion of (/ 1 z) in t
12.113 * [taylor]: Taking taylor expansion of z in t
12.114 * [taylor]: Taking taylor expansion of x in t
12.114 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in x
12.114 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in x
12.114 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
12.114 * [taylor]: Taking taylor expansion of (/ 1 t) in x
12.114 * [taylor]: Taking taylor expansion of t in x
12.114 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.114 * [taylor]: Taking taylor expansion of z in x
12.114 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x
12.114 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
12.114 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.114 * [taylor]: Taking taylor expansion of y in x
12.114 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.114 * [taylor]: Taking taylor expansion of z in x
12.114 * [taylor]: Taking taylor expansion of x in x
12.117 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in x
12.117 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in x
12.117 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
12.117 * [taylor]: Taking taylor expansion of (/ 1 t) in x
12.117 * [taylor]: Taking taylor expansion of t in x
12.117 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.117 * [taylor]: Taking taylor expansion of z in x
12.117 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x
12.117 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
12.117 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.117 * [taylor]: Taking taylor expansion of y in x
12.117 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.117 * [taylor]: Taking taylor expansion of z in x
12.117 * [taylor]: Taking taylor expansion of x in x
12.120 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y))))) in t
12.120 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y)))) in t
12.120 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 (pow z 2))) in t
12.120 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
12.120 * [taylor]: Taking taylor expansion of (* t y) in t
12.120 * [taylor]: Taking taylor expansion of t in t
12.120 * [taylor]: Taking taylor expansion of y in t
12.121 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
12.121 * [taylor]: Taking taylor expansion of (pow z 2) in t
12.121 * [taylor]: Taking taylor expansion of z in t
12.121 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* z y))) in t
12.121 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
12.121 * [taylor]: Taking taylor expansion of (* t z) in t
12.121 * [taylor]: Taking taylor expansion of t in t
12.121 * [taylor]: Taking taylor expansion of z in t
12.122 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
12.122 * [taylor]: Taking taylor expansion of (* z y) in t
12.122 * [taylor]: Taking taylor expansion of z in t
12.122 * [taylor]: Taking taylor expansion of y in t
12.122 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 y) (/ 1 z))) in z
12.122 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
12.122 * [taylor]: Taking taylor expansion of (/ 1 y) in z
12.122 * [taylor]: Taking taylor expansion of y in z
12.122 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.122 * [taylor]: Taking taylor expansion of z in z
12.124 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
12.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.124 * [taylor]: Taking taylor expansion of y in y
12.128 * [taylor]: Taking taylor expansion of 0 in t
12.129 * [taylor]: Taking taylor expansion of 0 in z
12.129 * [taylor]: Taking taylor expansion of 0 in y
12.136 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow (- (/ 1 y) (/ 1 z)) 2) (* z y))) (/ 1 (* (pow (- (/ 1 y) (/ 1 z)) 2) (pow z 2)))) in z
12.136 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 y) (/ 1 z)) 2) (* z y))) in z
12.136 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 y) (/ 1 z)) 2) (* z y)) in z
12.136 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 z)) 2) in z
12.136 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
12.136 * [taylor]: Taking taylor expansion of (/ 1 y) in z
12.136 * [taylor]: Taking taylor expansion of y in z
12.136 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.136 * [taylor]: Taking taylor expansion of z in z
12.137 * [taylor]: Taking taylor expansion of (* z y) in z
12.137 * [taylor]: Taking taylor expansion of z in z
12.137 * [taylor]: Taking taylor expansion of y in z
12.139 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 y) (/ 1 z)) 2) (pow z 2))) in z
12.139 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 y) (/ 1 z)) 2) (pow z 2)) in z
12.139 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 z)) 2) in z
12.139 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
12.139 * [taylor]: Taking taylor expansion of (/ 1 y) in z
12.139 * [taylor]: Taking taylor expansion of y in z
12.139 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.139 * [taylor]: Taking taylor expansion of z in z
12.140 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.140 * [taylor]: Taking taylor expansion of z in z
12.149 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
12.150 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
12.150 * [taylor]: Taking taylor expansion of (pow y 2) in y
12.150 * [taylor]: Taking taylor expansion of y in y
12.155 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
12.155 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
12.155 * [taylor]: Taking taylor expansion of (pow y 2) in y
12.155 * [taylor]: Taking taylor expansion of y in y
12.163 * [taylor]: Taking taylor expansion of 0 in t
12.163 * [taylor]: Taking taylor expansion of 0 in z
12.163 * [taylor]: Taking taylor expansion of 0 in y
12.164 * [approximate]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in (x t z y) around 0
12.164 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in y
12.164 * [taylor]: Taking taylor expansion of -1 in y
12.164 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in y
12.164 * [taylor]: Taking taylor expansion of x in y
12.164 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y
12.164 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
12.164 * [taylor]: Taking taylor expansion of (/ 1 z) in y
12.164 * [taylor]: Taking taylor expansion of z in y
12.164 * [taylor]: Taking taylor expansion of (/ 1 t) in y
12.164 * [taylor]: Taking taylor expansion of t in y
12.164 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
12.164 * [taylor]: Taking taylor expansion of (/ 1 z) in y
12.164 * [taylor]: Taking taylor expansion of z in y
12.164 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.164 * [taylor]: Taking taylor expansion of y in y
12.165 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in z
12.165 * [taylor]: Taking taylor expansion of -1 in z
12.165 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in z
12.165 * [taylor]: Taking taylor expansion of x in z
12.165 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in z
12.166 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
12.166 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.166 * [taylor]: Taking taylor expansion of z in z
12.166 * [taylor]: Taking taylor expansion of (/ 1 t) in z
12.166 * [taylor]: Taking taylor expansion of t in z
12.166 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
12.166 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.166 * [taylor]: Taking taylor expansion of z in z
12.166 * [taylor]: Taking taylor expansion of (/ 1 y) in z
12.166 * [taylor]: Taking taylor expansion of y in z
12.167 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in t
12.167 * [taylor]: Taking taylor expansion of -1 in t
12.167 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in t
12.167 * [taylor]: Taking taylor expansion of x in t
12.167 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in t
12.167 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
12.167 * [taylor]: Taking taylor expansion of (/ 1 z) in t
12.167 * [taylor]: Taking taylor expansion of z in t
12.167 * [taylor]: Taking taylor expansion of (/ 1 t) in t
12.167 * [taylor]: Taking taylor expansion of t in t
12.168 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
12.168 * [taylor]: Taking taylor expansion of (/ 1 z) in t
12.168 * [taylor]: Taking taylor expansion of z in t
12.168 * [taylor]: Taking taylor expansion of (/ 1 y) in t
12.168 * [taylor]: Taking taylor expansion of y in t
12.169 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in x
12.169 * [taylor]: Taking taylor expansion of -1 in x
12.169 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in x
12.169 * [taylor]: Taking taylor expansion of x in x
12.169 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in x
12.169 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
12.169 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.169 * [taylor]: Taking taylor expansion of z in x
12.169 * [taylor]: Taking taylor expansion of (/ 1 t) in x
12.169 * [taylor]: Taking taylor expansion of t in x
12.169 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
12.169 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.169 * [taylor]: Taking taylor expansion of z in x
12.169 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.169 * [taylor]: Taking taylor expansion of y in x
12.172 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in x
12.172 * [taylor]: Taking taylor expansion of -1 in x
12.172 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in x
12.172 * [taylor]: Taking taylor expansion of x in x
12.172 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in x
12.172 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
12.172 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.172 * [taylor]: Taking taylor expansion of z in x
12.172 * [taylor]: Taking taylor expansion of (/ 1 t) in x
12.172 * [taylor]: Taking taylor expansion of t in x
12.172 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
12.172 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.172 * [taylor]: Taking taylor expansion of z in x
12.172 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.172 * [taylor]: Taking taylor expansion of y in x
12.175 * [taylor]: Taking taylor expansion of (/ -1 (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y))))) in t
12.175 * [taylor]: Taking taylor expansion of -1 in t
12.175 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y)))) in t
12.175 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 (pow z 2))) in t
12.175 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
12.175 * [taylor]: Taking taylor expansion of (* t y) in t
12.175 * [taylor]: Taking taylor expansion of t in t
12.175 * [taylor]: Taking taylor expansion of y in t
12.176 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
12.176 * [taylor]: Taking taylor expansion of (pow z 2) in t
12.176 * [taylor]: Taking taylor expansion of z in t
12.176 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* z y))) in t
12.176 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
12.176 * [taylor]: Taking taylor expansion of (* t z) in t
12.176 * [taylor]: Taking taylor expansion of t in t
12.176 * [taylor]: Taking taylor expansion of z in t
12.176 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
12.176 * [taylor]: Taking taylor expansion of (* z y) in t
12.176 * [taylor]: Taking taylor expansion of z in t
12.176 * [taylor]: Taking taylor expansion of y in t
12.177 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 y) (/ 1 z))) in z
12.177 * [taylor]: Taking taylor expansion of -1 in z
12.177 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
12.177 * [taylor]: Taking taylor expansion of (/ 1 y) in z
12.177 * [taylor]: Taking taylor expansion of y in z
12.177 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.177 * [taylor]: Taking taylor expansion of z in z
12.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.179 * [taylor]: Taking taylor expansion of y in y
12.184 * [taylor]: Taking taylor expansion of 0 in t
12.184 * [taylor]: Taking taylor expansion of 0 in z
12.184 * [taylor]: Taking taylor expansion of 0 in y
12.186 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow (- (/ 1 y) (/ 1 z)) 2) (pow z 2))) (/ 1 (* (pow (- (/ 1 y) (/ 1 z)) 2) (* z y)))) in z
12.186 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 y) (/ 1 z)) 2) (pow z 2))) in z
12.186 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 y) (/ 1 z)) 2) (pow z 2)) in z
12.186 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 z)) 2) in z
12.186 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
12.186 * [taylor]: Taking taylor expansion of (/ 1 y) in z
12.186 * [taylor]: Taking taylor expansion of y in z
12.186 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.187 * [taylor]: Taking taylor expansion of z in z
12.187 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.187 * [taylor]: Taking taylor expansion of z in z
12.188 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 y) (/ 1 z)) 2) (* z y))) in z
12.189 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 y) (/ 1 z)) 2) (* z y)) in z
12.189 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 z)) 2) in z
12.189 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
12.189 * [taylor]: Taking taylor expansion of (/ 1 y) in z
12.189 * [taylor]: Taking taylor expansion of y in z
12.189 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.189 * [taylor]: Taking taylor expansion of z in z
12.190 * [taylor]: Taking taylor expansion of (* z y) in z
12.190 * [taylor]: Taking taylor expansion of z in z
12.190 * [taylor]: Taking taylor expansion of y in z
12.200 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
12.200 * [taylor]: Taking taylor expansion of (pow y 2) in y
12.200 * [taylor]: Taking taylor expansion of y in y
12.205 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
12.205 * [taylor]: Taking taylor expansion of (pow y 2) in y
12.205 * [taylor]: Taking taylor expansion of y in y
12.213 * [taylor]: Taking taylor expansion of 0 in t
12.213 * [taylor]: Taking taylor expansion of 0 in z
12.213 * [taylor]: Taking taylor expansion of 0 in y
12.214 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
12.214 * [approximate]: Taking taylor expansion of (/ x (- t z)) in (x t z) around 0
12.214 * [taylor]: Taking taylor expansion of (/ x (- t z)) in z
12.214 * [taylor]: Taking taylor expansion of x in z
12.214 * [taylor]: Taking taylor expansion of (- t z) in z
12.214 * [taylor]: Taking taylor expansion of t in z
12.214 * [taylor]: Taking taylor expansion of z in z
12.214 * [taylor]: Taking taylor expansion of (/ x (- t z)) in t
12.214 * [taylor]: Taking taylor expansion of x in t
12.214 * [taylor]: Taking taylor expansion of (- t z) in t
12.214 * [taylor]: Taking taylor expansion of t in t
12.214 * [taylor]: Taking taylor expansion of z in t
12.214 * [taylor]: Taking taylor expansion of (/ x (- t z)) in x
12.214 * [taylor]: Taking taylor expansion of x in x
12.214 * [taylor]: Taking taylor expansion of (- t z) in x
12.214 * [taylor]: Taking taylor expansion of t in x
12.214 * [taylor]: Taking taylor expansion of z in x
12.215 * [taylor]: Taking taylor expansion of (/ x (- t z)) in x
12.215 * [taylor]: Taking taylor expansion of x in x
12.215 * [taylor]: Taking taylor expansion of (- t z) in x
12.215 * [taylor]: Taking taylor expansion of t in x
12.215 * [taylor]: Taking taylor expansion of z in x
12.215 * [taylor]: Taking taylor expansion of (/ 1 (- t z)) in t
12.215 * [taylor]: Taking taylor expansion of (- t z) in t
12.215 * [taylor]: Taking taylor expansion of t in t
12.215 * [taylor]: Taking taylor expansion of z in t
12.215 * [taylor]: Taking taylor expansion of (/ -1 z) in z
12.215 * [taylor]: Taking taylor expansion of -1 in z
12.215 * [taylor]: Taking taylor expansion of z in z
12.217 * [taylor]: Taking taylor expansion of 0 in t
12.217 * [taylor]: Taking taylor expansion of 0 in z
12.217 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
12.217 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
12.217 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.217 * [taylor]: Taking taylor expansion of z in z
12.221 * [taylor]: Taking taylor expansion of 0 in t
12.221 * [taylor]: Taking taylor expansion of 0 in z
12.221 * [taylor]: Taking taylor expansion of 0 in z
12.222 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in (x t z) around 0
12.222 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in z
12.222 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) x) in z
12.222 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
12.222 * [taylor]: Taking taylor expansion of (/ 1 t) in z
12.222 * [taylor]: Taking taylor expansion of t in z
12.222 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.222 * [taylor]: Taking taylor expansion of z in z
12.222 * [taylor]: Taking taylor expansion of x in z
12.223 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in t
12.223 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) x) in t
12.223 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
12.223 * [taylor]: Taking taylor expansion of (/ 1 t) in t
12.223 * [taylor]: Taking taylor expansion of t in t
12.223 * [taylor]: Taking taylor expansion of (/ 1 z) in t
12.223 * [taylor]: Taking taylor expansion of z in t
12.223 * [taylor]: Taking taylor expansion of x in t
12.223 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in x
12.223 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) x) in x
12.224 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
12.224 * [taylor]: Taking taylor expansion of (/ 1 t) in x
12.224 * [taylor]: Taking taylor expansion of t in x
12.224 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.224 * [taylor]: Taking taylor expansion of z in x
12.224 * [taylor]: Taking taylor expansion of x in x
12.225 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in x
12.225 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) x) in x
12.225 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
12.225 * [taylor]: Taking taylor expansion of (/ 1 t) in x
12.225 * [taylor]: Taking taylor expansion of t in x
12.225 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.225 * [taylor]: Taking taylor expansion of z in x
12.225 * [taylor]: Taking taylor expansion of x in x
12.226 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 z))) in t
12.226 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
12.226 * [taylor]: Taking taylor expansion of (/ 1 t) in t
12.226 * [taylor]: Taking taylor expansion of t in t
12.227 * [taylor]: Taking taylor expansion of (/ 1 z) in t
12.227 * [taylor]: Taking taylor expansion of z in t
12.227 * [taylor]: Taking taylor expansion of 1 in z
12.233 * [taylor]: Taking taylor expansion of 0 in t
12.233 * [taylor]: Taking taylor expansion of 0 in z
12.233 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.233 * [taylor]: Taking taylor expansion of z in z
12.236 * [taylor]: Taking taylor expansion of 0 in t
12.236 * [taylor]: Taking taylor expansion of 0 in z
12.236 * [taylor]: Taking taylor expansion of 0 in z
12.237 * [approximate]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in (x t z) around 0
12.237 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in z
12.237 * [taylor]: Taking taylor expansion of -1 in z
12.237 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 t))) in z
12.237 * [taylor]: Taking taylor expansion of x in z
12.237 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
12.237 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.237 * [taylor]: Taking taylor expansion of z in z
12.237 * [taylor]: Taking taylor expansion of (/ 1 t) in z
12.237 * [taylor]: Taking taylor expansion of t in z
12.238 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in t
12.238 * [taylor]: Taking taylor expansion of -1 in t
12.238 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 t))) in t
12.238 * [taylor]: Taking taylor expansion of x in t
12.238 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
12.238 * [taylor]: Taking taylor expansion of (/ 1 z) in t
12.238 * [taylor]: Taking taylor expansion of z in t
12.238 * [taylor]: Taking taylor expansion of (/ 1 t) in t
12.238 * [taylor]: Taking taylor expansion of t in t
12.239 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in x
12.239 * [taylor]: Taking taylor expansion of -1 in x
12.239 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 t))) in x
12.239 * [taylor]: Taking taylor expansion of x in x
12.239 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
12.239 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.239 * [taylor]: Taking taylor expansion of z in x
12.239 * [taylor]: Taking taylor expansion of (/ 1 t) in x
12.239 * [taylor]: Taking taylor expansion of t in x
12.240 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in x
12.240 * [taylor]: Taking taylor expansion of -1 in x
12.240 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 t))) in x
12.240 * [taylor]: Taking taylor expansion of x in x
12.240 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
12.240 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.240 * [taylor]: Taking taylor expansion of z in x
12.240 * [taylor]: Taking taylor expansion of (/ 1 t) in x
12.240 * [taylor]: Taking taylor expansion of t in x
12.241 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 z) (/ 1 t))) in t
12.241 * [taylor]: Taking taylor expansion of -1 in t
12.241 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
12.241 * [taylor]: Taking taylor expansion of (/ 1 z) in t
12.242 * [taylor]: Taking taylor expansion of z in t
12.242 * [taylor]: Taking taylor expansion of (/ 1 t) in t
12.242 * [taylor]: Taking taylor expansion of t in t
12.243 * [taylor]: Taking taylor expansion of 1 in z
12.244 * [taylor]: Taking taylor expansion of 0 in t
12.244 * [taylor]: Taking taylor expansion of 0 in z
12.245 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.245 * [taylor]: Taking taylor expansion of z in z
12.248 * [taylor]: Taking taylor expansion of 0 in t
12.248 * [taylor]: Taking taylor expansion of 0 in z
12.248 * [taylor]: Taking taylor expansion of 0 in z
12.249 * * * [progress]: simplifying candidates
12.252 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (/ x (- t z)) (- y z)))
  (log1p (/ (/ x (- t z)) (- y z)))
  (- (- (log x) (log (- t z))) (log (- y z)))
  (- (log (/ x (- t z))) (log (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (exp (/ (/ x (- t z)) (- y z)))
  (/ (/ (* (* x x) x) (* (* (- t z) (- t z)) (- t z))) (* (* (- y z) (- y z)) (- y z)))
  (/ (* (* (/ x (- t z)) (/ x (- t z))) (/ x (- t z))) (* (* (- y z) (- y z)) (- y z)))
  (* (cbrt (/ (/ x (- t z)) (- y z))) (cbrt (/ (/ x (- t z)) (- y z))))
  (cbrt (/ (/ x (- t z)) (- y z)))
  (* (* (/ (/ x (- t z)) (- y z)) (/ (/ x (- t z)) (- y z))) (/ (/ x (- t z)) (- y z)))
  (sqrt (/ (/ x (- t z)) (- y z)))
  (sqrt (/ (/ x (- t z)) (- y z)))
  (- (/ x (- t z)))
  (- (- y z))
  (/ (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (cbrt (/ x (- t z))) (cbrt (- y z)))
  (/ (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))) (sqrt (- y z)))
  (/ (cbrt (/ x (- t z))) (sqrt (- y z)))
  (/ (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))) 1)
  (/ (cbrt (/ x (- t z))) (- y z))
  (/ (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))) (+ (sqrt y) (sqrt z)))
  (/ (cbrt (/ x (- t z))) (- (sqrt y) (sqrt z)))
  (/ (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))) 1)
  (/ (cbrt (/ x (- t z))) (- y z))
  (/ (sqrt (/ x (- t z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (sqrt (/ x (- t z))) (cbrt (- y z)))
  (/ (sqrt (/ x (- t z))) (sqrt (- y z)))
  (/ (sqrt (/ x (- t z))) (sqrt (- y z)))
  (/ (sqrt (/ x (- t z))) 1)
  (/ (sqrt (/ x (- t z))) (- y z))
  (/ (sqrt (/ x (- t z))) (+ (sqrt y) (sqrt z)))
  (/ (sqrt (/ x (- t z))) (- (sqrt y) (sqrt z)))
  (/ (sqrt (/ x (- t z))) 1)
  (/ (sqrt (/ x (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (cbrt (- t z))) (cbrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))) (sqrt (- y z)))
  (/ (/ (cbrt x) (cbrt (- t z))) (sqrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))) 1)
  (/ (/ (cbrt x) (cbrt (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (cbrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))) 1)
  (/ (/ (cbrt x) (cbrt (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (sqrt (- t z))) (cbrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))) (sqrt (- y z)))
  (/ (/ (cbrt x) (sqrt (- t z))) (sqrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))) 1)
  (/ (/ (cbrt x) (sqrt (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (sqrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))) 1)
  (/ (/ (cbrt x) (sqrt (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) 1) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (- t z)) (cbrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) 1) (sqrt (- y z)))
  (/ (/ (cbrt x) (- t z)) (sqrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) 1) 1)
  (/ (/ (cbrt x) (- t z)) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) 1) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (- t z)) (- (sqrt y) (sqrt z)))
  (/ (/ (* (cbrt x) (cbrt x)) 1) 1)
  (/ (/ (cbrt x) (- t z)) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (cbrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z))) 1)
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z))) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (- (sqrt y) (sqrt z)))
  (/ (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z))) 1)
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) 1) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (- t z)) (cbrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) 1) (sqrt (- y z)))
  (/ (/ (cbrt x) (- t z)) (sqrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) 1) 1)
  (/ (/ (cbrt x) (- t z)) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) 1) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (- t z)) (- (sqrt y) (sqrt z)))
  (/ (/ (* (cbrt x) (cbrt x)) 1) 1)
  (/ (/ (cbrt x) (- t z)) (- y z))
  (/ (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z)))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (cbrt (- t z))) (cbrt (- y z)))
  (/ (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z)))) (sqrt (- y z)))
  (/ (/ (sqrt x) (cbrt (- t z))) (sqrt (- y z)))
  (/ (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z)))) 1)
  (/ (/ (sqrt x) (cbrt (- t z))) (- y z))
  (/ (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z)))) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (cbrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z)))) 1)
  (/ (/ (sqrt x) (cbrt (- t z))) (- y z))
  (/ (/ (sqrt x) (sqrt (- t z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (sqrt (- t z))) (cbrt (- y z)))
  (/ (/ (sqrt x) (sqrt (- t z))) (sqrt (- y z)))
  (/ (/ (sqrt x) (sqrt (- t z))) (sqrt (- y z)))
  (/ (/ (sqrt x) (sqrt (- t z))) 1)
  (/ (/ (sqrt x) (sqrt (- t z))) (- y z))
  (/ (/ (sqrt x) (sqrt (- t z))) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (sqrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (sqrt (- t z))) 1)
  (/ (/ (sqrt x) (sqrt (- t z))) (- y z))
  (/ (/ (sqrt x) 1) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (- t z)) (cbrt (- y z)))
  (/ (/ (sqrt x) 1) (sqrt (- y z)))
  (/ (/ (sqrt x) (- t z)) (sqrt (- y z)))
  (/ (/ (sqrt x) 1) 1)
  (/ (/ (sqrt x) (- t z)) (- y z))
  (/ (/ (sqrt x) 1) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (- t z)) (- (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) 1) 1)
  (/ (/ (sqrt x) (- t z)) (- y z))
  (/ (/ (sqrt x) (+ (sqrt t) (sqrt z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (cbrt (- y z)))
  (/ (/ (sqrt x) (+ (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (/ (sqrt x) (+ (sqrt t) (sqrt z))) 1)
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (- y z))
  (/ (/ (sqrt x) (+ (sqrt t) (sqrt z))) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (- (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (+ (sqrt t) (sqrt z))) 1)
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (- y z))
  (/ (/ (sqrt x) 1) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (- t z)) (cbrt (- y z)))
  (/ (/ (sqrt x) 1) (sqrt (- y z)))
  (/ (/ (sqrt x) (- t z)) (sqrt (- y z)))
  (/ (/ (sqrt x) 1) 1)
  (/ (/ (sqrt x) (- t z)) (- y z))
  (/ (/ (sqrt x) 1) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (- t z)) (- (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) 1) 1)
  (/ (/ (sqrt x) (- t z)) (- y z))
  (/ (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (cbrt (- t z))) (cbrt (- y z)))
  (/ (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))) (sqrt (- y z)))
  (/ (/ x (cbrt (- t z))) (sqrt (- y z)))
  (/ (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))) 1)
  (/ (/ x (cbrt (- t z))) (- y z))
  (/ (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))) (+ (sqrt y) (sqrt z)))
  (/ (/ x (cbrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))) 1)
  (/ (/ x (cbrt (- t z))) (- y z))
  (/ (/ 1 (sqrt (- t z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (sqrt (- t z))) (cbrt (- y z)))
  (/ (/ 1 (sqrt (- t z))) (sqrt (- y z)))
  (/ (/ x (sqrt (- t z))) (sqrt (- y z)))
  (/ (/ 1 (sqrt (- t z))) 1)
  (/ (/ x (sqrt (- t z))) (- y z))
  (/ (/ 1 (sqrt (- t z))) (+ (sqrt y) (sqrt z)))
  (/ (/ x (sqrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (/ 1 (sqrt (- t z))) 1)
  (/ (/ x (sqrt (- t z))) (- y z))
  (/ (/ 1 1) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- t z)) (cbrt (- y z)))
  (/ (/ 1 1) (sqrt (- y z)))
  (/ (/ x (- t z)) (sqrt (- y z)))
  (/ (/ 1 1) 1)
  (/ (/ x (- t z)) (- y z))
  (/ (/ 1 1) (+ (sqrt y) (sqrt z)))
  (/ (/ x (- t z)) (- (sqrt y) (sqrt z)))
  (/ (/ 1 1) 1)
  (/ (/ x (- t z)) (- y z))
  (/ (/ 1 (+ (sqrt t) (sqrt z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- (sqrt t) (sqrt z))) (cbrt (- y z)))
  (/ (/ 1 (+ (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (/ x (- (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (/ 1 (+ (sqrt t) (sqrt z))) 1)
  (/ (/ x (- (sqrt t) (sqrt z))) (- y z))
  (/ (/ 1 (+ (sqrt t) (sqrt z))) (+ (sqrt y) (sqrt z)))
  (/ (/ x (- (sqrt t) (sqrt z))) (- (sqrt y) (sqrt z)))
  (/ (/ 1 (+ (sqrt t) (sqrt z))) 1)
  (/ (/ x (- (sqrt t) (sqrt z))) (- y z))
  (/ (/ 1 1) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- t z)) (cbrt (- y z)))
  (/ (/ 1 1) (sqrt (- y z)))
  (/ (/ x (- t z)) (sqrt (- y z)))
  (/ (/ 1 1) 1)
  (/ (/ x (- t z)) (- y z))
  (/ (/ 1 1) (+ (sqrt y) (sqrt z)))
  (/ (/ x (- t z)) (- (sqrt y) (sqrt z)))
  (/ (/ 1 1) 1)
  (/ (/ x (- t z)) (- y z))
  (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- t z)) (cbrt (- y z)))
  (/ 1 (sqrt (- y z)))
  (/ (/ x (- t z)) (sqrt (- y z)))
  (/ 1 1)
  (/ (/ x (- t z)) (- y z))
  (/ 1 (+ (sqrt y) (sqrt z)))
  (/ (/ x (- t z)) (- (sqrt y) (sqrt z)))
  (/ 1 1)
  (/ (/ x (- t z)) (- y z))
  (/ x (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ 1 (- t z)) (cbrt (- y z)))
  (/ x (sqrt (- y z)))
  (/ (/ 1 (- t z)) (sqrt (- y z)))
  (/ x 1)
  (/ (/ 1 (- t z)) (- y z))
  (/ x (+ (sqrt y) (sqrt z)))
  (/ (/ 1 (- t z)) (- (sqrt y) (sqrt z)))
  (/ x 1)
  (/ (/ 1 (- t z)) (- y z))
  (/ (/ x (- (pow t 3) (pow z 3))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (+ (* t t) (+ (* z z) (* t z))) (cbrt (- y z)))
  (/ (/ x (- (pow t 3) (pow z 3))) (sqrt (- y z)))
  (/ (+ (* t t) (+ (* z z) (* t z))) (sqrt (- y z)))
  (/ (/ x (- (pow t 3) (pow z 3))) 1)
  (/ (+ (* t t) (+ (* z z) (* t z))) (- y z))
  (/ (/ x (- (pow t 3) (pow z 3))) (+ (sqrt y) (sqrt z)))
  (/ (+ (* t t) (+ (* z z) (* t z))) (- (sqrt y) (sqrt z)))
  (/ (/ x (- (pow t 3) (pow z 3))) 1)
  (/ (+ (* t t) (+ (* z z) (* t z))) (- y z))
  (/ (/ x (- (* t t) (* z z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (+ t z) (cbrt (- y z)))
  (/ (/ x (- (* t t) (* z z))) (sqrt (- y z)))
  (/ (+ t z) (sqrt (- y z)))
  (/ (/ x (- (* t t) (* z z))) 1)
  (/ (+ t z) (- y z))
  (/ (/ x (- (* t t) (* z z))) (+ (sqrt y) (sqrt z)))
  (/ (+ t z) (- (sqrt y) (sqrt z)))
  (/ (/ x (- (* t t) (* z z))) 1)
  (/ (+ t z) (- y z))
  (/ 1 (- y z))
  (/ (- y z) (/ x (- t z)))
  (/ (/ x (- t z)) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- t z)) (sqrt (- y z)))
  (/ (/ x (- t z)) 1)
  (/ (/ x (- t z)) (+ (sqrt y) (sqrt z)))
  (/ (/ x (- t z)) 1)
  (/ (- y z) (cbrt (/ x (- t z))))
  (/ (- y z) (sqrt (/ x (- t z))))
  (/ (- y z) (/ (cbrt x) (cbrt (- t z))))
  (/ (- y z) (/ (cbrt x) (sqrt (- t z))))
  (/ (- y z) (/ (cbrt x) (- t z)))
  (/ (- y z) (/ (cbrt x) (- (sqrt t) (sqrt z))))
  (/ (- y z) (/ (cbrt x) (- t z)))
  (/ (- y z) (/ (sqrt x) (cbrt (- t z))))
  (/ (- y z) (/ (sqrt x) (sqrt (- t z))))
  (/ (- y z) (/ (sqrt x) (- t z)))
  (/ (- y z) (/ (sqrt x) (- (sqrt t) (sqrt z))))
  (/ (- y z) (/ (sqrt x) (- t z)))
  (/ (- y z) (/ x (cbrt (- t z))))
  (/ (- y z) (/ x (sqrt (- t z))))
  (/ (- y z) (/ x (- t z)))
  (/ (- y z) (/ x (- (sqrt t) (sqrt z))))
  (/ (- y z) (/ x (- t z)))
  (/ (- y z) (/ x (- t z)))
  (/ (- y z) (/ 1 (- t z)))
  (/ (- y z) (+ (* t t) (+ (* z z) (* t z))))
  (/ (- y z) (+ t z))
  (/ (/ x (- t z)) (- (pow y 3) (pow z 3)))
  (/ (/ x (- t z)) (- (* y y) (* z z)))
  (* (- y z) (- t z))
  (expm1 (/ x (- t z)))
  (log1p (/ x (- t z)))
  (- (log x) (log (- t z)))
  (log (/ x (- t z)))
  (exp (/ x (- t z)))
  (/ (* (* x x) x) (* (* (- t z) (- t z)) (- t z)))
  (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z))))
  (cbrt (/ x (- t z)))
  (* (* (/ x (- t z)) (/ x (- t z))) (/ x (- t z)))
  (sqrt (/ x (- t z)))
  (sqrt (/ x (- t z)))
  (- x)
  (- (- t z))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (cbrt x) (cbrt (- t z)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- t z)))
  (/ (cbrt x) (sqrt (- t z)))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (- t z))
  (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z)))
  (/ (cbrt x) (- (sqrt t) (sqrt z)))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (- t z))
  (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (sqrt x) (cbrt (- t z)))
  (/ (sqrt x) (sqrt (- t z)))
  (/ (sqrt x) (sqrt (- t z)))
  (/ (sqrt x) 1)
  (/ (sqrt x) (- t z))
  (/ (sqrt x) (+ (sqrt t) (sqrt z)))
  (/ (sqrt x) (- (sqrt t) (sqrt z)))
  (/ (sqrt x) 1)
  (/ (sqrt x) (- t z))
  (/ 1 (* (cbrt (- t z)) (cbrt (- t z))))
  (/ x (cbrt (- t z)))
  (/ 1 (sqrt (- t z)))
  (/ x (sqrt (- t z)))
  (/ 1 1)
  (/ x (- t z))
  (/ 1 (+ (sqrt t) (sqrt z)))
  (/ x (- (sqrt t) (sqrt z)))
  (/ 1 1)
  (/ x (- t z))
  (/ 1 (- t z))
  (/ (- t z) x)
  (/ x (* (cbrt (- t z)) (cbrt (- t z))))
  (/ x (sqrt (- t z)))
  (/ x 1)
  (/ x (+ (sqrt t) (sqrt z)))
  (/ x 1)
  (/ (- t z) (cbrt x))
  (/ (- t z) (sqrt x))
  (/ (- t z) x)
  (/ x (- (pow t 3) (pow z 3)))
  (/ x (- (* t t) (* z z)))
  0
  0
  0
  0
  0
  0
12.261 * * [simplify]: iteration  0 :  268  enodes  (cost  3384 )
12.340 * * [simplify]: iteration  1 :  645  enodes  (cost  3198 )
12.531 * * [simplify]: iteration  2 :  1864  enodes  (cost  3122 )
13.256 * * [simplify]: iteration  done :  5000  enodes  (cost  3122 )
13.257 * [simplify]: Simplified to:
   (expm1 (/ (/ x (- t z)) (- y z)))
  (log1p (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (exp (/ (/ x (- t z)) (- y z)))
  (pow (/ (/ x (- t z)) (- y z)) 3)
  (pow (/ (/ x (- t z)) (- y z)) 3)
  (* (cbrt (/ (/ x (- t z)) (- y z))) (cbrt (/ (/ x (- t z)) (- y z))))
  (cbrt (/ (/ x (- t z)) (- y z)))
  (pow (/ (/ x (- t z)) (- y z)) 3)
  (sqrt (/ (/ x (- t z)) (- y z)))
  (sqrt (/ (/ x (- t z)) (- y z)))
  (- (/ x (- t z)))
  (- (- y z))
  (/ (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (cbrt (/ x (- t z))) (cbrt (- y z)))
  (/ (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))) (sqrt (- y z)))
  (/ (cbrt (/ x (- t z))) (sqrt (- y z)))
  (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z))))
  (/ (cbrt (/ x (- t z))) (- y z))
  (/ (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))) (+ (sqrt y) (sqrt z)))
  (/ (cbrt (/ x (- t z))) (- (sqrt y) (sqrt z)))
  (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z))))
  (/ (cbrt (/ x (- t z))) (- y z))
  (/ (sqrt (/ x (- t z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (sqrt (/ x (- t z))) (cbrt (- y z)))
  (/ (sqrt (/ x (- t z))) (sqrt (- y z)))
  (/ (sqrt (/ x (- t z))) (sqrt (- y z)))
  (sqrt (/ x (- t z)))
  (/ (sqrt (/ x (- t z))) (- y z))
  (/ (sqrt (/ x (- t z))) (+ (sqrt y) (sqrt z)))
  (/ (sqrt (/ x (- t z))) (- (sqrt y) (sqrt z)))
  (sqrt (/ x (- t z)))
  (/ (sqrt (/ x (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (cbrt (- t z))) (cbrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))) (sqrt (- y z)))
  (/ (/ (cbrt x) (cbrt (- t z))) (sqrt (- y z)))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (/ (cbrt x) (cbrt (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (cbrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (/ (cbrt x) (cbrt (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (sqrt (- t z))) (cbrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))) (sqrt (- y z)))
  (/ (/ (cbrt x) (sqrt (- t z))) (sqrt (- y z)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- t z)))
  (/ (/ (cbrt x) (sqrt (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (sqrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- t z)))
  (/ (/ (cbrt x) (sqrt (- t z))) (- y z))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (- t z)) (cbrt (- y z)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- y z)))
  (/ (/ (cbrt x) (- t z)) (sqrt (- y z)))
  (* (cbrt x) (cbrt x))
  (/ (/ (cbrt x) (- t z)) (- y z))
  (/ (* (cbrt x) (cbrt x)) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (- t z)) (- (sqrt y) (sqrt z)))
  (* (cbrt x) (cbrt x))
  (/ (/ (cbrt x) (- t z)) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (cbrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z)))
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z))) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (- (sqrt y) (sqrt z)))
  (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z)))
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (- y z))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (- t z)) (cbrt (- y z)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- y z)))
  (/ (/ (cbrt x) (- t z)) (sqrt (- y z)))
  (* (cbrt x) (cbrt x))
  (/ (/ (cbrt x) (- t z)) (- y z))
  (/ (* (cbrt x) (cbrt x)) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (- t z)) (- (sqrt y) (sqrt z)))
  (* (cbrt x) (cbrt x))
  (/ (/ (cbrt x) (- t z)) (- y z))
  (/ (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z)))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (cbrt (- t z))) (cbrt (- y z)))
  (/ (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z)))) (sqrt (- y z)))
  (/ (/ (sqrt x) (cbrt (- t z))) (sqrt (- y z)))
  (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (/ (sqrt x) (cbrt (- t z))) (- y z))
  (/ (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z)))) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (cbrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (/ (sqrt x) (cbrt (- t z))) (- y z))
  (/ (/ (sqrt x) (sqrt (- t z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (sqrt (- t z))) (cbrt (- y z)))
  (/ (/ (sqrt x) (sqrt (- t z))) (sqrt (- y z)))
  (/ (/ (sqrt x) (sqrt (- t z))) (sqrt (- y z)))
  (/ (sqrt x) (sqrt (- t z)))
  (/ (/ (sqrt x) (sqrt (- t z))) (- y z))
  (/ (/ (sqrt x) (sqrt (- t z))) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (sqrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (sqrt x) (sqrt (- t z)))
  (/ (/ (sqrt x) (sqrt (- t z))) (- y z))
  (/ (sqrt x) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (- t z)) (cbrt (- y z)))
  (/ (sqrt x) (sqrt (- y z)))
  (/ (/ (sqrt x) (- t z)) (sqrt (- y z)))
  (sqrt x)
  (/ (/ (sqrt x) (- t z)) (- y z))
  (/ (sqrt x) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (- t z)) (- (sqrt y) (sqrt z)))
  (sqrt x)
  (/ (/ (sqrt x) (- t z)) (- y z))
  (/ (/ (sqrt x) (+ (sqrt t) (sqrt z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (cbrt (- y z)))
  (/ (/ (sqrt x) (+ (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (sqrt x) (+ (sqrt t) (sqrt z)))
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (- y z))
  (/ (/ (sqrt x) (+ (sqrt t) (sqrt z))) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (- (sqrt y) (sqrt z)))
  (/ (sqrt x) (+ (sqrt t) (sqrt z)))
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (- y z))
  (/ (sqrt x) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (- t z)) (cbrt (- y z)))
  (/ (sqrt x) (sqrt (- y z)))
  (/ (/ (sqrt x) (- t z)) (sqrt (- y z)))
  (sqrt x)
  (/ (/ (sqrt x) (- t z)) (- y z))
  (/ (sqrt x) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (- t z)) (- (sqrt y) (sqrt z)))
  (sqrt x)
  (/ (/ (sqrt x) (- t z)) (- y z))
  (/ (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (cbrt (- t z))) (cbrt (- y z)))
  (/ (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))) (sqrt (- y z)))
  (/ (/ x (cbrt (- t z))) (sqrt (- y z)))
  (/ 1 (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (/ x (cbrt (- t z))) (- y z))
  (/ (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))) (+ (sqrt y) (sqrt z)))
  (/ (/ x (cbrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ 1 (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (/ x (cbrt (- t z))) (- y z))
  (/ (/ 1 (sqrt (- t z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (sqrt (- t z))) (cbrt (- y z)))
  (/ (/ 1 (sqrt (- t z))) (sqrt (- y z)))
  (/ (/ x (sqrt (- t z))) (sqrt (- y z)))
  (/ 1 (sqrt (- t z)))
  (/ (/ x (sqrt (- t z))) (- y z))
  (/ (/ 1 (sqrt (- t z))) (+ (sqrt y) (sqrt z)))
  (/ (/ x (sqrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ 1 (sqrt (- t z)))
  (/ (/ x (sqrt (- t z))) (- y z))
  (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- t z)) (cbrt (- y z)))
  (/ 1 (sqrt (- y z)))
  (/ (/ x (- t z)) (sqrt (- y z)))
  1
  (/ (/ x (- t z)) (- y z))
  (/ 1 (+ (sqrt y) (sqrt z)))
  (/ (/ x (- t z)) (- (sqrt y) (sqrt z)))
  1
  (/ (/ x (- t z)) (- y z))
  (/ (/ 1 (+ (sqrt t) (sqrt z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- (sqrt t) (sqrt z))) (cbrt (- y z)))
  (/ (/ 1 (+ (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (/ x (- (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ 1 (+ (sqrt t) (sqrt z)))
  (/ (/ x (- (sqrt t) (sqrt z))) (- y z))
  (/ (/ 1 (+ (sqrt t) (sqrt z))) (+ (sqrt y) (sqrt z)))
  (/ (/ x (- (sqrt t) (sqrt z))) (- (sqrt y) (sqrt z)))
  (/ 1 (+ (sqrt t) (sqrt z)))
  (/ (/ x (- (sqrt t) (sqrt z))) (- y z))
  (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- t z)) (cbrt (- y z)))
  (/ 1 (sqrt (- y z)))
  (/ (/ x (- t z)) (sqrt (- y z)))
  1
  (/ (/ x (- t z)) (- y z))
  (/ 1 (+ (sqrt y) (sqrt z)))
  (/ (/ x (- t z)) (- (sqrt y) (sqrt z)))
  1
  (/ (/ x (- t z)) (- y z))
  (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- t z)) (cbrt (- y z)))
  (/ 1 (sqrt (- y z)))
  (/ (/ x (- t z)) (sqrt (- y z)))
  1
  (/ (/ x (- t z)) (- y z))
  (/ 1 (+ (sqrt y) (sqrt z)))
  (/ (/ x (- t z)) (- (sqrt y) (sqrt z)))
  1
  (/ (/ x (- t z)) (- y z))
  (/ x (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ 1 (- t z)) (cbrt (- y z)))
  (/ x (sqrt (- y z)))
  (/ (/ 1 (- t z)) (sqrt (- y z)))
  x
  (/ (/ 1 (- t z)) (- y z))
  (/ x (+ (sqrt y) (sqrt z)))
  (/ (/ 1 (- t z)) (- (sqrt y) (sqrt z)))
  x
  (/ (/ 1 (- t z)) (- y z))
  (/ (/ x (- (pow t 3) (pow z 3))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (fma t t (* z (+ t z))) (cbrt (- y z)))
  (/ (/ x (- (pow t 3) (pow z 3))) (sqrt (- y z)))
  (/ (fma t t (* z (+ t z))) (sqrt (- y z)))
  (/ x (- (pow t 3) (pow z 3)))
  (/ (fma t t (* z (+ t z))) (- y z))
  (/ (/ x (- (pow t 3) (pow z 3))) (+ (sqrt y) (sqrt z)))
  (/ (fma t t (* z (+ t z))) (- (sqrt y) (sqrt z)))
  (/ x (- (pow t 3) (pow z 3)))
  (/ (fma t t (* z (+ t z))) (- y z))
  (/ (/ x (- (* t t) (* z z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (+ t z) (cbrt (- y z)))
  (/ (/ x (- (* t t) (* z z))) (sqrt (- y z)))
  (/ (+ t z) (sqrt (- y z)))
  (/ x (- (* t t) (* z z)))
  (/ (+ t z) (- y z))
  (/ (/ x (- (* t t) (* z z))) (+ (sqrt y) (sqrt z)))
  (/ (+ t z) (- (sqrt y) (sqrt z)))
  (/ x (- (* t t) (* z z)))
  (/ (+ t z) (- y z))
  (/ 1 (- y z))
  (/ (- y z) (/ x (- t z)))
  (/ (/ x (- t z)) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- t z)) (sqrt (- y z)))
  (/ x (- t z))
  (/ (/ x (- t z)) (+ (sqrt y) (sqrt z)))
  (/ x (- t z))
  (/ (- y z) (cbrt (/ x (- t z))))
  (/ (- y z) (sqrt (/ x (- t z))))
  (/ (- y z) (/ (cbrt x) (cbrt (- t z))))
  (/ (- y z) (/ (cbrt x) (sqrt (- t z))))
  (/ (- y z) (/ (cbrt x) (- t z)))
  (/ (- y z) (/ (cbrt x) (- (sqrt t) (sqrt z))))
  (/ (- y z) (/ (cbrt x) (- t z)))
  (/ (- y z) (/ (sqrt x) (cbrt (- t z))))
  (/ (- y z) (/ (sqrt x) (sqrt (- t z))))
  (/ (- y z) (/ (sqrt x) (- t z)))
  (/ (- y z) (/ (sqrt x) (- (sqrt t) (sqrt z))))
  (/ (- y z) (/ (sqrt x) (- t z)))
  (/ (- y z) (/ x (cbrt (- t z))))
  (/ (- y z) (/ x (sqrt (- t z))))
  (/ (- y z) (/ x (- t z)))
  (/ (- y z) (/ x (- (sqrt t) (sqrt z))))
  (/ (- y z) (/ x (- t z)))
  (/ (- y z) (/ x (- t z)))
  (* (- t z) (- y z))
  (/ (- y z) (fma t t (* z (+ t z))))
  (/ (- y z) (+ t z))
  (/ (/ x (- t z)) (- (pow y 3) (pow z 3)))
  (/ (/ x (- t z)) (- (* y y) (* z z)))
  (* (- t z) (- y z))
  (expm1 (/ x (- t z)))
  (log1p (/ x (- t z)))
  (log (/ x (- t z)))
  (log (/ x (- t z)))
  (exp (/ x (- t z)))
  (pow (/ x (- t z)) 3)
  (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z))))
  (cbrt (/ x (- t z)))
  (pow (/ x (- t z)) 3)
  (sqrt (/ x (- t z)))
  (sqrt (/ x (- t z)))
  (- x)
  (- (- t z))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (cbrt x) (cbrt (- t z)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- t z)))
  (/ (cbrt x) (sqrt (- t z)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (- t z))
  (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z)))
  (/ (cbrt x) (- (sqrt t) (sqrt z)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (- t z))
  (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (sqrt x) (cbrt (- t z)))
  (/ (sqrt x) (sqrt (- t z)))
  (/ (sqrt x) (sqrt (- t z)))
  (sqrt x)
  (/ (sqrt x) (- t z))
  (/ (sqrt x) (+ (sqrt t) (sqrt z)))
  (/ (sqrt x) (- (sqrt t) (sqrt z)))
  (sqrt x)
  (/ (sqrt x) (- t z))
  (/ 1 (* (cbrt (- t z)) (cbrt (- t z))))
  (/ x (cbrt (- t z)))
  (/ 1 (sqrt (- t z)))
  (/ x (sqrt (- t z)))
  1
  (/ x (- t z))
  (/ 1 (+ (sqrt t) (sqrt z)))
  (/ x (- (sqrt t) (sqrt z)))
  1
  (/ x (- t z))
  (/ 1 (- t z))
  (/ (- t z) x)
  (/ x (* (cbrt (- t z)) (cbrt (- t z))))
  (/ x (sqrt (- t z)))
  x
  (/ x (+ (sqrt t) (sqrt z)))
  x
  (/ (- t z) (cbrt x))
  (/ (- t z) (sqrt x))
  (/ (- t z) x)
  (/ x (- (pow t 3) (pow z 3)))
  (/ x (- (* t t) (* z z)))
  0
  0
  0
  0
  0
  0
13.259 * * * [progress]: adding candidates to table
13.711 * [progress]: [Phase 3 of 3] Extracting.
13.711 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (* (/ 1 (- y z)) (/ 1 (/ (- t z) x))))> #<alt (λ (x y z t) (/ (/ 1 (/ (- t z) x)) (- y z)))> #<alt (λ (x y z t) (/ 1 (/ (* (- y z) (- t z)) x)))> #<alt (λ (x y z t) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))> #<alt (λ (x y z t) (* x (/ (/ 1 (- t z)) (- y z))))> #<alt (λ (x y z t) (/ (/ x (- t z)) (- y z)))> #<alt (λ (x y z t) (/ x (* (- t z) (- y z))))>)
13.712 * * * [regime-changes]: Trying 5 branch expressions: ((* (- y z) (- t z)) t z y x)
13.712 * * * * [regimes]: Trying to branch on (* (- y z) (- t z)) from (#<alt (λ (x y z t) (* (/ 1 (- y z)) (/ 1 (/ (- t z) x))))> #<alt (λ (x y z t) (/ (/ 1 (/ (- t z) x)) (- y z)))> #<alt (λ (x y z t) (/ 1 (/ (* (- y z) (- t z)) x)))> #<alt (λ (x y z t) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))> #<alt (λ (x y z t) (* x (/ (/ 1 (- t z)) (- y z))))> #<alt (λ (x y z t) (/ (/ x (- t z)) (- y z)))> #<alt (λ (x y z t) (/ x (* (- t z) (- y z))))>)
13.748 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (* (/ 1 (- y z)) (/ 1 (/ (- t z) x))))> #<alt (λ (x y z t) (/ (/ 1 (/ (- t z) x)) (- y z)))> #<alt (λ (x y z t) (/ 1 (/ (* (- y z) (- t z)) x)))> #<alt (λ (x y z t) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))> #<alt (λ (x y z t) (* x (/ (/ 1 (- t z)) (- y z))))> #<alt (λ (x y z t) (/ (/ x (- t z)) (- y z)))> #<alt (λ (x y z t) (/ x (* (- t z) (- y z))))>)
13.775 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (* (/ 1 (- y z)) (/ 1 (/ (- t z) x))))> #<alt (λ (x y z t) (/ (/ 1 (/ (- t z) x)) (- y z)))> #<alt (λ (x y z t) (/ 1 (/ (* (- y z) (- t z)) x)))> #<alt (λ (x y z t) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))> #<alt (λ (x y z t) (* x (/ (/ 1 (- t z)) (- y z))))> #<alt (λ (x y z t) (/ (/ x (- t z)) (- y z)))> #<alt (λ (x y z t) (/ x (* (- t z) (- y z))))>)
13.800 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (* (/ 1 (- y z)) (/ 1 (/ (- t z) x))))> #<alt (λ (x y z t) (/ (/ 1 (/ (- t z) x)) (- y z)))> #<alt (λ (x y z t) (/ 1 (/ (* (- y z) (- t z)) x)))> #<alt (λ (x y z t) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))> #<alt (λ (x y z t) (* x (/ (/ 1 (- t z)) (- y z))))> #<alt (λ (x y z t) (/ (/ x (- t z)) (- y z)))> #<alt (λ (x y z t) (/ x (* (- t z) (- y z))))>)
13.828 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (* (/ 1 (- y z)) (/ 1 (/ (- t z) x))))> #<alt (λ (x y z t) (/ (/ 1 (/ (- t z) x)) (- y z)))> #<alt (λ (x y z t) (/ 1 (/ (* (- y z) (- t z)) x)))> #<alt (λ (x y z t) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))> #<alt (λ (x y z t) (* x (/ (/ 1 (- t z)) (- y z))))> #<alt (λ (x y z t) (/ (/ x (- t z)) (- y z)))> #<alt (λ (x y z t) (/ x (* (- t z) (- y z))))>)
13.854 * * * [regime]: Found split indices: #<option (#s(si 5 27) #s(si 6 164) #s(si 1 255))>
13.855 * [binary-search]: Only using regimes for bounds on (* (- y z) (- t z)) and (#<alt (λ (x y z t) (* (/ 1 (- y z)) (/ 1 (/ (- t z) x))))> #<alt (λ (x y z t) (/ (/ 1 (/ (- t z) x)) (- y z)))> #<alt (λ (x y z t) (/ 1 (/ (* (- y z) (- t z)) x)))> #<alt (λ (x y z t) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))> #<alt (λ (x y z t) (* x (/ (/ 1 (- t z)) (- y z))))> #<alt (λ (x y z t) (/ (/ x (- t z)) (- y z)))> #<alt (λ (x y z t) (/ x (* (- t z) (- y z))))>)
13.856 * [regimes]: Found splitpoints: (#s(sp 5 (* (- y z) (- t z)) -inf.0) #s(sp 6 (* (- y z) (- t z)) 1.2250624034146396e+298) #s(sp 1 (* (- y z) (- t z)) +nan.0)) , with alts (#<alt (λ (x y z t) (* (/ 1 (- y z)) (/ 1 (/ (- t z) x))))> #<alt (λ (x y z t) (/ (/ 1 (/ (- t z) x)) (- y z)))> #<alt (λ (x y z t) (/ 1 (/ (* (- y z) (- t z)) x)))> #<alt (λ (x y z t) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))> #<alt (λ (x y z t) (* x (/ (/ 1 (- t z)) (- y z))))> #<alt (λ (x y z t) (/ (/ x (- t z)) (- y z)))> #<alt (λ (x y z t) (/ x (* (- t z) (- y z))))>)
13.856 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (* (- y z) (- t z)) -inf.0) (/ (/ x (- t z)) (- y z)) (if (<= (* (- y z) (- t z)) 1.2250624034146396e+298) (/ x (* (- t z) (- y z))) (/ (/ 1 (/ (- t z) x)) (- y z))))
13.856 * * [simplify]: iteration  0 :  21  enodes  (cost  49 )
13.857 * * [simplify]: iteration  1 :  23  enodes  (cost  49 )
13.858 * * [simplify]: iteration  done :  23  enodes  (cost  49 )
13.858 * [simplify]: Simplified to:
   (if (<= (* (- y z) (- t z)) -inf.0) (/ (/ x (- t z)) (- y z)) (if (<= (* (- y z) (- t z)) 1.2250624034146396e+298) (/ x (* (- t z) (- y z))) (/ (/ 1 (/ (- t z) x)) (- y z))))
14.471 * [regime-testing]: Baseline error score: 1.7997102855426457
14.472 * [regime-testing]: Oracle error score: 0.024003000375046882
14.473 * [regime-testing]: End program error score: 0.8615962390011016
14.500 * [regime-testing]: Target error score: 8.618818475631272