8.118 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.396 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.400 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.400 * * * * [points]: Setting MPFR precision to 64
0.400 * * * * [points]: Setting MPFR precision to 320
0.400 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.400 * * * * [points]: Setting MPFR precision to 64
0.401 * * * * [points]: Setting MPFR precision to 320
0.401 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.402 * * * * [points]: Setting MPFR precision to 64
0.402 * * * * [points]: Setting MPFR precision to 320
0.403 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.403 * * * * [points]: Setting MPFR precision to 64
0.405 * * * * [points]: Setting MPFR precision to 320
0.406 * * * * [points]: Computing exacts for 256 points
0.406 * * * * [points]: Setting MPFR precision to 64
0.410 * * * * [points]: Setting MPFR precision to 320
0.415 * * * * [points]: Filtering points with unrepresentable outputs
0.416 * * * * [points]: Sampling 11 additional inputs, on iter 1 have 245 / 256
0.416 * * * * [points]: Computing exacts for 11 points
0.416 * * * * [points]: Setting MPFR precision to 64
0.416 * * * * [points]: Setting MPFR precision to 320
0.416 * * * * [points]: Filtering points with unrepresentable outputs
0.416 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 255 / 256
0.417 * * * * [points]: Computing exacts for 4 points
0.417 * * * * [points]: Setting MPFR precision to 64
0.417 * * * * [points]: Setting MPFR precision to 320
0.417 * * * * [points]: Filtering points with unrepresentable outputs
0.417 * * * * [points]: Sampled 259 points with exact outputs
0.427 * * * [progress]: [2/2] Setting up program.
0.431 * [progress]: [Phase 2 of 3] Improving.
0.431 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ x (- y (* z t)))
0.437 * * [simplify]: iteration  0 :  125  enodes  (cost  7 )
0.437 * * [simplify]: iteration  1 :  125  enodes  (cost  7 )
0.437 * [simplify]: Simplified to:
   (/ x (- y (* z t)))
0.437 * * [progress]: iteration 1 / 4
0.437 * * * [progress]: picking best candidate
0.440 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ x (- y (* z t))))>
0.440 * * * [progress]: localizing error
0.446 * * * [progress]: generating rewritten candidates
0.446 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.451 * * * [progress]: generating series expansions
0.451 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.452 * [approximate]: Taking taylor expansion of (/ x (- y (* t z))) in (x y z t) around 0
0.452 * [taylor]: Taking taylor expansion of (/ x (- y (* t z))) in t
0.452 * [taylor]: Taking taylor expansion of x in t
0.452 * [taylor]: Taking taylor expansion of (- y (* t z)) in t
0.452 * [taylor]: Taking taylor expansion of y in t
0.452 * [taylor]: Taking taylor expansion of (* t z) in t
0.452 * [taylor]: Taking taylor expansion of t in t
0.452 * [taylor]: Taking taylor expansion of z in t
0.452 * [taylor]: Taking taylor expansion of (/ x (- y (* t z))) in z
0.452 * [taylor]: Taking taylor expansion of x in z
0.452 * [taylor]: Taking taylor expansion of (- y (* t z)) in z
0.452 * [taylor]: Taking taylor expansion of y in z
0.452 * [taylor]: Taking taylor expansion of (* t z) in z
0.452 * [taylor]: Taking taylor expansion of t in z
0.452 * [taylor]: Taking taylor expansion of z in z
0.452 * [taylor]: Taking taylor expansion of (/ x (- y (* t z))) in y
0.452 * [taylor]: Taking taylor expansion of x in y
0.452 * [taylor]: Taking taylor expansion of (- y (* t z)) in y
0.452 * [taylor]: Taking taylor expansion of y in y
0.452 * [taylor]: Taking taylor expansion of (* t z) in y
0.452 * [taylor]: Taking taylor expansion of t in y
0.452 * [taylor]: Taking taylor expansion of z in y
0.452 * [taylor]: Taking taylor expansion of (/ x (- y (* t z))) in x
0.452 * [taylor]: Taking taylor expansion of x in x
0.452 * [taylor]: Taking taylor expansion of (- y (* t z)) in x
0.452 * [taylor]: Taking taylor expansion of y in x
0.452 * [taylor]: Taking taylor expansion of (* t z) in x
0.452 * [taylor]: Taking taylor expansion of t in x
0.452 * [taylor]: Taking taylor expansion of z in x
0.452 * [taylor]: Taking taylor expansion of (/ x (- y (* t z))) in x
0.452 * [taylor]: Taking taylor expansion of x in x
0.452 * [taylor]: Taking taylor expansion of (- y (* t z)) in x
0.452 * [taylor]: Taking taylor expansion of y in x
0.452 * [taylor]: Taking taylor expansion of (* t z) in x
0.452 * [taylor]: Taking taylor expansion of t in x
0.452 * [taylor]: Taking taylor expansion of z in x
0.453 * [taylor]: Taking taylor expansion of (/ 1 (- y (* t z))) in y
0.453 * [taylor]: Taking taylor expansion of (- y (* t z)) in y
0.453 * [taylor]: Taking taylor expansion of y in y
0.453 * [taylor]: Taking taylor expansion of (* t z) in y
0.453 * [taylor]: Taking taylor expansion of t in y
0.453 * [taylor]: Taking taylor expansion of z in y
0.453 * [taylor]: Taking taylor expansion of (/ -1 (* t z)) in z
0.453 * [taylor]: Taking taylor expansion of -1 in z
0.453 * [taylor]: Taking taylor expansion of (* t z) in z
0.453 * [taylor]: Taking taylor expansion of t in z
0.453 * [taylor]: Taking taylor expansion of z in z
0.453 * [taylor]: Taking taylor expansion of 0 in t
0.453 * [taylor]: Taking taylor expansion of 0 in y
0.453 * [taylor]: Taking taylor expansion of 0 in z
0.453 * [taylor]: Taking taylor expansion of 0 in t
0.453 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow t 2) (pow z 2)))) in z
0.453 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in z
0.453 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
0.453 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.453 * [taylor]: Taking taylor expansion of t in z
0.453 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.453 * [taylor]: Taking taylor expansion of z in z
0.454 * [taylor]: Taking taylor expansion of 0 in t
0.454 * [taylor]: Taking taylor expansion of 0 in t
0.454 * [taylor]: Taking taylor expansion of 0 in y
0.454 * [taylor]: Taking taylor expansion of 0 in z
0.455 * [taylor]: Taking taylor expansion of 0 in t
0.455 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 (* t z))) x)) in (x y z t) around 0
0.455 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 (* t z))) x)) in t
0.455 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in t
0.455 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in t
0.455 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.455 * [taylor]: Taking taylor expansion of y in t
0.455 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.455 * [taylor]: Taking taylor expansion of (* t z) in t
0.455 * [taylor]: Taking taylor expansion of t in t
0.455 * [taylor]: Taking taylor expansion of z in t
0.455 * [taylor]: Taking taylor expansion of x in t
0.455 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 (* t z))) x)) in z
0.455 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in z
0.455 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in z
0.455 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.455 * [taylor]: Taking taylor expansion of y in z
0.455 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.455 * [taylor]: Taking taylor expansion of (* t z) in z
0.455 * [taylor]: Taking taylor expansion of t in z
0.455 * [taylor]: Taking taylor expansion of z in z
0.455 * [taylor]: Taking taylor expansion of x in z
0.455 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 (* t z))) x)) in y
0.455 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in y
0.455 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in y
0.455 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.455 * [taylor]: Taking taylor expansion of y in y
0.455 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.455 * [taylor]: Taking taylor expansion of (* t z) in y
0.455 * [taylor]: Taking taylor expansion of t in y
0.455 * [taylor]: Taking taylor expansion of z in y
0.456 * [taylor]: Taking taylor expansion of x in y
0.456 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 (* t z))) x)) in x
0.456 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in x
0.456 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in x
0.456 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.456 * [taylor]: Taking taylor expansion of y in x
0.456 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.456 * [taylor]: Taking taylor expansion of (* t z) in x
0.456 * [taylor]: Taking taylor expansion of t in x
0.456 * [taylor]: Taking taylor expansion of z in x
0.456 * [taylor]: Taking taylor expansion of x in x
0.456 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 (* t z))) x)) in x
0.456 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in x
0.456 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in x
0.456 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.456 * [taylor]: Taking taylor expansion of y in x
0.456 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.456 * [taylor]: Taking taylor expansion of (* t z) in x
0.456 * [taylor]: Taking taylor expansion of t in x
0.456 * [taylor]: Taking taylor expansion of z in x
0.456 * [taylor]: Taking taylor expansion of x in x
0.457 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 y) (/ 1 (* t z)))) in y
0.457 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in y
0.457 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.457 * [taylor]: Taking taylor expansion of y in y
0.457 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.457 * [taylor]: Taking taylor expansion of (* t z) in y
0.457 * [taylor]: Taking taylor expansion of t in y
0.457 * [taylor]: Taking taylor expansion of z in y
0.457 * [taylor]: Taking taylor expansion of 1 in z
0.457 * [taylor]: Taking taylor expansion of 0 in t
0.457 * [taylor]: Taking taylor expansion of 0 in y
0.457 * [taylor]: Taking taylor expansion of 0 in z
0.457 * [taylor]: Taking taylor expansion of 0 in t
0.457 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.457 * [taylor]: Taking taylor expansion of (* t z) in z
0.457 * [taylor]: Taking taylor expansion of t in z
0.458 * [taylor]: Taking taylor expansion of z in z
0.458 * [taylor]: Taking taylor expansion of 0 in t
0.458 * [taylor]: Taking taylor expansion of 0 in t
0.458 * [taylor]: Taking taylor expansion of 0 in y
0.458 * [taylor]: Taking taylor expansion of 0 in z
0.458 * [taylor]: Taking taylor expansion of 0 in t
0.458 * [approximate]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* t z)) (/ 1 y)) x)) in (x y z t) around 0
0.458 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* t z)) (/ 1 y)) x)) in t
0.458 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in t
0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in t
0.458 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.458 * [taylor]: Taking taylor expansion of (* t z) in t
0.459 * [taylor]: Taking taylor expansion of t in t
0.459 * [taylor]: Taking taylor expansion of z in t
0.459 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.459 * [taylor]: Taking taylor expansion of y in t
0.459 * [taylor]: Taking taylor expansion of x in t
0.459 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* t z)) (/ 1 y)) x)) in z
0.459 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in z
0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in z
0.459 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.459 * [taylor]: Taking taylor expansion of (* t z) in z
0.459 * [taylor]: Taking taylor expansion of t in z
0.459 * [taylor]: Taking taylor expansion of z in z
0.459 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.459 * [taylor]: Taking taylor expansion of y in z
0.459 * [taylor]: Taking taylor expansion of x in z
0.459 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* t z)) (/ 1 y)) x)) in y
0.459 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in y
0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in y
0.459 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.459 * [taylor]: Taking taylor expansion of (* t z) in y
0.459 * [taylor]: Taking taylor expansion of t in y
0.459 * [taylor]: Taking taylor expansion of z in y
0.459 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.459 * [taylor]: Taking taylor expansion of y in y
0.459 * [taylor]: Taking taylor expansion of x in y
0.459 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* t z)) (/ 1 y)) x)) in x
0.459 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in x
0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in x
0.459 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.459 * [taylor]: Taking taylor expansion of (* t z) in x
0.459 * [taylor]: Taking taylor expansion of t in x
0.459 * [taylor]: Taking taylor expansion of z in x
0.459 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.459 * [taylor]: Taking taylor expansion of y in x
0.459 * [taylor]: Taking taylor expansion of x in x
0.460 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* t z)) (/ 1 y)) x)) in x
0.460 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in x
0.460 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in x
0.460 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.460 * [taylor]: Taking taylor expansion of (* t z) in x
0.460 * [taylor]: Taking taylor expansion of t in x
0.460 * [taylor]: Taking taylor expansion of z in x
0.460 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.460 * [taylor]: Taking taylor expansion of y in x
0.460 * [taylor]: Taking taylor expansion of x in x
0.460 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (* t z)) (/ 1 y))) in y
0.460 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in y
0.460 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.460 * [taylor]: Taking taylor expansion of (* t z) in y
0.460 * [taylor]: Taking taylor expansion of t in y
0.460 * [taylor]: Taking taylor expansion of z in y
0.460 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.460 * [taylor]: Taking taylor expansion of y in y
0.460 * [taylor]: Taking taylor expansion of 1 in z
0.460 * [taylor]: Taking taylor expansion of 0 in t
0.461 * [taylor]: Taking taylor expansion of 0 in y
0.461 * [taylor]: Taking taylor expansion of 0 in z
0.461 * [taylor]: Taking taylor expansion of 0 in t
0.461 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
0.461 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.461 * [taylor]: Taking taylor expansion of (* t z) in z
0.461 * [taylor]: Taking taylor expansion of t in z
0.461 * [taylor]: Taking taylor expansion of z in z
0.461 * [taylor]: Taking taylor expansion of 0 in t
0.461 * [taylor]: Taking taylor expansion of 0 in t
0.462 * [taylor]: Taking taylor expansion of 0 in y
0.462 * [taylor]: Taking taylor expansion of 0 in z
0.462 * [taylor]: Taking taylor expansion of 0 in t
0.462 * * * [progress]: simplifying candidates
0.462 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log x) (log (- y (* z t))))
  (log (/ x (- y (* z t))))
  (exp (/ x (- y (* z t))))
  (/ (* (* x x) x) (* (* (- y (* z t)) (- y (* z t))) (- y (* z t))))
  (* (cbrt (/ x (- y (* z t)))) (cbrt (/ x (- y (* z t)))))
  (cbrt (/ x (- y (* z t))))
  (* (* (/ x (- y (* z t))) (/ x (- y (* z t)))) (/ x (- y (* z t))))
  (sqrt (/ x (- y (* z t))))
  (sqrt (/ x (- y (* z t))))
  (neg x)
  (neg (- y (* z t)))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ (cbrt x) (cbrt (- y (* z t))))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- y (* z t))))
  (/ (cbrt x) (sqrt (- y (* z t))))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (- y (* z t)))
  (/ (sqrt x) (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ (sqrt x) (cbrt (- y (* z t))))
  (/ (sqrt x) (sqrt (- y (* z t))))
  (/ (sqrt x) (sqrt (- y (* z t))))
  (/ (sqrt x) 1)
  (/ (sqrt x) (- y (* z t)))
  (/ 1 (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ x (cbrt (- y (* z t))))
  (/ 1 (sqrt (- y (* z t))))
  (/ x (sqrt (- y (* z t))))
  (/ 1 1)
  (/ x (- y (* z t)))
  (/ 1 (- y (* z t)))
  (/ (- y (* z t)) x)
  (/ x (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ x (sqrt (- y (* z t))))
  (/ x 1)
  (/ (- y (* z t)) (cbrt x))
  (/ (- y (* z t)) (sqrt x))
  (/ (- y (* z t)) x)
  (/ x (- (pow y 3) (pow (* z t) 3)))
  (/ x (- (* y y) (* (* z t) (* z t))))
  0
  0
  0
0.502 * * [simplify]: iteration  0 :  4927  enodes  (cost  340 )
0.502 * * [simplify]: iteration  1 :  4927  enodes  (cost  340 )
0.504 * [simplify]: Simplified to:
   (log (/ x (- y (* z t))))
  (log (/ x (- y (* z t))))
  (exp (/ x (- y (* z t))))
  (pow (/ x (- y (* z t))) 3)
  (* (cbrt (/ x (- y (* z t)))) (cbrt (/ x (- y (* z t)))))
  (cbrt (/ x (- y (* z t))))
  (pow (/ x (- y (* z t))) 3)
  (sqrt (/ x (- y (* z t))))
  (sqrt (/ x (- y (* z t))))
  (neg x)
  (- (* z t) y)
  (* (cbrt x) (/ (cbrt x) (* (cbrt (- y (* z t))) (cbrt (- y (* z t))))))
  (/ (cbrt x) (cbrt (- y (* z t))))
  (* (cbrt x) (/ (cbrt x) (sqrt (- y (* z t)))))
  (/ (cbrt x) (sqrt (- y (* z t))))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (- y (* z t)))
  (/ (sqrt x) (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ (sqrt x) (cbrt (- y (* z t))))
  (/ (sqrt x) (sqrt (- y (* z t))))
  (/ (sqrt x) (sqrt (- y (* z t))))
  (sqrt x)
  (/ (sqrt x) (- y (* z t)))
  (/ 1 (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ x (cbrt (- y (* z t))))
  (/ 1 (sqrt (- y (* z t))))
  (/ x (sqrt (- y (* z t))))
  1
  (/ x (- y (* z t)))
  (/ 1 (- y (* z t)))
  (/ (- y (* z t)) x)
  (/ x (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ x (sqrt (- y (* z t))))
  x
  (/ (- y (* z t)) (cbrt x))
  (/ (- y (* z t)) (sqrt x))
  (/ (- y (* z t)) x)
  (/ x (- (pow y 3) (pow (* z t) 3)))
  (/ x (- (* y y) (* z (* z (* t t)))))
  0
  0
  0
0.504 * * * [progress]: adding candidates to table
0.541 * * [progress]: iteration 2 / 4
0.541 * * * [progress]: picking best candidate
0.562 * * * * [pick]: Picked  #<alt (λ (x y z t) (* x (/ 1 (- y (* z t)))))>
0.562 * * * [progress]: localizing error
0.568 * * * [progress]: generating rewritten candidates
0.568 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.577 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.584 * * * [progress]: generating series expansions
0.584 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.584 * [approximate]: Taking taylor expansion of (/ x (- y (* t z))) in (x y z t) around 0
0.584 * [taylor]: Taking taylor expansion of (/ x (- y (* t z))) in t
0.584 * [taylor]: Taking taylor expansion of x in t
0.584 * [taylor]: Taking taylor expansion of (- y (* t z)) in t
0.584 * [taylor]: Taking taylor expansion of y in t
0.584 * [taylor]: Taking taylor expansion of (* t z) in t
0.584 * [taylor]: Taking taylor expansion of t in t
0.584 * [taylor]: Taking taylor expansion of z in t
0.584 * [taylor]: Taking taylor expansion of (/ x (- y (* t z))) in z
0.584 * [taylor]: Taking taylor expansion of x in z
0.584 * [taylor]: Taking taylor expansion of (- y (* t z)) in z
0.584 * [taylor]: Taking taylor expansion of y in z
0.584 * [taylor]: Taking taylor expansion of (* t z) in z
0.584 * [taylor]: Taking taylor expansion of t in z
0.584 * [taylor]: Taking taylor expansion of z in z
0.584 * [taylor]: Taking taylor expansion of (/ x (- y (* t z))) in y
0.584 * [taylor]: Taking taylor expansion of x in y
0.584 * [taylor]: Taking taylor expansion of (- y (* t z)) in y
0.584 * [taylor]: Taking taylor expansion of y in y
0.584 * [taylor]: Taking taylor expansion of (* t z) in y
0.584 * [taylor]: Taking taylor expansion of t in y
0.584 * [taylor]: Taking taylor expansion of z in y
0.584 * [taylor]: Taking taylor expansion of (/ x (- y (* t z))) in x
0.584 * [taylor]: Taking taylor expansion of x in x
0.584 * [taylor]: Taking taylor expansion of (- y (* t z)) in x
0.584 * [taylor]: Taking taylor expansion of y in x
0.584 * [taylor]: Taking taylor expansion of (* t z) in x
0.584 * [taylor]: Taking taylor expansion of t in x
0.584 * [taylor]: Taking taylor expansion of z in x
0.585 * [taylor]: Taking taylor expansion of (/ x (- y (* t z))) in x
0.585 * [taylor]: Taking taylor expansion of x in x
0.585 * [taylor]: Taking taylor expansion of (- y (* t z)) in x
0.585 * [taylor]: Taking taylor expansion of y in x
0.585 * [taylor]: Taking taylor expansion of (* t z) in x
0.585 * [taylor]: Taking taylor expansion of t in x
0.585 * [taylor]: Taking taylor expansion of z in x
0.585 * [taylor]: Taking taylor expansion of (/ 1 (- y (* t z))) in y
0.585 * [taylor]: Taking taylor expansion of (- y (* t z)) in y
0.585 * [taylor]: Taking taylor expansion of y in y
0.585 * [taylor]: Taking taylor expansion of (* t z) in y
0.585 * [taylor]: Taking taylor expansion of t in y
0.585 * [taylor]: Taking taylor expansion of z in y
0.585 * [taylor]: Taking taylor expansion of (/ -1 (* t z)) in z
0.585 * [taylor]: Taking taylor expansion of -1 in z
0.585 * [taylor]: Taking taylor expansion of (* t z) in z
0.585 * [taylor]: Taking taylor expansion of t in z
0.585 * [taylor]: Taking taylor expansion of z in z
0.585 * [taylor]: Taking taylor expansion of 0 in t
0.585 * [taylor]: Taking taylor expansion of 0 in y
0.585 * [taylor]: Taking taylor expansion of 0 in z
0.585 * [taylor]: Taking taylor expansion of 0 in t
0.586 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow t 2) (pow z 2)))) in z
0.586 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in z
0.586 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
0.586 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.586 * [taylor]: Taking taylor expansion of t in z
0.586 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.586 * [taylor]: Taking taylor expansion of z in z
0.586 * [taylor]: Taking taylor expansion of 0 in t
0.586 * [taylor]: Taking taylor expansion of 0 in t
0.587 * [taylor]: Taking taylor expansion of 0 in y
0.587 * [taylor]: Taking taylor expansion of 0 in z
0.587 * [taylor]: Taking taylor expansion of 0 in t
0.587 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 (* t z))) x)) in (x y z t) around 0
0.587 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 (* t z))) x)) in t
0.587 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in t
0.587 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in t
0.587 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.587 * [taylor]: Taking taylor expansion of y in t
0.587 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.587 * [taylor]: Taking taylor expansion of (* t z) in t
0.587 * [taylor]: Taking taylor expansion of t in t
0.587 * [taylor]: Taking taylor expansion of z in t
0.587 * [taylor]: Taking taylor expansion of x in t
0.587 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 (* t z))) x)) in z
0.587 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in z
0.587 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in z
0.587 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.587 * [taylor]: Taking taylor expansion of y in z
0.587 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.587 * [taylor]: Taking taylor expansion of (* t z) in z
0.587 * [taylor]: Taking taylor expansion of t in z
0.587 * [taylor]: Taking taylor expansion of z in z
0.587 * [taylor]: Taking taylor expansion of x in z
0.587 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 (* t z))) x)) in y
0.587 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in y
0.587 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in y
0.587 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.587 * [taylor]: Taking taylor expansion of y in y
0.588 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.588 * [taylor]: Taking taylor expansion of (* t z) in y
0.588 * [taylor]: Taking taylor expansion of t in y
0.588 * [taylor]: Taking taylor expansion of z in y
0.588 * [taylor]: Taking taylor expansion of x in y
0.588 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 (* t z))) x)) in x
0.588 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in x
0.588 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in x
0.588 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.588 * [taylor]: Taking taylor expansion of y in x
0.588 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.588 * [taylor]: Taking taylor expansion of (* t z) in x
0.588 * [taylor]: Taking taylor expansion of t in x
0.588 * [taylor]: Taking taylor expansion of z in x
0.588 * [taylor]: Taking taylor expansion of x in x
0.588 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 (* t z))) x)) in x
0.588 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in x
0.588 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in x
0.588 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.588 * [taylor]: Taking taylor expansion of y in x
0.588 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.588 * [taylor]: Taking taylor expansion of (* t z) in x
0.588 * [taylor]: Taking taylor expansion of t in x
0.588 * [taylor]: Taking taylor expansion of z in x
0.588 * [taylor]: Taking taylor expansion of x in x
0.589 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 y) (/ 1 (* t z)))) in y
0.589 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in y
0.589 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.589 * [taylor]: Taking taylor expansion of y in y
0.589 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.589 * [taylor]: Taking taylor expansion of (* t z) in y
0.589 * [taylor]: Taking taylor expansion of t in y
0.589 * [taylor]: Taking taylor expansion of z in y
0.589 * [taylor]: Taking taylor expansion of 1 in z
0.589 * [taylor]: Taking taylor expansion of 0 in t
0.589 * [taylor]: Taking taylor expansion of 0 in y
0.589 * [taylor]: Taking taylor expansion of 0 in z
0.589 * [taylor]: Taking taylor expansion of 0 in t
0.590 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.590 * [taylor]: Taking taylor expansion of (* t z) in z
0.590 * [taylor]: Taking taylor expansion of t in z
0.590 * [taylor]: Taking taylor expansion of z in z
0.590 * [taylor]: Taking taylor expansion of 0 in t
0.590 * [taylor]: Taking taylor expansion of 0 in t
0.590 * [taylor]: Taking taylor expansion of 0 in y
0.590 * [taylor]: Taking taylor expansion of 0 in z
0.590 * [taylor]: Taking taylor expansion of 0 in t
0.591 * [approximate]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* t z)) (/ 1 y)) x)) in (x y z t) around 0
0.591 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* t z)) (/ 1 y)) x)) in t
0.591 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in t
0.591 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in t
0.591 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.591 * [taylor]: Taking taylor expansion of (* t z) in t
0.591 * [taylor]: Taking taylor expansion of t in t
0.591 * [taylor]: Taking taylor expansion of z in t
0.591 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.591 * [taylor]: Taking taylor expansion of y in t
0.591 * [taylor]: Taking taylor expansion of x in t
0.591 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* t z)) (/ 1 y)) x)) in z
0.591 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in z
0.591 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in z
0.591 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.591 * [taylor]: Taking taylor expansion of (* t z) in z
0.591 * [taylor]: Taking taylor expansion of t in z
0.591 * [taylor]: Taking taylor expansion of z in z
0.591 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.591 * [taylor]: Taking taylor expansion of y in z
0.591 * [taylor]: Taking taylor expansion of x in z
0.591 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* t z)) (/ 1 y)) x)) in y
0.591 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in y
0.591 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in y
0.591 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.591 * [taylor]: Taking taylor expansion of (* t z) in y
0.591 * [taylor]: Taking taylor expansion of t in y
0.591 * [taylor]: Taking taylor expansion of z in y
0.591 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.591 * [taylor]: Taking taylor expansion of y in y
0.591 * [taylor]: Taking taylor expansion of x in y
0.591 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* t z)) (/ 1 y)) x)) in x
0.591 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in x
0.591 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in x
0.591 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.591 * [taylor]: Taking taylor expansion of (* t z) in x
0.591 * [taylor]: Taking taylor expansion of t in x
0.591 * [taylor]: Taking taylor expansion of z in x
0.591 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.592 * [taylor]: Taking taylor expansion of y in x
0.592 * [taylor]: Taking taylor expansion of x in x
0.592 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* t z)) (/ 1 y)) x)) in x
0.592 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in x
0.592 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in x
0.592 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.592 * [taylor]: Taking taylor expansion of (* t z) in x
0.592 * [taylor]: Taking taylor expansion of t in x
0.592 * [taylor]: Taking taylor expansion of z in x
0.592 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.592 * [taylor]: Taking taylor expansion of y in x
0.592 * [taylor]: Taking taylor expansion of x in x
0.592 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (* t z)) (/ 1 y))) in y
0.592 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in y
0.592 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.592 * [taylor]: Taking taylor expansion of (* t z) in y
0.592 * [taylor]: Taking taylor expansion of t in y
0.592 * [taylor]: Taking taylor expansion of z in y
0.593 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.593 * [taylor]: Taking taylor expansion of y in y
0.593 * [taylor]: Taking taylor expansion of 1 in z
0.593 * [taylor]: Taking taylor expansion of 0 in t
0.593 * [taylor]: Taking taylor expansion of 0 in y
0.593 * [taylor]: Taking taylor expansion of 0 in z
0.593 * [taylor]: Taking taylor expansion of 0 in t
0.593 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
0.593 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.593 * [taylor]: Taking taylor expansion of (* t z) in z
0.593 * [taylor]: Taking taylor expansion of t in z
0.593 * [taylor]: Taking taylor expansion of z in z
0.593 * [taylor]: Taking taylor expansion of 0 in t
0.593 * [taylor]: Taking taylor expansion of 0 in t
0.594 * [taylor]: Taking taylor expansion of 0 in y
0.594 * [taylor]: Taking taylor expansion of 0 in z
0.594 * [taylor]: Taking taylor expansion of 0 in t
0.594 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.594 * [approximate]: Taking taylor expansion of (/ 1 (- y (* t z))) in (y z t) around 0
0.594 * [taylor]: Taking taylor expansion of (/ 1 (- y (* t z))) in t
0.594 * [taylor]: Taking taylor expansion of (- y (* t z)) in t
0.594 * [taylor]: Taking taylor expansion of y in t
0.594 * [taylor]: Taking taylor expansion of (* t z) in t
0.594 * [taylor]: Taking taylor expansion of t in t
0.594 * [taylor]: Taking taylor expansion of z in t
0.594 * [taylor]: Taking taylor expansion of (/ 1 (- y (* t z))) in z
0.594 * [taylor]: Taking taylor expansion of (- y (* t z)) in z
0.594 * [taylor]: Taking taylor expansion of y in z
0.594 * [taylor]: Taking taylor expansion of (* t z) in z
0.594 * [taylor]: Taking taylor expansion of t in z
0.594 * [taylor]: Taking taylor expansion of z in z
0.594 * [taylor]: Taking taylor expansion of (/ 1 (- y (* t z))) in y
0.594 * [taylor]: Taking taylor expansion of (- y (* t z)) in y
0.594 * [taylor]: Taking taylor expansion of y in y
0.594 * [taylor]: Taking taylor expansion of (* t z) in y
0.594 * [taylor]: Taking taylor expansion of t in y
0.594 * [taylor]: Taking taylor expansion of z in y
0.595 * [taylor]: Taking taylor expansion of (/ 1 (- y (* t z))) in y
0.595 * [taylor]: Taking taylor expansion of (- y (* t z)) in y
0.595 * [taylor]: Taking taylor expansion of y in y
0.595 * [taylor]: Taking taylor expansion of (* t z) in y
0.595 * [taylor]: Taking taylor expansion of t in y
0.595 * [taylor]: Taking taylor expansion of z in y
0.595 * [taylor]: Taking taylor expansion of (/ -1 (* t z)) in z
0.595 * [taylor]: Taking taylor expansion of -1 in z
0.595 * [taylor]: Taking taylor expansion of (* t z) in z
0.595 * [taylor]: Taking taylor expansion of t in z
0.595 * [taylor]: Taking taylor expansion of z in z
0.595 * [taylor]: Taking taylor expansion of 0 in t
0.595 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow t 2) (pow z 2)))) in z
0.595 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in z
0.595 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
0.595 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.595 * [taylor]: Taking taylor expansion of t in z
0.595 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.595 * [taylor]: Taking taylor expansion of z in z
0.596 * [taylor]: Taking taylor expansion of 0 in t
0.596 * [taylor]: Taking taylor expansion of 0 in t
0.596 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow t 3) (pow z 3)))) in z
0.596 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in z
0.596 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z
0.596 * [taylor]: Taking taylor expansion of (pow t 3) in z
0.596 * [taylor]: Taking taylor expansion of t in z
0.596 * [taylor]: Taking taylor expansion of (pow z 3) in z
0.596 * [taylor]: Taking taylor expansion of z in z
0.598 * [taylor]: Taking taylor expansion of 0 in t
0.598 * [taylor]: Taking taylor expansion of 0 in t
0.598 * [approximate]: Taking taylor expansion of (/ 1 (- (/ 1 y) (/ 1 (* t z)))) in (y z t) around 0
0.598 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 y) (/ 1 (* t z)))) in t
0.598 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in t
0.598 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.598 * [taylor]: Taking taylor expansion of y in t
0.598 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.598 * [taylor]: Taking taylor expansion of (* t z) in t
0.598 * [taylor]: Taking taylor expansion of t in t
0.598 * [taylor]: Taking taylor expansion of z in t
0.598 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 y) (/ 1 (* t z)))) in z
0.598 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in z
0.598 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.598 * [taylor]: Taking taylor expansion of y in z
0.599 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.599 * [taylor]: Taking taylor expansion of (* t z) in z
0.599 * [taylor]: Taking taylor expansion of t in z
0.599 * [taylor]: Taking taylor expansion of z in z
0.599 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 y) (/ 1 (* t z)))) in y
0.599 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in y
0.599 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.599 * [taylor]: Taking taylor expansion of y in y
0.599 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.599 * [taylor]: Taking taylor expansion of (* t z) in y
0.599 * [taylor]: Taking taylor expansion of t in y
0.599 * [taylor]: Taking taylor expansion of z in y
0.599 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 y) (/ 1 (* t z)))) in y
0.599 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in y
0.599 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.599 * [taylor]: Taking taylor expansion of y in y
0.599 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.599 * [taylor]: Taking taylor expansion of (* t z) in y
0.599 * [taylor]: Taking taylor expansion of t in y
0.599 * [taylor]: Taking taylor expansion of z in y
0.599 * [taylor]: Taking taylor expansion of 1 in z
0.599 * [taylor]: Taking taylor expansion of 0 in t
0.599 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.599 * [taylor]: Taking taylor expansion of (* t z) in z
0.599 * [taylor]: Taking taylor expansion of t in z
0.599 * [taylor]: Taking taylor expansion of z in z
0.600 * [taylor]: Taking taylor expansion of 0 in t
0.600 * [taylor]: Taking taylor expansion of 0 in t
0.600 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in z
0.600 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
0.600 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.600 * [taylor]: Taking taylor expansion of t in z
0.600 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.600 * [taylor]: Taking taylor expansion of z in z
0.601 * [taylor]: Taking taylor expansion of 0 in t
0.601 * [taylor]: Taking taylor expansion of 0 in t
0.601 * [approximate]: Taking taylor expansion of (/ -1 (+ (/ 1 (* t z)) (/ 1 y))) in (y z t) around 0
0.601 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 (* t z)) (/ 1 y))) in t
0.601 * [taylor]: Taking taylor expansion of -1 in t
0.601 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in t
0.601 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.601 * [taylor]: Taking taylor expansion of (* t z) in t
0.601 * [taylor]: Taking taylor expansion of t in t
0.601 * [taylor]: Taking taylor expansion of z in t
0.601 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.601 * [taylor]: Taking taylor expansion of y in t
0.601 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 (* t z)) (/ 1 y))) in z
0.601 * [taylor]: Taking taylor expansion of -1 in z
0.601 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in z
0.601 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.601 * [taylor]: Taking taylor expansion of (* t z) in z
0.601 * [taylor]: Taking taylor expansion of t in z
0.601 * [taylor]: Taking taylor expansion of z in z
0.602 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.602 * [taylor]: Taking taylor expansion of y in z
0.602 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 (* t z)) (/ 1 y))) in y
0.602 * [taylor]: Taking taylor expansion of -1 in y
0.602 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in y
0.602 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.602 * [taylor]: Taking taylor expansion of (* t z) in y
0.602 * [taylor]: Taking taylor expansion of t in y
0.602 * [taylor]: Taking taylor expansion of z in y
0.602 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.602 * [taylor]: Taking taylor expansion of y in y
0.602 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 (* t z)) (/ 1 y))) in y
0.602 * [taylor]: Taking taylor expansion of -1 in y
0.602 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in y
0.602 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.602 * [taylor]: Taking taylor expansion of (* t z) in y
0.602 * [taylor]: Taking taylor expansion of t in y
0.602 * [taylor]: Taking taylor expansion of z in y
0.602 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.602 * [taylor]: Taking taylor expansion of y in y
0.602 * [taylor]: Taking taylor expansion of -1 in z
0.602 * [taylor]: Taking taylor expansion of 0 in t
0.603 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.603 * [taylor]: Taking taylor expansion of (* t z) in z
0.603 * [taylor]: Taking taylor expansion of t in z
0.603 * [taylor]: Taking taylor expansion of z in z
0.603 * [taylor]: Taking taylor expansion of 0 in t
0.603 * [taylor]: Taking taylor expansion of 0 in t
0.603 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow t 2) (pow z 2)))) in z
0.603 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in z
0.603 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
0.603 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.603 * [taylor]: Taking taylor expansion of t in z
0.603 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.603 * [taylor]: Taking taylor expansion of z in z
0.607 * [taylor]: Taking taylor expansion of 0 in t
0.607 * [taylor]: Taking taylor expansion of 0 in t
0.607 * * * [progress]: simplifying candidates
0.609 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (/ 1 (- y (* z t))))
  (+ (log x) (neg (log (- y (* z t)))))
  (+ (log x) (- 0 (log (- y (* z t)))))
  (+ (log x) (- (log 1) (log (- y (* z t)))))
  (+ (log x) (log (/ 1 (- y (* z t)))))
  (log (* x (/ 1 (- y (* z t)))))
  (exp (* x (/ 1 (- y (* z t)))))
  (* (* (* x x) x) (/ (* (* 1 1) 1) (* (* (- y (* z t)) (- y (* z t))) (- y (* z t)))))
  (* (* (* x x) x) (* (* (/ 1 (- y (* z t))) (/ 1 (- y (* z t)))) (/ 1 (- y (* z t)))))
  (* (cbrt (* x (/ 1 (- y (* z t))))) (cbrt (* x (/ 1 (- y (* z t))))))
  (cbrt (* x (/ 1 (- y (* z t)))))
  (* (* (* x (/ 1 (- y (* z t)))) (* x (/ 1 (- y (* z t))))) (* x (/ 1 (- y (* z t)))))
  (sqrt (* x (/ 1 (- y (* z t)))))
  (sqrt (* x (/ 1 (- y (* z t)))))
  (* (sqrt x) (sqrt (/ 1 (- y (* z t)))))
  (* (sqrt x) (sqrt (/ 1 (- y (* z t)))))
  (* (sqrt x) (/ (sqrt 1) (sqrt (- y (* z t)))))
  (* (sqrt x) (/ (sqrt 1) (sqrt (- y (* z t)))))
  (* (sqrt x) (/ 1 (sqrt (- y (* z t)))))
  (* (sqrt x) (/ 1 (sqrt (- y (* z t)))))
  (* x (* (cbrt (/ 1 (- y (* z t)))) (cbrt (/ 1 (- y (* z t))))))
  (* x (sqrt (/ 1 (- y (* z t)))))
  (* x (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- y (* z t))) (cbrt (- y (* z t))))))
  (* x (/ (* (cbrt 1) (cbrt 1)) (sqrt (- y (* z t)))))
  (* x (/ (* (cbrt 1) (cbrt 1)) 1))
  (* x (/ (sqrt 1) (* (cbrt (- y (* z t))) (cbrt (- y (* z t))))))
  (* x (/ (sqrt 1) (sqrt (- y (* z t)))))
  (* x (/ (sqrt 1) 1))
  (* x (/ 1 (* (cbrt (- y (* z t))) (cbrt (- y (* z t))))))
  (* x (/ 1 (sqrt (- y (* z t)))))
  (* x (/ 1 1))
  (* x 1)
  (* x 1)
  (* x (/ 1 (- (pow y 3) (pow (* z t) 3))))
  (* x (/ 1 (- (* y y) (* (* z t) (* z t)))))
  (* (cbrt x) (/ 1 (- y (* z t))))
  (* (sqrt x) (/ 1 (- y (* z t))))
  (* x (/ 1 (- y (* z t))))
  (* x 1)
  (neg 1)
  (neg (log (- y (* z t))))
  (- 0 (log (- y (* z t))))
  (- (log 1) (log (- y (* z t))))
  (log (/ 1 (- y (* z t))))
  (exp (/ 1 (- y (* z t))))
  (/ (* (* 1 1) 1) (* (* (- y (* z t)) (- y (* z t))) (- y (* z t))))
  (* (cbrt (/ 1 (- y (* z t)))) (cbrt (/ 1 (- y (* z t)))))
  (cbrt (/ 1 (- y (* z t))))
  (* (* (/ 1 (- y (* z t))) (/ 1 (- y (* z t)))) (/ 1 (- y (* z t))))
  (sqrt (/ 1 (- y (* z t))))
  (sqrt (/ 1 (- y (* z t))))
  (neg 1)
  (neg (- y (* z t)))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ (cbrt 1) (cbrt (- y (* z t))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (- y (* z t))))
  (/ (cbrt 1) (sqrt (- y (* z t))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (- y (* z t)))
  (/ (sqrt 1) (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ (sqrt 1) (cbrt (- y (* z t))))
  (/ (sqrt 1) (sqrt (- y (* z t))))
  (/ (sqrt 1) (sqrt (- y (* z t))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (- y (* z t)))
  (/ 1 (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ 1 (cbrt (- y (* z t))))
  (/ 1 (sqrt (- y (* z t))))
  (/ 1 (sqrt (- y (* z t))))
  (/ 1 1)
  (/ 1 (- y (* z t)))
  (/ 1 (- y (* z t)))
  (/ (- y (* z t)) 1)
  (/ 1 (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ 1 (sqrt (- y (* z t))))
  (/ 1 1)
  (/ (- y (* z t)) (cbrt 1))
  (/ (- y (* z t)) (sqrt 1))
  (/ (- y (* z t)) 1)
  (/ 1 (- (pow y 3) (pow (* z t) 3)))
  (/ 1 (- (* y y) (* (* z t) (* z t))))
  0
  0
  0
  0
  0
  0
0.682 * * [simplify]: iteration  0 :  4889  enodes  (cost  692 )
0.682 * * [simplify]: iteration  1 :  4889  enodes  (cost  692 )
0.685 * [simplify]: Simplified to:
   (/ x (- y (* z t)))
  (log (/ x (- y (* z t))))
  (log (/ x (- y (* z t))))
  (log (/ x (- y (* z t))))
  (log (/ x (- y (* z t))))
  (log (/ x (- y (* z t))))
  (exp (/ x (- y (* z t))))
  (pow (/ x (- y (* z t))) 3)
  (pow (/ x (- y (* z t))) 3)
  (* (cbrt (/ x (- y (* z t)))) (cbrt (/ x (- y (* z t)))))
  (cbrt (/ x (- y (* z t))))
  (pow (/ x (- y (* z t))) 3)
  (sqrt (/ x (- y (* z t))))
  (sqrt (/ x (- y (* z t))))
  (* (sqrt x) (sqrt (/ 1 (- y (* z t)))))
  (* (sqrt x) (sqrt (/ 1 (- y (* z t)))))
  (/ (sqrt x) (sqrt (- y (* z t))))
  (/ (sqrt x) (sqrt (- y (* z t))))
  (/ (sqrt x) (sqrt (- y (* z t))))
  (/ (sqrt x) (sqrt (- y (* z t))))
  (* x (* (cbrt (/ 1 (- y (* z t)))) (cbrt (/ 1 (- y (* z t))))))
  (* x (sqrt (/ 1 (- y (* z t)))))
  (* x (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))))
  (* x (* (cbrt 1) (/ (cbrt 1) (sqrt (- y (* z t))))))
  (* x (* (cbrt 1) (cbrt 1)))
  (/ x (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ x (sqrt (- y (* z t))))
  x
  (/ x (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ x (sqrt (- y (* z t))))
  x
  x
  x
  (/ x (- (pow y 3) (pow (* z t) 3)))
  (/ x (- (* y y) (* z (* z (* t t)))))
  (/ (cbrt x) (- y (* z t)))
  (/ (sqrt x) (- y (* z t)))
  (/ x (- y (* z t)))
  x
  -1
  (neg (log (- y (* z t))))
  (neg (log (- y (* z t))))
  (neg (log (- y (* z t))))
  (neg (log (- y (* z t))))
  (exp (/ 1 (- y (* z t))))
  (/ 1 (pow (- y (* z t)) 3))
  (* (cbrt (/ 1 (- y (* z t)))) (cbrt (/ 1 (- y (* z t)))))
  (cbrt (/ 1 (- y (* z t))))
  (/ 1 (pow (- y (* z t)) 3))
  (sqrt (/ 1 (- y (* z t))))
  (sqrt (/ 1 (- y (* z t))))
  -1
  (- (* z t) y)
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- y (* z t))) (cbrt (- y (* z t))))))
  (/ (cbrt 1) (cbrt (- y (* z t))))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (- y (* z t)))))
  (/ (cbrt 1) (sqrt (- y (* z t))))
  (* (cbrt 1) (cbrt 1))
  (/ (cbrt 1) (- y (* z t)))
  (/ 1 (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ 1 (cbrt (- y (* z t))))
  (/ 1 (sqrt (- y (* z t))))
  (/ 1 (sqrt (- y (* z t))))
  1
  (/ 1 (- y (* z t)))
  (/ 1 (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ 1 (cbrt (- y (* z t))))
  (/ 1 (sqrt (- y (* z t))))
  (/ 1 (sqrt (- y (* z t))))
  1
  (/ 1 (- y (* z t)))
  (/ 1 (- y (* z t)))
  (- y (* z t))
  (/ 1 (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ 1 (sqrt (- y (* z t))))
  1
  (/ (- y (* z t)) (cbrt 1))
  (- y (* z t))
  (- y (* z t))
  (/ 1 (- (pow y 3) (pow (* z t) 3)))
  (/ 1 (- (* y y) (* z (* z (* t t)))))
  0
  0
  0
  0
  0
  0
0.685 * * * [progress]: adding candidates to table
0.746 * * [progress]: iteration 3 / 4
0.747 * * * [progress]: picking best candidate
0.764 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ 1 (/ (- y (* z t)) x)))>
0.764 * * * [progress]: localizing error
0.771 * * * [progress]: generating rewritten candidates
0.771 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.775 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.786 * * * [progress]: generating series expansions
0.786 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.786 * [approximate]: Taking taylor expansion of (/ (- y (* t z)) x) in (y z t x) around 0
0.786 * [taylor]: Taking taylor expansion of (/ (- y (* t z)) x) in x
0.786 * [taylor]: Taking taylor expansion of (- y (* t z)) in x
0.786 * [taylor]: Taking taylor expansion of y in x
0.786 * [taylor]: Taking taylor expansion of (* t z) in x
0.786 * [taylor]: Taking taylor expansion of t in x
0.786 * [taylor]: Taking taylor expansion of z in x
0.786 * [taylor]: Taking taylor expansion of x in x
0.786 * [taylor]: Taking taylor expansion of (/ (- y (* t z)) x) in t
0.787 * [taylor]: Taking taylor expansion of (- y (* t z)) in t
0.787 * [taylor]: Taking taylor expansion of y in t
0.787 * [taylor]: Taking taylor expansion of (* t z) in t
0.787 * [taylor]: Taking taylor expansion of t in t
0.787 * [taylor]: Taking taylor expansion of z in t
0.787 * [taylor]: Taking taylor expansion of x in t
0.787 * [taylor]: Taking taylor expansion of (/ (- y (* t z)) x) in z
0.787 * [taylor]: Taking taylor expansion of (- y (* t z)) in z
0.787 * [taylor]: Taking taylor expansion of y in z
0.787 * [taylor]: Taking taylor expansion of (* t z) in z
0.787 * [taylor]: Taking taylor expansion of t in z
0.787 * [taylor]: Taking taylor expansion of z in z
0.787 * [taylor]: Taking taylor expansion of x in z
0.787 * [taylor]: Taking taylor expansion of (/ (- y (* t z)) x) in y
0.787 * [taylor]: Taking taylor expansion of (- y (* t z)) in y
0.787 * [taylor]: Taking taylor expansion of y in y
0.787 * [taylor]: Taking taylor expansion of (* t z) in y
0.787 * [taylor]: Taking taylor expansion of t in y
0.787 * [taylor]: Taking taylor expansion of z in y
0.787 * [taylor]: Taking taylor expansion of x in y
0.787 * [taylor]: Taking taylor expansion of (/ (- y (* t z)) x) in y
0.787 * [taylor]: Taking taylor expansion of (- y (* t z)) in y
0.787 * [taylor]: Taking taylor expansion of y in y
0.787 * [taylor]: Taking taylor expansion of (* t z) in y
0.787 * [taylor]: Taking taylor expansion of t in y
0.787 * [taylor]: Taking taylor expansion of z in y
0.787 * [taylor]: Taking taylor expansion of x in y
0.787 * [taylor]: Taking taylor expansion of (* -1 (/ (* t z) x)) in z
0.787 * [taylor]: Taking taylor expansion of -1 in z
0.787 * [taylor]: Taking taylor expansion of (/ (* t z) x) in z
0.787 * [taylor]: Taking taylor expansion of (* t z) in z
0.787 * [taylor]: Taking taylor expansion of t in z
0.787 * [taylor]: Taking taylor expansion of z in z
0.787 * [taylor]: Taking taylor expansion of x in z
0.788 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.788 * [taylor]: Taking taylor expansion of x in z
0.788 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.788 * [taylor]: Taking taylor expansion of x in t
0.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.788 * [taylor]: Taking taylor expansion of x in x
0.788 * [taylor]: Taking taylor expansion of (* -1 (/ t x)) in t
0.788 * [taylor]: Taking taylor expansion of -1 in t
0.788 * [taylor]: Taking taylor expansion of (/ t x) in t
0.788 * [taylor]: Taking taylor expansion of t in t
0.788 * [taylor]: Taking taylor expansion of x in t
0.788 * [taylor]: Taking taylor expansion of 0 in z
0.788 * [taylor]: Taking taylor expansion of 0 in t
0.788 * [taylor]: Taking taylor expansion of 0 in x
0.788 * [taylor]: Taking taylor expansion of 0 in t
0.788 * [taylor]: Taking taylor expansion of 0 in x
0.788 * [taylor]: Taking taylor expansion of 0 in t
0.788 * [taylor]: Taking taylor expansion of 0 in x
0.788 * [taylor]: Taking taylor expansion of 0 in x
0.788 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.788 * [taylor]: Taking taylor expansion of -1 in x
0.788 * [taylor]: Taking taylor expansion of x in x
0.789 * [taylor]: Taking taylor expansion of 0 in z
0.789 * [taylor]: Taking taylor expansion of 0 in t
0.789 * [taylor]: Taking taylor expansion of 0 in x
0.789 * [taylor]: Taking taylor expansion of 0 in t
0.789 * [taylor]: Taking taylor expansion of 0 in x
0.789 * [taylor]: Taking taylor expansion of 0 in t
0.789 * [taylor]: Taking taylor expansion of 0 in x
0.789 * [taylor]: Taking taylor expansion of 0 in t
0.789 * [taylor]: Taking taylor expansion of 0 in x
0.789 * [taylor]: Taking taylor expansion of 0 in x
0.789 * [taylor]: Taking taylor expansion of 0 in x
0.789 * [taylor]: Taking taylor expansion of 0 in x
0.789 * [taylor]: Taking taylor expansion of 0 in x
0.789 * [taylor]: Taking taylor expansion of 0 in x
0.790 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in (y z t x) around 0
0.790 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in x
0.790 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in x
0.790 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.790 * [taylor]: Taking taylor expansion of y in x
0.790 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.790 * [taylor]: Taking taylor expansion of (* t z) in x
0.790 * [taylor]: Taking taylor expansion of t in x
0.790 * [taylor]: Taking taylor expansion of z in x
0.790 * [taylor]: Taking taylor expansion of x in x
0.790 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in t
0.790 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in t
0.790 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.790 * [taylor]: Taking taylor expansion of y in t
0.790 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.790 * [taylor]: Taking taylor expansion of (* t z) in t
0.790 * [taylor]: Taking taylor expansion of t in t
0.790 * [taylor]: Taking taylor expansion of z in t
0.790 * [taylor]: Taking taylor expansion of x in t
0.790 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in z
0.790 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in z
0.790 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.790 * [taylor]: Taking taylor expansion of y in z
0.790 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.790 * [taylor]: Taking taylor expansion of (* t z) in z
0.790 * [taylor]: Taking taylor expansion of t in z
0.790 * [taylor]: Taking taylor expansion of z in z
0.790 * [taylor]: Taking taylor expansion of x in z
0.790 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in y
0.790 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in y
0.790 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.790 * [taylor]: Taking taylor expansion of y in y
0.790 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.790 * [taylor]: Taking taylor expansion of (* t z) in y
0.790 * [taylor]: Taking taylor expansion of t in y
0.790 * [taylor]: Taking taylor expansion of z in y
0.790 * [taylor]: Taking taylor expansion of x in y
0.790 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in y
0.790 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in y
0.790 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.790 * [taylor]: Taking taylor expansion of y in y
0.791 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.791 * [taylor]: Taking taylor expansion of (* t z) in y
0.791 * [taylor]: Taking taylor expansion of t in y
0.791 * [taylor]: Taking taylor expansion of z in y
0.791 * [taylor]: Taking taylor expansion of x in y
0.791 * [taylor]: Taking taylor expansion of x in z
0.791 * [taylor]: Taking taylor expansion of (neg (/ x (* t z))) in z
0.791 * [taylor]: Taking taylor expansion of (/ x (* t z)) in z
0.791 * [taylor]: Taking taylor expansion of x in z
0.791 * [taylor]: Taking taylor expansion of (* t z) in z
0.791 * [taylor]: Taking taylor expansion of t in z
0.791 * [taylor]: Taking taylor expansion of z in z
0.791 * [taylor]: Taking taylor expansion of (neg (/ x t)) in t
0.791 * [taylor]: Taking taylor expansion of (/ x t) in t
0.791 * [taylor]: Taking taylor expansion of x in t
0.791 * [taylor]: Taking taylor expansion of t in t
0.791 * [taylor]: Taking taylor expansion of (neg x) in x
0.791 * [taylor]: Taking taylor expansion of x in x
0.791 * [taylor]: Taking taylor expansion of x in t
0.791 * [taylor]: Taking taylor expansion of 0 in z
0.791 * [taylor]: Taking taylor expansion of 0 in t
0.792 * [taylor]: Taking taylor expansion of 0 in t
0.792 * [taylor]: Taking taylor expansion of 0 in x
0.792 * [taylor]: Taking taylor expansion of x in x
0.792 * [taylor]: Taking taylor expansion of 0 in z
0.792 * [taylor]: Taking taylor expansion of 0 in t
0.792 * [taylor]: Taking taylor expansion of 0 in t
0.793 * [taylor]: Taking taylor expansion of 0 in t
0.793 * [taylor]: Taking taylor expansion of 0 in x
0.793 * [taylor]: Taking taylor expansion of 0 in x
0.793 * [taylor]: Taking taylor expansion of 0 in x
0.793 * [taylor]: Taking taylor expansion of 0 in x
0.793 * [taylor]: Taking taylor expansion of 0 in z
0.793 * [taylor]: Taking taylor expansion of 0 in t
0.793 * [taylor]: Taking taylor expansion of 0 in t
0.793 * [taylor]: Taking taylor expansion of 0 in t
0.793 * [taylor]: Taking taylor expansion of 0 in t
0.793 * [taylor]: Taking taylor expansion of 0 in x
0.793 * [taylor]: Taking taylor expansion of 0 in x
0.793 * [taylor]: Taking taylor expansion of 0 in x
0.793 * [taylor]: Taking taylor expansion of 0 in x
0.793 * [taylor]: Taking taylor expansion of 0 in x
0.794 * [approximate]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in (y z t x) around 0
0.794 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in x
0.794 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in x
0.794 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.794 * [taylor]: Taking taylor expansion of (* t z) in x
0.794 * [taylor]: Taking taylor expansion of t in x
0.794 * [taylor]: Taking taylor expansion of z in x
0.794 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.794 * [taylor]: Taking taylor expansion of y in x
0.794 * [taylor]: Taking taylor expansion of x in x
0.794 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in t
0.794 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in t
0.794 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.794 * [taylor]: Taking taylor expansion of (* t z) in t
0.794 * [taylor]: Taking taylor expansion of t in t
0.794 * [taylor]: Taking taylor expansion of z in t
0.794 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.794 * [taylor]: Taking taylor expansion of y in t
0.794 * [taylor]: Taking taylor expansion of x in t
0.794 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in z
0.794 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in z
0.794 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.794 * [taylor]: Taking taylor expansion of (* t z) in z
0.794 * [taylor]: Taking taylor expansion of t in z
0.794 * [taylor]: Taking taylor expansion of z in z
0.794 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.794 * [taylor]: Taking taylor expansion of y in z
0.794 * [taylor]: Taking taylor expansion of x in z
0.794 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in y
0.794 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in y
0.794 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.794 * [taylor]: Taking taylor expansion of (* t z) in y
0.794 * [taylor]: Taking taylor expansion of t in y
0.794 * [taylor]: Taking taylor expansion of z in y
0.795 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.795 * [taylor]: Taking taylor expansion of y in y
0.795 * [taylor]: Taking taylor expansion of x in y
0.795 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in y
0.795 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in y
0.795 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.795 * [taylor]: Taking taylor expansion of (* t z) in y
0.795 * [taylor]: Taking taylor expansion of t in y
0.795 * [taylor]: Taking taylor expansion of z in y
0.795 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.795 * [taylor]: Taking taylor expansion of y in y
0.795 * [taylor]: Taking taylor expansion of x in y
0.795 * [taylor]: Taking taylor expansion of x in z
0.795 * [taylor]: Taking taylor expansion of (/ x (* t z)) in z
0.795 * [taylor]: Taking taylor expansion of x in z
0.795 * [taylor]: Taking taylor expansion of (* t z) in z
0.795 * [taylor]: Taking taylor expansion of t in z
0.795 * [taylor]: Taking taylor expansion of z in z
0.795 * [taylor]: Taking taylor expansion of (/ x t) in t
0.795 * [taylor]: Taking taylor expansion of x in t
0.795 * [taylor]: Taking taylor expansion of t in t
0.795 * [taylor]: Taking taylor expansion of x in x
0.795 * [taylor]: Taking taylor expansion of x in t
0.795 * [taylor]: Taking taylor expansion of 0 in z
0.796 * [taylor]: Taking taylor expansion of 0 in t
0.796 * [taylor]: Taking taylor expansion of 0 in t
0.796 * [taylor]: Taking taylor expansion of 0 in x
0.796 * [taylor]: Taking taylor expansion of x in x
0.796 * [taylor]: Taking taylor expansion of 0 in z
0.796 * [taylor]: Taking taylor expansion of 0 in t
0.796 * [taylor]: Taking taylor expansion of 0 in t
0.796 * [taylor]: Taking taylor expansion of 0 in t
0.796 * [taylor]: Taking taylor expansion of 0 in x
0.796 * [taylor]: Taking taylor expansion of 0 in x
0.796 * [taylor]: Taking taylor expansion of 0 in x
0.796 * [taylor]: Taking taylor expansion of 0 in x
0.797 * [taylor]: Taking taylor expansion of 0 in z
0.797 * [taylor]: Taking taylor expansion of 0 in t
0.797 * [taylor]: Taking taylor expansion of 0 in t
0.797 * [taylor]: Taking taylor expansion of 0 in t
0.797 * [taylor]: Taking taylor expansion of 0 in t
0.797 * [taylor]: Taking taylor expansion of 0 in x
0.797 * [taylor]: Taking taylor expansion of 0 in x
0.797 * [taylor]: Taking taylor expansion of 0 in x
0.797 * [taylor]: Taking taylor expansion of 0 in x
0.797 * [taylor]: Taking taylor expansion of 0 in x
0.797 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.797 * [approximate]: Taking taylor expansion of (/ x (- y (* t z))) in (y z t x) around 0
0.797 * [taylor]: Taking taylor expansion of (/ x (- y (* t z))) in x
0.797 * [taylor]: Taking taylor expansion of x in x
0.797 * [taylor]: Taking taylor expansion of (- y (* t z)) in x
0.797 * [taylor]: Taking taylor expansion of y in x
0.797 * [taylor]: Taking taylor expansion of (* t z) in x
0.797 * [taylor]: Taking taylor expansion of t in x
0.797 * [taylor]: Taking taylor expansion of z in x
0.798 * [taylor]: Taking taylor expansion of (/ x (- y (* t z))) in t
0.798 * [taylor]: Taking taylor expansion of x in t
0.798 * [taylor]: Taking taylor expansion of (- y (* t z)) in t
0.798 * [taylor]: Taking taylor expansion of y in t
0.798 * [taylor]: Taking taylor expansion of (* t z) in t
0.798 * [taylor]: Taking taylor expansion of t in t
0.798 * [taylor]: Taking taylor expansion of z in t
0.798 * [taylor]: Taking taylor expansion of (/ x (- y (* t z))) in z
0.798 * [taylor]: Taking taylor expansion of x in z
0.798 * [taylor]: Taking taylor expansion of (- y (* t z)) in z
0.798 * [taylor]: Taking taylor expansion of y in z
0.798 * [taylor]: Taking taylor expansion of (* t z) in z
0.798 * [taylor]: Taking taylor expansion of t in z
0.798 * [taylor]: Taking taylor expansion of z in z
0.798 * [taylor]: Taking taylor expansion of (/ x (- y (* t z))) in y
0.798 * [taylor]: Taking taylor expansion of x in y
0.798 * [taylor]: Taking taylor expansion of (- y (* t z)) in y
0.798 * [taylor]: Taking taylor expansion of y in y
0.798 * [taylor]: Taking taylor expansion of (* t z) in y
0.798 * [taylor]: Taking taylor expansion of t in y
0.798 * [taylor]: Taking taylor expansion of z in y
0.798 * [taylor]: Taking taylor expansion of (/ x (- y (* t z))) in y
0.798 * [taylor]: Taking taylor expansion of x in y
0.798 * [taylor]: Taking taylor expansion of (- y (* t z)) in y
0.798 * [taylor]: Taking taylor expansion of y in y
0.798 * [taylor]: Taking taylor expansion of (* t z) in y
0.798 * [taylor]: Taking taylor expansion of t in y
0.798 * [taylor]: Taking taylor expansion of z in y
0.798 * [taylor]: Taking taylor expansion of (* -1 (/ x (* t z))) in z
0.798 * [taylor]: Taking taylor expansion of -1 in z
0.798 * [taylor]: Taking taylor expansion of (/ x (* t z)) in z
0.798 * [taylor]: Taking taylor expansion of x in z
0.798 * [taylor]: Taking taylor expansion of (* t z) in z
0.798 * [taylor]: Taking taylor expansion of t in z
0.798 * [taylor]: Taking taylor expansion of z in z
0.799 * [taylor]: Taking taylor expansion of 0 in t
0.799 * [taylor]: Taking taylor expansion of 0 in x
0.799 * [taylor]: Taking taylor expansion of (neg (/ x (* (pow t 2) (pow z 2)))) in z
0.799 * [taylor]: Taking taylor expansion of (/ x (* (pow t 2) (pow z 2))) in z
0.799 * [taylor]: Taking taylor expansion of x in z
0.799 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
0.799 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.799 * [taylor]: Taking taylor expansion of t in z
0.799 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.799 * [taylor]: Taking taylor expansion of z in z
0.800 * [taylor]: Taking taylor expansion of 0 in t
0.800 * [taylor]: Taking taylor expansion of 0 in x
0.800 * [taylor]: Taking taylor expansion of 0 in t
0.800 * [taylor]: Taking taylor expansion of 0 in x
0.800 * [taylor]: Taking taylor expansion of 0 in x
0.800 * [taylor]: Taking taylor expansion of (neg (/ x (* (pow t 3) (pow z 3)))) in z
0.800 * [taylor]: Taking taylor expansion of (/ x (* (pow t 3) (pow z 3))) in z
0.800 * [taylor]: Taking taylor expansion of x in z
0.800 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z
0.800 * [taylor]: Taking taylor expansion of (pow t 3) in z
0.800 * [taylor]: Taking taylor expansion of t in z
0.800 * [taylor]: Taking taylor expansion of (pow z 3) in z
0.800 * [taylor]: Taking taylor expansion of z in z
0.802 * [taylor]: Taking taylor expansion of 0 in t
0.802 * [taylor]: Taking taylor expansion of 0 in x
0.802 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 (* t z))) x)) in (y z t x) around 0
0.802 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 (* t z))) x)) in x
0.802 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in x
0.802 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in x
0.802 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.802 * [taylor]: Taking taylor expansion of y in x
0.802 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.802 * [taylor]: Taking taylor expansion of (* t z) in x
0.802 * [taylor]: Taking taylor expansion of t in x
0.802 * [taylor]: Taking taylor expansion of z in x
0.802 * [taylor]: Taking taylor expansion of x in x
0.802 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 (* t z))) x)) in t
0.803 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in t
0.803 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in t
0.803 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.803 * [taylor]: Taking taylor expansion of y in t
0.803 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.803 * [taylor]: Taking taylor expansion of (* t z) in t
0.803 * [taylor]: Taking taylor expansion of t in t
0.803 * [taylor]: Taking taylor expansion of z in t
0.803 * [taylor]: Taking taylor expansion of x in t
0.803 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 (* t z))) x)) in z
0.803 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in z
0.803 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in z
0.803 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.803 * [taylor]: Taking taylor expansion of y in z
0.803 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.803 * [taylor]: Taking taylor expansion of (* t z) in z
0.803 * [taylor]: Taking taylor expansion of t in z
0.803 * [taylor]: Taking taylor expansion of z in z
0.803 * [taylor]: Taking taylor expansion of x in z
0.803 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 (* t z))) x)) in y
0.803 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in y
0.803 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in y
0.803 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.803 * [taylor]: Taking taylor expansion of y in y
0.803 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.803 * [taylor]: Taking taylor expansion of (* t z) in y
0.803 * [taylor]: Taking taylor expansion of t in y
0.803 * [taylor]: Taking taylor expansion of z in y
0.803 * [taylor]: Taking taylor expansion of x in y
0.803 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 (* t z))) x)) in y
0.803 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 (* t z))) x) in y
0.803 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* t z))) in y
0.803 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.803 * [taylor]: Taking taylor expansion of y in y
0.803 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.803 * [taylor]: Taking taylor expansion of (* t z) in y
0.803 * [taylor]: Taking taylor expansion of t in y
0.803 * [taylor]: Taking taylor expansion of z in y
0.804 * [taylor]: Taking taylor expansion of x in y
0.804 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.804 * [taylor]: Taking taylor expansion of x in z
0.804 * [taylor]: Taking taylor expansion of 0 in t
0.804 * [taylor]: Taking taylor expansion of 0 in x
0.804 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x z))) in z
0.804 * [taylor]: Taking taylor expansion of (* t (* x z)) in z
0.804 * [taylor]: Taking taylor expansion of t in z
0.804 * [taylor]: Taking taylor expansion of (* x z) in z
0.804 * [taylor]: Taking taylor expansion of x in z
0.804 * [taylor]: Taking taylor expansion of z in z
0.804 * [taylor]: Taking taylor expansion of 0 in t
0.804 * [taylor]: Taking taylor expansion of 0 in x
0.805 * [taylor]: Taking taylor expansion of 0 in t
0.805 * [taylor]: Taking taylor expansion of 0 in x
0.805 * [taylor]: Taking taylor expansion of 0 in x
0.805 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (* x (pow z 2)))) in z
0.805 * [taylor]: Taking taylor expansion of (* (pow t 2) (* x (pow z 2))) in z
0.805 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.805 * [taylor]: Taking taylor expansion of t in z
0.805 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in z
0.805 * [taylor]: Taking taylor expansion of x in z
0.805 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.805 * [taylor]: Taking taylor expansion of z in z
0.806 * [taylor]: Taking taylor expansion of 0 in t
0.806 * [taylor]: Taking taylor expansion of 0 in x
0.806 * [taylor]: Taking taylor expansion of 0 in t
0.806 * [taylor]: Taking taylor expansion of 0 in x
0.807 * [taylor]: Taking taylor expansion of 0 in t
0.807 * [taylor]: Taking taylor expansion of 0 in x
0.807 * [taylor]: Taking taylor expansion of 0 in x
0.807 * [taylor]: Taking taylor expansion of 0 in x
0.807 * [taylor]: Taking taylor expansion of 0 in x
0.807 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (* x (pow z 3)))) in z
0.807 * [taylor]: Taking taylor expansion of (* (pow t 3) (* x (pow z 3))) in z
0.807 * [taylor]: Taking taylor expansion of (pow t 3) in z
0.807 * [taylor]: Taking taylor expansion of t in z
0.807 * [taylor]: Taking taylor expansion of (* x (pow z 3)) in z
0.807 * [taylor]: Taking taylor expansion of x in z
0.807 * [taylor]: Taking taylor expansion of (pow z 3) in z
0.807 * [taylor]: Taking taylor expansion of z in z
0.809 * [taylor]: Taking taylor expansion of 0 in t
0.809 * [taylor]: Taking taylor expansion of 0 in x
0.810 * [taylor]: Taking taylor expansion of 0 in t
0.810 * [taylor]: Taking taylor expansion of 0 in x
0.810 * [taylor]: Taking taylor expansion of 0 in t
0.810 * [taylor]: Taking taylor expansion of 0 in x
0.810 * [taylor]: Taking taylor expansion of 0 in t
0.810 * [taylor]: Taking taylor expansion of 0 in x
0.810 * [taylor]: Taking taylor expansion of 0 in x
0.811 * [taylor]: Taking taylor expansion of 0 in x
0.811 * [taylor]: Taking taylor expansion of 0 in x
0.811 * [taylor]: Taking taylor expansion of 0 in x
0.811 * [taylor]: Taking taylor expansion of 0 in x
0.811 * [taylor]: Taking taylor expansion of 0 in x
0.811 * [approximate]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* t z)) (/ 1 y)) x)) in (y z t x) around 0
0.811 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* t z)) (/ 1 y)) x)) in x
0.811 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in x
0.811 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in x
0.811 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.811 * [taylor]: Taking taylor expansion of (* t z) in x
0.811 * [taylor]: Taking taylor expansion of t in x
0.811 * [taylor]: Taking taylor expansion of z in x
0.811 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.811 * [taylor]: Taking taylor expansion of y in x
0.811 * [taylor]: Taking taylor expansion of x in x
0.811 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* t z)) (/ 1 y)) x)) in t
0.811 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in t
0.811 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in t
0.811 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.811 * [taylor]: Taking taylor expansion of (* t z) in t
0.811 * [taylor]: Taking taylor expansion of t in t
0.811 * [taylor]: Taking taylor expansion of z in t
0.811 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.812 * [taylor]: Taking taylor expansion of y in t
0.812 * [taylor]: Taking taylor expansion of x in t
0.812 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* t z)) (/ 1 y)) x)) in z
0.812 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in z
0.812 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in z
0.812 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.812 * [taylor]: Taking taylor expansion of (* t z) in z
0.812 * [taylor]: Taking taylor expansion of t in z
0.812 * [taylor]: Taking taylor expansion of z in z
0.812 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.812 * [taylor]: Taking taylor expansion of y in z
0.812 * [taylor]: Taking taylor expansion of x in z
0.812 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* t z)) (/ 1 y)) x)) in y
0.812 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in y
0.812 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in y
0.812 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.812 * [taylor]: Taking taylor expansion of (* t z) in y
0.812 * [taylor]: Taking taylor expansion of t in y
0.812 * [taylor]: Taking taylor expansion of z in y
0.812 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.812 * [taylor]: Taking taylor expansion of y in y
0.812 * [taylor]: Taking taylor expansion of x in y
0.812 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* t z)) (/ 1 y)) x)) in y
0.812 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* t z)) (/ 1 y)) x) in y
0.812 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 y)) in y
0.812 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.812 * [taylor]: Taking taylor expansion of (* t z) in y
0.812 * [taylor]: Taking taylor expansion of t in y
0.812 * [taylor]: Taking taylor expansion of z in y
0.812 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.812 * [taylor]: Taking taylor expansion of y in y
0.812 * [taylor]: Taking taylor expansion of x in y
0.812 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.812 * [taylor]: Taking taylor expansion of x in z
0.813 * [taylor]: Taking taylor expansion of 0 in t
0.813 * [taylor]: Taking taylor expansion of 0 in x
0.813 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t (* x z)))) in z
0.813 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x z))) in z
0.813 * [taylor]: Taking taylor expansion of (* t (* x z)) in z
0.813 * [taylor]: Taking taylor expansion of t in z
0.813 * [taylor]: Taking taylor expansion of (* x z) in z
0.813 * [taylor]: Taking taylor expansion of x in z
0.813 * [taylor]: Taking taylor expansion of z in z
0.813 * [taylor]: Taking taylor expansion of 0 in t
0.813 * [taylor]: Taking taylor expansion of 0 in x
0.813 * [taylor]: Taking taylor expansion of 0 in t
0.813 * [taylor]: Taking taylor expansion of 0 in x
0.813 * [taylor]: Taking taylor expansion of 0 in x
0.814 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (* x (pow z 2)))) in z
0.814 * [taylor]: Taking taylor expansion of (* (pow t 2) (* x (pow z 2))) in z
0.814 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.814 * [taylor]: Taking taylor expansion of t in z
0.814 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in z
0.814 * [taylor]: Taking taylor expansion of x in z
0.814 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.814 * [taylor]: Taking taylor expansion of z in z
0.815 * [taylor]: Taking taylor expansion of 0 in t
0.815 * [taylor]: Taking taylor expansion of 0 in x
0.815 * [taylor]: Taking taylor expansion of 0 in t
0.815 * [taylor]: Taking taylor expansion of 0 in x
0.815 * [taylor]: Taking taylor expansion of 0 in t
0.815 * [taylor]: Taking taylor expansion of 0 in x
0.815 * [taylor]: Taking taylor expansion of 0 in x
0.815 * [taylor]: Taking taylor expansion of 0 in x
0.815 * [taylor]: Taking taylor expansion of 0 in x
0.818 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow t 3) (* x (pow z 3))))) in z
0.818 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (* x (pow z 3)))) in z
0.818 * [taylor]: Taking taylor expansion of (* (pow t 3) (* x (pow z 3))) in z
0.818 * [taylor]: Taking taylor expansion of (pow t 3) in z
0.818 * [taylor]: Taking taylor expansion of t in z
0.818 * [taylor]: Taking taylor expansion of (* x (pow z 3)) in z
0.818 * [taylor]: Taking taylor expansion of x in z
0.818 * [taylor]: Taking taylor expansion of (pow z 3) in z
0.818 * [taylor]: Taking taylor expansion of z in z
0.821 * [taylor]: Taking taylor expansion of 0 in t
0.821 * [taylor]: Taking taylor expansion of 0 in x
0.821 * [taylor]: Taking taylor expansion of 0 in t
0.821 * [taylor]: Taking taylor expansion of 0 in x
0.821 * [taylor]: Taking taylor expansion of 0 in t
0.821 * [taylor]: Taking taylor expansion of 0 in x
0.822 * [taylor]: Taking taylor expansion of 0 in t
0.822 * [taylor]: Taking taylor expansion of 0 in x
0.822 * [taylor]: Taking taylor expansion of 0 in x
0.822 * [taylor]: Taking taylor expansion of 0 in x
0.822 * [taylor]: Taking taylor expansion of 0 in x
0.822 * [taylor]: Taking taylor expansion of 0 in x
0.822 * [taylor]: Taking taylor expansion of 0 in x
0.822 * [taylor]: Taking taylor expansion of 0 in x
0.822 * * * [progress]: simplifying candidates
0.823 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (- y (* z t))) (log x))
  (log (/ (- y (* z t)) x))
  (exp (/ (- y (* z t)) x))
  (/ (* (* (- y (* z t)) (- y (* z t))) (- y (* z t))) (* (* x x) x))
  (* (cbrt (/ (- y (* z t)) x)) (cbrt (/ (- y (* z t)) x)))
  (cbrt (/ (- y (* z t)) x))
  (* (* (/ (- y (* z t)) x) (/ (- y (* z t)) x)) (/ (- y (* z t)) x))
  (sqrt (/ (- y (* z t)) x))
  (sqrt (/ (- y (* z t)) x))
  (neg (- y (* z t)))
  (neg x)
  (/ y x)
  (/ (* z t) x)
  (/ (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (- y (* z t))) (cbrt x))
  (/ (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))) (sqrt x))
  (/ (cbrt (- y (* z t))) (sqrt x))
  (/ (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))) 1)
  (/ (cbrt (- y (* z t))) x)
  (/ (sqrt (- y (* z t))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- y (* z t))) (cbrt x))
  (/ (sqrt (- y (* z t))) (sqrt x))
  (/ (sqrt (- y (* z t))) (sqrt x))
  (/ (sqrt (- y (* z t))) 1)
  (/ (sqrt (- y (* z t))) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (- y (* z t)) (cbrt x))
  (/ 1 (sqrt x))
  (/ (- y (* z t)) (sqrt x))
  (/ 1 1)
  (/ (- y (* z t)) x)
  (/ 1 x)
  (/ x (- y (* z t)))
  (/ (- y (* z t)) (* (cbrt x) (cbrt x)))
  (/ (- y (* z t)) (sqrt x))
  (/ (- y (* z t)) 1)
  (/ x (cbrt (- y (* z t))))
  (/ x (sqrt (- y (* z t))))
  (/ x (- y (* z t)))
  (* x (+ (* y y) (+ (* (* z t) (* z t)) (* y (* z t)))))
  (* x (+ y (* z t)))
  (neg 1)
  (neg (- (log (- y (* z t))) (log x)))
  (neg (log (/ (- y (* z t)) x)))
  (- 0 (- (log (- y (* z t))) (log x)))
  (- 0 (log (/ (- y (* z t)) x)))
  (- (log 1) (- (log (- y (* z t))) (log x)))
  (- (log 1) (log (/ (- y (* z t)) x)))
  (log (/ 1 (/ (- y (* z t)) x)))
  (exp (/ 1 (/ (- y (* z t)) x)))
  (/ (* (* 1 1) 1) (/ (* (* (- y (* z t)) (- y (* z t))) (- y (* z t))) (* (* x x) x)))
  (/ (* (* 1 1) 1) (* (* (/ (- y (* z t)) x) (/ (- y (* z t)) x)) (/ (- y (* z t)) x)))
  (* (cbrt (/ 1 (/ (- y (* z t)) x))) (cbrt (/ 1 (/ (- y (* z t)) x))))
  (cbrt (/ 1 (/ (- y (* z t)) x)))
  (* (* (/ 1 (/ (- y (* z t)) x)) (/ 1 (/ (- y (* z t)) x))) (/ 1 (/ (- y (* z t)) x)))
  (sqrt (/ 1 (/ (- y (* z t)) x)))
  (sqrt (/ 1 (/ (- y (* z t)) x)))
  (neg 1)
  (neg (/ (- y (* z t)) x))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (- y (* z t)) x)) (cbrt (/ (- y (* z t)) x))))
  (/ (cbrt 1) (cbrt (/ (- y (* z t)) x)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (- y (* z t)) x)))
  (/ (cbrt 1) (sqrt (/ (- y (* z t)) x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))) (* (cbrt x) (cbrt x))))
  (/ (cbrt 1) (/ (cbrt (- y (* z t))) (cbrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))) (sqrt x)))
  (/ (cbrt 1) (/ (cbrt (- y (* z t))) (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))) 1))
  (/ (cbrt 1) (/ (cbrt (- y (* z t))) x))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- y (* z t))) (* (cbrt x) (cbrt x))))
  (/ (cbrt 1) (/ (sqrt (- y (* z t))) (cbrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- y (* z t))) (sqrt x)))
  (/ (cbrt 1) (/ (sqrt (- y (* z t))) (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- y (* z t))) 1))
  (/ (cbrt 1) (/ (sqrt (- y (* z t))) x))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt x) (cbrt x))))
  (/ (cbrt 1) (/ (- y (* z t)) (cbrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt x)))
  (/ (cbrt 1) (/ (- y (* z t)) (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (- y (* z t)) x))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ (- y (* z t)) x))
  (/ (* (cbrt 1) (cbrt 1)) (- y (* z t)))
  (/ (cbrt 1) (/ 1 x))
  (/ (sqrt 1) (* (cbrt (/ (- y (* z t)) x)) (cbrt (/ (- y (* z t)) x))))
  (/ (sqrt 1) (cbrt (/ (- y (* z t)) x)))
  (/ (sqrt 1) (sqrt (/ (- y (* z t)) x)))
  (/ (sqrt 1) (sqrt (/ (- y (* z t)) x)))
  (/ (sqrt 1) (/ (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))) (* (cbrt x) (cbrt x))))
  (/ (sqrt 1) (/ (cbrt (- y (* z t))) (cbrt x)))
  (/ (sqrt 1) (/ (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))) (sqrt x)))
  (/ (sqrt 1) (/ (cbrt (- y (* z t))) (sqrt x)))
  (/ (sqrt 1) (/ (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))) 1))
  (/ (sqrt 1) (/ (cbrt (- y (* z t))) x))
  (/ (sqrt 1) (/ (sqrt (- y (* z t))) (* (cbrt x) (cbrt x))))
  (/ (sqrt 1) (/ (sqrt (- y (* z t))) (cbrt x)))
  (/ (sqrt 1) (/ (sqrt (- y (* z t))) (sqrt x)))
  (/ (sqrt 1) (/ (sqrt (- y (* z t))) (sqrt x)))
  (/ (sqrt 1) (/ (sqrt (- y (* z t))) 1))
  (/ (sqrt 1) (/ (sqrt (- y (* z t))) x))
  (/ (sqrt 1) (/ 1 (* (cbrt x) (cbrt x))))
  (/ (sqrt 1) (/ (- y (* z t)) (cbrt x)))
  (/ (sqrt 1) (/ 1 (sqrt x)))
  (/ (sqrt 1) (/ (- y (* z t)) (sqrt x)))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (- y (* z t)) x))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ (- y (* z t)) x))
  (/ (sqrt 1) (- y (* z t)))
  (/ (sqrt 1) (/ 1 x))
  (/ 1 (* (cbrt (/ (- y (* z t)) x)) (cbrt (/ (- y (* z t)) x))))
  (/ 1 (cbrt (/ (- y (* z t)) x)))
  (/ 1 (sqrt (/ (- y (* z t)) x)))
  (/ 1 (sqrt (/ (- y (* z t)) x)))
  (/ 1 (/ (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (cbrt (- y (* z t))) (cbrt x)))
  (/ 1 (/ (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))) (sqrt x)))
  (/ 1 (/ (cbrt (- y (* z t))) (sqrt x)))
  (/ 1 (/ (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))) 1))
  (/ 1 (/ (cbrt (- y (* z t))) x))
  (/ 1 (/ (sqrt (- y (* z t))) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (sqrt (- y (* z t))) (cbrt x)))
  (/ 1 (/ (sqrt (- y (* z t))) (sqrt x)))
  (/ 1 (/ (sqrt (- y (* z t))) (sqrt x)))
  (/ 1 (/ (sqrt (- y (* z t))) 1))
  (/ 1 (/ (sqrt (- y (* z t))) x))
  (/ 1 (/ 1 (* (cbrt x) (cbrt x))))
  (/ 1 (/ (- y (* z t)) (cbrt x)))
  (/ 1 (/ 1 (sqrt x)))
  (/ 1 (/ (- y (* z t)) (sqrt x)))
  (/ 1 (/ 1 1))
  (/ 1 (/ (- y (* z t)) x))
  (/ 1 1)
  (/ 1 (/ (- y (* z t)) x))
  (/ 1 (- y (* z t)))
  (/ 1 (/ 1 x))
  (/ 1 (/ (- y (* z t)) x))
  (/ (/ (- y (* z t)) x) 1)
  (/ 1 (* (cbrt (/ (- y (* z t)) x)) (cbrt (/ (- y (* z t)) x))))
  (/ 1 (sqrt (/ (- y (* z t)) x)))
  (/ 1 (/ (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))) (sqrt x)))
  (/ 1 (/ (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))) 1))
  (/ 1 (/ (sqrt (- y (* z t))) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (sqrt (- y (* z t))) (sqrt x)))
  (/ 1 (/ (sqrt (- y (* z t))) 1))
  (/ 1 (/ 1 (* (cbrt x) (cbrt x))))
  (/ 1 (/ 1 (sqrt x)))
  (/ 1 (/ 1 1))
  (/ 1 1)
  (/ 1 (- y (* z t)))
  (/ (/ (- y (* z t)) x) (cbrt 1))
  (/ (/ (- y (* z t)) x) (sqrt 1))
  (/ (/ (- y (* z t)) x) 1)
  (/ 1 (- y (* z t)))
  (- (/ y x) (/ (* t z) x))
  (- (/ y x) (/ (* t z) x))
  (- (/ y x) (/ (* t z) x))
  0
  0
  0
0.873 * * [simplify]: iteration  0 :  5963  enodes  (cost  1453 )
0.879 * [simplify]: Simplified to:
   (log (/ (- y (* z t)) x))
  (log (/ (- y (* z t)) x))
  (exp (/ (- y (* z t)) x))
  (pow (/ (- y (* z t)) x) 3)
  (* (cbrt (/ (- y (* z t)) x)) (cbrt (/ (- y (* z t)) x)))
  (cbrt (/ (- y (* z t)) x))
  (pow (/ (- y (* z t)) x) 3)
  (sqrt (/ (- y (* z t)) x))
  (sqrt (/ (- y (* z t)) x))
  (- (* z t) y)
  (neg x)
  (/ y x)
  (* z (/ t x))
  (* (cbrt (- y (* z t))) (/ (cbrt (- y (* z t))) (* (cbrt x) (cbrt x))))
  (/ (cbrt (- y (* z t))) (cbrt x))
  (* (cbrt (- y (* z t))) (/ (cbrt (- y (* z t))) (sqrt x)))
  (/ (cbrt (- y (* z t))) (sqrt x))
  (* (cbrt (- y (* z t))) (cbrt (- y (* z t))))
  (/ (cbrt (- y (* z t))) x)
  (/ (sqrt (- y (* z t))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- y (* z t))) (cbrt x))
  (/ (sqrt (- y (* z t))) (sqrt x))
  (/ (sqrt (- y (* z t))) (sqrt x))
  (sqrt (- y (* z t)))
  (/ (sqrt (- y (* z t))) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (- y (* z t)) (cbrt x))
  (/ 1 (sqrt x))
  (/ (- y (* z t)) (sqrt x))
  1
  (/ (- y (* z t)) x)
  (/ 1 x)
  (/ x (- y (* z t)))
  (/ (- y (* z t)) (* (cbrt x) (cbrt x)))
  (/ (- y (* z t)) (sqrt x))
  (- y (* z t))
  (/ x (cbrt (- y (* z t))))
  (/ x (sqrt (- y (* z t))))
  (/ x (- y (* z t)))
  (* x (+ (* y y) (* z (* t (+ y (* z t))))))
  (* x (+ y (* z t)))
  -1
  (log (/ x (- y (* z t))))
  (log (/ x (- y (* z t))))
  (log (/ x (- y (* z t))))
  (log (/ x (- y (* z t))))
  (log (/ x (- y (* z t))))
  (log (/ x (- y (* z t))))
  (log (/ x (- y (* z t))))
  (exp (/ x (- y (* z t))))
  (pow (/ x (- y (* z t))) 3)
  (pow (/ x (- y (* z t))) 3)
  (* (cbrt (/ x (- y (* z t)))) (cbrt (/ x (- y (* z t)))))
  (cbrt (/ x (- y (* z t))))
  (pow (/ x (- y (* z t))) 3)
  (sqrt (/ x (- y (* z t))))
  (sqrt (/ x (- y (* z t))))
  -1
  (/ (- (* z t) y) x)
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt (/ (- y (* z t)) x)) (cbrt (/ (- y (* z t)) x)))))
  (/ (cbrt 1) (cbrt (/ (- y (* z t)) x)))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (/ (- y (* z t)) x))))
  (/ (cbrt 1) (sqrt (/ (- y (* z t)) x)))
  (* (cbrt x) (* (cbrt x) (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- y (* z t))) (cbrt (- y (* z t))))))))
  (* (cbrt x) (/ (cbrt 1) (cbrt (- y (* z t)))))
  (* (sqrt x) (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))))
  (* (sqrt x) (/ (cbrt 1) (cbrt (- y (* z t)))))
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- y (* z t))) (cbrt (- y (* z t))))))
  (* x (/ (cbrt 1) (cbrt (- y (* z t)))))
  (* (cbrt x) (* (cbrt x) (* (cbrt 1) (/ (cbrt 1) (sqrt (- y (* z t)))))))
  (* (cbrt x) (/ (cbrt 1) (sqrt (- y (* z t)))))
  (* (sqrt x) (* (cbrt 1) (/ (cbrt 1) (sqrt (- y (* z t))))))
  (* (sqrt x) (/ (cbrt 1) (sqrt (- y (* z t)))))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (- y (* z t)))))
  (* x (/ (cbrt 1) (sqrt (- y (* z t)))))
  (* (cbrt x) (* (cbrt x) (* (cbrt 1) (cbrt 1))))
  (* (cbrt x) (/ (cbrt 1) (- y (* z t))))
  (* (sqrt x) (* (cbrt 1) (cbrt 1)))
  (* (sqrt x) (/ (cbrt 1) (- y (* z t))))
  (* (cbrt 1) (cbrt 1))
  (* x (/ (cbrt 1) (- y (* z t))))
  (* (cbrt 1) (cbrt 1))
  (* x (/ (cbrt 1) (- y (* z t))))
  (* (cbrt 1) (/ (cbrt 1) (- y (* z t))))
  (* x (cbrt 1))
  (/ 1 (* (cbrt (/ (- y (* z t)) x)) (cbrt (/ (- y (* z t)) x))))
  (/ 1 (cbrt (/ (- y (* z t)) x)))
  (/ 1 (sqrt (/ (- y (* z t)) x)))
  (/ 1 (sqrt (/ (- y (* z t)) x)))
  (* (cbrt x) (/ (cbrt x) (* (cbrt (- y (* z t))) (cbrt (- y (* z t))))))
  (/ (cbrt x) (cbrt (- y (* z t))))
  (/ (sqrt x) (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ (sqrt x) (cbrt (- y (* z t))))
  (/ 1 (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ x (cbrt (- y (* z t))))
  (* (cbrt x) (/ (cbrt x) (sqrt (- y (* z t)))))
  (/ (cbrt x) (sqrt (- y (* z t))))
  (/ (sqrt x) (sqrt (- y (* z t))))
  (/ (sqrt x) (sqrt (- y (* z t))))
  (/ 1 (sqrt (- y (* z t))))
  (/ x (sqrt (- y (* z t))))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (- y (* z t)))
  (sqrt x)
  (/ (sqrt x) (- y (* z t)))
  1
  (/ x (- y (* z t)))
  1
  (/ x (- y (* z t)))
  (/ 1 (- y (* z t)))
  x
  (/ 1 (* (cbrt (/ (- y (* z t)) x)) (cbrt (/ (- y (* z t)) x))))
  (/ 1 (cbrt (/ (- y (* z t)) x)))
  (/ 1 (sqrt (/ (- y (* z t)) x)))
  (/ 1 (sqrt (/ (- y (* z t)) x)))
  (* (cbrt x) (/ (cbrt x) (* (cbrt (- y (* z t))) (cbrt (- y (* z t))))))
  (/ (cbrt x) (cbrt (- y (* z t))))
  (/ (sqrt x) (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ (sqrt x) (cbrt (- y (* z t))))
  (/ 1 (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ x (cbrt (- y (* z t))))
  (* (cbrt x) (/ (cbrt x) (sqrt (- y (* z t)))))
  (/ (cbrt x) (sqrt (- y (* z t))))
  (/ (sqrt x) (sqrt (- y (* z t))))
  (/ (sqrt x) (sqrt (- y (* z t))))
  (/ 1 (sqrt (- y (* z t))))
  (/ x (sqrt (- y (* z t))))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (- y (* z t)))
  (sqrt x)
  (/ (sqrt x) (- y (* z t)))
  1
  (/ x (- y (* z t)))
  1
  (/ x (- y (* z t)))
  (/ 1 (- y (* z t)))
  x
  (/ x (- y (* z t)))
  (/ (- y (* z t)) x)
  (/ 1 (* (cbrt (/ (- y (* z t)) x)) (cbrt (/ (- y (* z t)) x))))
  (/ 1 (sqrt (/ (- y (* z t)) x)))
  (* (cbrt x) (/ (cbrt x) (* (cbrt (- y (* z t))) (cbrt (- y (* z t))))))
  (/ (sqrt x) (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (/ 1 (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
  (* (cbrt x) (/ (cbrt x) (sqrt (- y (* z t)))))
  (/ (sqrt x) (sqrt (- y (* z t))))
  (/ 1 (sqrt (- y (* z t))))
  (* (cbrt x) (cbrt x))
  (sqrt x)
  1
  1
  (/ 1 (- y (* z t)))
  (/ (- y (* z t)) (* x (cbrt 1)))
  (/ (- y (* z t)) x)
  (/ (- y (* z t)) x)
  (/ 1 (- y (* z t)))
  (/ (- y (* z t)) x)
  (/ (- y (* z t)) x)
  (/ (- y (* z t)) x)
  0
  0
  0
0.879 * * * [progress]: adding candidates to table
0.962 * * [progress]: iteration 4 / 4
0.962 * * * [progress]: picking best candidate
0.972 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ 1 (- (/ y x) (* z (/ t x)))))>
0.972 * * * [progress]: localizing error
0.980 * * * [progress]: generating rewritten candidates
0.980 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
0.986 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.993 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1.004 * * * [progress]: generating series expansions
1.004 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
1.004 * [approximate]: Taking taylor expansion of (/ (* t z) x) in (z t x) around 0
1.004 * [taylor]: Taking taylor expansion of (/ (* t z) x) in x
1.004 * [taylor]: Taking taylor expansion of (* t z) in x
1.005 * [taylor]: Taking taylor expansion of t in x
1.005 * [taylor]: Taking taylor expansion of z in x
1.005 * [taylor]: Taking taylor expansion of x in x
1.005 * [taylor]: Taking taylor expansion of (/ (* t z) x) in t
1.005 * [taylor]: Taking taylor expansion of (* t z) in t
1.005 * [taylor]: Taking taylor expansion of t in t
1.005 * [taylor]: Taking taylor expansion of z in t
1.005 * [taylor]: Taking taylor expansion of x in t
1.005 * [taylor]: Taking taylor expansion of (/ (* t z) x) in z
1.005 * [taylor]: Taking taylor expansion of (* t z) in z
1.005 * [taylor]: Taking taylor expansion of t in z
1.005 * [taylor]: Taking taylor expansion of z in z
1.005 * [taylor]: Taking taylor expansion of x in z
1.005 * [taylor]: Taking taylor expansion of (/ (* t z) x) in z
1.005 * [taylor]: Taking taylor expansion of (* t z) in z
1.005 * [taylor]: Taking taylor expansion of t in z
1.005 * [taylor]: Taking taylor expansion of z in z
1.005 * [taylor]: Taking taylor expansion of x in z
1.005 * [taylor]: Taking taylor expansion of (/ t x) in t
1.005 * [taylor]: Taking taylor expansion of t in t
1.005 * [taylor]: Taking taylor expansion of x in t
1.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.005 * [taylor]: Taking taylor expansion of x in x
1.005 * [taylor]: Taking taylor expansion of 0 in t
1.005 * [taylor]: Taking taylor expansion of 0 in x
1.005 * [taylor]: Taking taylor expansion of 0 in x
1.005 * [taylor]: Taking taylor expansion of 0 in t
1.006 * [taylor]: Taking taylor expansion of 0 in x
1.006 * [taylor]: Taking taylor expansion of 0 in x
1.006 * [taylor]: Taking taylor expansion of 0 in x
1.006 * [taylor]: Taking taylor expansion of 0 in t
1.006 * [taylor]: Taking taylor expansion of 0 in x
1.006 * [taylor]: Taking taylor expansion of 0 in x
1.006 * [taylor]: Taking taylor expansion of 0 in x
1.006 * [taylor]: Taking taylor expansion of 0 in x
1.006 * [approximate]: Taking taylor expansion of (/ x (* t z)) in (z t x) around 0
1.006 * [taylor]: Taking taylor expansion of (/ x (* t z)) in x
1.006 * [taylor]: Taking taylor expansion of x in x
1.006 * [taylor]: Taking taylor expansion of (* t z) in x
1.006 * [taylor]: Taking taylor expansion of t in x
1.006 * [taylor]: Taking taylor expansion of z in x
1.006 * [taylor]: Taking taylor expansion of (/ x (* t z)) in t
1.006 * [taylor]: Taking taylor expansion of x in t
1.006 * [taylor]: Taking taylor expansion of (* t z) in t
1.006 * [taylor]: Taking taylor expansion of t in t
1.006 * [taylor]: Taking taylor expansion of z in t
1.006 * [taylor]: Taking taylor expansion of (/ x (* t z)) in z
1.006 * [taylor]: Taking taylor expansion of x in z
1.006 * [taylor]: Taking taylor expansion of (* t z) in z
1.006 * [taylor]: Taking taylor expansion of t in z
1.006 * [taylor]: Taking taylor expansion of z in z
1.006 * [taylor]: Taking taylor expansion of (/ x (* t z)) in z
1.007 * [taylor]: Taking taylor expansion of x in z
1.007 * [taylor]: Taking taylor expansion of (* t z) in z
1.007 * [taylor]: Taking taylor expansion of t in z
1.007 * [taylor]: Taking taylor expansion of z in z
1.007 * [taylor]: Taking taylor expansion of (/ x t) in t
1.007 * [taylor]: Taking taylor expansion of x in t
1.007 * [taylor]: Taking taylor expansion of t in t
1.007 * [taylor]: Taking taylor expansion of x in x
1.007 * [taylor]: Taking taylor expansion of 0 in t
1.007 * [taylor]: Taking taylor expansion of 0 in x
1.007 * [taylor]: Taking taylor expansion of 0 in t
1.007 * [taylor]: Taking taylor expansion of 0 in x
1.007 * [taylor]: Taking taylor expansion of 0 in x
1.007 * [approximate]: Taking taylor expansion of (* -1 (/ x (* t z))) in (z t x) around 0
1.007 * [taylor]: Taking taylor expansion of (* -1 (/ x (* t z))) in x
1.007 * [taylor]: Taking taylor expansion of -1 in x
1.007 * [taylor]: Taking taylor expansion of (/ x (* t z)) in x
1.007 * [taylor]: Taking taylor expansion of x in x
1.007 * [taylor]: Taking taylor expansion of (* t z) in x
1.007 * [taylor]: Taking taylor expansion of t in x
1.007 * [taylor]: Taking taylor expansion of z in x
1.008 * [taylor]: Taking taylor expansion of (* -1 (/ x (* t z))) in t
1.008 * [taylor]: Taking taylor expansion of -1 in t
1.008 * [taylor]: Taking taylor expansion of (/ x (* t z)) in t
1.008 * [taylor]: Taking taylor expansion of x in t
1.008 * [taylor]: Taking taylor expansion of (* t z) in t
1.008 * [taylor]: Taking taylor expansion of t in t
1.008 * [taylor]: Taking taylor expansion of z in t
1.008 * [taylor]: Taking taylor expansion of (* -1 (/ x (* t z))) in z
1.008 * [taylor]: Taking taylor expansion of -1 in z
1.008 * [taylor]: Taking taylor expansion of (/ x (* t z)) in z
1.008 * [taylor]: Taking taylor expansion of x in z
1.008 * [taylor]: Taking taylor expansion of (* t z) in z
1.008 * [taylor]: Taking taylor expansion of t in z
1.008 * [taylor]: Taking taylor expansion of z in z
1.008 * [taylor]: Taking taylor expansion of (* -1 (/ x (* t z))) in z
1.008 * [taylor]: Taking taylor expansion of -1 in z
1.008 * [taylor]: Taking taylor expansion of (/ x (* t z)) in z
1.008 * [taylor]: Taking taylor expansion of x in z
1.008 * [taylor]: Taking taylor expansion of (* t z) in z
1.008 * [taylor]: Taking taylor expansion of t in z
1.008 * [taylor]: Taking taylor expansion of z in z
1.008 * [taylor]: Taking taylor expansion of (* -1 (/ x t)) in t
1.008 * [taylor]: Taking taylor expansion of -1 in t
1.008 * [taylor]: Taking taylor expansion of (/ x t) in t
1.008 * [taylor]: Taking taylor expansion of x in t
1.008 * [taylor]: Taking taylor expansion of t in t
1.008 * [taylor]: Taking taylor expansion of (* -1 x) in x
1.008 * [taylor]: Taking taylor expansion of -1 in x
1.008 * [taylor]: Taking taylor expansion of x in x
1.008 * [taylor]: Taking taylor expansion of 0 in t
1.008 * [taylor]: Taking taylor expansion of 0 in x
1.009 * [taylor]: Taking taylor expansion of 0 in t
1.009 * [taylor]: Taking taylor expansion of 0 in x
1.009 * [taylor]: Taking taylor expansion of 0 in x
1.009 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
1.009 * [approximate]: Taking taylor expansion of (- (/ y x) (/ (* t z) x)) in (y x z t) around 0
1.009 * [taylor]: Taking taylor expansion of (- (/ y x) (/ (* t z) x)) in t
1.009 * [taylor]: Taking taylor expansion of (/ y x) in t
1.009 * [taylor]: Taking taylor expansion of y in t
1.009 * [taylor]: Taking taylor expansion of x in t
1.009 * [taylor]: Taking taylor expansion of (/ (* t z) x) in t
1.009 * [taylor]: Taking taylor expansion of (* t z) in t
1.009 * [taylor]: Taking taylor expansion of t in t
1.009 * [taylor]: Taking taylor expansion of z in t
1.009 * [taylor]: Taking taylor expansion of x in t
1.009 * [taylor]: Taking taylor expansion of (- (/ y x) (/ (* t z) x)) in z
1.009 * [taylor]: Taking taylor expansion of (/ y x) in z
1.009 * [taylor]: Taking taylor expansion of y in z
1.009 * [taylor]: Taking taylor expansion of x in z
1.009 * [taylor]: Taking taylor expansion of (/ (* t z) x) in z
1.009 * [taylor]: Taking taylor expansion of (* t z) in z
1.009 * [taylor]: Taking taylor expansion of t in z
1.009 * [taylor]: Taking taylor expansion of z in z
1.009 * [taylor]: Taking taylor expansion of x in z
1.009 * [taylor]: Taking taylor expansion of (- (/ y x) (/ (* t z) x)) in x
1.009 * [taylor]: Taking taylor expansion of (/ y x) in x
1.009 * [taylor]: Taking taylor expansion of y in x
1.009 * [taylor]: Taking taylor expansion of x in x
1.009 * [taylor]: Taking taylor expansion of (/ (* t z) x) in x
1.010 * [taylor]: Taking taylor expansion of (* t z) in x
1.010 * [taylor]: Taking taylor expansion of t in x
1.010 * [taylor]: Taking taylor expansion of z in x
1.010 * [taylor]: Taking taylor expansion of x in x
1.010 * [taylor]: Taking taylor expansion of (- (/ y x) (/ (* t z) x)) in y
1.010 * [taylor]: Taking taylor expansion of (/ y x) in y
1.010 * [taylor]: Taking taylor expansion of y in y
1.010 * [taylor]: Taking taylor expansion of x in y
1.010 * [taylor]: Taking taylor expansion of (/ (* t z) x) in y
1.010 * [taylor]: Taking taylor expansion of (* t z) in y
1.010 * [taylor]: Taking taylor expansion of t in y
1.010 * [taylor]: Taking taylor expansion of z in y
1.010 * [taylor]: Taking taylor expansion of x in y
1.010 * [taylor]: Taking taylor expansion of (- (/ y x) (/ (* t z) x)) in y
1.010 * [taylor]: Taking taylor expansion of (/ y x) in y
1.010 * [taylor]: Taking taylor expansion of y in y
1.010 * [taylor]: Taking taylor expansion of x in y
1.010 * [taylor]: Taking taylor expansion of (/ (* t z) x) in y
1.010 * [taylor]: Taking taylor expansion of (* t z) in y
1.010 * [taylor]: Taking taylor expansion of t in y
1.010 * [taylor]: Taking taylor expansion of z in y
1.010 * [taylor]: Taking taylor expansion of x in y
1.010 * [taylor]: Taking taylor expansion of (neg (/ (* t z) x)) in x
1.010 * [taylor]: Taking taylor expansion of (/ (* t z) x) in x
1.010 * [taylor]: Taking taylor expansion of (* t z) in x
1.010 * [taylor]: Taking taylor expansion of t in x
1.010 * [taylor]: Taking taylor expansion of z in x
1.010 * [taylor]: Taking taylor expansion of x in x
1.010 * [taylor]: Taking taylor expansion of (neg (* t z)) in z
1.010 * [taylor]: Taking taylor expansion of (* t z) in z
1.010 * [taylor]: Taking taylor expansion of t in z
1.010 * [taylor]: Taking taylor expansion of z in z
1.010 * [taylor]: Taking taylor expansion of 0 in t
1.010 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.010 * [taylor]: Taking taylor expansion of x in x
1.011 * [taylor]: Taking taylor expansion of 1 in z
1.011 * [taylor]: Taking taylor expansion of 1 in t
1.011 * [taylor]: Taking taylor expansion of 0 in z
1.011 * [taylor]: Taking taylor expansion of 0 in t
1.011 * [taylor]: Taking taylor expansion of (neg t) in t
1.011 * [taylor]: Taking taylor expansion of t in t
1.011 * [taylor]: Taking taylor expansion of 0 in x
1.011 * [taylor]: Taking taylor expansion of 0 in z
1.011 * [taylor]: Taking taylor expansion of 0 in t
1.011 * [taylor]: Taking taylor expansion of 0 in z
1.011 * [taylor]: Taking taylor expansion of 0 in t
1.011 * [taylor]: Taking taylor expansion of 0 in t
1.011 * [approximate]: Taking taylor expansion of (- (/ x y) (/ x (* t z))) in (y x z t) around 0
1.011 * [taylor]: Taking taylor expansion of (- (/ x y) (/ x (* t z))) in t
1.011 * [taylor]: Taking taylor expansion of (/ x y) in t
1.011 * [taylor]: Taking taylor expansion of x in t
1.011 * [taylor]: Taking taylor expansion of y in t
1.011 * [taylor]: Taking taylor expansion of (/ x (* t z)) in t
1.011 * [taylor]: Taking taylor expansion of x in t
1.012 * [taylor]: Taking taylor expansion of (* t z) in t
1.012 * [taylor]: Taking taylor expansion of t in t
1.012 * [taylor]: Taking taylor expansion of z in t
1.012 * [taylor]: Taking taylor expansion of (- (/ x y) (/ x (* t z))) in z
1.012 * [taylor]: Taking taylor expansion of (/ x y) in z
1.012 * [taylor]: Taking taylor expansion of x in z
1.012 * [taylor]: Taking taylor expansion of y in z
1.012 * [taylor]: Taking taylor expansion of (/ x (* t z)) in z
1.012 * [taylor]: Taking taylor expansion of x in z
1.012 * [taylor]: Taking taylor expansion of (* t z) in z
1.012 * [taylor]: Taking taylor expansion of t in z
1.012 * [taylor]: Taking taylor expansion of z in z
1.012 * [taylor]: Taking taylor expansion of (- (/ x y) (/ x (* t z))) in x
1.012 * [taylor]: Taking taylor expansion of (/ x y) in x
1.012 * [taylor]: Taking taylor expansion of x in x
1.012 * [taylor]: Taking taylor expansion of y in x
1.012 * [taylor]: Taking taylor expansion of (/ x (* t z)) in x
1.012 * [taylor]: Taking taylor expansion of x in x
1.012 * [taylor]: Taking taylor expansion of (* t z) in x
1.012 * [taylor]: Taking taylor expansion of t in x
1.012 * [taylor]: Taking taylor expansion of z in x
1.012 * [taylor]: Taking taylor expansion of (- (/ x y) (/ x (* t z))) in y
1.012 * [taylor]: Taking taylor expansion of (/ x y) in y
1.012 * [taylor]: Taking taylor expansion of x in y
1.012 * [taylor]: Taking taylor expansion of y in y
1.012 * [taylor]: Taking taylor expansion of (/ x (* t z)) in y
1.012 * [taylor]: Taking taylor expansion of x in y
1.012 * [taylor]: Taking taylor expansion of (* t z) in y
1.012 * [taylor]: Taking taylor expansion of t in y
1.012 * [taylor]: Taking taylor expansion of z in y
1.012 * [taylor]: Taking taylor expansion of (- (/ x y) (/ x (* t z))) in y
1.012 * [taylor]: Taking taylor expansion of (/ x y) in y
1.012 * [taylor]: Taking taylor expansion of x in y
1.012 * [taylor]: Taking taylor expansion of y in y
1.012 * [taylor]: Taking taylor expansion of (/ x (* t z)) in y
1.012 * [taylor]: Taking taylor expansion of x in y
1.012 * [taylor]: Taking taylor expansion of (* t z) in y
1.012 * [taylor]: Taking taylor expansion of t in y
1.012 * [taylor]: Taking taylor expansion of z in y
1.012 * [taylor]: Taking taylor expansion of x in x
1.012 * [taylor]: Taking taylor expansion of 1 in z
1.013 * [taylor]: Taking taylor expansion of (neg (/ x (* t z))) in x
1.013 * [taylor]: Taking taylor expansion of (/ x (* t z)) in x
1.013 * [taylor]: Taking taylor expansion of x in x
1.013 * [taylor]: Taking taylor expansion of (* t z) in x
1.013 * [taylor]: Taking taylor expansion of t in x
1.013 * [taylor]: Taking taylor expansion of z in x
1.013 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
1.013 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.013 * [taylor]: Taking taylor expansion of (* t z) in z
1.013 * [taylor]: Taking taylor expansion of t in z
1.013 * [taylor]: Taking taylor expansion of z in z
1.013 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.013 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.013 * [taylor]: Taking taylor expansion of t in t
1.013 * [taylor]: Taking taylor expansion of 0 in z
1.013 * [taylor]: Taking taylor expansion of 1 in t
1.013 * [taylor]: Taking taylor expansion of 0 in x
1.013 * [taylor]: Taking taylor expansion of 0 in z
1.013 * [taylor]: Taking taylor expansion of 0 in z
1.013 * [taylor]: Taking taylor expansion of 0 in z
1.013 * [taylor]: Taking taylor expansion of 0 in t
1.013 * [taylor]: Taking taylor expansion of 0 in t
1.013 * [taylor]: Taking taylor expansion of 0 in t
1.014 * [taylor]: Taking taylor expansion of 0 in x
1.014 * [taylor]: Taking taylor expansion of 0 in z
1.014 * [taylor]: Taking taylor expansion of 0 in z
1.014 * [taylor]: Taking taylor expansion of 0 in z
1.014 * [taylor]: Taking taylor expansion of 0 in z
1.014 * [taylor]: Taking taylor expansion of 0 in t
1.014 * [taylor]: Taking taylor expansion of 0 in t
1.014 * [taylor]: Taking taylor expansion of 0 in t
1.014 * [taylor]: Taking taylor expansion of 0 in t
1.014 * [taylor]: Taking taylor expansion of 0 in t
1.014 * [taylor]: Taking taylor expansion of 0 in t
1.015 * [taylor]: Taking taylor expansion of 0 in x
1.015 * [taylor]: Taking taylor expansion of 0 in z
1.015 * [taylor]: Taking taylor expansion of 0 in z
1.015 * [taylor]: Taking taylor expansion of 0 in z
1.015 * [taylor]: Taking taylor expansion of 0 in z
1.015 * [taylor]: Taking taylor expansion of 0 in z
1.015 * [taylor]: Taking taylor expansion of 0 in t
1.015 * [taylor]: Taking taylor expansion of 0 in t
1.015 * [taylor]: Taking taylor expansion of 0 in t
1.015 * [taylor]: Taking taylor expansion of 0 in t
1.015 * [taylor]: Taking taylor expansion of 0 in t
1.015 * [taylor]: Taking taylor expansion of 0 in t
1.015 * [taylor]: Taking taylor expansion of 0 in t
1.015 * [taylor]: Taking taylor expansion of 0 in t
1.015 * [taylor]: Taking taylor expansion of 0 in t
1.015 * [taylor]: Taking taylor expansion of 0 in t
1.016 * [approximate]: Taking taylor expansion of (+ (/ x (* t z)) (/ x y)) in (y x z t) around 0
1.016 * [taylor]: Taking taylor expansion of (+ (/ x (* t z)) (/ x y)) in t
1.016 * [taylor]: Taking taylor expansion of (/ x (* t z)) in t
1.016 * [taylor]: Taking taylor expansion of x in t
1.016 * [taylor]: Taking taylor expansion of (* t z) in t
1.016 * [taylor]: Taking taylor expansion of t in t
1.016 * [taylor]: Taking taylor expansion of z in t
1.016 * [taylor]: Taking taylor expansion of (/ x y) in t
1.016 * [taylor]: Taking taylor expansion of x in t
1.016 * [taylor]: Taking taylor expansion of y in t
1.016 * [taylor]: Taking taylor expansion of (+ (/ x (* t z)) (/ x y)) in z
1.016 * [taylor]: Taking taylor expansion of (/ x (* t z)) in z
1.016 * [taylor]: Taking taylor expansion of x in z
1.016 * [taylor]: Taking taylor expansion of (* t z) in z
1.016 * [taylor]: Taking taylor expansion of t in z
1.016 * [taylor]: Taking taylor expansion of z in z
1.016 * [taylor]: Taking taylor expansion of (/ x y) in z
1.016 * [taylor]: Taking taylor expansion of x in z
1.016 * [taylor]: Taking taylor expansion of y in z
1.016 * [taylor]: Taking taylor expansion of (+ (/ x (* t z)) (/ x y)) in x
1.016 * [taylor]: Taking taylor expansion of (/ x (* t z)) in x
1.016 * [taylor]: Taking taylor expansion of x in x
1.016 * [taylor]: Taking taylor expansion of (* t z) in x
1.016 * [taylor]: Taking taylor expansion of t in x
1.016 * [taylor]: Taking taylor expansion of z in x
1.016 * [taylor]: Taking taylor expansion of (/ x y) in x
1.016 * [taylor]: Taking taylor expansion of x in x
1.016 * [taylor]: Taking taylor expansion of y in x
1.016 * [taylor]: Taking taylor expansion of (+ (/ x (* t z)) (/ x y)) in y
1.016 * [taylor]: Taking taylor expansion of (/ x (* t z)) in y
1.016 * [taylor]: Taking taylor expansion of x in y
1.016 * [taylor]: Taking taylor expansion of (* t z) in y
1.016 * [taylor]: Taking taylor expansion of t in y
1.016 * [taylor]: Taking taylor expansion of z in y
1.016 * [taylor]: Taking taylor expansion of (/ x y) in y
1.016 * [taylor]: Taking taylor expansion of x in y
1.016 * [taylor]: Taking taylor expansion of y in y
1.016 * [taylor]: Taking taylor expansion of (+ (/ x (* t z)) (/ x y)) in y
1.016 * [taylor]: Taking taylor expansion of (/ x (* t z)) in y
1.016 * [taylor]: Taking taylor expansion of x in y
1.016 * [taylor]: Taking taylor expansion of (* t z) in y
1.016 * [taylor]: Taking taylor expansion of t in y
1.016 * [taylor]: Taking taylor expansion of z in y
1.016 * [taylor]: Taking taylor expansion of (/ x y) in y
1.016 * [taylor]: Taking taylor expansion of x in y
1.017 * [taylor]: Taking taylor expansion of y in y
1.017 * [taylor]: Taking taylor expansion of x in x
1.017 * [taylor]: Taking taylor expansion of 1 in z
1.017 * [taylor]: Taking taylor expansion of (/ x (* t z)) in x
1.017 * [taylor]: Taking taylor expansion of x in x
1.017 * [taylor]: Taking taylor expansion of (* t z) in x
1.017 * [taylor]: Taking taylor expansion of t in x
1.017 * [taylor]: Taking taylor expansion of z in x
1.017 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.017 * [taylor]: Taking taylor expansion of (* t z) in z
1.017 * [taylor]: Taking taylor expansion of t in z
1.017 * [taylor]: Taking taylor expansion of z in z
1.017 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.017 * [taylor]: Taking taylor expansion of t in t
1.017 * [taylor]: Taking taylor expansion of 0 in z
1.017 * [taylor]: Taking taylor expansion of 1 in t
1.017 * [taylor]: Taking taylor expansion of 0 in x
1.017 * [taylor]: Taking taylor expansion of 0 in z
1.017 * [taylor]: Taking taylor expansion of 0 in z
1.017 * [taylor]: Taking taylor expansion of 0 in z
1.017 * [taylor]: Taking taylor expansion of 0 in t
1.017 * [taylor]: Taking taylor expansion of 0 in t
1.017 * [taylor]: Taking taylor expansion of 0 in t
1.018 * [taylor]: Taking taylor expansion of 0 in x
1.018 * [taylor]: Taking taylor expansion of 0 in z
1.018 * [taylor]: Taking taylor expansion of 0 in z
1.018 * [taylor]: Taking taylor expansion of 0 in z
1.018 * [taylor]: Taking taylor expansion of 0 in z
1.018 * [taylor]: Taking taylor expansion of 0 in t
1.018 * [taylor]: Taking taylor expansion of 0 in t
1.018 * [taylor]: Taking taylor expansion of 0 in t
1.018 * [taylor]: Taking taylor expansion of 0 in t
1.018 * [taylor]: Taking taylor expansion of 0 in t
1.018 * [taylor]: Taking taylor expansion of 0 in t
1.019 * [taylor]: Taking taylor expansion of 0 in x
1.019 * [taylor]: Taking taylor expansion of 0 in z
1.019 * [taylor]: Taking taylor expansion of 0 in z
1.019 * [taylor]: Taking taylor expansion of 0 in z
1.019 * [taylor]: Taking taylor expansion of 0 in z
1.019 * [taylor]: Taking taylor expansion of 0 in z
1.019 * [taylor]: Taking taylor expansion of 0 in t
1.019 * [taylor]: Taking taylor expansion of 0 in t
1.019 * [taylor]: Taking taylor expansion of 0 in t
1.019 * [taylor]: Taking taylor expansion of 0 in t
1.019 * [taylor]: Taking taylor expansion of 0 in t
1.019 * [taylor]: Taking taylor expansion of 0 in t
1.019 * [taylor]: Taking taylor expansion of 0 in t
1.019 * [taylor]: Taking taylor expansion of 0 in t
1.019 * [taylor]: Taking taylor expansion of 0 in t
1.019 * [taylor]: Taking taylor expansion of 0 in t
1.019 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1.020 * [approximate]: Taking taylor expansion of (/ 1 (- (/ y x) (/ (* t z) x))) in (y x z t) around 0
1.020 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y x) (/ (* t z) x))) in t
1.020 * [taylor]: Taking taylor expansion of (- (/ y x) (/ (* t z) x)) in t
1.020 * [taylor]: Taking taylor expansion of (/ y x) in t
1.020 * [taylor]: Taking taylor expansion of y in t
1.020 * [taylor]: Taking taylor expansion of x in t
1.020 * [taylor]: Taking taylor expansion of (/ (* t z) x) in t
1.020 * [taylor]: Taking taylor expansion of (* t z) in t
1.020 * [taylor]: Taking taylor expansion of t in t
1.020 * [taylor]: Taking taylor expansion of z in t
1.020 * [taylor]: Taking taylor expansion of x in t
1.020 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y x) (/ (* t z) x))) in z
1.020 * [taylor]: Taking taylor expansion of (- (/ y x) (/ (* t z) x)) in z
1.020 * [taylor]: Taking taylor expansion of (/ y x) in z
1.020 * [taylor]: Taking taylor expansion of y in z
1.020 * [taylor]: Taking taylor expansion of x in z
1.020 * [taylor]: Taking taylor expansion of (/ (* t z) x) in z
1.020 * [taylor]: Taking taylor expansion of (* t z) in z
1.020 * [taylor]: Taking taylor expansion of t in z
1.020 * [taylor]: Taking taylor expansion of z in z
1.020 * [taylor]: Taking taylor expansion of x in z
1.020 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y x) (/ (* t z) x))) in x
1.020 * [taylor]: Taking taylor expansion of (- (/ y x) (/ (* t z) x)) in x
1.020 * [taylor]: Taking taylor expansion of (/ y x) in x
1.020 * [taylor]: Taking taylor expansion of y in x
1.020 * [taylor]: Taking taylor expansion of x in x
1.020 * [taylor]: Taking taylor expansion of (/ (* t z) x) in x
1.020 * [taylor]: Taking taylor expansion of (* t z) in x
1.020 * [taylor]: Taking taylor expansion of t in x
1.020 * [taylor]: Taking taylor expansion of z in x
1.020 * [taylor]: Taking taylor expansion of x in x
1.020 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y x) (/ (* t z) x))) in y
1.020 * [taylor]: Taking taylor expansion of (- (/ y x) (/ (* t z) x)) in y
1.020 * [taylor]: Taking taylor expansion of (/ y x) in y
1.020 * [taylor]: Taking taylor expansion of y in y
1.020 * [taylor]: Taking taylor expansion of x in y
1.020 * [taylor]: Taking taylor expansion of (/ (* t z) x) in y
1.020 * [taylor]: Taking taylor expansion of (* t z) in y
1.020 * [taylor]: Taking taylor expansion of t in y
1.021 * [taylor]: Taking taylor expansion of z in y
1.021 * [taylor]: Taking taylor expansion of x in y
1.021 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y x) (/ (* t z) x))) in y
1.021 * [taylor]: Taking taylor expansion of (- (/ y x) (/ (* t z) x)) in y
1.021 * [taylor]: Taking taylor expansion of (/ y x) in y
1.021 * [taylor]: Taking taylor expansion of y in y
1.021 * [taylor]: Taking taylor expansion of x in y
1.021 * [taylor]: Taking taylor expansion of (/ (* t z) x) in y
1.021 * [taylor]: Taking taylor expansion of (* t z) in y
1.021 * [taylor]: Taking taylor expansion of t in y
1.021 * [taylor]: Taking taylor expansion of z in y
1.021 * [taylor]: Taking taylor expansion of x in y
1.021 * [taylor]: Taking taylor expansion of (* -1 (/ x (* t z))) in x
1.021 * [taylor]: Taking taylor expansion of -1 in x
1.021 * [taylor]: Taking taylor expansion of (/ x (* t z)) in x
1.021 * [taylor]: Taking taylor expansion of x in x
1.021 * [taylor]: Taking taylor expansion of (* t z) in x
1.021 * [taylor]: Taking taylor expansion of t in x
1.021 * [taylor]: Taking taylor expansion of z in x
1.021 * [taylor]: Taking taylor expansion of (/ -1 (* t z)) in z
1.021 * [taylor]: Taking taylor expansion of -1 in z
1.021 * [taylor]: Taking taylor expansion of (* t z) in z
1.021 * [taylor]: Taking taylor expansion of t in z
1.021 * [taylor]: Taking taylor expansion of z in z
1.021 * [taylor]: Taking taylor expansion of 0 in t
1.022 * [taylor]: Taking taylor expansion of (neg (/ x (* (pow t 2) (pow z 2)))) in x
1.022 * [taylor]: Taking taylor expansion of (/ x (* (pow t 2) (pow z 2))) in x
1.022 * [taylor]: Taking taylor expansion of x in x
1.022 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in x
1.022 * [taylor]: Taking taylor expansion of (pow t 2) in x
1.022 * [taylor]: Taking taylor expansion of t in x
1.022 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.022 * [taylor]: Taking taylor expansion of z in x
1.022 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow t 2) (pow z 2)))) in z
1.022 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in z
1.022 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
1.022 * [taylor]: Taking taylor expansion of (pow t 2) in z
1.022 * [taylor]: Taking taylor expansion of t in z
1.022 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.022 * [taylor]: Taking taylor expansion of z in z
1.023 * [taylor]: Taking taylor expansion of 0 in t
1.023 * [taylor]: Taking taylor expansion of 0 in z
1.023 * [taylor]: Taking taylor expansion of 0 in t
1.023 * [taylor]: Taking taylor expansion of 0 in t
1.024 * [taylor]: Taking taylor expansion of (neg (/ x (* (pow t 3) (pow z 3)))) in x
1.024 * [taylor]: Taking taylor expansion of (/ x (* (pow t 3) (pow z 3))) in x
1.024 * [taylor]: Taking taylor expansion of x in x
1.024 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in x
1.024 * [taylor]: Taking taylor expansion of (pow t 3) in x
1.024 * [taylor]: Taking taylor expansion of t in x
1.024 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.024 * [taylor]: Taking taylor expansion of z in x
1.024 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow t 3) (pow z 3)))) in z
1.024 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in z
1.024 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z
1.024 * [taylor]: Taking taylor expansion of (pow t 3) in z
1.024 * [taylor]: Taking taylor expansion of t in z
1.024 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.024 * [taylor]: Taking taylor expansion of z in z
1.025 * [taylor]: Taking taylor expansion of 0 in t
1.026 * [approximate]: Taking taylor expansion of (/ 1 (- (/ x y) (/ x (* t z)))) in (y x z t) around 0
1.026 * [taylor]: Taking taylor expansion of (/ 1 (- (/ x y) (/ x (* t z)))) in t
1.026 * [taylor]: Taking taylor expansion of (- (/ x y) (/ x (* t z))) in t
1.026 * [taylor]: Taking taylor expansion of (/ x y) in t
1.026 * [taylor]: Taking taylor expansion of x in t
1.026 * [taylor]: Taking taylor expansion of y in t
1.026 * [taylor]: Taking taylor expansion of (/ x (* t z)) in t
1.026 * [taylor]: Taking taylor expansion of x in t
1.026 * [taylor]: Taking taylor expansion of (* t z) in t
1.026 * [taylor]: Taking taylor expansion of t in t
1.026 * [taylor]: Taking taylor expansion of z in t
1.026 * [taylor]: Taking taylor expansion of (/ 1 (- (/ x y) (/ x (* t z)))) in z
1.026 * [taylor]: Taking taylor expansion of (- (/ x y) (/ x (* t z))) in z
1.026 * [taylor]: Taking taylor expansion of (/ x y) in z
1.026 * [taylor]: Taking taylor expansion of x in z
1.026 * [taylor]: Taking taylor expansion of y in z
1.026 * [taylor]: Taking taylor expansion of (/ x (* t z)) in z
1.026 * [taylor]: Taking taylor expansion of x in z
1.026 * [taylor]: Taking taylor expansion of (* t z) in z
1.026 * [taylor]: Taking taylor expansion of t in z
1.026 * [taylor]: Taking taylor expansion of z in z
1.026 * [taylor]: Taking taylor expansion of (/ 1 (- (/ x y) (/ x (* t z)))) in x
1.026 * [taylor]: Taking taylor expansion of (- (/ x y) (/ x (* t z))) in x
1.026 * [taylor]: Taking taylor expansion of (/ x y) in x
1.026 * [taylor]: Taking taylor expansion of x in x
1.026 * [taylor]: Taking taylor expansion of y in x
1.026 * [taylor]: Taking taylor expansion of (/ x (* t z)) in x
1.026 * [taylor]: Taking taylor expansion of x in x
1.026 * [taylor]: Taking taylor expansion of (* t z) in x
1.026 * [taylor]: Taking taylor expansion of t in x
1.026 * [taylor]: Taking taylor expansion of z in x
1.027 * [taylor]: Taking taylor expansion of (/ 1 (- (/ x y) (/ x (* t z)))) in y
1.027 * [taylor]: Taking taylor expansion of (- (/ x y) (/ x (* t z))) in y
1.027 * [taylor]: Taking taylor expansion of (/ x y) in y
1.027 * [taylor]: Taking taylor expansion of x in y
1.027 * [taylor]: Taking taylor expansion of y in y
1.027 * [taylor]: Taking taylor expansion of (/ x (* t z)) in y
1.027 * [taylor]: Taking taylor expansion of x in y
1.027 * [taylor]: Taking taylor expansion of (* t z) in y
1.027 * [taylor]: Taking taylor expansion of t in y
1.027 * [taylor]: Taking taylor expansion of z in y
1.027 * [taylor]: Taking taylor expansion of (/ 1 (- (/ x y) (/ x (* t z)))) in y
1.027 * [taylor]: Taking taylor expansion of (- (/ x y) (/ x (* t z))) in y
1.027 * [taylor]: Taking taylor expansion of (/ x y) in y
1.027 * [taylor]: Taking taylor expansion of x in y
1.027 * [taylor]: Taking taylor expansion of y in y
1.027 * [taylor]: Taking taylor expansion of (/ x (* t z)) in y
1.027 * [taylor]: Taking taylor expansion of x in y
1.027 * [taylor]: Taking taylor expansion of (* t z) in y
1.027 * [taylor]: Taking taylor expansion of t in y
1.027 * [taylor]: Taking taylor expansion of z in y
1.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.027 * [taylor]: Taking taylor expansion of x in x
1.027 * [taylor]: Taking taylor expansion of 1 in z
1.027 * [taylor]: Taking taylor expansion of 0 in t
1.027 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x z))) in x
1.027 * [taylor]: Taking taylor expansion of (* t (* x z)) in x
1.027 * [taylor]: Taking taylor expansion of t in x
1.027 * [taylor]: Taking taylor expansion of (* x z) in x
1.027 * [taylor]: Taking taylor expansion of x in x
1.027 * [taylor]: Taking taylor expansion of z in x
1.028 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.028 * [taylor]: Taking taylor expansion of (* t z) in z
1.028 * [taylor]: Taking taylor expansion of t in z
1.028 * [taylor]: Taking taylor expansion of z in z
1.028 * [taylor]: Taking taylor expansion of 0 in t
1.028 * [taylor]: Taking taylor expansion of 0 in z
1.028 * [taylor]: Taking taylor expansion of 0 in t
1.028 * [taylor]: Taking taylor expansion of 0 in t
1.028 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (* x (pow z 2)))) in x
1.028 * [taylor]: Taking taylor expansion of (* (pow t 2) (* x (pow z 2))) in x
1.028 * [taylor]: Taking taylor expansion of (pow t 2) in x
1.028 * [taylor]: Taking taylor expansion of t in x
1.028 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in x
1.028 * [taylor]: Taking taylor expansion of x in x
1.028 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.028 * [taylor]: Taking taylor expansion of z in x
1.029 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in z
1.029 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
1.029 * [taylor]: Taking taylor expansion of (pow t 2) in z
1.029 * [taylor]: Taking taylor expansion of t in z
1.029 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.029 * [taylor]: Taking taylor expansion of z in z
1.030 * [taylor]: Taking taylor expansion of 0 in t
1.030 * [approximate]: Taking taylor expansion of (/ 1 (+ (/ x (* t z)) (/ x y))) in (y x z t) around 0
1.030 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ x (* t z)) (/ x y))) in t
1.030 * [taylor]: Taking taylor expansion of (+ (/ x (* t z)) (/ x y)) in t
1.030 * [taylor]: Taking taylor expansion of (/ x (* t z)) in t
1.030 * [taylor]: Taking taylor expansion of x in t
1.030 * [taylor]: Taking taylor expansion of (* t z) in t
1.030 * [taylor]: Taking taylor expansion of t in t
1.030 * [taylor]: Taking taylor expansion of z in t
1.030 * [taylor]: Taking taylor expansion of (/ x y) in t
1.030 * [taylor]: Taking taylor expansion of x in t
1.030 * [taylor]: Taking taylor expansion of y in t
1.030 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ x (* t z)) (/ x y))) in z
1.030 * [taylor]: Taking taylor expansion of (+ (/ x (* t z)) (/ x y)) in z
1.030 * [taylor]: Taking taylor expansion of (/ x (* t z)) in z
1.030 * [taylor]: Taking taylor expansion of x in z
1.030 * [taylor]: Taking taylor expansion of (* t z) in z
1.030 * [taylor]: Taking taylor expansion of t in z
1.030 * [taylor]: Taking taylor expansion of z in z
1.030 * [taylor]: Taking taylor expansion of (/ x y) in z
1.030 * [taylor]: Taking taylor expansion of x in z
1.030 * [taylor]: Taking taylor expansion of y in z
1.030 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ x (* t z)) (/ x y))) in x
1.030 * [taylor]: Taking taylor expansion of (+ (/ x (* t z)) (/ x y)) in x
1.031 * [taylor]: Taking taylor expansion of (/ x (* t z)) in x
1.031 * [taylor]: Taking taylor expansion of x in x
1.031 * [taylor]: Taking taylor expansion of (* t z) in x
1.031 * [taylor]: Taking taylor expansion of t in x
1.031 * [taylor]: Taking taylor expansion of z in x
1.031 * [taylor]: Taking taylor expansion of (/ x y) in x
1.031 * [taylor]: Taking taylor expansion of x in x
1.031 * [taylor]: Taking taylor expansion of y in x
1.031 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ x (* t z)) (/ x y))) in y
1.031 * [taylor]: Taking taylor expansion of (+ (/ x (* t z)) (/ x y)) in y
1.031 * [taylor]: Taking taylor expansion of (/ x (* t z)) in y
1.031 * [taylor]: Taking taylor expansion of x in y
1.031 * [taylor]: Taking taylor expansion of (* t z) in y
1.031 * [taylor]: Taking taylor expansion of t in y
1.031 * [taylor]: Taking taylor expansion of z in y
1.031 * [taylor]: Taking taylor expansion of (/ x y) in y
1.031 * [taylor]: Taking taylor expansion of x in y
1.031 * [taylor]: Taking taylor expansion of y in y
1.031 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ x (* t z)) (/ x y))) in y
1.031 * [taylor]: Taking taylor expansion of (+ (/ x (* t z)) (/ x y)) in y
1.031 * [taylor]: Taking taylor expansion of (/ x (* t z)) in y
1.031 * [taylor]: Taking taylor expansion of x in y
1.031 * [taylor]: Taking taylor expansion of (* t z) in y
1.031 * [taylor]: Taking taylor expansion of t in y
1.031 * [taylor]: Taking taylor expansion of z in y
1.031 * [taylor]: Taking taylor expansion of (/ x y) in y
1.031 * [taylor]: Taking taylor expansion of x in y
1.031 * [taylor]: Taking taylor expansion of y in y
1.031 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.031 * [taylor]: Taking taylor expansion of x in x
1.031 * [taylor]: Taking taylor expansion of 1 in z
1.031 * [taylor]: Taking taylor expansion of 0 in t
1.031 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t (* x z)))) in x
1.032 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x z))) in x
1.032 * [taylor]: Taking taylor expansion of (* t (* x z)) in x
1.032 * [taylor]: Taking taylor expansion of t in x
1.032 * [taylor]: Taking taylor expansion of (* x z) in x
1.032 * [taylor]: Taking taylor expansion of x in x
1.032 * [taylor]: Taking taylor expansion of z in x
1.032 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
1.032 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.032 * [taylor]: Taking taylor expansion of (* t z) in z
1.032 * [taylor]: Taking taylor expansion of t in z
1.032 * [taylor]: Taking taylor expansion of z in z
1.032 * [taylor]: Taking taylor expansion of 0 in t
1.032 * [taylor]: Taking taylor expansion of 0 in z
1.032 * [taylor]: Taking taylor expansion of 0 in t
1.032 * [taylor]: Taking taylor expansion of 0 in t
1.032 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (* x (pow z 2)))) in x
1.032 * [taylor]: Taking taylor expansion of (* (pow t 2) (* x (pow z 2))) in x
1.032 * [taylor]: Taking taylor expansion of (pow t 2) in x
1.032 * [taylor]: Taking taylor expansion of t in x
1.032 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in x
1.032 * [taylor]: Taking taylor expansion of x in x
1.032 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.033 * [taylor]: Taking taylor expansion of z in x
1.033 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in z
1.033 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
1.033 * [taylor]: Taking taylor expansion of (pow t 2) in z
1.033 * [taylor]: Taking taylor expansion of t in z
1.033 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.033 * [taylor]: Taking taylor expansion of z in z
1.034 * [taylor]: Taking taylor expansion of 0 in t
1.034 * * * [progress]: simplifying candidates
1.035 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* z (/ t x))
  (+ (log z) (- (log t) (log x)))
  (+ (log z) (log (/ t x)))
  (log (* z (/ t x)))
  (exp (* z (/ t x)))
  (* (* (* z z) z) (/ (* (* t t) t) (* (* x x) x)))
  (* (* (* z z) z) (* (* (/ t x) (/ t x)) (/ t x)))
  (* (cbrt (* z (/ t x))) (cbrt (* z (/ t x))))
  (cbrt (* z (/ t x)))
  (* (* (* z (/ t x)) (* z (/ t x))) (* z (/ t x)))
  (sqrt (* z (/ t x)))
  (sqrt (* z (/ t x)))
  (* (sqrt z) (sqrt (/ t x)))
  (* (sqrt z) (sqrt (/ t x)))
  (* (sqrt z) (/ (sqrt t) (sqrt x)))
  (* (sqrt z) (/ (sqrt t) (sqrt x)))
  (* z (* (cbrt (/ t x)) (cbrt (/ t x))))
  (* z (sqrt (/ t x)))
  (* z (/ (* (cbrt t) (cbrt t)) (* (cbrt x) (cbrt x))))
  (* z (/ (* (cbrt t) (cbrt t)) (sqrt x)))
  (* z (/ (* (cbrt t) (cbrt t)) 1))
  (* z (/ (sqrt t) (* (cbrt x) (cbrt x))))
  (* z (/ (sqrt t) (sqrt x)))
  (* z (/ (sqrt t) 1))
  (* z (/ 1 (* (cbrt x) (cbrt x))))
  (* z (/ 1 (sqrt x)))
  (* z (/ 1 1))
  (* z 1)
  (* z t)
  (* (cbrt z) (/ t x))
  (* (sqrt z) (/ t x))
  (* z (/ t x))
  (* z t)
  (/ (exp (/ y x)) (exp (* z (/ t x))))
  (log (- (/ y x) (* z (/ t x))))
  (exp (- (/ y x) (* z (/ t x))))
  (* (cbrt (- (/ y x) (* z (/ t x)))) (cbrt (- (/ y x) (* z (/ t x)))))
  (cbrt (- (/ y x) (* z (/ t x))))
  (* (* (- (/ y x) (* z (/ t x))) (- (/ y x) (* z (/ t x)))) (- (/ y x) (* z (/ t x))))
  (sqrt (- (/ y x) (* z (/ t x))))
  (sqrt (- (/ y x) (* z (/ t x))))
  (- y (* z t))
  (- (* y x) (* x (* z t)))
  (* x x)
  (- (pow (/ y x) 3) (pow (* z (/ t x)) 3))
  (+ (* (/ y x) (/ y x)) (+ (* (* z (/ t x)) (* z (/ t x))) (* (/ y x) (* z (/ t x)))))
  (neg (* z (/ t x)))
  (- (* (/ y x) (/ y x)) (* (* z (/ t x)) (* z (/ t x))))
  (+ (/ y x) (* z (/ t x)))
  (neg 1)
  (neg (log (- (/ y x) (* z (/ t x)))))
  (- 0 (log (- (/ y x) (* z (/ t x)))))
  (- (log 1) (log (- (/ y x) (* z (/ t x)))))
  (log (/ 1 (- (/ y x) (* z (/ t x)))))
  (exp (/ 1 (- (/ y x) (* z (/ t x)))))
  (/ (* (* 1 1) 1) (* (* (- (/ y x) (* z (/ t x))) (- (/ y x) (* z (/ t x)))) (- (/ y x) (* z (/ t x)))))
  (* (cbrt (/ 1 (- (/ y x) (* z (/ t x))))) (cbrt (/ 1 (- (/ y x) (* z (/ t x))))))
  (cbrt (/ 1 (- (/ y x) (* z (/ t x)))))
  (* (* (/ 1 (- (/ y x) (* z (/ t x)))) (/ 1 (- (/ y x) (* z (/ t x))))) (/ 1 (- (/ y x) (* z (/ t x)))))
  (sqrt (/ 1 (- (/ y x) (* z (/ t x)))))
  (sqrt (/ 1 (- (/ y x) (* z (/ t x)))))
  (neg 1)
  (neg (- (/ y x) (* z (/ t x))))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- (/ y x) (* z (/ t x)))) (cbrt (- (/ y x) (* z (/ t x))))))
  (/ (cbrt 1) (cbrt (- (/ y x) (* z (/ t x)))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (- (/ y x) (* z (/ t x)))))
  (/ (cbrt 1) (sqrt (- (/ y x) (* z (/ t x)))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (- (/ y x) (* z (/ t x))))
  (/ (sqrt 1) (* (cbrt (- (/ y x) (* z (/ t x)))) (cbrt (- (/ y x) (* z (/ t x))))))
  (/ (sqrt 1) (cbrt (- (/ y x) (* z (/ t x)))))
  (/ (sqrt 1) (sqrt (- (/ y x) (* z (/ t x)))))
  (/ (sqrt 1) (sqrt (- (/ y x) (* z (/ t x)))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (- (/ y x) (* z (/ t x))))
  (/ 1 (* (cbrt (- (/ y x) (* z (/ t x)))) (cbrt (- (/ y x) (* z (/ t x))))))
  (/ 1 (cbrt (- (/ y x) (* z (/ t x)))))
  (/ 1 (sqrt (- (/ y x) (* z (/ t x)))))
  (/ 1 (sqrt (- (/ y x) (* z (/ t x)))))
  (/ 1 1)
  (/ 1 (- (/ y x) (* z (/ t x))))
  (/ 1 (- (/ y x) (* z (/ t x))))
  (/ (- (/ y x) (* z (/ t x))) 1)
  (/ 1 (* (cbrt (- (/ y x) (* z (/ t x)))) (cbrt (- (/ y x) (* z (/ t x))))))
  (/ 1 (sqrt (- (/ y x) (* z (/ t x)))))
  (/ 1 1)
  (/ (- (/ y x) (* z (/ t x))) (cbrt 1))
  (/ (- (/ y x) (* z (/ t x))) (sqrt 1))
  (/ (- (/ y x) (* z (/ t x))) 1)
  (/ 1 (- y (* z t)))
  (/ 1 (- (* y x) (* x (* z t))))
  (/ 1 (- (pow (/ y x) 3) (pow (* z (/ t x)) 3)))
  (/ 1 (- (* (/ y x) (/ y x)) (* (* z (/ t x)) (* z (/ t x)))))
  (/ (* t z) x)
  (/ (* t z) x)
  (/ (* t z) x)
  (/ y x)
  (- (/ y x) (/ (* t z) x))
  (- (/ y x) (/ (* t z) x))
  0
  0
  0
1.077 * * [simplify]: iteration  0 :  5295  enodes  (cost  951 )
1.081 * [simplify]: Simplified to:
   (* z (/ t x))
  (log (* z (/ t x)))
  (log (* z (/ t x)))
  (log (* z (/ t x)))
  (pow (exp z) (/ t x))
  (pow (* z (/ t x)) 3)
  (pow (* z (/ t x)) 3)
  (* (cbrt (* z (/ t x))) (cbrt (* z (/ t x))))
  (cbrt (* z (/ t x)))
  (pow (* z (/ t x)) 3)
  (sqrt (* z (/ t x)))
  (sqrt (* z (/ t x)))
  (* (sqrt z) (sqrt (/ t x)))
  (* (sqrt z) (sqrt (/ t x)))
  (* (sqrt z) (/ (sqrt t) (sqrt x)))
  (* (sqrt z) (/ (sqrt t) (sqrt x)))
  (* z (* (cbrt (/ t x)) (cbrt (/ t x))))
  (* z (sqrt (/ t x)))
  (* z (* (cbrt t) (/ (cbrt t) (* (cbrt x) (cbrt x)))))
  (* z (* (cbrt t) (/ (cbrt t) (sqrt x))))
  (* z (* (cbrt t) (cbrt t)))
  (* z (/ (sqrt t) (* (cbrt x) (cbrt x))))
  (* z (/ (sqrt t) (sqrt x)))
  (* z (sqrt t))
  (/ z (* (cbrt x) (cbrt x)))
  (/ z (sqrt x))
  z
  z
  (* z t)
  (* (/ t x) (cbrt z))
  (* (/ t x) (sqrt z))
  (* z (/ t x))
  (* z t)
  (exp (- (/ y x) (* z (/ t x))))
  (log (- (/ y x) (* z (/ t x))))
  (exp (- (/ y x) (* z (/ t x))))
  (* (cbrt (- (/ y x) (* z (/ t x)))) (cbrt (- (/ y x) (* z (/ t x)))))
  (cbrt (- (/ y x) (* z (/ t x))))
  (pow (- (/ y x) (* z (/ t x))) 3)
  (sqrt (- (/ y x) (* z (/ t x))))
  (sqrt (- (/ y x) (* z (/ t x))))
  (- y (* z t))
  (* x (- y (* z t)))
  (* x x)
  (- (pow (/ y x) 3) (pow (* z (/ t x)) 3))
  (+ (* (/ y x) (/ y x)) (* z (* (/ t x) (+ (* z (/ t x)) (/ y x)))))
  (* z (/ (neg t) x))
  (- (* (/ y x) (/ y x)) (* z (* z (* (/ t x) (/ t x)))))
  (+ (* z (/ t x)) (/ y x))
  -1
  (neg (log (- (/ y x) (* z (/ t x)))))
  (neg (log (- (/ y x) (* z (/ t x)))))
  (neg (log (- (/ y x) (* z (/ t x)))))
  (neg (log (- (/ y x) (* z (/ t x)))))
  (exp (/ 1 (- (/ y x) (* z (/ t x)))))
  (/ 1 (pow (- (/ y x) (* z (/ t x))) 3))
  (* (cbrt (/ 1 (- (/ y x) (* z (/ t x))))) (cbrt (/ 1 (- (/ y x) (* z (/ t x))))))
  (cbrt (/ 1 (- (/ y x) (* z (/ t x)))))
  (/ 1 (pow (- (/ y x) (* z (/ t x))) 3))
  (sqrt (/ 1 (- (/ y x) (* z (/ t x)))))
  (sqrt (/ 1 (- (/ y x) (* z (/ t x)))))
  -1
  (- (* z (/ t x)) (/ y x))
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- (/ y x) (* z (/ t x)))) (cbrt (- (/ y x) (* z (/ t x)))))))
  (/ (cbrt 1) (cbrt (- (/ y x) (* z (/ t x)))))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (- (/ y x) (* z (/ t x))))))
  (/ (cbrt 1) (sqrt (- (/ y x) (* z (/ t x)))))
  (* (cbrt 1) (cbrt 1))
  (/ (cbrt 1) (- (/ y x) (* z (/ t x))))
  (/ 1 (* (cbrt (- (/ y x) (* z (/ t x)))) (cbrt (- (/ y x) (* z (/ t x))))))
  (/ 1 (cbrt (- (/ y x) (* z (/ t x)))))
  (/ 1 (sqrt (- (/ y x) (* z (/ t x)))))
  (/ 1 (sqrt (- (/ y x) (* z (/ t x)))))
  1
  (/ 1 (- (/ y x) (* z (/ t x))))
  (/ 1 (* (cbrt (- (/ y x) (* z (/ t x)))) (cbrt (- (/ y x) (* z (/ t x))))))
  (/ 1 (cbrt (- (/ y x) (* z (/ t x)))))
  (/ 1 (sqrt (- (/ y x) (* z (/ t x)))))
  (/ 1 (sqrt (- (/ y x) (* z (/ t x)))))
  1
  (/ 1 (- (/ y x) (* z (/ t x))))
  (/ 1 (- (/ y x) (* z (/ t x))))
  (- (/ y x) (* z (/ t x)))
  (/ 1 (* (cbrt (- (/ y x) (* z (/ t x)))) (cbrt (- (/ y x) (* z (/ t x))))))
  (/ 1 (sqrt (- (/ y x) (* z (/ t x)))))
  1
  (/ (- (/ y x) (* z (/ t x))) (cbrt 1))
  (- (/ y x) (* z (/ t x)))
  (- (/ y x) (* z (/ t x)))
  (/ 1 (- y (* z t)))
  (/ 1 (* x (- y (* z t))))
  (/ 1 (- (pow (/ y x) 3) (pow (* z (/ t x)) 3)))
  (/ 1 (- (* (/ y x) (/ y x)) (* z (* z (* (/ t x) (/ t x))))))
  (* z (/ t x))
  (* z (/ t x))
  (* z (/ t x))
  (/ y x)
  (- (/ y x) (* z (/ t x)))
  (- (/ y x) (* z (/ t x)))
  0
  0
  0
1.081 * * * [progress]: adding candidates to table
1.155 * [progress]: [Phase 3 of 3] Extracting.
1.155 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (/ (sqrt x) (/ (- y (* z t)) (sqrt x))))> #<alt (λ (x y z t) (* x (cbrt (/ 1 (pow (- y (* z t)) 3)))))> #<alt (λ (x y z t) (* x (/ 1 (- y (* z t)))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (* z (* (cbrt t) (/ (cbrt t) (* (cbrt x) (cbrt x))))) (/ (cbrt t) (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (/ z (* (cbrt x) (cbrt x))) (/ t (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* z (/ t x)))))> #<alt (λ (x y z t) (/ x (- y (* z t))))> #<alt (λ (x y z t) (* (sqrt (/ 1 (- (/ y x) (* z (/ t x))))) (sqrt (/ 1 (- (/ y x) (* z (/ t x)))))))>)
1.157 * * * [regime-changes]: Trying 7 branch expressions: ((* z t) (- y (* z t)) (/ x (- y (* z t))) t z y x)
1.157 * * * * [regimes]: Trying to branch on (* z t) from (#<alt (λ (x y z t) (/ (sqrt x) (/ (- y (* z t)) (sqrt x))))> #<alt (λ (x y z t) (* x (cbrt (/ 1 (pow (- y (* z t)) 3)))))> #<alt (λ (x y z t) (* x (/ 1 (- y (* z t)))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (* z (* (cbrt t) (/ (cbrt t) (* (cbrt x) (cbrt x))))) (/ (cbrt t) (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (/ z (* (cbrt x) (cbrt x))) (/ t (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* z (/ t x)))))> #<alt (λ (x y z t) (/ x (- y (* z t))))> #<alt (λ (x y z t) (* (sqrt (/ 1 (- (/ y x) (* z (/ t x))))) (sqrt (/ 1 (- (/ y x) (* z (/ t x)))))))>)
1.233 * * * * [regimes]: Trying to branch on (- y (* z t)) from (#<alt (λ (x y z t) (/ (sqrt x) (/ (- y (* z t)) (sqrt x))))> #<alt (λ (x y z t) (* x (cbrt (/ 1 (pow (- y (* z t)) 3)))))> #<alt (λ (x y z t) (* x (/ 1 (- y (* z t)))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (* z (* (cbrt t) (/ (cbrt t) (* (cbrt x) (cbrt x))))) (/ (cbrt t) (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (/ z (* (cbrt x) (cbrt x))) (/ t (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* z (/ t x)))))> #<alt (λ (x y z t) (/ x (- y (* z t))))> #<alt (λ (x y z t) (* (sqrt (/ 1 (- (/ y x) (* z (/ t x))))) (sqrt (/ 1 (- (/ y x) (* z (/ t x)))))))>)
1.304 * * * * [regimes]: Trying to branch on (/ x (- y (* z t))) from (#<alt (λ (x y z t) (/ (sqrt x) (/ (- y (* z t)) (sqrt x))))> #<alt (λ (x y z t) (* x (cbrt (/ 1 (pow (- y (* z t)) 3)))))> #<alt (λ (x y z t) (* x (/ 1 (- y (* z t)))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (* z (* (cbrt t) (/ (cbrt t) (* (cbrt x) (cbrt x))))) (/ (cbrt t) (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (/ z (* (cbrt x) (cbrt x))) (/ t (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* z (/ t x)))))> #<alt (λ (x y z t) (/ x (- y (* z t))))> #<alt (λ (x y z t) (* (sqrt (/ 1 (- (/ y x) (* z (/ t x))))) (sqrt (/ 1 (- (/ y x) (* z (/ t x)))))))>)
1.377 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (/ (sqrt x) (/ (- y (* z t)) (sqrt x))))> #<alt (λ (x y z t) (* x (cbrt (/ 1 (pow (- y (* z t)) 3)))))> #<alt (λ (x y z t) (* x (/ 1 (- y (* z t)))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (* z (* (cbrt t) (/ (cbrt t) (* (cbrt x) (cbrt x))))) (/ (cbrt t) (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (/ z (* (cbrt x) (cbrt x))) (/ t (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* z (/ t x)))))> #<alt (λ (x y z t) (/ x (- y (* z t))))> #<alt (λ (x y z t) (* (sqrt (/ 1 (- (/ y x) (* z (/ t x))))) (sqrt (/ 1 (- (/ y x) (* z (/ t x)))))))>)
1.448 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (/ (sqrt x) (/ (- y (* z t)) (sqrt x))))> #<alt (λ (x y z t) (* x (cbrt (/ 1 (pow (- y (* z t)) 3)))))> #<alt (λ (x y z t) (* x (/ 1 (- y (* z t)))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (* z (* (cbrt t) (/ (cbrt t) (* (cbrt x) (cbrt x))))) (/ (cbrt t) (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (/ z (* (cbrt x) (cbrt x))) (/ t (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* z (/ t x)))))> #<alt (λ (x y z t) (/ x (- y (* z t))))> #<alt (λ (x y z t) (* (sqrt (/ 1 (- (/ y x) (* z (/ t x))))) (sqrt (/ 1 (- (/ y x) (* z (/ t x)))))))>)
1.526 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (/ (sqrt x) (/ (- y (* z t)) (sqrt x))))> #<alt (λ (x y z t) (* x (cbrt (/ 1 (pow (- y (* z t)) 3)))))> #<alt (λ (x y z t) (* x (/ 1 (- y (* z t)))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (* z (* (cbrt t) (/ (cbrt t) (* (cbrt x) (cbrt x))))) (/ (cbrt t) (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (/ z (* (cbrt x) (cbrt x))) (/ t (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* z (/ t x)))))> #<alt (λ (x y z t) (/ x (- y (* z t))))> #<alt (λ (x y z t) (* (sqrt (/ 1 (- (/ y x) (* z (/ t x))))) (sqrt (/ 1 (- (/ y x) (* z (/ t x)))))))>)
1.595 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (/ (sqrt x) (/ (- y (* z t)) (sqrt x))))> #<alt (λ (x y z t) (* x (cbrt (/ 1 (pow (- y (* z t)) 3)))))> #<alt (λ (x y z t) (* x (/ 1 (- y (* z t)))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (* z (* (cbrt t) (/ (cbrt t) (* (cbrt x) (cbrt x))))) (/ (cbrt t) (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (/ z (* (cbrt x) (cbrt x))) (/ t (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* z (/ t x)))))> #<alt (λ (x y z t) (/ x (- y (* z t))))> #<alt (λ (x y z t) (* (sqrt (/ 1 (- (/ y x) (* z (/ t x))))) (sqrt (/ 1 (- (/ y x) (* z (/ t x)))))))>)
1.682 * * * [regime]: Found split indices: #<option (#s(si 3 48) #s(si 6 219) #s(si 3 244) #s(si 6 256))>
1.683 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x y z t) (/ (sqrt x) (/ (- y (* z t)) (sqrt x))))> #<alt (λ (x y z t) (* x (cbrt (/ 1 (pow (- y (* z t)) 3)))))> #<alt (λ (x y z t) (* x (/ 1 (- y (* z t)))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (* z (* (cbrt t) (/ (cbrt t) (* (cbrt x) (cbrt x))))) (/ (cbrt t) (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (/ z (* (cbrt x) (cbrt x))) (/ t (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* z (/ t x)))))> #<alt (λ (x y z t) (/ x (- y (* z t))))> #<alt (λ (x y z t) (* (sqrt (/ 1 (- (/ y x) (* z (/ t x))))) (sqrt (/ 1 (- (/ y x) (* z (/ t x)))))))>)
1.683 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.683 * * * * [points]: Computing exacts for 16 points
1.683 * * * * [points]: Setting MPFR precision to 64
1.683 * * * * [points]: Setting MPFR precision to 320
1.684 * * * * [points]: Filtering points with unrepresentable outputs
1.684 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 15 / 16
1.684 * * * * [points]: Computing exacts for 4 points
1.684 * * * * [points]: Setting MPFR precision to 64
1.684 * * * * [points]: Setting MPFR precision to 320
1.684 * * * * [points]: Filtering points with unrepresentable outputs
1.684 * * * * [points]: Sampled 19 points with exact outputs
1.685 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.685 * * * * [points]: Computing exacts for 16 points
1.686 * * * * [points]: Setting MPFR precision to 64
1.686 * * * * [points]: Setting MPFR precision to 320
1.686 * * * * [points]: Filtering points with unrepresentable outputs
1.686 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 15 / 16
1.686 * * * * [points]: Computing exacts for 4 points
1.686 * * * * [points]: Setting MPFR precision to 64
1.686 * * * * [points]: Setting MPFR precision to 320
1.687 * * * * [points]: Filtering points with unrepresentable outputs
1.687 * * * * [points]: Sampled 19 points with exact outputs
1.688 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.688 * * * * [points]: Computing exacts for 16 points
1.688 * * * * [points]: Setting MPFR precision to 64
1.688 * * * * [points]: Setting MPFR precision to 320
1.689 * * * * [points]: Filtering points with unrepresentable outputs
1.689 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 15 / 16
1.689 * * * * [points]: Computing exacts for 4 points
1.689 * * * * [points]: Setting MPFR precision to 64
1.689 * * * * [points]: Setting MPFR precision to 320
1.689 * * * * [points]: Filtering points with unrepresentable outputs
1.689 * * * * [points]: Sampled 19 points with exact outputs
1.690 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.690 * * * * [points]: Computing exacts for 16 points
1.690 * * * * [points]: Setting MPFR precision to 64
1.691 * * * * [points]: Setting MPFR precision to 320
1.691 * * * * [points]: Filtering points with unrepresentable outputs
1.691 * * * * [points]: Sampled 16 points with exact outputs
1.692 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.693 * * * * [points]: Computing exacts for 16 points
1.693 * * * * [points]: Setting MPFR precision to 64
1.693 * * * * [points]: Setting MPFR precision to 320
1.693 * * * * [points]: Filtering points with unrepresentable outputs
1.693 * * * * [points]: Sampled 16 points with exact outputs
1.694 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.695 * * * * [points]: Computing exacts for 16 points
1.695 * * * * [points]: Setting MPFR precision to 64
1.695 * * * * [points]: Setting MPFR precision to 320
1.695 * * * * [points]: Filtering points with unrepresentable outputs
1.695 * * * * [points]: Sampled 16 points with exact outputs
1.696 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.696 * * * * [points]: Computing exacts for 16 points
1.697 * * * * [points]: Setting MPFR precision to 64
1.697 * * * * [points]: Setting MPFR precision to 320
1.697 * * * * [points]: Filtering points with unrepresentable outputs
1.697 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 15 / 16
1.697 * * * * [points]: Computing exacts for 4 points
1.697 * * * * [points]: Setting MPFR precision to 64
1.697 * * * * [points]: Setting MPFR precision to 320
1.698 * * * * [points]: Filtering points with unrepresentable outputs
1.698 * * * * [points]: Sampled 19 points with exact outputs
1.699 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.699 * * * * [points]: Computing exacts for 16 points
1.699 * * * * [points]: Setting MPFR precision to 64
1.699 * * * * [points]: Setting MPFR precision to 320
1.699 * * * * [points]: Filtering points with unrepresentable outputs
1.700 * * * * [points]: Sampled 16 points with exact outputs
1.701 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.701 * * * * [points]: Computing exacts for 16 points
1.701 * * * * [points]: Setting MPFR precision to 64
1.701 * * * * [points]: Setting MPFR precision to 320
1.701 * * * * [points]: Filtering points with unrepresentable outputs
1.702 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 13 / 16
1.702 * * * * [points]: Computing exacts for 4 points
1.702 * * * * [points]: Setting MPFR precision to 64
1.702 * * * * [points]: Setting MPFR precision to 320
1.702 * * * * [points]: Filtering points with unrepresentable outputs
1.702 * * * * [points]: Sampled 17 points with exact outputs
1.703 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.703 * * * * [points]: Computing exacts for 16 points
1.703 * * * * [points]: Setting MPFR precision to 64
1.704 * * * * [points]: Setting MPFR precision to 320
1.704 * * * * [points]: Filtering points with unrepresentable outputs
1.704 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 15 / 16
1.704 * * * * [points]: Computing exacts for 4 points
1.704 * * * * [points]: Setting MPFR precision to 64
1.704 * * * * [points]: Setting MPFR precision to 320
1.704 * * * * [points]: Filtering points with unrepresentable outputs
1.704 * * * * [points]: Sampled 19 points with exact outputs
1.705 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.706 * * * * [points]: Computing exacts for 16 points
1.706 * * * * [points]: Setting MPFR precision to 64
1.706 * * * * [points]: Setting MPFR precision to 320
1.706 * * * * [points]: Filtering points with unrepresentable outputs
1.706 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 15 / 16
1.706 * * * * [points]: Computing exacts for 4 points
1.706 * * * * [points]: Setting MPFR precision to 64
1.707 * * * * [points]: Setting MPFR precision to 320
1.707 * * * * [points]: Filtering points with unrepresentable outputs
1.707 * * * * [points]: Sampled 19 points with exact outputs
1.708 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.708 * * * * [points]: Computing exacts for 16 points
1.708 * * * * [points]: Setting MPFR precision to 64
1.708 * * * * [points]: Setting MPFR precision to 320
1.709 * * * * [points]: Filtering points with unrepresentable outputs
1.709 * * * * [points]: Sampled 16 points with exact outputs
1.711 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.711 * * * * [points]: Computing exacts for 16 points
1.712 * * * * [points]: Setting MPFR precision to 64
1.712 * * * * [points]: Setting MPFR precision to 320
1.712 * * * * [points]: Filtering points with unrepresentable outputs
1.712 * * * * [points]: Sampled 16 points with exact outputs
1.713 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.713 * * * * [points]: Computing exacts for 16 points
1.714 * * * * [points]: Setting MPFR precision to 64
1.714 * * * * [points]: Setting MPFR precision to 320
1.714 * * * * [points]: Filtering points with unrepresentable outputs
1.714 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 15 / 16
1.714 * * * * [points]: Computing exacts for 4 points
1.714 * * * * [points]: Setting MPFR precision to 64
1.714 * * * * [points]: Setting MPFR precision to 320
1.715 * * * * [points]: Filtering points with unrepresentable outputs
1.715 * * * * [points]: Sampled 19 points with exact outputs
1.716 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.716 * * * * [points]: Computing exacts for 16 points
1.716 * * * * [points]: Setting MPFR precision to 64
1.716 * * * * [points]: Setting MPFR precision to 320
1.716 * * * * [points]: Filtering points with unrepresentable outputs
1.717 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 15 / 16
1.717 * * * * [points]: Computing exacts for 4 points
1.717 * * * * [points]: Setting MPFR precision to 64
1.717 * * * * [points]: Setting MPFR precision to 320
1.717 * * * * [points]: Filtering points with unrepresentable outputs
1.717 * * * * [points]: Sampled 19 points with exact outputs
1.718 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.718 * * * * [points]: Computing exacts for 16 points
1.718 * * * * [points]: Setting MPFR precision to 64
1.718 * * * * [points]: Setting MPFR precision to 320
1.719 * * * * [points]: Filtering points with unrepresentable outputs
1.719 * * * * [points]: Sampled 16 points with exact outputs
1.720 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.720 * * * * [points]: Computing exacts for 16 points
1.720 * * * * [points]: Setting MPFR precision to 64
1.720 * * * * [points]: Setting MPFR precision to 320
1.721 * * * * [points]: Filtering points with unrepresentable outputs
1.721 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 14 / 16
1.721 * * * * [points]: Computing exacts for 4 points
1.721 * * * * [points]: Setting MPFR precision to 64
1.721 * * * * [points]: Setting MPFR precision to 320
1.721 * * * * [points]: Filtering points with unrepresentable outputs
1.721 * * * * [points]: Sampled 17 points with exact outputs
1.722 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.722 * * * * [points]: Computing exacts for 16 points
1.723 * * * * [points]: Setting MPFR precision to 64
1.723 * * * * [points]: Setting MPFR precision to 320
1.723 * * * * [points]: Filtering points with unrepresentable outputs
1.723 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 13 / 16
1.723 * * * * [points]: Computing exacts for 4 points
1.723 * * * * [points]: Setting MPFR precision to 64
1.723 * * * * [points]: Setting MPFR precision to 320
1.724 * * * * [points]: Filtering points with unrepresentable outputs
1.724 * * * * [points]: Sampled 17 points with exact outputs
1.725 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.725 * * * * [points]: Computing exacts for 16 points
1.725 * * * * [points]: Setting MPFR precision to 64
1.725 * * * * [points]: Setting MPFR precision to 320
1.726 * * * * [points]: Filtering points with unrepresentable outputs
1.726 * * * * [points]: Sampled 16 points with exact outputs
1.727 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.727 * * * * [points]: Computing exacts for 16 points
1.727 * * * * [points]: Setting MPFR precision to 64
1.727 * * * * [points]: Setting MPFR precision to 320
1.727 * * * * [points]: Filtering points with unrepresentable outputs
1.728 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 12 / 16
1.728 * * * * [points]: Computing exacts for 4 points
1.728 * * * * [points]: Setting MPFR precision to 64
1.728 * * * * [points]: Setting MPFR precision to 320
1.728 * * * * [points]: Filtering points with unrepresentable outputs
1.728 * * * * [points]: Sampled 16 points with exact outputs
1.729 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.729 * * * * [points]: Computing exacts for 16 points
1.729 * * * * [points]: Setting MPFR precision to 64
1.730 * * * * [points]: Setting MPFR precision to 320
1.730 * * * * [points]: Filtering points with unrepresentable outputs
1.730 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 15 / 16
1.730 * * * * [points]: Computing exacts for 4 points
1.730 * * * * [points]: Setting MPFR precision to 64
1.730 * * * * [points]: Setting MPFR precision to 320
1.730 * * * * [points]: Filtering points with unrepresentable outputs
1.730 * * * * [points]: Sampled 19 points with exact outputs
1.731 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.732 * * * * [points]: Computing exacts for 16 points
1.732 * * * * [points]: Setting MPFR precision to 64
1.732 * * * * [points]: Setting MPFR precision to 320
1.732 * * * * [points]: Filtering points with unrepresentable outputs
1.732 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 15 / 16
1.732 * * * * [points]: Computing exacts for 4 points
1.732 * * * * [points]: Setting MPFR precision to 64
1.732 * * * * [points]: Setting MPFR precision to 320
1.733 * * * * [points]: Filtering points with unrepresentable outputs
1.733 * * * * [points]: Sampled 19 points with exact outputs
1.734 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.734 * * * * [points]: Computing exacts for 16 points
1.734 * * * * [points]: Setting MPFR precision to 64
1.734 * * * * [points]: Setting MPFR precision to 320
1.735 * * * * [points]: Filtering points with unrepresentable outputs
1.735 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 14 / 16
1.735 * * * * [points]: Computing exacts for 4 points
1.735 * * * * [points]: Setting MPFR precision to 64
1.735 * * * * [points]: Setting MPFR precision to 320
1.735 * * * * [points]: Filtering points with unrepresentable outputs
1.735 * * * * [points]: Sampled 18 points with exact outputs
1.736 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.736 * * * * [points]: Computing exacts for 16 points
1.736 * * * * [points]: Setting MPFR precision to 64
1.737 * * * * [points]: Setting MPFR precision to 320
1.737 * * * * [points]: Filtering points with unrepresentable outputs
1.737 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 13 / 16
1.737 * * * * [points]: Computing exacts for 4 points
1.737 * * * * [points]: Setting MPFR precision to 64
1.737 * * * * [points]: Setting MPFR precision to 320
1.737 * * * * [points]: Filtering points with unrepresentable outputs
1.737 * * * * [points]: Sampled 17 points with exact outputs
1.738 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
1.739 * * * * [points]: Computing exacts for 16 points
1.739 * * * * [points]: Setting MPFR precision to 64
1.739 * * * * [points]: Setting MPFR precision to 320
1.739 * * * * [points]: Filtering points with unrepresentable outputs
1.739 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 13 / 16
1.739 * * * * [points]: Computing exacts for 4 points
1.739 * * * * [points]: Setting MPFR precision to 64
1.739 * * * * [points]: Setting MPFR precision to 320
1.740 * * * * [points]: Filtering points with unrepresentable outputs
1.740 * * * * [points]: Sampled 16 points with exact outputs
1.741 * [regimes]: Found splitpoints: (#s(sp 3 x -6.232537892112458e+57) #s(sp 6 x 1.882639350660571e+92) #s(sp 3 x 8.945240243223159e+213) #s(sp 6 x +nan.0)) , with alts (#<alt (λ (x y z t) (/ (sqrt x) (/ (- y (* z t)) (sqrt x))))> #<alt (λ (x y z t) (* x (cbrt (/ 1 (pow (- y (* z t)) 3)))))> #<alt (λ (x y z t) (* x (/ 1 (- y (* z t)))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (* z (* (cbrt t) (/ (cbrt t) (* (cbrt x) (cbrt x))))) (/ (cbrt t) (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* (/ z (* (cbrt x) (cbrt x))) (/ t (cbrt x))))))> #<alt (λ (x y z t) (/ 1 (- (/ y x) (* z (/ t x)))))> #<alt (λ (x y z t) (/ x (- y (* z t))))> #<alt (λ (x y z t) (* (sqrt (/ 1 (- (/ y x) (* z (/ t x))))) (sqrt (/ 1 (- (/ y x) (* z (/ t x)))))))>)
1.741 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= x -6.232537892112458e+57) (/ 1 (- (/ y x) (* (* z (* (cbrt t) (/ (cbrt t) (* (cbrt x) (cbrt x))))) (/ (cbrt t) (cbrt x))))) (if (<= x 1.882639350660571e+92) (/ x (- y (* z t))) (if (<= x 8.945240243223159e+213) (/ 1 (- (/ y x) (* (* z (* (cbrt t) (/ (cbrt t) (* (cbrt x) (cbrt x))))) (/ (cbrt t) (cbrt x))))) (/ x (- y (* z t))))))
1.743 * * [simplify]: iteration  0 :  120  enodes  (cost  45 )
1.743 * * [simplify]: iteration  1 :  120  enodes  (cost  45 )
1.743 * [simplify]: Simplified to:
   (if (or (<= x -6.232537892112458e+57) (and (not (<= x 1.882639350660571e+92)) (<= x 8.945240243223159e+213))) (/ 1 (- (/ y x) (* (* z (* (cbrt t) (/ (cbrt t) (* (cbrt x) (cbrt x))))) (/ (cbrt t) (cbrt x))))) (/ x (- y (* z t))))
1.743 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.869 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.869 * * * * [points]: Setting MPFR precision to 64
1.870 * * * * [points]: Setting MPFR precision to 320
1.870 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.870 * * * * [points]: Setting MPFR precision to 64
1.870 * * * * [points]: Setting MPFR precision to 320
1.871 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.871 * * * * [points]: Setting MPFR precision to 64
1.872 * * * * [points]: Setting MPFR precision to 320
1.873 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.873 * * * * [points]: Setting MPFR precision to 64
1.875 * * * * [points]: Setting MPFR precision to 320
1.877 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.878 * * * * [points]: Setting MPFR precision to 64
1.882 * * * * [points]: Setting MPFR precision to 320
1.886 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.886 * * * * [points]: Setting MPFR precision to 64
1.895 * * * * [points]: Setting MPFR precision to 320
1.903 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.904 * * * * [points]: Setting MPFR precision to 64
1.922 * * * * [points]: Setting MPFR precision to 320
1.939 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.940 * * * * [points]: Setting MPFR precision to 64
1.972 * * * * [points]: Setting MPFR precision to 320
2.009 * * * * [points]: Computing exacts for 8000 points
2.009 * * * * [points]: Setting MPFR precision to 64
2.140 * * * * [points]: Setting MPFR precision to 320
2.277 * * * * [points]: Filtering points with unrepresentable outputs
2.292 * * * * [points]: Sampling 349 additional inputs, on iter 1 have 7651 / 8000
2.297 * * * * [points]: Computing exacts on every 21 of 349 points to ramp up precision
2.298 * * * * [points]: Setting MPFR precision to 64
2.298 * * * * [points]: Setting MPFR precision to 320
2.298 * * * * [points]: Computing exacts on every 10 of 349 points to ramp up precision
2.298 * * * * [points]: Setting MPFR precision to 64
2.299 * * * * [points]: Setting MPFR precision to 320
2.299 * * * * [points]: Computing exacts on every 5 of 349 points to ramp up precision
2.299 * * * * [points]: Setting MPFR precision to 64
2.300 * * * * [points]: Setting MPFR precision to 320
2.301 * * * * [points]: Computing exacts on every 2 of 349 points to ramp up precision
2.301 * * * * [points]: Setting MPFR precision to 64
2.303 * * * * [points]: Setting MPFR precision to 320
2.305 * * * * [points]: Computing exacts for 349 points
2.306 * * * * [points]: Setting MPFR precision to 64
2.314 * * * * [points]: Setting MPFR precision to 320
2.320 * * * * [points]: Filtering points with unrepresentable outputs
2.321 * * * * [points]: Sampling 17 additional inputs, on iter 2 have 7983 / 8000
2.321 * * * * [points]: Computing exacts for 17 points
2.321 * * * * [points]: Setting MPFR precision to 64
2.321 * * * * [points]: Setting MPFR precision to 320
2.322 * * * * [points]: Filtering points with unrepresentable outputs
2.322 * * * * [points]: Sampled 8000 points with exact outputs
3.528 * [regime-testing]: End program error score: 1.2662463259906969
3.641 * [regime-testing]: Target error score: 1.8323702038234926