22.193 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
1.373 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1.381 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1.382 * * * * [points]: Setting MPFR precision to 64
1.382 * * * * [points]: Setting MPFR precision to 320
1.383 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1.383 * * * * [points]: Setting MPFR precision to 64
1.384 * * * * [points]: Setting MPFR precision to 320
1.385 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1.385 * * * * [points]: Setting MPFR precision to 64
1.386 * * * * [points]: Setting MPFR precision to 320
1.388 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1.388 * * * * [points]: Setting MPFR precision to 64
1.390 * * * * [points]: Setting MPFR precision to 320
1.393 * * * * [points]: Computing exacts for 256 points
1.393 * * * * [points]: Setting MPFR precision to 64
1.401 * * * * [points]: Setting MPFR precision to 320
1.409 * * * * [points]: Filtering points with unrepresentable outputs
1.409 * * * * [points]: Sampling 60 additional inputs, on iter 1 have 196 / 256
1.410 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
1.410 * * * * [points]: Setting MPFR precision to 64
1.411 * * * * [points]: Setting MPFR precision to 320
1.411 * * * * [points]: Computing exacts for 60 points
1.411 * * * * [points]: Setting MPFR precision to 64
1.413 * * * * [points]: Setting MPFR precision to 320
1.415 * * * * [points]: Filtering points with unrepresentable outputs
1.415 * * * * [points]: Sampling 10 additional inputs, on iter 2 have 246 / 256
1.416 * * * * [points]: Computing exacts for 10 points
1.416 * * * * [points]: Setting MPFR precision to 64
1.416 * * * * [points]: Setting MPFR precision to 320
1.416 * * * * [points]: Filtering points with unrepresentable outputs
1.416 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 255 / 256
1.416 * * * * [points]: Computing exacts for 4 points
1.417 * * * * [points]: Setting MPFR precision to 64
1.417 * * * * [points]: Setting MPFR precision to 320
1.417 * * * * [points]: Filtering points with unrepresentable outputs
1.417 * * * * [points]: Sampled 258 points with exact outputs
1.430 * * * [progress]: [2/2] Setting up program.
1.434 * [progress]: [Phase 2 of 3] Improving.
1.435 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)))
1.485 * * [simplify]: iteration  0 :  4924  enodes  (cost  15 )
1.485 * * [simplify]: iteration  1 :  4924  enodes  (cost  15 )
1.486 * [simplify]: Simplified to:
   (+ (/ x y) (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0))
1.491 * * [progress]: iteration 1 / 4
1.491 * * * [progress]: picking best candidate
1.499 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (/ x y) (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0)))>
1.499 * * * [progress]: localizing error
1.511 * * * [progress]: generating rewritten candidates
1.511 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1)
1.525 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
1.539 * * * [progress]: generating series expansions
1.539 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1)
1.539 * [approximate]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 z) 1.0) t)) in (t z) around 0
1.539 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 z) 1.0) t)) in z
1.539 * [taylor]: Taking taylor expansion of 2.0 in z
1.539 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) t) in z
1.539 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
1.539 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.539 * [taylor]: Taking taylor expansion of z in z
1.539 * [taylor]: Taking taylor expansion of 1.0 in z
1.539 * [taylor]: Taking taylor expansion of t in z
1.539 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 z) 1.0) t)) in t
1.539 * [taylor]: Taking taylor expansion of 2.0 in t
1.539 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) t) in t
1.539 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in t
1.539 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.539 * [taylor]: Taking taylor expansion of z in t
1.539 * [taylor]: Taking taylor expansion of 1.0 in t
1.539 * [taylor]: Taking taylor expansion of t in t
1.539 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 z) 1.0) t)) in t
1.539 * [taylor]: Taking taylor expansion of 2.0 in t
1.540 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) t) in t
1.540 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in t
1.540 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.540 * [taylor]: Taking taylor expansion of z in t
1.540 * [taylor]: Taking taylor expansion of 1.0 in t
1.540 * [taylor]: Taking taylor expansion of t in t
1.540 * [taylor]: Taking taylor expansion of (* 2.0 (+ (/ 1 z) 1.0)) in z
1.540 * [taylor]: Taking taylor expansion of 2.0 in z
1.540 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
1.540 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.540 * [taylor]: Taking taylor expansion of z in z
1.540 * [taylor]: Taking taylor expansion of 1.0 in z
1.540 * [taylor]: Taking taylor expansion of 0 in z
1.540 * [taylor]: Taking taylor expansion of 0 in z
1.541 * [taylor]: Taking taylor expansion of 0 in z
1.541 * [taylor]: Taking taylor expansion of 0 in z
1.541 * [approximate]: Taking taylor expansion of (* 2.0 (* t (+ z 1.0))) in (t z) around 0
1.541 * [taylor]: Taking taylor expansion of (* 2.0 (* t (+ z 1.0))) in z
1.541 * [taylor]: Taking taylor expansion of 2.0 in z
1.541 * [taylor]: Taking taylor expansion of (* t (+ z 1.0)) in z
1.541 * [taylor]: Taking taylor expansion of t in z
1.541 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
1.541 * [taylor]: Taking taylor expansion of z in z
1.541 * [taylor]: Taking taylor expansion of 1.0 in z
1.541 * [taylor]: Taking taylor expansion of (* 2.0 (* t (+ z 1.0))) in t
1.541 * [taylor]: Taking taylor expansion of 2.0 in t
1.541 * [taylor]: Taking taylor expansion of (* t (+ z 1.0)) in t
1.541 * [taylor]: Taking taylor expansion of t in t
1.542 * [taylor]: Taking taylor expansion of (+ z 1.0) in t
1.542 * [taylor]: Taking taylor expansion of z in t
1.542 * [taylor]: Taking taylor expansion of 1.0 in t
1.542 * [taylor]: Taking taylor expansion of (* 2.0 (* t (+ z 1.0))) in t
1.542 * [taylor]: Taking taylor expansion of 2.0 in t
1.542 * [taylor]: Taking taylor expansion of (* t (+ z 1.0)) in t
1.542 * [taylor]: Taking taylor expansion of t in t
1.542 * [taylor]: Taking taylor expansion of (+ z 1.0) in t
1.542 * [taylor]: Taking taylor expansion of z in t
1.542 * [taylor]: Taking taylor expansion of 1.0 in t
1.542 * [taylor]: Taking taylor expansion of 0 in z
1.542 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
1.542 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.542 * [taylor]: Taking taylor expansion of 2.0 in z
1.542 * [taylor]: Taking taylor expansion of z in z
1.542 * [taylor]: Taking taylor expansion of 2.0 in z
1.542 * [taylor]: Taking taylor expansion of 0 in z
1.542 * [taylor]: Taking taylor expansion of 0 in z
1.542 * [taylor]: Taking taylor expansion of 0 in z
1.543 * [approximate]: Taking taylor expansion of (* -2.0 (* t (- 1.0 z))) in (t z) around 0
1.543 * [taylor]: Taking taylor expansion of (* -2.0 (* t (- 1.0 z))) in z
1.543 * [taylor]: Taking taylor expansion of -2.0 in z
1.543 * [taylor]: Taking taylor expansion of (* t (- 1.0 z)) in z
1.543 * [taylor]: Taking taylor expansion of t in z
1.543 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
1.543 * [taylor]: Taking taylor expansion of 1.0 in z
1.543 * [taylor]: Taking taylor expansion of z in z
1.543 * [taylor]: Taking taylor expansion of (* -2.0 (* t (- 1.0 z))) in t
1.543 * [taylor]: Taking taylor expansion of -2.0 in t
1.543 * [taylor]: Taking taylor expansion of (* t (- 1.0 z)) in t
1.543 * [taylor]: Taking taylor expansion of t in t
1.543 * [taylor]: Taking taylor expansion of (- 1.0 z) in t
1.543 * [taylor]: Taking taylor expansion of 1.0 in t
1.543 * [taylor]: Taking taylor expansion of z in t
1.543 * [taylor]: Taking taylor expansion of (* -2.0 (* t (- 1.0 z))) in t
1.543 * [taylor]: Taking taylor expansion of -2.0 in t
1.543 * [taylor]: Taking taylor expansion of (* t (- 1.0 z)) in t
1.543 * [taylor]: Taking taylor expansion of t in t
1.543 * [taylor]: Taking taylor expansion of (- 1.0 z) in t
1.543 * [taylor]: Taking taylor expansion of 1.0 in t
1.543 * [taylor]: Taking taylor expansion of z in t
1.543 * [taylor]: Taking taylor expansion of 0 in z
1.543 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z
1.543 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.543 * [taylor]: Taking taylor expansion of 2.0 in z
1.543 * [taylor]: Taking taylor expansion of z in z
1.543 * [taylor]: Taking taylor expansion of 2.0 in z
1.543 * [taylor]: Taking taylor expansion of 0 in z
1.544 * [taylor]: Taking taylor expansion of 0 in z
1.544 * [taylor]: Taking taylor expansion of 0 in z
1.544 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
1.544 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in (t z) around 0
1.544 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in z
1.544 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in z
1.544 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z
1.544 * [taylor]: Taking taylor expansion of 2.0 in z
1.544 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.544 * [taylor]: Taking taylor expansion of (* t z) in z
1.544 * [taylor]: Taking taylor expansion of t in z
1.544 * [taylor]: Taking taylor expansion of z in z
1.544 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z
1.544 * [taylor]: Taking taylor expansion of 2.0 in z
1.544 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.544 * [taylor]: Taking taylor expansion of t in z
1.544 * [taylor]: Taking taylor expansion of 2.0 in z
1.544 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in t
1.544 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t
1.545 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
1.545 * [taylor]: Taking taylor expansion of 2.0 in t
1.545 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.545 * [taylor]: Taking taylor expansion of (* t z) in t
1.545 * [taylor]: Taking taylor expansion of t in t
1.545 * [taylor]: Taking taylor expansion of z in t
1.545 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
1.545 * [taylor]: Taking taylor expansion of 2.0 in t
1.545 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.545 * [taylor]: Taking taylor expansion of t in t
1.545 * [taylor]: Taking taylor expansion of 2.0 in t
1.545 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in t
1.545 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t
1.545 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
1.545 * [taylor]: Taking taylor expansion of 2.0 in t
1.545 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.545 * [taylor]: Taking taylor expansion of (* t z) in t
1.545 * [taylor]: Taking taylor expansion of t in t
1.545 * [taylor]: Taking taylor expansion of z in t
1.545 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
1.545 * [taylor]: Taking taylor expansion of 2.0 in t
1.545 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.545 * [taylor]: Taking taylor expansion of t in t
1.545 * [taylor]: Taking taylor expansion of 2.0 in t
1.545 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z
1.545 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
1.545 * [taylor]: Taking taylor expansion of 2.0 in z
1.545 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.545 * [taylor]: Taking taylor expansion of z in z
1.546 * [taylor]: Taking taylor expansion of 2.0 in z
1.546 * [taylor]: Taking taylor expansion of (neg 2.0) in z
1.546 * [taylor]: Taking taylor expansion of 2.0 in z
1.546 * [taylor]: Taking taylor expansion of 0 in z
1.546 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in (t z) around 0
1.546 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in z
1.546 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in z
1.546 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.546 * [taylor]: Taking taylor expansion of 2.0 in z
1.546 * [taylor]: Taking taylor expansion of (* t z) in z
1.546 * [taylor]: Taking taylor expansion of t in z
1.546 * [taylor]: Taking taylor expansion of z in z
1.546 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
1.546 * [taylor]: Taking taylor expansion of 2.0 in z
1.546 * [taylor]: Taking taylor expansion of t in z
1.547 * [taylor]: Taking taylor expansion of 2.0 in z
1.547 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in t
1.547 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t
1.547 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.547 * [taylor]: Taking taylor expansion of 2.0 in t
1.547 * [taylor]: Taking taylor expansion of (* t z) in t
1.547 * [taylor]: Taking taylor expansion of t in t
1.547 * [taylor]: Taking taylor expansion of z in t
1.547 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.547 * [taylor]: Taking taylor expansion of 2.0 in t
1.547 * [taylor]: Taking taylor expansion of t in t
1.547 * [taylor]: Taking taylor expansion of 2.0 in t
1.547 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in t
1.547 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t
1.547 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.547 * [taylor]: Taking taylor expansion of 2.0 in t
1.547 * [taylor]: Taking taylor expansion of (* t z) in t
1.547 * [taylor]: Taking taylor expansion of t in t
1.547 * [taylor]: Taking taylor expansion of z in t
1.547 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.547 * [taylor]: Taking taylor expansion of 2.0 in t
1.547 * [taylor]: Taking taylor expansion of t in t
1.547 * [taylor]: Taking taylor expansion of 2.0 in t
1.547 * [taylor]: Taking taylor expansion of (neg 2.0) in z
1.547 * [taylor]: Taking taylor expansion of 2.0 in z
1.547 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
1.547 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.547 * [taylor]: Taking taylor expansion of 2.0 in z
1.547 * [taylor]: Taking taylor expansion of z in z
1.547 * [taylor]: Taking taylor expansion of 2.0 in z
1.547 * [taylor]: Taking taylor expansion of 0 in z
1.548 * [approximate]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in (t z) around 0
1.548 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in z
1.548 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.548 * [taylor]: Taking taylor expansion of 2.0 in z
1.548 * [taylor]: Taking taylor expansion of (* t z) in z
1.548 * [taylor]: Taking taylor expansion of t in z
1.548 * [taylor]: Taking taylor expansion of z in z
1.548 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in z
1.548 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
1.548 * [taylor]: Taking taylor expansion of 2.0 in z
1.548 * [taylor]: Taking taylor expansion of t in z
1.548 * [taylor]: Taking taylor expansion of 2.0 in z
1.548 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in t
1.548 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.548 * [taylor]: Taking taylor expansion of 2.0 in t
1.548 * [taylor]: Taking taylor expansion of (* t z) in t
1.548 * [taylor]: Taking taylor expansion of t in t
1.548 * [taylor]: Taking taylor expansion of z in t
1.548 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
1.548 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.548 * [taylor]: Taking taylor expansion of 2.0 in t
1.548 * [taylor]: Taking taylor expansion of t in t
1.548 * [taylor]: Taking taylor expansion of 2.0 in t
1.548 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in t
1.548 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.548 * [taylor]: Taking taylor expansion of 2.0 in t
1.548 * [taylor]: Taking taylor expansion of (* t z) in t
1.548 * [taylor]: Taking taylor expansion of t in t
1.548 * [taylor]: Taking taylor expansion of z in t
1.548 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
1.548 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.548 * [taylor]: Taking taylor expansion of 2.0 in t
1.548 * [taylor]: Taking taylor expansion of t in t
1.548 * [taylor]: Taking taylor expansion of 2.0 in t
1.548 * [taylor]: Taking taylor expansion of (neg 2.0) in z
1.548 * [taylor]: Taking taylor expansion of 2.0 in z
1.548 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z
1.548 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.548 * [taylor]: Taking taylor expansion of 2.0 in z
1.548 * [taylor]: Taking taylor expansion of z in z
1.548 * [taylor]: Taking taylor expansion of 2.0 in z
1.549 * [taylor]: Taking taylor expansion of 0 in z
1.549 * * * [progress]: simplifying candidates
1.550 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ 2.0 t) (+ (/ 1 z) 1.0))
  (+ (- (log 2.0) (log t)) (log (+ (/ 1 z) 1.0)))
  (+ (log (/ 2.0 t)) (log (+ (/ 1 z) 1.0)))
  (log (* (/ 2.0 t) (+ (/ 1 z) 1.0)))
  (exp (* (/ 2.0 t) (+ (/ 1 z) 1.0)))
  (* (/ (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ (/ 1 z) 1.0) (+ (/ 1 z) 1.0)) (+ (/ 1 z) 1.0)))
  (* (* (* (/ 2.0 t) (/ 2.0 t)) (/ 2.0 t)) (* (* (+ (/ 1 z) 1.0) (+ (/ 1 z) 1.0)) (+ (/ 1 z) 1.0)))
  (* (cbrt (* (/ 2.0 t) (+ (/ 1 z) 1.0))) (cbrt (* (/ 2.0 t) (+ (/ 1 z) 1.0))))
  (cbrt (* (/ 2.0 t) (+ (/ 1 z) 1.0)))
  (* (* (* (/ 2.0 t) (+ (/ 1 z) 1.0)) (* (/ 2.0 t) (+ (/ 1 z) 1.0))) (* (/ 2.0 t) (+ (/ 1 z) 1.0)))
  (sqrt (* (/ 2.0 t) (+ (/ 1 z) 1.0)))
  (sqrt (* (/ 2.0 t) (+ (/ 1 z) 1.0)))
  (* 2.0 (+ (pow (/ 1 z) 3) (pow 1.0 3)))
  (* t (+ (* (/ 1 z) (/ 1 z)) (- (* 1.0 1.0) (* (/ 1 z) 1.0))))
  (* 2.0 (- (* (/ 1 z) (/ 1 z)) (* 1.0 1.0)))
  (* t (- (/ 1 z) 1.0))
  (* (sqrt (/ 2.0 t)) (sqrt (+ (/ 1 z) 1.0)))
  (* (sqrt (/ 2.0 t)) (sqrt (+ (/ 1 z) 1.0)))
  (* (/ (sqrt 2.0) (sqrt t)) (sqrt (+ (/ 1 z) 1.0)))
  (* (/ (sqrt 2.0) (sqrt t)) (sqrt (+ (/ 1 z) 1.0)))
  (* (/ 2.0 t) (/ 1 z))
  (* (/ 2.0 t) 1.0)
  (* (/ 1 z) (/ 2.0 t))
  (* 1.0 (/ 2.0 t))
  (* (/ 2.0 t) (* (cbrt (+ (/ 1 z) 1.0)) (cbrt (+ (/ 1 z) 1.0))))
  (* (/ 2.0 t) (sqrt (+ (/ 1 z) 1.0)))
  (* (/ 2.0 t) 1)
  (* (/ 2.0 t) 1)
  (* (/ 2.0 t) 1)
  (* (cbrt (/ 2.0 t)) (+ (/ 1 z) 1.0))
  (* (sqrt (/ 2.0 t)) (+ (/ 1 z) 1.0))
  (* (/ (cbrt 2.0) (cbrt t)) (+ (/ 1 z) 1.0))
  (* (/ (cbrt 2.0) (sqrt t)) (+ (/ 1 z) 1.0))
  (* (/ (cbrt 2.0) t) (+ (/ 1 z) 1.0))
  (* (/ (sqrt 2.0) (cbrt t)) (+ (/ 1 z) 1.0))
  (* (/ (sqrt 2.0) (sqrt t)) (+ (/ 1 z) 1.0))
  (* (/ (sqrt 2.0) t) (+ (/ 1 z) 1.0))
  (* (/ 2.0 (cbrt t)) (+ (/ 1 z) 1.0))
  (* (/ 2.0 (sqrt t)) (+ (/ 1 z) 1.0))
  (* (/ 2.0 t) (+ (/ 1 z) 1.0))
  (* (/ 2.0 t) (+ (/ 1 z) 1.0))
  (* (/ 1 t) (+ (/ 1 z) 1.0))
  (* (/ 2.0 t) (+ (pow (/ 1 z) 3) (pow 1.0 3)))
  (* (/ 2.0 t) (- (* (/ 1 z) (/ 1 z)) (* 1.0 1.0)))
  (* 2.0 (+ (/ 1 z) 1.0))
  (/ (exp (* (/ 2.0 t) (+ (/ 1 z) 1.0))) (exp 2.0))
  (log (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0))
  (exp (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0))
  (* (cbrt (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0)) (cbrt (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0)))
  (cbrt (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0))
  (* (* (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0) (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0)) (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0))
  (sqrt (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0))
  (sqrt (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0))
  (- (pow (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 3) (pow 2.0 3))
  (+ (* (* (/ 2.0 t) (+ (/ 1 z) 1.0)) (* (/ 2.0 t) (+ (/ 1 z) 1.0))) (+ (* 2.0 2.0) (* (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0)))
  (neg 2.0)
  (- (* (* (/ 2.0 t) (+ (/ 1 z) 1.0)) (* (/ 2.0 t) (+ (/ 1 z) 1.0))) (* 2.0 2.0))
  (+ (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0)
  (- (* (/ 2.0 t) 1.0) 2.0)
  (- (* 1.0 (/ 2.0 t)) 2.0)
  (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t)))
  (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t)))
  (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0)
  (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0)
  (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0)
1.579 * * [simplify]: iteration  0 :  5083  enodes  (cost  699 )
1.582 * [simplify]: Simplified to:
   (* 2.0 (/ (+ (/ 1 z) 1.0) t))
  (log (* 2.0 (/ (+ (/ 1 z) 1.0) t)))
  (log (* 2.0 (/ (+ (/ 1 z) 1.0) t)))
  (log (* 2.0 (/ (+ (/ 1 z) 1.0) t)))
  (pow (exp 2.0) (/ (+ (/ 1 z) 1.0) t))
  (pow (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 3)
  (pow (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 3)
  (* (cbrt (* 2.0 (/ (+ (/ 1 z) 1.0) t))) (cbrt (* 2.0 (/ (+ (/ 1 z) 1.0) t))))
  (cbrt (* 2.0 (/ (+ (/ 1 z) 1.0) t)))
  (pow (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 3)
  (sqrt (* 2.0 (/ (+ (/ 1 z) 1.0) t)))
  (sqrt (* 2.0 (/ (+ (/ 1 z) 1.0) t)))
  (+ (/ 2.0 (pow z 3)) (* 2.0 (pow 1.0 3)))
  (+ (/ t (* z z)) (* t (- (* 1.0 1.0) (/ 1.0 z))))
  (- (/ 2.0 (* z z)) (* 2.0 (* 1.0 1.0)))
  (- (/ t z) (* t 1.0))
  (* (sqrt (/ 2.0 t)) (sqrt (+ (/ 1 z) 1.0)))
  (* (sqrt (/ 2.0 t)) (sqrt (+ (/ 1 z) 1.0)))
  (* (sqrt (+ (/ 1 z) 1.0)) (/ (sqrt 2.0) (sqrt t)))
  (* (sqrt (+ (/ 1 z) 1.0)) (/ (sqrt 2.0) (sqrt t)))
  (/ 2.0 (* t z))
  (* 2.0 (/ 1.0 t))
  (/ 2.0 (* t z))
  (* 2.0 (/ 1.0 t))
  (* 2.0 (/ (* (cbrt (+ (/ 1 z) 1.0)) (cbrt (+ (/ 1 z) 1.0))) t))
  (* 2.0 (/ (sqrt (+ (/ 1 z) 1.0)) t))
  (/ 2.0 t)
  (/ 2.0 t)
  (/ 2.0 t)
  (* (+ (/ 1 z) 1.0) (cbrt (/ 2.0 t)))
  (* (+ (/ 1 z) 1.0) (sqrt (/ 2.0 t)))
  (* (+ (/ 1 z) 1.0) (/ (cbrt 2.0) (cbrt t)))
  (* (+ (/ 1 z) 1.0) (/ (cbrt 2.0) (sqrt t)))
  (* (+ (/ 1 z) 1.0) (/ (cbrt 2.0) t))
  (* (+ (/ 1 z) 1.0) (/ (sqrt 2.0) (cbrt t)))
  (* (+ (/ 1 z) 1.0) (/ (sqrt 2.0) (sqrt t)))
  (* (+ (/ 1 z) 1.0) (/ (sqrt 2.0) t))
  (* (+ (/ 1 z) 1.0) (/ 2.0 (cbrt t)))
  (* (+ (/ 1 z) 1.0) (/ 2.0 (sqrt t)))
  (* 2.0 (/ (+ (/ 1 z) 1.0) t))
  (* 2.0 (/ (+ (/ 1 z) 1.0) t))
  (/ (+ (/ 1 z) 1.0) t)
  (* 2.0 (/ (+ (/ 1 (pow z 3)) (pow 1.0 3)) t))
  (* 2.0 (/ (- (/ 1 (* z z)) (* 1.0 1.0)) t))
  (+ (/ 2.0 z) (* 2.0 1.0))
  (pow (exp 2.0) (+ (/ (+ (/ 1 z) 1.0) t) -1))
  (log (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0))
  (pow (exp 2.0) (+ (/ (+ (/ 1 z) 1.0) t) -1))
  (* (cbrt (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0)) (cbrt (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0)))
  (cbrt (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0))
  (pow (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0) 3)
  (sqrt (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0))
  (sqrt (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0))
  (- (pow (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 3) (pow 2.0 3))
  (+ (* 2.0 2.0) (* (/ 2.0 t) (* (+ (/ 1 z) 1.0) (+ 2.0 (* 2.0 (/ (+ (/ 1 z) 1.0) t))))))
  (neg 2.0)
  (* 2.0 (- (/ (* (/ 2.0 t) (* (+ (/ 1 z) 1.0) (+ (/ 1 z) 1.0))) t) 2.0))
  (+ 2.0 (* 2.0 (/ (+ (/ 1 z) 1.0) t)))
  (- (* 2.0 (/ 1.0 t)) 2.0)
  (- (* 2.0 (/ 1.0 t)) 2.0)
  (+ (/ 2.0 t) (/ 2.0 (* t z)))
  (+ (/ 2.0 t) (/ 2.0 (* t z)))
  (+ (/ 2.0 t) (/ 2.0 (* t z)))
  (+ (/ 2.0 t) (- (/ 2.0 (* t z)) 2.0))
  (+ (/ 2.0 t) (- (/ 2.0 (* t z)) 2.0))
  (+ (/ 2.0 t) (- (/ 2.0 (* t z)) 2.0))
1.582 * * * [progress]: adding candidates to table
1.677 * * [progress]: iteration 2 / 4
1.677 * * * [progress]: picking best candidate
1.699 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (/ x y) (- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0)))>
1.699 * * * [progress]: localizing error
1.711 * * * [progress]: generating rewritten candidates
1.711 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 2)
1.715 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
1.724 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
1.738 * * * [progress]: generating series expansions
1.738 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 2)
1.738 * [approximate]: Taking taylor expansion of (/ 2.0 (* t z)) in (t z) around 0
1.738 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in z
1.738 * [taylor]: Taking taylor expansion of 2.0 in z
1.738 * [taylor]: Taking taylor expansion of (* t z) in z
1.738 * [taylor]: Taking taylor expansion of t in z
1.738 * [taylor]: Taking taylor expansion of z in z
1.738 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in t
1.738 * [taylor]: Taking taylor expansion of 2.0 in t
1.738 * [taylor]: Taking taylor expansion of (* t z) in t
1.738 * [taylor]: Taking taylor expansion of t in t
1.738 * [taylor]: Taking taylor expansion of z in t
1.738 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in t
1.738 * [taylor]: Taking taylor expansion of 2.0 in t
1.738 * [taylor]: Taking taylor expansion of (* t z) in t
1.738 * [taylor]: Taking taylor expansion of t in t
1.738 * [taylor]: Taking taylor expansion of z in t
1.738 * [taylor]: Taking taylor expansion of (/ 2.0 z) in z
1.738 * [taylor]: Taking taylor expansion of 2.0 in z
1.738 * [taylor]: Taking taylor expansion of z in z
1.739 * [taylor]: Taking taylor expansion of 0 in z
1.739 * [taylor]: Taking taylor expansion of 0 in z
1.739 * [taylor]: Taking taylor expansion of 0 in z
1.739 * [approximate]: Taking taylor expansion of (* 2.0 (* t z)) in (t z) around 0
1.739 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.739 * [taylor]: Taking taylor expansion of 2.0 in z
1.739 * [taylor]: Taking taylor expansion of (* t z) in z
1.739 * [taylor]: Taking taylor expansion of t in z
1.739 * [taylor]: Taking taylor expansion of z in z
1.739 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.739 * [taylor]: Taking taylor expansion of 2.0 in t
1.739 * [taylor]: Taking taylor expansion of (* t z) in t
1.739 * [taylor]: Taking taylor expansion of t in t
1.739 * [taylor]: Taking taylor expansion of z in t
1.739 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.739 * [taylor]: Taking taylor expansion of 2.0 in t
1.739 * [taylor]: Taking taylor expansion of (* t z) in t
1.739 * [taylor]: Taking taylor expansion of t in t
1.739 * [taylor]: Taking taylor expansion of z in t
1.739 * [taylor]: Taking taylor expansion of 0 in z
1.739 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.739 * [taylor]: Taking taylor expansion of 2.0 in z
1.739 * [taylor]: Taking taylor expansion of z in z
1.740 * [taylor]: Taking taylor expansion of 0 in z
1.740 * [taylor]: Taking taylor expansion of 0 in z
1.740 * [taylor]: Taking taylor expansion of 0 in z
1.740 * [approximate]: Taking taylor expansion of (* 2.0 (* t z)) in (t z) around 0
1.740 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.740 * [taylor]: Taking taylor expansion of 2.0 in z
1.740 * [taylor]: Taking taylor expansion of (* t z) in z
1.740 * [taylor]: Taking taylor expansion of t in z
1.740 * [taylor]: Taking taylor expansion of z in z
1.740 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.740 * [taylor]: Taking taylor expansion of 2.0 in t
1.740 * [taylor]: Taking taylor expansion of (* t z) in t
1.740 * [taylor]: Taking taylor expansion of t in t
1.740 * [taylor]: Taking taylor expansion of z in t
1.740 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.740 * [taylor]: Taking taylor expansion of 2.0 in t
1.740 * [taylor]: Taking taylor expansion of (* t z) in t
1.740 * [taylor]: Taking taylor expansion of t in t
1.740 * [taylor]: Taking taylor expansion of z in t
1.740 * [taylor]: Taking taylor expansion of 0 in z
1.740 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.740 * [taylor]: Taking taylor expansion of 2.0 in z
1.740 * [taylor]: Taking taylor expansion of z in z
1.741 * [taylor]: Taking taylor expansion of 0 in z
1.741 * [taylor]: Taking taylor expansion of 0 in z
1.743 * [taylor]: Taking taylor expansion of 0 in z
1.743 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
1.743 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in (t z) around 0
1.743 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in z
1.743 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z
1.743 * [taylor]: Taking taylor expansion of 2.0 in z
1.743 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.743 * [taylor]: Taking taylor expansion of (* t z) in z
1.743 * [taylor]: Taking taylor expansion of t in z
1.743 * [taylor]: Taking taylor expansion of z in z
1.743 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z
1.743 * [taylor]: Taking taylor expansion of 2.0 in z
1.743 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.743 * [taylor]: Taking taylor expansion of t in z
1.743 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t
1.743 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
1.743 * [taylor]: Taking taylor expansion of 2.0 in t
1.743 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.743 * [taylor]: Taking taylor expansion of (* t z) in t
1.743 * [taylor]: Taking taylor expansion of t in t
1.743 * [taylor]: Taking taylor expansion of z in t
1.743 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
1.743 * [taylor]: Taking taylor expansion of 2.0 in t
1.744 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.744 * [taylor]: Taking taylor expansion of t in t
1.744 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t
1.744 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
1.744 * [taylor]: Taking taylor expansion of 2.0 in t
1.744 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.744 * [taylor]: Taking taylor expansion of (* t z) in t
1.744 * [taylor]: Taking taylor expansion of t in t
1.744 * [taylor]: Taking taylor expansion of z in t
1.744 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
1.744 * [taylor]: Taking taylor expansion of 2.0 in t
1.744 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.744 * [taylor]: Taking taylor expansion of t in t
1.744 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z
1.744 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
1.744 * [taylor]: Taking taylor expansion of 2.0 in z
1.744 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.744 * [taylor]: Taking taylor expansion of z in z
1.744 * [taylor]: Taking taylor expansion of 2.0 in z
1.744 * [taylor]: Taking taylor expansion of 0 in z
1.744 * [taylor]: Taking taylor expansion of 0 in z
1.745 * [taylor]: Taking taylor expansion of 0 in z
1.745 * [taylor]: Taking taylor expansion of 0 in z
1.745 * [approximate]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in (t z) around 0
1.745 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in z
1.745 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.745 * [taylor]: Taking taylor expansion of 2.0 in z
1.745 * [taylor]: Taking taylor expansion of (* t z) in z
1.745 * [taylor]: Taking taylor expansion of t in z
1.746 * [taylor]: Taking taylor expansion of z in z
1.746 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
1.746 * [taylor]: Taking taylor expansion of 2.0 in z
1.746 * [taylor]: Taking taylor expansion of t in z
1.746 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t
1.746 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.746 * [taylor]: Taking taylor expansion of 2.0 in t
1.746 * [taylor]: Taking taylor expansion of (* t z) in t
1.746 * [taylor]: Taking taylor expansion of t in t
1.746 * [taylor]: Taking taylor expansion of z in t
1.746 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.746 * [taylor]: Taking taylor expansion of 2.0 in t
1.746 * [taylor]: Taking taylor expansion of t in t
1.746 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t
1.746 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.746 * [taylor]: Taking taylor expansion of 2.0 in t
1.746 * [taylor]: Taking taylor expansion of (* t z) in t
1.746 * [taylor]: Taking taylor expansion of t in t
1.746 * [taylor]: Taking taylor expansion of z in t
1.746 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.746 * [taylor]: Taking taylor expansion of 2.0 in t
1.746 * [taylor]: Taking taylor expansion of t in t
1.746 * [taylor]: Taking taylor expansion of 0 in z
1.746 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
1.746 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.746 * [taylor]: Taking taylor expansion of 2.0 in z
1.746 * [taylor]: Taking taylor expansion of z in z
1.746 * [taylor]: Taking taylor expansion of 2.0 in z
1.746 * [taylor]: Taking taylor expansion of 0 in z
1.746 * [taylor]: Taking taylor expansion of 0 in z
1.747 * [taylor]: Taking taylor expansion of 0 in z
1.747 * [approximate]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in (t z) around 0
1.747 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in z
1.747 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.747 * [taylor]: Taking taylor expansion of 2.0 in z
1.747 * [taylor]: Taking taylor expansion of (* t z) in z
1.747 * [taylor]: Taking taylor expansion of t in z
1.747 * [taylor]: Taking taylor expansion of z in z
1.747 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
1.747 * [taylor]: Taking taylor expansion of 2.0 in z
1.747 * [taylor]: Taking taylor expansion of t in z
1.747 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in t
1.747 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.747 * [taylor]: Taking taylor expansion of 2.0 in t
1.747 * [taylor]: Taking taylor expansion of (* t z) in t
1.747 * [taylor]: Taking taylor expansion of t in t
1.747 * [taylor]: Taking taylor expansion of z in t
1.747 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.747 * [taylor]: Taking taylor expansion of 2.0 in t
1.747 * [taylor]: Taking taylor expansion of t in t
1.747 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in t
1.747 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.747 * [taylor]: Taking taylor expansion of 2.0 in t
1.747 * [taylor]: Taking taylor expansion of (* t z) in t
1.747 * [taylor]: Taking taylor expansion of t in t
1.747 * [taylor]: Taking taylor expansion of z in t
1.747 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.747 * [taylor]: Taking taylor expansion of 2.0 in t
1.747 * [taylor]: Taking taylor expansion of t in t
1.747 * [taylor]: Taking taylor expansion of 0 in z
1.747 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z
1.748 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.748 * [taylor]: Taking taylor expansion of 2.0 in z
1.748 * [taylor]: Taking taylor expansion of z in z
1.748 * [taylor]: Taking taylor expansion of 2.0 in z
1.748 * [taylor]: Taking taylor expansion of 0 in z
1.748 * [taylor]: Taking taylor expansion of 0 in z
1.748 * [taylor]: Taking taylor expansion of 0 in z
1.748 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
1.748 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in (t z) around 0
1.748 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in z
1.748 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in z
1.748 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z
1.748 * [taylor]: Taking taylor expansion of 2.0 in z
1.749 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.749 * [taylor]: Taking taylor expansion of (* t z) in z
1.749 * [taylor]: Taking taylor expansion of t in z
1.749 * [taylor]: Taking taylor expansion of z in z
1.749 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z
1.749 * [taylor]: Taking taylor expansion of 2.0 in z
1.749 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.749 * [taylor]: Taking taylor expansion of t in z
1.749 * [taylor]: Taking taylor expansion of 2.0 in z
1.749 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in t
1.749 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t
1.749 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
1.749 * [taylor]: Taking taylor expansion of 2.0 in t
1.749 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.749 * [taylor]: Taking taylor expansion of (* t z) in t
1.749 * [taylor]: Taking taylor expansion of t in t
1.749 * [taylor]: Taking taylor expansion of z in t
1.749 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
1.749 * [taylor]: Taking taylor expansion of 2.0 in t
1.749 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.749 * [taylor]: Taking taylor expansion of t in t
1.749 * [taylor]: Taking taylor expansion of 2.0 in t
1.749 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in t
1.749 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t
1.749 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
1.749 * [taylor]: Taking taylor expansion of 2.0 in t
1.749 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.749 * [taylor]: Taking taylor expansion of (* t z) in t
1.749 * [taylor]: Taking taylor expansion of t in t
1.749 * [taylor]: Taking taylor expansion of z in t
1.749 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
1.749 * [taylor]: Taking taylor expansion of 2.0 in t
1.749 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.749 * [taylor]: Taking taylor expansion of t in t
1.749 * [taylor]: Taking taylor expansion of 2.0 in t
1.749 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z
1.749 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
1.749 * [taylor]: Taking taylor expansion of 2.0 in z
1.749 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.749 * [taylor]: Taking taylor expansion of z in z
1.749 * [taylor]: Taking taylor expansion of 2.0 in z
1.750 * [taylor]: Taking taylor expansion of (neg 2.0) in z
1.750 * [taylor]: Taking taylor expansion of 2.0 in z
1.750 * [taylor]: Taking taylor expansion of 0 in z
1.750 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in (t z) around 0
1.751 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in z
1.751 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in z
1.751 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.751 * [taylor]: Taking taylor expansion of 2.0 in z
1.751 * [taylor]: Taking taylor expansion of (* t z) in z
1.751 * [taylor]: Taking taylor expansion of t in z
1.751 * [taylor]: Taking taylor expansion of z in z
1.751 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
1.751 * [taylor]: Taking taylor expansion of 2.0 in z
1.751 * [taylor]: Taking taylor expansion of t in z
1.751 * [taylor]: Taking taylor expansion of 2.0 in z
1.751 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in t
1.751 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t
1.751 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.751 * [taylor]: Taking taylor expansion of 2.0 in t
1.751 * [taylor]: Taking taylor expansion of (* t z) in t
1.751 * [taylor]: Taking taylor expansion of t in t
1.751 * [taylor]: Taking taylor expansion of z in t
1.751 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.751 * [taylor]: Taking taylor expansion of 2.0 in t
1.751 * [taylor]: Taking taylor expansion of t in t
1.751 * [taylor]: Taking taylor expansion of 2.0 in t
1.751 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in t
1.751 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t
1.751 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.751 * [taylor]: Taking taylor expansion of 2.0 in t
1.751 * [taylor]: Taking taylor expansion of (* t z) in t
1.751 * [taylor]: Taking taylor expansion of t in t
1.751 * [taylor]: Taking taylor expansion of z in t
1.751 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.751 * [taylor]: Taking taylor expansion of 2.0 in t
1.751 * [taylor]: Taking taylor expansion of t in t
1.751 * [taylor]: Taking taylor expansion of 2.0 in t
1.751 * [taylor]: Taking taylor expansion of (neg 2.0) in z
1.751 * [taylor]: Taking taylor expansion of 2.0 in z
1.751 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
1.751 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.751 * [taylor]: Taking taylor expansion of 2.0 in z
1.751 * [taylor]: Taking taylor expansion of z in z
1.751 * [taylor]: Taking taylor expansion of 2.0 in z
1.752 * [taylor]: Taking taylor expansion of 0 in z
1.752 * [approximate]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in (t z) around 0
1.752 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in z
1.752 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.752 * [taylor]: Taking taylor expansion of 2.0 in z
1.752 * [taylor]: Taking taylor expansion of (* t z) in z
1.752 * [taylor]: Taking taylor expansion of t in z
1.752 * [taylor]: Taking taylor expansion of z in z
1.752 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in z
1.752 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
1.752 * [taylor]: Taking taylor expansion of 2.0 in z
1.752 * [taylor]: Taking taylor expansion of t in z
1.752 * [taylor]: Taking taylor expansion of 2.0 in z
1.752 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in t
1.752 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.752 * [taylor]: Taking taylor expansion of 2.0 in t
1.752 * [taylor]: Taking taylor expansion of (* t z) in t
1.752 * [taylor]: Taking taylor expansion of t in t
1.752 * [taylor]: Taking taylor expansion of z in t
1.752 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
1.752 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.752 * [taylor]: Taking taylor expansion of 2.0 in t
1.752 * [taylor]: Taking taylor expansion of t in t
1.752 * [taylor]: Taking taylor expansion of 2.0 in t
1.752 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in t
1.752 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.752 * [taylor]: Taking taylor expansion of 2.0 in t
1.752 * [taylor]: Taking taylor expansion of (* t z) in t
1.752 * [taylor]: Taking taylor expansion of t in t
1.752 * [taylor]: Taking taylor expansion of z in t
1.752 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
1.752 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.752 * [taylor]: Taking taylor expansion of 2.0 in t
1.752 * [taylor]: Taking taylor expansion of t in t
1.752 * [taylor]: Taking taylor expansion of 2.0 in t
1.752 * [taylor]: Taking taylor expansion of (neg 2.0) in z
1.752 * [taylor]: Taking taylor expansion of 2.0 in z
1.753 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z
1.753 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.753 * [taylor]: Taking taylor expansion of 2.0 in z
1.753 * [taylor]: Taking taylor expansion of z in z
1.753 * [taylor]: Taking taylor expansion of 2.0 in z
1.753 * [taylor]: Taking taylor expansion of 0 in z
1.753 * * * [progress]: simplifying candidates
1.754 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log 2.0) (+ (log t) (log z)))
  (- (log 2.0) (log (* t z)))
  (log (/ 2.0 (* t z)))
  (exp (/ 2.0 (* t z)))
  (/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* z z) z)))
  (/ (* (* 2.0 2.0) 2.0) (* (* (* t z) (* t z)) (* t z)))
  (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z))))
  (cbrt (/ 2.0 (* t z)))
  (* (* (/ 2.0 (* t z)) (/ 2.0 (* t z))) (/ 2.0 (* t z)))
  (sqrt (/ 2.0 (* t z)))
  (sqrt (/ 2.0 (* t z)))
  (neg 2.0)
  (neg (* t z))
  (/ (* (cbrt 2.0) (cbrt 2.0)) t)
  (/ (cbrt 2.0) z)
  (/ (sqrt 2.0) t)
  (/ (sqrt 2.0) z)
  (/ 1 t)
  (/ 2.0 z)
  (/ 1 (* t z))
  (/ (* t z) 2.0)
  (/ 2.0 t)
  (/ (* t z) (cbrt 2.0))
  (/ (* t z) (sqrt 2.0))
  (/ (* t z) 2.0)
  (* (exp (/ 2.0 t)) (exp (/ 2.0 (* t z))))
  (log (+ (/ 2.0 t) (/ 2.0 (* t z))))
  (exp (+ (/ 2.0 t) (/ 2.0 (* t z))))
  (* (cbrt (+ (/ 2.0 t) (/ 2.0 (* t z)))) (cbrt (+ (/ 2.0 t) (/ 2.0 (* t z)))))
  (cbrt (+ (/ 2.0 t) (/ 2.0 (* t z))))
  (* (* (+ (/ 2.0 t) (/ 2.0 (* t z))) (+ (/ 2.0 t) (/ 2.0 (* t z)))) (+ (/ 2.0 t) (/ 2.0 (* t z))))
  (sqrt (+ (/ 2.0 t) (/ 2.0 (* t z))))
  (sqrt (+ (/ 2.0 t) (/ 2.0 (* t z))))
  (+ (* 2.0 (* t z)) (* t 2.0))
  (* t (* t z))
  (+ (pow (/ 2.0 t) 3) (pow (/ 2.0 (* t z)) 3))
  (+ (* (/ 2.0 t) (/ 2.0 t)) (- (* (/ 2.0 (* t z)) (/ 2.0 (* t z))) (* (/ 2.0 t) (/ 2.0 (* t z)))))
  (- (* (/ 2.0 t) (/ 2.0 t)) (* (/ 2.0 (* t z)) (/ 2.0 (* t z))))
  (- (/ 2.0 t) (/ 2.0 (* t z)))
  (+ (/ 2.0 t) (/ 2.0 (* t z)))
  (+ (/ 1 t) (/ 1 (* t z)))
  (/ (* (exp (/ 2.0 t)) (exp (/ 2.0 (* t z)))) (exp 2.0))
  (/ (exp (+ (/ 2.0 t) (/ 2.0 (* t z)))) (exp 2.0))
  (log (- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0))
  (exp (- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0))
  (* (cbrt (- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0)) (cbrt (- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0)))
  (cbrt (- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0))
  (* (* (- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0) (- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0)) (- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0))
  (sqrt (- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0))
  (sqrt (- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0))
  (- (pow (+ (/ 2.0 t) (/ 2.0 (* t z))) 3) (pow 2.0 3))
  (+ (* (+ (/ 2.0 t) (/ 2.0 (* t z))) (+ (/ 2.0 t) (/ 2.0 (* t z)))) (+ (* 2.0 2.0) (* (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0)))
  (neg 2.0)
  (- (* (+ (/ 2.0 t) (/ 2.0 (* t z))) (+ (/ 2.0 t) (/ 2.0 (* t z)))) (* 2.0 2.0))
  (+ (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0)
  (+ (sqrt (+ (/ 2.0 t) (/ 2.0 (* t z)))) (sqrt 2.0))
  (- (sqrt (+ (/ 2.0 t) (/ 2.0 (* t z)))) (sqrt 2.0))
  (- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0)
  (- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0)
  (- (/ 2.0 (* t z)) 2.0)
  (/ 2.0 (* t z))
  (/ 2.0 (* t z))
  (/ 2.0 (* t z))
  (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t)))
  (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t)))
  (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0)
  (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0)
  (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0)
1.796 * * [simplify]: iteration  0 :  4993  enodes  (cost  642 )
1.796 * * [simplify]: iteration  1 :  4993  enodes  (cost  642 )
1.799 * [simplify]: Simplified to:
   (log (/ 2.0 (* t z)))
  (log (/ 2.0 (* t z)))
  (log (/ 2.0 (* t z)))
  (exp (/ 2.0 (* t z)))
  (pow (/ 2.0 (* t z)) 3)
  (pow (/ 2.0 (* t z)) 3)
  (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z))))
  (cbrt (/ 2.0 (* t z)))
  (pow (/ 2.0 (* t z)) 3)
  (sqrt (/ 2.0 (* t z)))
  (sqrt (/ 2.0 (* t z)))
  (neg 2.0)
  (* t (neg z))
  (* (cbrt 2.0) (/ (cbrt 2.0) t))
  (/ (cbrt 2.0) z)
  (/ (sqrt 2.0) t)
  (/ (sqrt 2.0) z)
  (/ 1 t)
  (/ 2.0 z)
  (/ 1 (* t z))
  (* t (/ z 2.0))
  (/ 2.0 t)
  (* z (/ t (cbrt 2.0)))
  (* z (/ t (sqrt 2.0)))
  (* t (/ z 2.0))
  (pow (exp (/ 2.0 t)) (+ (/ 1 z) 1))
  (+ (neg (log t)) (log (+ (/ 2.0 z) 2.0)))
  (pow (exp (/ 2.0 t)) (+ (/ 1 z) 1))
  (* (cbrt (+ (/ 2.0 (* t z)) (/ 2.0 t))) (cbrt (+ (/ 2.0 (* t z)) (/ 2.0 t))))
  (cbrt (+ (/ 2.0 (* t z)) (/ 2.0 t)))
  (pow (+ (/ 2.0 (* t z)) (/ 2.0 t)) 3)
  (sqrt (+ (/ 2.0 (* t z)) (/ 2.0 t)))
  (sqrt (+ (/ 2.0 (* t z)) (/ 2.0 t)))
  (* 2.0 (+ t (* t z)))
  (* t (* t z))
  (+ (pow (/ 2.0 (* t z)) 3) (pow (/ 2.0 t) 3))
  (* (/ 2.0 t) (+ (/ 2.0 t) (* (/ 2.0 (* t z)) (+ (/ 1 z) -1))))
  (* (/ 2.0 (* t t)) (+ 2.0 (/ (neg 2.0) (* z z))))
  (- (/ 2.0 t) (/ 2.0 (* t z)))
  (+ (/ 2.0 (* t z)) (/ 2.0 t))
  (+ (/ 1 t) (/ 1 (* t z)))
  (exp (+ (/ 2.0 (* t z)) (- (/ 2.0 t) 2.0)))
  (exp (+ (/ 2.0 (* t z)) (- (/ 2.0 t) 2.0)))
  (log (+ (/ 2.0 (* t z)) (- (/ 2.0 t) 2.0)))
  (exp (+ (/ 2.0 (* t z)) (- (/ 2.0 t) 2.0)))
  (* (cbrt (+ (/ 2.0 (* t z)) (- (/ 2.0 t) 2.0))) (cbrt (+ (/ 2.0 (* t z)) (- (/ 2.0 t) 2.0))))
  (cbrt (+ (/ 2.0 (* t z)) (- (/ 2.0 t) 2.0)))
  (pow (+ (/ 2.0 (* t z)) (- (/ 2.0 t) 2.0)) 3)
  (sqrt (+ (/ 2.0 (* t z)) (- (/ 2.0 t) 2.0)))
  (sqrt (+ (/ 2.0 (* t z)) (- (/ 2.0 t) 2.0)))
  (- (pow (+ (/ 2.0 (* t z)) (/ 2.0 t)) 3) (pow 2.0 3))
  (+ (* 2.0 2.0) (* (+ (/ 2.0 (* t z)) (/ 2.0 t)) (+ 2.0 (+ (/ 2.0 (* t z)) (/ 2.0 t)))))
  (neg 2.0)
  (- (* (+ (/ 2.0 (* t z)) (/ 2.0 t)) (+ (/ 2.0 (* t z)) (/ 2.0 t))) (* 2.0 2.0))
  (+ 2.0 (+ (/ 2.0 (* t z)) (/ 2.0 t)))
  (+ (sqrt 2.0) (sqrt (+ (/ 2.0 (* t z)) (/ 2.0 t))))
  (- (sqrt (+ (/ 2.0 (* t z)) (/ 2.0 t))) (sqrt 2.0))
  (+ (/ 2.0 (* t z)) (- (/ 2.0 t) 2.0))
  (+ (/ 2.0 (* t z)) (- (/ 2.0 t) 2.0))
  (- (/ 2.0 (* t z)) 2.0)
  (/ 2.0 (* t z))
  (/ 2.0 (* t z))
  (/ 2.0 (* t z))
  (+ (/ 2.0 (* t z)) (/ 2.0 t))
  (+ (/ 2.0 (* t z)) (/ 2.0 t))
  (+ (/ 2.0 (* t z)) (/ 2.0 t))
  (+ (/ 2.0 (* t z)) (- (/ 2.0 t) 2.0))
  (+ (/ 2.0 (* t z)) (- (/ 2.0 t) 2.0))
  (+ (/ 2.0 (* t z)) (- (/ 2.0 t) 2.0))
1.800 * * * [progress]: adding candidates to table
1.873 * * [progress]: iteration 3 / 4
1.873 * * * [progress]: picking best candidate
1.891 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (/ x y) (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0)))>
1.891 * * * [progress]: localizing error
1.903 * * * [progress]: generating rewritten candidates
1.903 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1 2)
1.912 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
1.926 * * * [progress]: generating series expansions
1.926 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1 2)
1.926 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) t) in (z t) around 0
1.926 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) t) in t
1.926 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in t
1.926 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.926 * [taylor]: Taking taylor expansion of z in t
1.926 * [taylor]: Taking taylor expansion of 1.0 in t
1.926 * [taylor]: Taking taylor expansion of t in t
1.926 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) t) in z
1.926 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
1.926 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.926 * [taylor]: Taking taylor expansion of z in z
1.926 * [taylor]: Taking taylor expansion of 1.0 in z
1.926 * [taylor]: Taking taylor expansion of t in z
1.926 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) t) in z
1.926 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
1.926 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.926 * [taylor]: Taking taylor expansion of z in z
1.926 * [taylor]: Taking taylor expansion of 1.0 in z
1.927 * [taylor]: Taking taylor expansion of t in z
1.927 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.927 * [taylor]: Taking taylor expansion of t in t
1.927 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
1.927 * [taylor]: Taking taylor expansion of 1.0 in t
1.927 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.927 * [taylor]: Taking taylor expansion of t in t
1.927 * [taylor]: Taking taylor expansion of 0 in t
1.927 * [taylor]: Taking taylor expansion of 0 in t
1.928 * [approximate]: Taking taylor expansion of (* t (+ z 1.0)) in (z t) around 0
1.928 * [taylor]: Taking taylor expansion of (* t (+ z 1.0)) in t
1.928 * [taylor]: Taking taylor expansion of t in t
1.928 * [taylor]: Taking taylor expansion of (+ z 1.0) in t
1.928 * [taylor]: Taking taylor expansion of z in t
1.928 * [taylor]: Taking taylor expansion of 1.0 in t
1.928 * [taylor]: Taking taylor expansion of (* t (+ z 1.0)) in z
1.928 * [taylor]: Taking taylor expansion of t in z
1.928 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
1.928 * [taylor]: Taking taylor expansion of z in z
1.928 * [taylor]: Taking taylor expansion of 1.0 in z
1.928 * [taylor]: Taking taylor expansion of (* t (+ z 1.0)) in z
1.928 * [taylor]: Taking taylor expansion of t in z
1.928 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
1.928 * [taylor]: Taking taylor expansion of z in z
1.928 * [taylor]: Taking taylor expansion of 1.0 in z
1.928 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
1.928 * [taylor]: Taking taylor expansion of 1.0 in t
1.928 * [taylor]: Taking taylor expansion of t in t
1.928 * [taylor]: Taking taylor expansion of t in t
1.928 * [taylor]: Taking taylor expansion of 0 in t
1.928 * [taylor]: Taking taylor expansion of 0 in t
1.928 * [taylor]: Taking taylor expansion of 0 in t
1.929 * [approximate]: Taking taylor expansion of (* -1 (* t (- 1.0 z))) in (z t) around 0
1.929 * [taylor]: Taking taylor expansion of (* -1 (* t (- 1.0 z))) in t
1.929 * [taylor]: Taking taylor expansion of -1 in t
1.929 * [taylor]: Taking taylor expansion of (* t (- 1.0 z)) in t
1.929 * [taylor]: Taking taylor expansion of t in t
1.929 * [taylor]: Taking taylor expansion of (- 1.0 z) in t
1.929 * [taylor]: Taking taylor expansion of 1.0 in t
1.929 * [taylor]: Taking taylor expansion of z in t
1.929 * [taylor]: Taking taylor expansion of (* -1 (* t (- 1.0 z))) in z
1.929 * [taylor]: Taking taylor expansion of -1 in z
1.929 * [taylor]: Taking taylor expansion of (* t (- 1.0 z)) in z
1.929 * [taylor]: Taking taylor expansion of t in z
1.929 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
1.929 * [taylor]: Taking taylor expansion of 1.0 in z
1.929 * [taylor]: Taking taylor expansion of z in z
1.929 * [taylor]: Taking taylor expansion of (* -1 (* t (- 1.0 z))) in z
1.929 * [taylor]: Taking taylor expansion of -1 in z
1.929 * [taylor]: Taking taylor expansion of (* t (- 1.0 z)) in z
1.929 * [taylor]: Taking taylor expansion of t in z
1.929 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
1.929 * [taylor]: Taking taylor expansion of 1.0 in z
1.929 * [taylor]: Taking taylor expansion of z in z
1.929 * [taylor]: Taking taylor expansion of (* -1.0 t) in t
1.929 * [taylor]: Taking taylor expansion of -1.0 in t
1.929 * [taylor]: Taking taylor expansion of t in t
1.929 * [taylor]: Taking taylor expansion of t in t
1.929 * [taylor]: Taking taylor expansion of 0 in t
1.929 * [taylor]: Taking taylor expansion of 0 in t
1.930 * [taylor]: Taking taylor expansion of 0 in t
1.930 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
1.930 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in (z t) around 0
1.930 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in t
1.930 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t
1.930 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
1.930 * [taylor]: Taking taylor expansion of 2.0 in t
1.930 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.930 * [taylor]: Taking taylor expansion of (* t z) in t
1.930 * [taylor]: Taking taylor expansion of t in t
1.930 * [taylor]: Taking taylor expansion of z in t
1.930 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
1.930 * [taylor]: Taking taylor expansion of 2.0 in t
1.930 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.930 * [taylor]: Taking taylor expansion of t in t
1.930 * [taylor]: Taking taylor expansion of 2.0 in t
1.930 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in z
1.930 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in z
1.930 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z
1.930 * [taylor]: Taking taylor expansion of 2.0 in z
1.930 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.930 * [taylor]: Taking taylor expansion of (* t z) in z
1.930 * [taylor]: Taking taylor expansion of t in z
1.930 * [taylor]: Taking taylor expansion of z in z
1.930 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z
1.930 * [taylor]: Taking taylor expansion of 2.0 in z
1.930 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.930 * [taylor]: Taking taylor expansion of t in z
1.930 * [taylor]: Taking taylor expansion of 2.0 in z
1.930 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in z
1.930 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in z
1.930 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z
1.930 * [taylor]: Taking taylor expansion of 2.0 in z
1.931 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.931 * [taylor]: Taking taylor expansion of (* t z) in z
1.931 * [taylor]: Taking taylor expansion of t in z
1.931 * [taylor]: Taking taylor expansion of z in z
1.931 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z
1.931 * [taylor]: Taking taylor expansion of 2.0 in z
1.931 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.931 * [taylor]: Taking taylor expansion of t in z
1.931 * [taylor]: Taking taylor expansion of 2.0 in z
1.931 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
1.931 * [taylor]: Taking taylor expansion of 2.0 in t
1.931 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.931 * [taylor]: Taking taylor expansion of t in t
1.931 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 t)) 2.0) in t
1.931 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
1.931 * [taylor]: Taking taylor expansion of 2.0 in t
1.931 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.931 * [taylor]: Taking taylor expansion of t in t
1.931 * [taylor]: Taking taylor expansion of 2.0 in t
1.931 * [taylor]: Taking taylor expansion of 0 in t
1.932 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in (z t) around 0
1.932 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in t
1.932 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t
1.932 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.932 * [taylor]: Taking taylor expansion of 2.0 in t
1.932 * [taylor]: Taking taylor expansion of (* t z) in t
1.932 * [taylor]: Taking taylor expansion of t in t
1.932 * [taylor]: Taking taylor expansion of z in t
1.932 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.932 * [taylor]: Taking taylor expansion of 2.0 in t
1.932 * [taylor]: Taking taylor expansion of t in t
1.932 * [taylor]: Taking taylor expansion of 2.0 in t
1.932 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in z
1.932 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in z
1.932 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.932 * [taylor]: Taking taylor expansion of 2.0 in z
1.932 * [taylor]: Taking taylor expansion of (* t z) in z
1.932 * [taylor]: Taking taylor expansion of t in z
1.932 * [taylor]: Taking taylor expansion of z in z
1.932 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
1.932 * [taylor]: Taking taylor expansion of 2.0 in z
1.932 * [taylor]: Taking taylor expansion of t in z
1.932 * [taylor]: Taking taylor expansion of 2.0 in z
1.932 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in z
1.932 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in z
1.932 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.932 * [taylor]: Taking taylor expansion of 2.0 in z
1.932 * [taylor]: Taking taylor expansion of (* t z) in z
1.932 * [taylor]: Taking taylor expansion of t in z
1.932 * [taylor]: Taking taylor expansion of z in z
1.932 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
1.932 * [taylor]: Taking taylor expansion of 2.0 in z
1.932 * [taylor]: Taking taylor expansion of t in z
1.932 * [taylor]: Taking taylor expansion of 2.0 in z
1.932 * [taylor]: Taking taylor expansion of (- (* 2.0 t) 2.0) in t
1.932 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.932 * [taylor]: Taking taylor expansion of 2.0 in t
1.932 * [taylor]: Taking taylor expansion of t in t
1.932 * [taylor]: Taking taylor expansion of 2.0 in t
1.933 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.933 * [taylor]: Taking taylor expansion of 2.0 in t
1.933 * [taylor]: Taking taylor expansion of t in t
1.933 * [taylor]: Taking taylor expansion of 0 in t
1.933 * [approximate]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in (z t) around 0
1.933 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in t
1.933 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.933 * [taylor]: Taking taylor expansion of 2.0 in t
1.933 * [taylor]: Taking taylor expansion of (* t z) in t
1.933 * [taylor]: Taking taylor expansion of t in t
1.933 * [taylor]: Taking taylor expansion of z in t
1.933 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
1.933 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.933 * [taylor]: Taking taylor expansion of 2.0 in t
1.933 * [taylor]: Taking taylor expansion of t in t
1.933 * [taylor]: Taking taylor expansion of 2.0 in t
1.933 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in z
1.933 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.933 * [taylor]: Taking taylor expansion of 2.0 in z
1.933 * [taylor]: Taking taylor expansion of (* t z) in z
1.933 * [taylor]: Taking taylor expansion of t in z
1.933 * [taylor]: Taking taylor expansion of z in z
1.933 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in z
1.933 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
1.933 * [taylor]: Taking taylor expansion of 2.0 in z
1.933 * [taylor]: Taking taylor expansion of t in z
1.933 * [taylor]: Taking taylor expansion of 2.0 in z
1.934 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in z
1.934 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.934 * [taylor]: Taking taylor expansion of 2.0 in z
1.934 * [taylor]: Taking taylor expansion of (* t z) in z
1.934 * [taylor]: Taking taylor expansion of t in z
1.934 * [taylor]: Taking taylor expansion of z in z
1.934 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in z
1.934 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
1.934 * [taylor]: Taking taylor expansion of 2.0 in z
1.934 * [taylor]: Taking taylor expansion of t in z
1.934 * [taylor]: Taking taylor expansion of 2.0 in z
1.934 * [taylor]: Taking taylor expansion of (neg (+ (* 2.0 t) 2.0)) in t
1.934 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
1.934 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.934 * [taylor]: Taking taylor expansion of 2.0 in t
1.934 * [taylor]: Taking taylor expansion of t in t
1.934 * [taylor]: Taking taylor expansion of 2.0 in t
1.934 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.934 * [taylor]: Taking taylor expansion of 2.0 in t
1.934 * [taylor]: Taking taylor expansion of t in t
1.934 * [taylor]: Taking taylor expansion of 0 in t
1.934 * * * [progress]: simplifying candidates
1.935 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (+ (/ 1 z) 1.0)) (log t))
  (log (/ (+ (/ 1 z) 1.0) t))
  (exp (/ (+ (/ 1 z) 1.0) t))
  (/ (* (* (+ (/ 1 z) 1.0) (+ (/ 1 z) 1.0)) (+ (/ 1 z) 1.0)) (* (* t t) t))
  (* (cbrt (/ (+ (/ 1 z) 1.0) t)) (cbrt (/ (+ (/ 1 z) 1.0) t)))
  (cbrt (/ (+ (/ 1 z) 1.0) t))
  (* (* (/ (+ (/ 1 z) 1.0) t) (/ (+ (/ 1 z) 1.0) t)) (/ (+ (/ 1 z) 1.0) t))
  (sqrt (/ (+ (/ 1 z) 1.0) t))
  (sqrt (/ (+ (/ 1 z) 1.0) t))
  (neg (+ (/ 1 z) 1.0))
  (neg t)
  (/ (* (cbrt (+ (/ 1 z) 1.0)) (cbrt (+ (/ 1 z) 1.0))) (* (cbrt t) (cbrt t)))
  (/ (cbrt (+ (/ 1 z) 1.0)) (cbrt t))
  (/ (* (cbrt (+ (/ 1 z) 1.0)) (cbrt (+ (/ 1 z) 1.0))) (sqrt t))
  (/ (cbrt (+ (/ 1 z) 1.0)) (sqrt t))
  (/ (* (cbrt (+ (/ 1 z) 1.0)) (cbrt (+ (/ 1 z) 1.0))) 1)
  (/ (cbrt (+ (/ 1 z) 1.0)) t)
  (/ (sqrt (+ (/ 1 z) 1.0)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (+ (/ 1 z) 1.0)) (cbrt t))
  (/ (sqrt (+ (/ 1 z) 1.0)) (sqrt t))
  (/ (sqrt (+ (/ 1 z) 1.0)) (sqrt t))
  (/ (sqrt (+ (/ 1 z) 1.0)) 1)
  (/ (sqrt (+ (/ 1 z) 1.0)) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (+ (/ 1 z) 1.0) (cbrt t))
  (/ 1 (sqrt t))
  (/ (+ (/ 1 z) 1.0) (sqrt t))
  (/ 1 1)
  (/ (+ (/ 1 z) 1.0) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (+ (/ 1 z) 1.0) (cbrt t))
  (/ 1 (sqrt t))
  (/ (+ (/ 1 z) 1.0) (sqrt t))
  (/ 1 1)
  (/ (+ (/ 1 z) 1.0) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (+ (/ 1 z) 1.0) (cbrt t))
  (/ 1 (sqrt t))
  (/ (+ (/ 1 z) 1.0) (sqrt t))
  (/ 1 1)
  (/ (+ (/ 1 z) 1.0) t)
  (/ 1 t)
  (/ t (+ (/ 1 z) 1.0))
  (/ (+ (/ 1 z) 1.0) (* (cbrt t) (cbrt t)))
  (/ (+ (/ 1 z) 1.0) (sqrt t))
  (/ (+ (/ 1 z) 1.0) 1)
  (/ t (cbrt (+ (/ 1 z) 1.0)))
  (/ t (sqrt (+ (/ 1 z) 1.0)))
  (/ t (+ (/ 1 z) 1.0))
  (/ t (+ (/ 1 z) 1.0))
  (/ t (+ (/ 1 z) 1.0))
  (* t (+ (* (/ 1 z) (/ 1 z)) (- (* 1.0 1.0) (* (/ 1 z) 1.0))))
  (* t (- (/ 1 z) 1.0))
  (/ (exp (* 2.0 (/ (+ (/ 1 z) 1.0) t))) (exp 2.0))
  (log (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0))
  (exp (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0))
  (* (cbrt (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0)) (cbrt (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0)))
  (cbrt (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0))
  (* (* (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0) (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0)) (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0))
  (sqrt (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0))
  (sqrt (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0))
  (- (pow (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 3) (pow 2.0 3))
  (+ (* (* 2.0 (/ (+ (/ 1 z) 1.0) t)) (* 2.0 (/ (+ (/ 1 z) 1.0) t))) (+ (* 2.0 2.0) (* (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0)))
  (neg 2.0)
  (- (* (* 2.0 (/ (+ (/ 1 z) 1.0) t)) (* 2.0 (/ (+ (/ 1 z) 1.0) t))) (* 2.0 2.0))
  (+ (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0)
  (+ (/ 1 (* t z)) (* 1.0 (/ 1 t)))
  (+ (/ 1 (* t z)) (* 1.0 (/ 1 t)))
  (+ (/ 1 (* t z)) (* 1.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0)
  (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0)
  (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0)
1.970 * * [simplify]: iteration  0 :  5002  enodes  (cost  657 )
1.973 * [simplify]: Simplified to:
   (log (/ (+ (/ 1 z) 1.0) t))
  (log (/ (+ (/ 1 z) 1.0) t))
  (exp (/ (+ (/ 1 z) 1.0) t))
  (pow (/ (+ (/ 1 z) 1.0) t) 3)
  (* (cbrt (/ (+ (/ 1 z) 1.0) t)) (cbrt (/ (+ (/ 1 z) 1.0) t)))
  (cbrt (/ (+ (/ 1 z) 1.0) t))
  (pow (/ (+ (/ 1 z) 1.0) t) 3)
  (sqrt (/ (+ (/ 1 z) 1.0) t))
  (sqrt (/ (+ (/ 1 z) 1.0) t))
  (- (/ -1 z) 1.0)
  (neg t)
  (* (cbrt (+ (/ 1 z) 1.0)) (/ (cbrt (+ (/ 1 z) 1.0)) (* (cbrt t) (cbrt t))))
  (/ (cbrt (+ (/ 1 z) 1.0)) (cbrt t))
  (* (cbrt (+ (/ 1 z) 1.0)) (/ (cbrt (+ (/ 1 z) 1.0)) (sqrt t)))
  (/ (cbrt (+ (/ 1 z) 1.0)) (sqrt t))
  (* (cbrt (+ (/ 1 z) 1.0)) (cbrt (+ (/ 1 z) 1.0)))
  (/ (cbrt (+ (/ 1 z) 1.0)) t)
  (/ (sqrt (+ (/ 1 z) 1.0)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (+ (/ 1 z) 1.0)) (cbrt t))
  (/ (sqrt (+ (/ 1 z) 1.0)) (sqrt t))
  (/ (sqrt (+ (/ 1 z) 1.0)) (sqrt t))
  (sqrt (+ (/ 1 z) 1.0))
  (/ (sqrt (+ (/ 1 z) 1.0)) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (+ (/ 1 z) 1.0) (cbrt t))
  (/ 1 (sqrt t))
  (/ (+ (/ 1 z) 1.0) (sqrt t))
  1
  (/ (+ (/ 1 z) 1.0) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (+ (/ 1 z) 1.0) (cbrt t))
  (/ 1 (sqrt t))
  (/ (+ (/ 1 z) 1.0) (sqrt t))
  1
  (/ (+ (/ 1 z) 1.0) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (+ (/ 1 z) 1.0) (cbrt t))
  (/ 1 (sqrt t))
  (/ (+ (/ 1 z) 1.0) (sqrt t))
  1
  (/ (+ (/ 1 z) 1.0) t)
  (/ 1 t)
  (/ t (+ (/ 1 z) 1.0))
  (/ (+ (/ 1 z) 1.0) (* (cbrt t) (cbrt t)))
  (/ (+ (/ 1 z) 1.0) (sqrt t))
  (+ (/ 1 z) 1.0)
  (/ t (cbrt (+ (/ 1 z) 1.0)))
  (/ t (sqrt (+ (/ 1 z) 1.0)))
  (/ t (+ (/ 1 z) 1.0))
  (/ t (+ (/ 1 z) 1.0))
  (/ t (+ (/ 1 z) 1.0))
  (+ (/ t (* z z)) (* 1.0 (- (* 1.0 t) (/ t z))))
  (- (/ t z) (* 1.0 t))
  (pow (exp 2.0) (+ (/ (+ (/ 1 z) 1.0) t) -1))
  (log (- (* (+ (/ 1 z) 1.0) (/ 2.0 t)) 2.0))
  (pow (exp 2.0) (+ (/ (+ (/ 1 z) 1.0) t) -1))
  (* (cbrt (- (* (+ (/ 1 z) 1.0) (/ 2.0 t)) 2.0)) (cbrt (- (* (+ (/ 1 z) 1.0) (/ 2.0 t)) 2.0)))
  (cbrt (- (* (+ (/ 1 z) 1.0) (/ 2.0 t)) 2.0))
  (pow (- (* (+ (/ 1 z) 1.0) (/ 2.0 t)) 2.0) 3)
  (sqrt (- (* (+ (/ 1 z) 1.0) (/ 2.0 t)) 2.0))
  (sqrt (- (* (+ (/ 1 z) 1.0) (/ 2.0 t)) 2.0))
  (- (pow (* (+ (/ 1 z) 1.0) (/ 2.0 t)) 3) (pow 2.0 3))
  (* 2.0 (+ 2.0 (* (/ (+ (/ 1 z) 1.0) t) (+ 2.0 (* (+ (/ 1 z) 1.0) (/ 2.0 t))))))
  (neg 2.0)
  (* 2.0 (- (* (+ (/ 1 z) 1.0) (/ (* (+ (/ 1 z) 1.0) (/ 2.0 t)) t)) 2.0))
  (+ 2.0 (* (+ (/ 1 z) 1.0) (/ 2.0 t)))
  (+ (/ 1 (* z t)) (/ 1.0 t))
  (+ (/ 1 (* z t)) (/ 1.0 t))
  (+ (/ 1 (* z t)) (/ 1.0 t))
  (+ (/ 2.0 (* z t)) (- (/ 2.0 t) 2.0))
  (+ (/ 2.0 (* z t)) (- (/ 2.0 t) 2.0))
  (+ (/ 2.0 (* z t)) (- (/ 2.0 t) 2.0))
1.973 * * * [progress]: adding candidates to table
2.040 * * [progress]: iteration 4 / 4
2.040 * * * [progress]: picking best candidate
2.054 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (/ x y) (- (+ (/ 2.0 t) (* (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z)))) (cbrt (/ 2.0 (* t z))))) 2.0)))>
2.054 * * * [progress]: localizing error
2.070 * * * [progress]: generating rewritten candidates
2.070 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2)
2.074 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 2)
2.077 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1)
2.082 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2 1)
2.088 * * * [progress]: generating series expansions
2.088 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2)
2.088 * [approximate]: Taking taylor expansion of (* (cbrt 2.0) (pow (/ 1 (* t z)) 1/3)) in (t z) around 0
2.088 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (/ 1 (* t z)) 1/3)) in z
2.088 * [taylor]: Taking taylor expansion of (cbrt 2.0) in z
2.088 * [taylor]: Taking taylor expansion of 2.0 in z
2.088 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t z)) 1/3) in z
2.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t z))))) in z
2.088 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t z)))) in z
2.088 * [taylor]: Taking taylor expansion of 1/3 in z
2.088 * [taylor]: Taking taylor expansion of (log (/ 1 (* t z))) in z
2.088 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.088 * [taylor]: Taking taylor expansion of (* t z) in z
2.088 * [taylor]: Taking taylor expansion of t in z
2.088 * [taylor]: Taking taylor expansion of z in z
2.088 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (/ 1 (* t z)) 1/3)) in t
2.088 * [taylor]: Taking taylor expansion of (cbrt 2.0) in t
2.088 * [taylor]: Taking taylor expansion of 2.0 in t
2.089 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t z)) 1/3) in t
2.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t z))))) in t
2.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t z)))) in t
2.089 * [taylor]: Taking taylor expansion of 1/3 in t
2.089 * [taylor]: Taking taylor expansion of (log (/ 1 (* t z))) in t
2.089 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.089 * [taylor]: Taking taylor expansion of (* t z) in t
2.089 * [taylor]: Taking taylor expansion of t in t
2.089 * [taylor]: Taking taylor expansion of z in t
2.089 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (/ 1 (* t z)) 1/3)) in t
2.089 * [taylor]: Taking taylor expansion of (cbrt 2.0) in t
2.089 * [taylor]: Taking taylor expansion of 2.0 in t
2.089 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t z)) 1/3) in t
2.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t z))))) in t
2.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t z)))) in t
2.089 * [taylor]: Taking taylor expansion of 1/3 in t
2.089 * [taylor]: Taking taylor expansion of (log (/ 1 (* t z))) in t
2.089 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.089 * [taylor]: Taking taylor expansion of (* t z) in t
2.089 * [taylor]: Taking taylor expansion of t in t
2.089 * [taylor]: Taking taylor expansion of z in t
2.089 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (exp (* 1/3 (- (log (/ 1 z)) (log t))))) in z
2.089 * [taylor]: Taking taylor expansion of (cbrt 2.0) in z
2.089 * [taylor]: Taking taylor expansion of 2.0 in z
2.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (log t)))) in z
2.090 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (log t))) in z
2.090 * [taylor]: Taking taylor expansion of 1/3 in z
2.090 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (log t)) in z
2.090 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.090 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.090 * [taylor]: Taking taylor expansion of z in z
2.090 * [taylor]: Taking taylor expansion of (log t) in z
2.090 * [taylor]: Taking taylor expansion of t in z
2.091 * [taylor]: Taking taylor expansion of 0 in z
2.092 * [taylor]: Taking taylor expansion of 0 in z
2.093 * [taylor]: Taking taylor expansion of 0 in z
2.094 * [approximate]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in (t z) around 0
2.094 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in z
2.094 * [taylor]: Taking taylor expansion of (cbrt 2.0) in z
2.094 * [taylor]: Taking taylor expansion of 2.0 in z
2.094 * [taylor]: Taking taylor expansion of (pow (* t z) 1/3) in z
2.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t z)))) in z
2.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t z))) in z
2.094 * [taylor]: Taking taylor expansion of 1/3 in z
2.094 * [taylor]: Taking taylor expansion of (log (* t z)) in z
2.094 * [taylor]: Taking taylor expansion of (* t z) in z
2.094 * [taylor]: Taking taylor expansion of t in z
2.094 * [taylor]: Taking taylor expansion of z in z
2.094 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in t
2.094 * [taylor]: Taking taylor expansion of (cbrt 2.0) in t
2.094 * [taylor]: Taking taylor expansion of 2.0 in t
2.094 * [taylor]: Taking taylor expansion of (pow (* t z) 1/3) in t
2.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t z)))) in t
2.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t z))) in t
2.094 * [taylor]: Taking taylor expansion of 1/3 in t
2.094 * [taylor]: Taking taylor expansion of (log (* t z)) in t
2.094 * [taylor]: Taking taylor expansion of (* t z) in t
2.094 * [taylor]: Taking taylor expansion of t in t
2.094 * [taylor]: Taking taylor expansion of z in t
2.094 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in t
2.094 * [taylor]: Taking taylor expansion of (cbrt 2.0) in t
2.094 * [taylor]: Taking taylor expansion of 2.0 in t
2.094 * [taylor]: Taking taylor expansion of (pow (* t z) 1/3) in t
2.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t z)))) in t
2.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t z))) in t
2.095 * [taylor]: Taking taylor expansion of 1/3 in t
2.095 * [taylor]: Taking taylor expansion of (log (* t z)) in t
2.095 * [taylor]: Taking taylor expansion of (* t z) in t
2.095 * [taylor]: Taking taylor expansion of t in t
2.095 * [taylor]: Taking taylor expansion of z in t
2.095 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (exp (* 1/3 (+ (log t) (log z))))) in z
2.095 * [taylor]: Taking taylor expansion of (cbrt 2.0) in z
2.095 * [taylor]: Taking taylor expansion of 2.0 in z
2.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log t) (log z)))) in z
2.095 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log t) (log z))) in z
2.095 * [taylor]: Taking taylor expansion of 1/3 in z
2.095 * [taylor]: Taking taylor expansion of (+ (log t) (log z)) in z
2.095 * [taylor]: Taking taylor expansion of (log t) in z
2.095 * [taylor]: Taking taylor expansion of t in z
2.095 * [taylor]: Taking taylor expansion of (log z) in z
2.095 * [taylor]: Taking taylor expansion of z in z
2.096 * [taylor]: Taking taylor expansion of 0 in z
2.097 * [taylor]: Taking taylor expansion of 0 in z
2.098 * [taylor]: Taking taylor expansion of 0 in z
2.099 * [approximate]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in (t z) around 0
2.099 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in z
2.099 * [taylor]: Taking taylor expansion of (cbrt 2.0) in z
2.099 * [taylor]: Taking taylor expansion of 2.0 in z
2.099 * [taylor]: Taking taylor expansion of (pow (* t z) 1/3) in z
2.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t z)))) in z
2.099 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t z))) in z
2.099 * [taylor]: Taking taylor expansion of 1/3 in z
2.099 * [taylor]: Taking taylor expansion of (log (* t z)) in z
2.099 * [taylor]: Taking taylor expansion of (* t z) in z
2.099 * [taylor]: Taking taylor expansion of t in z
2.099 * [taylor]: Taking taylor expansion of z in z
2.099 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in t
2.099 * [taylor]: Taking taylor expansion of (cbrt 2.0) in t
2.099 * [taylor]: Taking taylor expansion of 2.0 in t
2.099 * [taylor]: Taking taylor expansion of (pow (* t z) 1/3) in t
2.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t z)))) in t
2.099 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t z))) in t
2.099 * [taylor]: Taking taylor expansion of 1/3 in t
2.099 * [taylor]: Taking taylor expansion of (log (* t z)) in t
2.099 * [taylor]: Taking taylor expansion of (* t z) in t
2.099 * [taylor]: Taking taylor expansion of t in t
2.099 * [taylor]: Taking taylor expansion of z in t
2.099 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in t
2.099 * [taylor]: Taking taylor expansion of (cbrt 2.0) in t
2.099 * [taylor]: Taking taylor expansion of 2.0 in t
2.099 * [taylor]: Taking taylor expansion of (pow (* t z) 1/3) in t
2.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t z)))) in t
2.099 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t z))) in t
2.099 * [taylor]: Taking taylor expansion of 1/3 in t
2.099 * [taylor]: Taking taylor expansion of (log (* t z)) in t
2.099 * [taylor]: Taking taylor expansion of (* t z) in t
2.099 * [taylor]: Taking taylor expansion of t in t
2.099 * [taylor]: Taking taylor expansion of z in t
2.100 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (exp (* 1/3 (+ (log t) (log z))))) in z
2.100 * [taylor]: Taking taylor expansion of (cbrt 2.0) in z
2.100 * [taylor]: Taking taylor expansion of 2.0 in z
2.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log t) (log z)))) in z
2.100 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log t) (log z))) in z
2.100 * [taylor]: Taking taylor expansion of 1/3 in z
2.100 * [taylor]: Taking taylor expansion of (+ (log t) (log z)) in z
2.100 * [taylor]: Taking taylor expansion of (log t) in z
2.100 * [taylor]: Taking taylor expansion of t in z
2.100 * [taylor]: Taking taylor expansion of (log z) in z
2.100 * [taylor]: Taking taylor expansion of z in z
2.101 * [taylor]: Taking taylor expansion of 0 in z
2.102 * [taylor]: Taking taylor expansion of 0 in z
2.103 * [taylor]: Taking taylor expansion of 0 in z
2.103 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 2)
2.103 * [approximate]: Taking taylor expansion of (* (cbrt 2.0) (pow (/ 1 (* t z)) 1/3)) in (t z) around 0
2.104 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (/ 1 (* t z)) 1/3)) in z
2.104 * [taylor]: Taking taylor expansion of (cbrt 2.0) in z
2.104 * [taylor]: Taking taylor expansion of 2.0 in z
2.104 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t z)) 1/3) in z
2.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t z))))) in z
2.104 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t z)))) in z
2.104 * [taylor]: Taking taylor expansion of 1/3 in z
2.104 * [taylor]: Taking taylor expansion of (log (/ 1 (* t z))) in z
2.104 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.104 * [taylor]: Taking taylor expansion of (* t z) in z
2.104 * [taylor]: Taking taylor expansion of t in z
2.104 * [taylor]: Taking taylor expansion of z in z
2.104 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (/ 1 (* t z)) 1/3)) in t
2.104 * [taylor]: Taking taylor expansion of (cbrt 2.0) in t
2.104 * [taylor]: Taking taylor expansion of 2.0 in t
2.104 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t z)) 1/3) in t
2.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t z))))) in t
2.104 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t z)))) in t
2.104 * [taylor]: Taking taylor expansion of 1/3 in t
2.104 * [taylor]: Taking taylor expansion of (log (/ 1 (* t z))) in t
2.104 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.104 * [taylor]: Taking taylor expansion of (* t z) in t
2.104 * [taylor]: Taking taylor expansion of t in t
2.104 * [taylor]: Taking taylor expansion of z in t
2.104 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (/ 1 (* t z)) 1/3)) in t
2.104 * [taylor]: Taking taylor expansion of (cbrt 2.0) in t
2.104 * [taylor]: Taking taylor expansion of 2.0 in t
2.104 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t z)) 1/3) in t
2.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t z))))) in t
2.105 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t z)))) in t
2.105 * [taylor]: Taking taylor expansion of 1/3 in t
2.105 * [taylor]: Taking taylor expansion of (log (/ 1 (* t z))) in t
2.105 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.105 * [taylor]: Taking taylor expansion of (* t z) in t
2.105 * [taylor]: Taking taylor expansion of t in t
2.105 * [taylor]: Taking taylor expansion of z in t
2.105 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (exp (* 1/3 (- (log (/ 1 z)) (log t))))) in z
2.105 * [taylor]: Taking taylor expansion of (cbrt 2.0) in z
2.105 * [taylor]: Taking taylor expansion of 2.0 in z
2.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (log t)))) in z
2.105 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (log t))) in z
2.105 * [taylor]: Taking taylor expansion of 1/3 in z
2.105 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (log t)) in z
2.105 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.105 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.105 * [taylor]: Taking taylor expansion of z in z
2.105 * [taylor]: Taking taylor expansion of (log t) in z
2.105 * [taylor]: Taking taylor expansion of t in z
2.106 * [taylor]: Taking taylor expansion of 0 in z
2.107 * [taylor]: Taking taylor expansion of 0 in z
2.109 * [taylor]: Taking taylor expansion of 0 in z
2.109 * [approximate]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in (t z) around 0
2.109 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in z
2.109 * [taylor]: Taking taylor expansion of (cbrt 2.0) in z
2.109 * [taylor]: Taking taylor expansion of 2.0 in z
2.109 * [taylor]: Taking taylor expansion of (pow (* t z) 1/3) in z
2.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t z)))) in z
2.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t z))) in z
2.109 * [taylor]: Taking taylor expansion of 1/3 in z
2.109 * [taylor]: Taking taylor expansion of (log (* t z)) in z
2.109 * [taylor]: Taking taylor expansion of (* t z) in z
2.109 * [taylor]: Taking taylor expansion of t in z
2.109 * [taylor]: Taking taylor expansion of z in z
2.109 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in t
2.109 * [taylor]: Taking taylor expansion of (cbrt 2.0) in t
2.109 * [taylor]: Taking taylor expansion of 2.0 in t
2.110 * [taylor]: Taking taylor expansion of (pow (* t z) 1/3) in t
2.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t z)))) in t
2.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t z))) in t
2.110 * [taylor]: Taking taylor expansion of 1/3 in t
2.110 * [taylor]: Taking taylor expansion of (log (* t z)) in t
2.110 * [taylor]: Taking taylor expansion of (* t z) in t
2.110 * [taylor]: Taking taylor expansion of t in t
2.110 * [taylor]: Taking taylor expansion of z in t
2.110 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in t
2.110 * [taylor]: Taking taylor expansion of (cbrt 2.0) in t
2.110 * [taylor]: Taking taylor expansion of 2.0 in t
2.110 * [taylor]: Taking taylor expansion of (pow (* t z) 1/3) in t
2.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t z)))) in t
2.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t z))) in t
2.110 * [taylor]: Taking taylor expansion of 1/3 in t
2.110 * [taylor]: Taking taylor expansion of (log (* t z)) in t
2.110 * [taylor]: Taking taylor expansion of (* t z) in t
2.110 * [taylor]: Taking taylor expansion of t in t
2.110 * [taylor]: Taking taylor expansion of z in t
2.110 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (exp (* 1/3 (+ (log t) (log z))))) in z
2.110 * [taylor]: Taking taylor expansion of (cbrt 2.0) in z
2.110 * [taylor]: Taking taylor expansion of 2.0 in z
2.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log t) (log z)))) in z
2.110 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log t) (log z))) in z
2.110 * [taylor]: Taking taylor expansion of 1/3 in z
2.110 * [taylor]: Taking taylor expansion of (+ (log t) (log z)) in z
2.110 * [taylor]: Taking taylor expansion of (log t) in z
2.110 * [taylor]: Taking taylor expansion of t in z
2.110 * [taylor]: Taking taylor expansion of (log z) in z
2.110 * [taylor]: Taking taylor expansion of z in z
2.111 * [taylor]: Taking taylor expansion of 0 in z
2.112 * [taylor]: Taking taylor expansion of 0 in z
2.114 * [taylor]: Taking taylor expansion of 0 in z
2.114 * [approximate]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in (t z) around 0
2.114 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in z
2.114 * [taylor]: Taking taylor expansion of (cbrt 2.0) in z
2.114 * [taylor]: Taking taylor expansion of 2.0 in z
2.114 * [taylor]: Taking taylor expansion of (pow (* t z) 1/3) in z
2.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t z)))) in z
2.114 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t z))) in z
2.114 * [taylor]: Taking taylor expansion of 1/3 in z
2.114 * [taylor]: Taking taylor expansion of (log (* t z)) in z
2.114 * [taylor]: Taking taylor expansion of (* t z) in z
2.114 * [taylor]: Taking taylor expansion of t in z
2.114 * [taylor]: Taking taylor expansion of z in z
2.114 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in t
2.114 * [taylor]: Taking taylor expansion of (cbrt 2.0) in t
2.114 * [taylor]: Taking taylor expansion of 2.0 in t
2.114 * [taylor]: Taking taylor expansion of (pow (* t z) 1/3) in t
2.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t z)))) in t
2.114 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t z))) in t
2.114 * [taylor]: Taking taylor expansion of 1/3 in t
2.115 * [taylor]: Taking taylor expansion of (log (* t z)) in t
2.115 * [taylor]: Taking taylor expansion of (* t z) in t
2.115 * [taylor]: Taking taylor expansion of t in t
2.115 * [taylor]: Taking taylor expansion of z in t
2.115 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in t
2.115 * [taylor]: Taking taylor expansion of (cbrt 2.0) in t
2.115 * [taylor]: Taking taylor expansion of 2.0 in t
2.115 * [taylor]: Taking taylor expansion of (pow (* t z) 1/3) in t
2.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t z)))) in t
2.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t z))) in t
2.115 * [taylor]: Taking taylor expansion of 1/3 in t
2.115 * [taylor]: Taking taylor expansion of (log (* t z)) in t
2.115 * [taylor]: Taking taylor expansion of (* t z) in t
2.115 * [taylor]: Taking taylor expansion of t in t
2.115 * [taylor]: Taking taylor expansion of z in t
2.115 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (exp (* 1/3 (+ (log t) (log z))))) in z
2.115 * [taylor]: Taking taylor expansion of (cbrt 2.0) in z
2.115 * [taylor]: Taking taylor expansion of 2.0 in z
2.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log t) (log z)))) in z
2.115 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log t) (log z))) in z
2.115 * [taylor]: Taking taylor expansion of 1/3 in z
2.115 * [taylor]: Taking taylor expansion of (+ (log t) (log z)) in z
2.115 * [taylor]: Taking taylor expansion of (log t) in z
2.115 * [taylor]: Taking taylor expansion of t in z
2.115 * [taylor]: Taking taylor expansion of (log z) in z
2.115 * [taylor]: Taking taylor expansion of z in z
2.116 * [taylor]: Taking taylor expansion of 0 in z
2.117 * [taylor]: Taking taylor expansion of 0 in z
2.119 * [taylor]: Taking taylor expansion of 0 in z
2.119 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1)
2.119 * [approximate]: Taking taylor expansion of (* (cbrt 2.0) (pow (/ 1 (* t z)) 1/3)) in (t z) around 0
2.119 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (/ 1 (* t z)) 1/3)) in z
2.119 * [taylor]: Taking taylor expansion of (cbrt 2.0) in z
2.119 * [taylor]: Taking taylor expansion of 2.0 in z
2.119 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t z)) 1/3) in z
2.119 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t z))))) in z
2.119 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t z)))) in z
2.119 * [taylor]: Taking taylor expansion of 1/3 in z
2.119 * [taylor]: Taking taylor expansion of (log (/ 1 (* t z))) in z
2.119 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.119 * [taylor]: Taking taylor expansion of (* t z) in z
2.119 * [taylor]: Taking taylor expansion of t in z
2.119 * [taylor]: Taking taylor expansion of z in z
2.119 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (/ 1 (* t z)) 1/3)) in t
2.119 * [taylor]: Taking taylor expansion of (cbrt 2.0) in t
2.119 * [taylor]: Taking taylor expansion of 2.0 in t
2.119 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t z)) 1/3) in t
2.119 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t z))))) in t
2.119 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t z)))) in t
2.120 * [taylor]: Taking taylor expansion of 1/3 in t
2.120 * [taylor]: Taking taylor expansion of (log (/ 1 (* t z))) in t
2.120 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.120 * [taylor]: Taking taylor expansion of (* t z) in t
2.120 * [taylor]: Taking taylor expansion of t in t
2.120 * [taylor]: Taking taylor expansion of z in t
2.120 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (/ 1 (* t z)) 1/3)) in t
2.120 * [taylor]: Taking taylor expansion of (cbrt 2.0) in t
2.120 * [taylor]: Taking taylor expansion of 2.0 in t
2.120 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t z)) 1/3) in t
2.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t z))))) in t
2.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t z)))) in t
2.120 * [taylor]: Taking taylor expansion of 1/3 in t
2.120 * [taylor]: Taking taylor expansion of (log (/ 1 (* t z))) in t
2.120 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.120 * [taylor]: Taking taylor expansion of (* t z) in t
2.120 * [taylor]: Taking taylor expansion of t in t
2.120 * [taylor]: Taking taylor expansion of z in t
2.120 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (exp (* 1/3 (- (log (/ 1 z)) (log t))))) in z
2.120 * [taylor]: Taking taylor expansion of (cbrt 2.0) in z
2.120 * [taylor]: Taking taylor expansion of 2.0 in z
2.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (log t)))) in z
2.120 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (log t))) in z
2.120 * [taylor]: Taking taylor expansion of 1/3 in z
2.120 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (log t)) in z
2.121 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.121 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.121 * [taylor]: Taking taylor expansion of z in z
2.121 * [taylor]: Taking taylor expansion of (log t) in z
2.121 * [taylor]: Taking taylor expansion of t in z
2.121 * [taylor]: Taking taylor expansion of 0 in z
2.123 * [taylor]: Taking taylor expansion of 0 in z
2.124 * [taylor]: Taking taylor expansion of 0 in z
2.124 * [approximate]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in (t z) around 0
2.124 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in z
2.125 * [taylor]: Taking taylor expansion of (cbrt 2.0) in z
2.125 * [taylor]: Taking taylor expansion of 2.0 in z
2.125 * [taylor]: Taking taylor expansion of (pow (* t z) 1/3) in z
2.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t z)))) in z
2.125 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t z))) in z
2.125 * [taylor]: Taking taylor expansion of 1/3 in z
2.125 * [taylor]: Taking taylor expansion of (log (* t z)) in z
2.125 * [taylor]: Taking taylor expansion of (* t z) in z
2.125 * [taylor]: Taking taylor expansion of t in z
2.125 * [taylor]: Taking taylor expansion of z in z
2.125 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in t
2.125 * [taylor]: Taking taylor expansion of (cbrt 2.0) in t
2.125 * [taylor]: Taking taylor expansion of 2.0 in t
2.125 * [taylor]: Taking taylor expansion of (pow (* t z) 1/3) in t
2.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t z)))) in t
2.125 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t z))) in t
2.125 * [taylor]: Taking taylor expansion of 1/3 in t
2.125 * [taylor]: Taking taylor expansion of (log (* t z)) in t
2.125 * [taylor]: Taking taylor expansion of (* t z) in t
2.125 * [taylor]: Taking taylor expansion of t in t
2.125 * [taylor]: Taking taylor expansion of z in t
2.125 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in t
2.125 * [taylor]: Taking taylor expansion of (cbrt 2.0) in t
2.125 * [taylor]: Taking taylor expansion of 2.0 in t
2.125 * [taylor]: Taking taylor expansion of (pow (* t z) 1/3) in t
2.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t z)))) in t
2.125 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t z))) in t
2.125 * [taylor]: Taking taylor expansion of 1/3 in t
2.125 * [taylor]: Taking taylor expansion of (log (* t z)) in t
2.125 * [taylor]: Taking taylor expansion of (* t z) in t
2.125 * [taylor]: Taking taylor expansion of t in t
2.125 * [taylor]: Taking taylor expansion of z in t
2.126 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (exp (* 1/3 (+ (log t) (log z))))) in z
2.126 * [taylor]: Taking taylor expansion of (cbrt 2.0) in z
2.126 * [taylor]: Taking taylor expansion of 2.0 in z
2.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log t) (log z)))) in z
2.126 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log t) (log z))) in z
2.126 * [taylor]: Taking taylor expansion of 1/3 in z
2.126 * [taylor]: Taking taylor expansion of (+ (log t) (log z)) in z
2.126 * [taylor]: Taking taylor expansion of (log t) in z
2.126 * [taylor]: Taking taylor expansion of t in z
2.126 * [taylor]: Taking taylor expansion of (log z) in z
2.126 * [taylor]: Taking taylor expansion of z in z
2.127 * [taylor]: Taking taylor expansion of 0 in z
2.128 * [taylor]: Taking taylor expansion of 0 in z
2.129 * [taylor]: Taking taylor expansion of 0 in z
2.129 * [approximate]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in (t z) around 0
2.129 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in z
2.129 * [taylor]: Taking taylor expansion of (cbrt 2.0) in z
2.129 * [taylor]: Taking taylor expansion of 2.0 in z
2.130 * [taylor]: Taking taylor expansion of (pow (* t z) 1/3) in z
2.130 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t z)))) in z
2.130 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t z))) in z
2.130 * [taylor]: Taking taylor expansion of 1/3 in z
2.130 * [taylor]: Taking taylor expansion of (log (* t z)) in z
2.130 * [taylor]: Taking taylor expansion of (* t z) in z
2.130 * [taylor]: Taking taylor expansion of t in z
2.130 * [taylor]: Taking taylor expansion of z in z
2.130 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in t
2.130 * [taylor]: Taking taylor expansion of (cbrt 2.0) in t
2.130 * [taylor]: Taking taylor expansion of 2.0 in t
2.130 * [taylor]: Taking taylor expansion of (pow (* t z) 1/3) in t
2.130 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t z)))) in t
2.130 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t z))) in t
2.130 * [taylor]: Taking taylor expansion of 1/3 in t
2.130 * [taylor]: Taking taylor expansion of (log (* t z)) in t
2.130 * [taylor]: Taking taylor expansion of (* t z) in t
2.130 * [taylor]: Taking taylor expansion of t in t
2.130 * [taylor]: Taking taylor expansion of z in t
2.130 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (pow (* t z) 1/3)) in t
2.130 * [taylor]: Taking taylor expansion of (cbrt 2.0) in t
2.130 * [taylor]: Taking taylor expansion of 2.0 in t
2.130 * [taylor]: Taking taylor expansion of (pow (* t z) 1/3) in t
2.130 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* t z)))) in t
2.130 * [taylor]: Taking taylor expansion of (* 1/3 (log (* t z))) in t
2.130 * [taylor]: Taking taylor expansion of 1/3 in t
2.130 * [taylor]: Taking taylor expansion of (log (* t z)) in t
2.130 * [taylor]: Taking taylor expansion of (* t z) in t
2.130 * [taylor]: Taking taylor expansion of t in t
2.130 * [taylor]: Taking taylor expansion of z in t
2.131 * [taylor]: Taking taylor expansion of (* (cbrt 2.0) (exp (* 1/3 (+ (log t) (log z))))) in z
2.131 * [taylor]: Taking taylor expansion of (cbrt 2.0) in z
2.131 * [taylor]: Taking taylor expansion of 2.0 in z
2.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log t) (log z)))) in z
2.131 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log t) (log z))) in z
2.131 * [taylor]: Taking taylor expansion of 1/3 in z
2.131 * [taylor]: Taking taylor expansion of (+ (log t) (log z)) in z
2.131 * [taylor]: Taking taylor expansion of (log t) in z
2.131 * [taylor]: Taking taylor expansion of t in z
2.131 * [taylor]: Taking taylor expansion of (log z) in z
2.131 * [taylor]: Taking taylor expansion of z in z
2.132 * [taylor]: Taking taylor expansion of 0 in z
2.133 * [taylor]: Taking taylor expansion of 0 in z
2.134 * [taylor]: Taking taylor expansion of 0 in z
2.134 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2 1)
2.134 * [approximate]: Taking taylor expansion of (/ 2.0 (* t z)) in (t z) around 0
2.134 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in z
2.134 * [taylor]: Taking taylor expansion of 2.0 in z
2.134 * [taylor]: Taking taylor expansion of (* t z) in z
2.134 * [taylor]: Taking taylor expansion of t in z
2.134 * [taylor]: Taking taylor expansion of z in z
2.134 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in t
2.134 * [taylor]: Taking taylor expansion of 2.0 in t
2.135 * [taylor]: Taking taylor expansion of (* t z) in t
2.135 * [taylor]: Taking taylor expansion of t in t
2.135 * [taylor]: Taking taylor expansion of z in t
2.135 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in t
2.135 * [taylor]: Taking taylor expansion of 2.0 in t
2.135 * [taylor]: Taking taylor expansion of (* t z) in t
2.135 * [taylor]: Taking taylor expansion of t in t
2.135 * [taylor]: Taking taylor expansion of z in t
2.135 * [taylor]: Taking taylor expansion of (/ 2.0 z) in z
2.135 * [taylor]: Taking taylor expansion of 2.0 in z
2.135 * [taylor]: Taking taylor expansion of z in z
2.135 * [taylor]: Taking taylor expansion of 0 in z
2.135 * [taylor]: Taking taylor expansion of 0 in z
2.135 * [taylor]: Taking taylor expansion of 0 in z
2.135 * [approximate]: Taking taylor expansion of (* 2.0 (* t z)) in (t z) around 0
2.135 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
2.135 * [taylor]: Taking taylor expansion of 2.0 in z
2.136 * [taylor]: Taking taylor expansion of (* t z) in z
2.136 * [taylor]: Taking taylor expansion of t in z
2.136 * [taylor]: Taking taylor expansion of z in z
2.136 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
2.136 * [taylor]: Taking taylor expansion of 2.0 in t
2.136 * [taylor]: Taking taylor expansion of (* t z) in t
2.136 * [taylor]: Taking taylor expansion of t in t
2.136 * [taylor]: Taking taylor expansion of z in t
2.136 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
2.136 * [taylor]: Taking taylor expansion of 2.0 in t
2.136 * [taylor]: Taking taylor expansion of (* t z) in t
2.136 * [taylor]: Taking taylor expansion of t in t
2.136 * [taylor]: Taking taylor expansion of z in t
2.136 * [taylor]: Taking taylor expansion of 0 in z
2.136 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
2.136 * [taylor]: Taking taylor expansion of 2.0 in z
2.136 * [taylor]: Taking taylor expansion of z in z
2.136 * [taylor]: Taking taylor expansion of 0 in z
2.136 * [taylor]: Taking taylor expansion of 0 in z
2.136 * [taylor]: Taking taylor expansion of 0 in z
2.136 * [approximate]: Taking taylor expansion of (* 2.0 (* t z)) in (t z) around 0
2.136 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
2.136 * [taylor]: Taking taylor expansion of 2.0 in z
2.136 * [taylor]: Taking taylor expansion of (* t z) in z
2.136 * [taylor]: Taking taylor expansion of t in z
2.136 * [taylor]: Taking taylor expansion of z in z
2.137 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
2.137 * [taylor]: Taking taylor expansion of 2.0 in t
2.137 * [taylor]: Taking taylor expansion of (* t z) in t
2.137 * [taylor]: Taking taylor expansion of t in t
2.137 * [taylor]: Taking taylor expansion of z in t
2.137 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
2.137 * [taylor]: Taking taylor expansion of 2.0 in t
2.137 * [taylor]: Taking taylor expansion of (* t z) in t
2.137 * [taylor]: Taking taylor expansion of t in t
2.137 * [taylor]: Taking taylor expansion of z in t
2.137 * [taylor]: Taking taylor expansion of 0 in z
2.137 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
2.137 * [taylor]: Taking taylor expansion of 2.0 in z
2.137 * [taylor]: Taking taylor expansion of z in z
2.137 * [taylor]: Taking taylor expansion of 0 in z
2.137 * [taylor]: Taking taylor expansion of 0 in z
2.137 * [taylor]: Taking taylor expansion of 0 in z
2.137 * * * [progress]: simplifying candidates
2.138 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (/ 2.0 (* t z))))
  (exp (cbrt (/ 2.0 (* t z))))
  (cbrt (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z)))))
  (cbrt (cbrt (/ 2.0 (* t z))))
  (cbrt (sqrt (/ 2.0 (* t z))))
  (cbrt (sqrt (/ 2.0 (* t z))))
  (cbrt (/ (* (cbrt 2.0) (cbrt 2.0)) t))
  (cbrt (/ (cbrt 2.0) z))
  (cbrt (/ (sqrt 2.0) t))
  (cbrt (/ (sqrt 2.0) z))
  (cbrt (/ 1 t))
  (cbrt (/ 2.0 z))
  (cbrt 1)
  (cbrt (/ 2.0 (* t z)))
  (cbrt 2.0)
  (cbrt (/ 1 (* t z)))
  (cbrt 2.0)
  (cbrt (* t z))
  (* (cbrt (cbrt (/ 2.0 (* t z)))) (cbrt (cbrt (/ 2.0 (* t z)))))
  (cbrt (cbrt (/ 2.0 (* t z))))
  (* (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z)))) (cbrt (/ 2.0 (* t z))))
  (sqrt (cbrt (/ 2.0 (* t z))))
  (sqrt (cbrt (/ 2.0 (* t z))))
  (log (cbrt (/ 2.0 (* t z))))
  (exp (cbrt (/ 2.0 (* t z))))
  (cbrt (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z)))))
  (cbrt (cbrt (/ 2.0 (* t z))))
  (cbrt (sqrt (/ 2.0 (* t z))))
  (cbrt (sqrt (/ 2.0 (* t z))))
  (cbrt (/ (* (cbrt 2.0) (cbrt 2.0)) t))
  (cbrt (/ (cbrt 2.0) z))
  (cbrt (/ (sqrt 2.0) t))
  (cbrt (/ (sqrt 2.0) z))
  (cbrt (/ 1 t))
  (cbrt (/ 2.0 z))
  (cbrt 1)
  (cbrt (/ 2.0 (* t z)))
  (cbrt 2.0)
  (cbrt (/ 1 (* t z)))
  (cbrt 2.0)
  (cbrt (* t z))
  (* (cbrt (cbrt (/ 2.0 (* t z)))) (cbrt (cbrt (/ 2.0 (* t z)))))
  (cbrt (cbrt (/ 2.0 (* t z))))
  (* (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z)))) (cbrt (/ 2.0 (* t z))))
  (sqrt (cbrt (/ 2.0 (* t z))))
  (sqrt (cbrt (/ 2.0 (* t z))))
  (log (cbrt (/ 2.0 (* t z))))
  (exp (cbrt (/ 2.0 (* t z))))
  (cbrt (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z)))))
  (cbrt (cbrt (/ 2.0 (* t z))))
  (cbrt (sqrt (/ 2.0 (* t z))))
  (cbrt (sqrt (/ 2.0 (* t z))))
  (cbrt (/ (* (cbrt 2.0) (cbrt 2.0)) t))
  (cbrt (/ (cbrt 2.0) z))
  (cbrt (/ (sqrt 2.0) t))
  (cbrt (/ (sqrt 2.0) z))
  (cbrt (/ 1 t))
  (cbrt (/ 2.0 z))
  (cbrt 1)
  (cbrt (/ 2.0 (* t z)))
  (cbrt 2.0)
  (cbrt (/ 1 (* t z)))
  (cbrt 2.0)
  (cbrt (* t z))
  (* (cbrt (cbrt (/ 2.0 (* t z)))) (cbrt (cbrt (/ 2.0 (* t z)))))
  (cbrt (cbrt (/ 2.0 (* t z))))
  (* (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z)))) (cbrt (/ 2.0 (* t z))))
  (sqrt (cbrt (/ 2.0 (* t z))))
  (sqrt (cbrt (/ 2.0 (* t z))))
  (- (log 2.0) (+ (log t) (log z)))
  (- (log 2.0) (log (* t z)))
  (log (/ 2.0 (* t z)))
  (exp (/ 2.0 (* t z)))
  (/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* z z) z)))
  (/ (* (* 2.0 2.0) 2.0) (* (* (* t z) (* t z)) (* t z)))
  (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z))))
  (cbrt (/ 2.0 (* t z)))
  (* (* (/ 2.0 (* t z)) (/ 2.0 (* t z))) (/ 2.0 (* t z)))
  (sqrt (/ 2.0 (* t z)))
  (sqrt (/ 2.0 (* t z)))
  (neg 2.0)
  (neg (* t z))
  (/ (* (cbrt 2.0) (cbrt 2.0)) t)
  (/ (cbrt 2.0) z)
  (/ (sqrt 2.0) t)
  (/ (sqrt 2.0) z)
  (/ 1 t)
  (/ 2.0 z)
  (/ 1 (* t z))
  (/ (* t z) 2.0)
  (/ 2.0 t)
  (/ (* t z) (cbrt 2.0))
  (/ (* t z) (sqrt 2.0))
  (/ (* t z) 2.0)
  (* (cbrt 2.0) (exp (* 1/3 (- (log 1) (+ (log z) (log t))))))
  (* (cbrt 2.0) (exp (* 1/3 (+ (log (/ 1 t)) (+ (log 1) (log (/ 1 z)))))))
  (* (cbrt 2.0) (exp (* 1/3 (+ (log 1) (+ (log (/ -1 t)) (log (/ -1 z)))))))
  (* (cbrt 2.0) (exp (* 1/3 (- (log 1) (+ (log z) (log t))))))
  (* (cbrt 2.0) (exp (* 1/3 (+ (log (/ 1 t)) (+ (log 1) (log (/ 1 z)))))))
  (* (cbrt 2.0) (exp (* 1/3 (+ (log 1) (+ (log (/ -1 t)) (log (/ -1 z)))))))
  (* (cbrt 2.0) (exp (* 1/3 (- (log 1) (+ (log z) (log t))))))
  (* (cbrt 2.0) (exp (* 1/3 (+ (log (/ 1 t)) (+ (log 1) (log (/ 1 z)))))))
  (* (cbrt 2.0) (exp (* 1/3 (+ (log 1) (+ (log (/ -1 t)) (log (/ -1 z)))))))
  (/ 2.0 (* t z))
  (/ 2.0 (* t z))
  (/ 2.0 (* t z))
2.196 * * [simplify]: iteration  0 :  5159  enodes  (cost  644 )
2.199 * [simplify]: Simplified to:
   (log (cbrt (/ 2.0 (* t z))))
  (exp (cbrt (/ 2.0 (* t z))))
  (cbrt (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z)))))
  (cbrt (cbrt (/ 2.0 (* t z))))
  (cbrt (sqrt (/ 2.0 (* t z))))
  (cbrt (sqrt (/ 2.0 (* t z))))
  (cbrt (* (cbrt 2.0) (/ (cbrt 2.0) t)))
  (cbrt (/ (cbrt 2.0) z))
  (cbrt (/ (sqrt 2.0) t))
  (cbrt (/ (sqrt 2.0) z))
  (pow t -1/3)
  (cbrt (/ 2.0 z))
  1
  (cbrt (/ 2.0 (* t z)))
  (cbrt 2.0)
  (pow (* t z) -1/3)
  (cbrt 2.0)
  (cbrt (* t z))
  (* (cbrt (cbrt (/ 2.0 (* t z)))) (cbrt (cbrt (/ 2.0 (* t z)))))
  (cbrt (cbrt (/ 2.0 (* t z))))
  (/ 2.0 (* t z))
  (sqrt (cbrt (/ 2.0 (* t z))))
  (sqrt (cbrt (/ 2.0 (* t z))))
  (log (cbrt (/ 2.0 (* t z))))
  (exp (cbrt (/ 2.0 (* t z))))
  (cbrt (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z)))))
  (cbrt (cbrt (/ 2.0 (* t z))))
  (cbrt (sqrt (/ 2.0 (* t z))))
  (cbrt (sqrt (/ 2.0 (* t z))))
  (cbrt (* (cbrt 2.0) (/ (cbrt 2.0) t)))
  (cbrt (/ (cbrt 2.0) z))
  (cbrt (/ (sqrt 2.0) t))
  (cbrt (/ (sqrt 2.0) z))
  (pow t -1/3)
  (cbrt (/ 2.0 z))
  1
  (cbrt (/ 2.0 (* t z)))
  (cbrt 2.0)
  (pow (* t z) -1/3)
  (cbrt 2.0)
  (cbrt (* t z))
  (* (cbrt (cbrt (/ 2.0 (* t z)))) (cbrt (cbrt (/ 2.0 (* t z)))))
  (cbrt (cbrt (/ 2.0 (* t z))))
  (/ 2.0 (* t z))
  (sqrt (cbrt (/ 2.0 (* t z))))
  (sqrt (cbrt (/ 2.0 (* t z))))
  (log (cbrt (/ 2.0 (* t z))))
  (exp (cbrt (/ 2.0 (* t z))))
  (cbrt (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z)))))
  (cbrt (cbrt (/ 2.0 (* t z))))
  (cbrt (sqrt (/ 2.0 (* t z))))
  (cbrt (sqrt (/ 2.0 (* t z))))
  (cbrt (* (cbrt 2.0) (/ (cbrt 2.0) t)))
  (cbrt (/ (cbrt 2.0) z))
  (cbrt (/ (sqrt 2.0) t))
  (cbrt (/ (sqrt 2.0) z))
  (pow t -1/3)
  (cbrt (/ 2.0 z))
  1
  (cbrt (/ 2.0 (* t z)))
  (cbrt 2.0)
  (pow (* t z) -1/3)
  (cbrt 2.0)
  (cbrt (* t z))
  (* (cbrt (cbrt (/ 2.0 (* t z)))) (cbrt (cbrt (/ 2.0 (* t z)))))
  (cbrt (cbrt (/ 2.0 (* t z))))
  (/ 2.0 (* t z))
  (sqrt (cbrt (/ 2.0 (* t z))))
  (sqrt (cbrt (/ 2.0 (* t z))))
  (log (/ 2.0 (* t z)))
  (log (/ 2.0 (* t z)))
  (log (/ 2.0 (* t z)))
  (exp (/ 2.0 (* t z)))
  (pow (/ 2.0 (* t z)) 3)
  (pow (/ 2.0 (* t z)) 3)
  (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z))))
  (cbrt (/ 2.0 (* t z)))
  (pow (/ 2.0 (* t z)) 3)
  (sqrt (/ 2.0 (* t z)))
  (sqrt (/ 2.0 (* t z)))
  (neg 2.0)
  (* t (neg z))
  (* (cbrt 2.0) (/ (cbrt 2.0) t))
  (/ (cbrt 2.0) z)
  (/ (sqrt 2.0) t)
  (/ (sqrt 2.0) z)
  (/ 1 t)
  (/ 2.0 z)
  (/ 1 (* t z))
  (* t (/ z 2.0))
  (/ 2.0 t)
  (* t (/ z (cbrt 2.0)))
  (* t (/ z (sqrt 2.0)))
  (* t (/ z 2.0))
  (* (cbrt 2.0) (pow (* t z) -1/3))
  (* (cbrt 2.0) (pow (* t z) -1/3))
  (* (cbrt 2.0) (pow (* t z) -1/3))
  (* (cbrt 2.0) (pow (* t z) -1/3))
  (* (cbrt 2.0) (pow (* t z) -1/3))
  (* (cbrt 2.0) (pow (* t z) -1/3))
  (* (cbrt 2.0) (pow (* t z) -1/3))
  (* (cbrt 2.0) (pow (* t z) -1/3))
  (* (cbrt 2.0) (pow (* t z) -1/3))
  (/ 2.0 (* t z))
  (/ 2.0 (* t z))
  (/ 2.0 (* t z))
2.200 * * * [progress]: adding candidates to table
2.341 * [progress]: [Phase 3 of 3] Extracting.
2.342 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ (/ x y) (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (- (+ (/ 2.0 t) (* (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z)))) (cbrt (/ 2.0 (* t z))))) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (- (* (* 2.0 (/ (* (cbrt (+ (/ 1 z) 1.0)) (cbrt (+ (/ 1 z) 1.0))) t)) (cbrt (+ (/ 1 z) 1.0))) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))))>)
2.343 * * * [regime-changes]: Trying 7 branch expressions: ((/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)) (/ x y) (+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))) t z y x)
2.343 * * * * [regimes]: Trying to branch on (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)) from (#<alt (λ (x y z t) (+ (/ x y) (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (- (+ (/ 2.0 t) (* (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z)))) (cbrt (/ 2.0 (* t z))))) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (- (* (* 2.0 (/ (* (cbrt (+ (/ 1 z) 1.0)) (cbrt (+ (/ 1 z) 1.0))) t)) (cbrt (+ (/ 1 z) 1.0))) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))))>)
2.413 * * * * [regimes]: Trying to branch on (/ x y) from (#<alt (λ (x y z t) (+ (/ x y) (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (- (+ (/ 2.0 t) (* (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z)))) (cbrt (/ 2.0 (* t z))))) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (- (* (* 2.0 (/ (* (cbrt (+ (/ 1 z) 1.0)) (cbrt (+ (/ 1 z) 1.0))) t)) (cbrt (+ (/ 1 z) 1.0))) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))))>)
2.483 * * * * [regimes]: Trying to branch on (+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))) from (#<alt (λ (x y z t) (+ (/ x y) (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (- (+ (/ 2.0 t) (* (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z)))) (cbrt (/ 2.0 (* t z))))) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (- (* (* 2.0 (/ (* (cbrt (+ (/ 1 z) 1.0)) (cbrt (+ (/ 1 z) 1.0))) t)) (cbrt (+ (/ 1 z) 1.0))) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))))>)
2.555 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ (/ x y) (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (- (+ (/ 2.0 t) (* (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z)))) (cbrt (/ 2.0 (* t z))))) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (- (* (* 2.0 (/ (* (cbrt (+ (/ 1 z) 1.0)) (cbrt (+ (/ 1 z) 1.0))) t)) (cbrt (+ (/ 1 z) 1.0))) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))))>)
2.624 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ (/ x y) (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (- (+ (/ 2.0 t) (* (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z)))) (cbrt (/ 2.0 (* t z))))) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (- (* (* 2.0 (/ (* (cbrt (+ (/ 1 z) 1.0)) (cbrt (+ (/ 1 z) 1.0))) t)) (cbrt (+ (/ 1 z) 1.0))) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))))>)
2.693 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ (/ x y) (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (- (+ (/ 2.0 t) (* (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z)))) (cbrt (/ 2.0 (* t z))))) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (- (* (* 2.0 (/ (* (cbrt (+ (/ 1 z) 1.0)) (cbrt (+ (/ 1 z) 1.0))) t)) (cbrt (+ (/ 1 z) 1.0))) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))))>)
2.761 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ (/ x y) (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (- (+ (/ 2.0 t) (* (* (cbrt (/ 2.0 (* t z))) (cbrt (/ 2.0 (* t z)))) (cbrt (/ 2.0 (* t z))))) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (- (* (* 2.0 (/ (* (cbrt (+ (/ 1 z) 1.0)) (cbrt (+ (/ 1 z) 1.0))) t)) (cbrt (+ (/ 1 z) 1.0))) 2.0)))> #<alt (λ (x y z t) (+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))))>)
2.830 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
2.830 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (/ x y) (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0))
2.831 * * [simplify]: iteration  0 :  27  enodes  (cost  15 )
2.831 * * [simplify]: iteration  1 :  27  enodes  (cost  15 )
2.831 * [simplify]: Simplified to:
   (+ (/ x y) (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0))
2.831 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
2.974 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
2.974 * * * * [points]: Setting MPFR precision to 64
2.975 * * * * [points]: Setting MPFR precision to 320
2.975 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
2.975 * * * * [points]: Setting MPFR precision to 64
2.976 * * * * [points]: Setting MPFR precision to 320
2.981 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
2.981 * * * * [points]: Setting MPFR precision to 64
2.983 * * * * [points]: Setting MPFR precision to 320
2.985 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
2.985 * * * * [points]: Setting MPFR precision to 64
2.989 * * * * [points]: Setting MPFR precision to 320
2.993 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
2.993 * * * * [points]: Setting MPFR precision to 64
3.000 * * * * [points]: Setting MPFR precision to 320
3.008 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
3.008 * * * * [points]: Setting MPFR precision to 64
3.023 * * * * [points]: Setting MPFR precision to 320
3.038 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
3.038 * * * * [points]: Setting MPFR precision to 64
3.067 * * * * [points]: Setting MPFR precision to 320
3.099 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.099 * * * * [points]: Setting MPFR precision to 64
3.157 * * * * [points]: Setting MPFR precision to 320
3.220 * * * * [points]: Computing exacts for 8000 points
3.220 * * * * [points]: Setting MPFR precision to 64
3.458 * * * * [points]: Setting MPFR precision to 320
3.699 * * * * [points]: Setting MPFR precision to 576
3.950 * * * * [points]: Filtering points with unrepresentable outputs
3.963 * * * * [points]: Sampling 1819 additional inputs, on iter 1 have 6181 / 8000
4.000 * * * * [points]: Computing exacts on every 113 of 1819 points to ramp up precision
4.000 * * * * [points]: Setting MPFR precision to 320
4.000 * * * * [points]: Setting MPFR precision to 576
4.001 * * * * [points]: Computing exacts on every 56 of 1819 points to ramp up precision
4.001 * * * * [points]: Setting MPFR precision to 320
4.002 * * * * [points]: Setting MPFR precision to 576
4.003 * * * * [points]: Computing exacts on every 28 of 1819 points to ramp up precision
4.003 * * * * [points]: Setting MPFR precision to 320
4.005 * * * * [points]: Setting MPFR precision to 576
4.007 * * * * [points]: Computing exacts on every 14 of 1819 points to ramp up precision
4.007 * * * * [points]: Setting MPFR precision to 320
4.011 * * * * [points]: Setting MPFR precision to 576
4.015 * * * * [points]: Computing exacts on every 7 of 1819 points to ramp up precision
4.015 * * * * [points]: Setting MPFR precision to 320
4.022 * * * * [points]: Setting MPFR precision to 576
4.030 * * * * [points]: Computing exacts on every 3 of 1819 points to ramp up precision
4.030 * * * * [points]: Setting MPFR precision to 320
4.051 * * * * [points]: Setting MPFR precision to 576
4.079 * * * * [points]: Computing exacts for 1819 points
4.079 * * * * [points]: Setting MPFR precision to 320
4.135 * * * * [points]: Setting MPFR precision to 576
4.192 * * * * [points]: Filtering points with unrepresentable outputs
4.195 * * * * [points]: Sampling 435 additional inputs, on iter 2 have 7565 / 8000
4.203 * * * * [points]: Computing exacts on every 27 of 435 points to ramp up precision
4.203 * * * * [points]: Setting MPFR precision to 320
4.204 * * * * [points]: Setting MPFR precision to 576
4.204 * * * * [points]: Computing exacts on every 13 of 435 points to ramp up precision
4.204 * * * * [points]: Setting MPFR precision to 320
4.206 * * * * [points]: Setting MPFR precision to 576
4.207 * * * * [points]: Computing exacts on every 6 of 435 points to ramp up precision
4.207 * * * * [points]: Setting MPFR precision to 320
4.209 * * * * [points]: Setting MPFR precision to 576
4.211 * * * * [points]: Computing exacts on every 3 of 435 points to ramp up precision
4.211 * * * * [points]: Setting MPFR precision to 320
4.214 * * * * [points]: Setting MPFR precision to 576
4.218 * * * * [points]: Computing exacts for 435 points
4.218 * * * * [points]: Setting MPFR precision to 320
4.231 * * * * [points]: Setting MPFR precision to 576
4.245 * * * * [points]: Filtering points with unrepresentable outputs
4.245 * * * * [points]: Sampling 97 additional inputs, on iter 3 have 7903 / 8000
4.247 * * * * [points]: Computing exacts on every 6 of 97 points to ramp up precision
4.247 * * * * [points]: Setting MPFR precision to 320
4.248 * * * * [points]: Setting MPFR precision to 576
4.248 * * * * [points]: Computing exacts on every 3 of 97 points to ramp up precision
4.248 * * * * [points]: Setting MPFR precision to 320
4.249 * * * * [points]: Setting MPFR precision to 576
4.250 * * * * [points]: Computing exacts for 97 points
4.250 * * * * [points]: Setting MPFR precision to 320
4.255 * * * * [points]: Setting MPFR precision to 576
4.258 * * * * [points]: Filtering points with unrepresentable outputs
4.258 * * * * [points]: Sampling 23 additional inputs, on iter 4 have 7977 / 8000
4.259 * * * * [points]: Computing exacts for 23 points
4.259 * * * * [points]: Setting MPFR precision to 320
4.260 * * * * [points]: Setting MPFR precision to 576
4.261 * * * * [points]: Filtering points with unrepresentable outputs
4.261 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 7995 / 8000
4.261 * * * * [points]: Computing exacts for 5 points
4.261 * * * * [points]: Setting MPFR precision to 320
4.261 * * * * [points]: Setting MPFR precision to 576
4.261 * * * * [points]: Filtering points with unrepresentable outputs
4.261 * * * * [points]: Sampled 8000 points with exact outputs
5.423 * [regime-testing]: End program error score: 0.0724364816370412
5.546 * [regime-testing]: Target error score: 0.09668648163704122