18.919 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.025 * * * [progress]: [2/2] Setting up program.
0.027 * [progress]: [Phase 2 of 3] Improving.
0.028 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)))
0.029 * * [simplify]: iteration  0 :  14  enodes  (cost  17 )
0.030 * * [simplify]: iteration  1 :  25  enodes  (cost  17 )
0.033 * * [simplify]: iteration  2 :  46  enodes  (cost  17 )
0.041 * * [simplify]: iteration  3 :  79  enodes  (cost  17 )
0.058 * * [simplify]: iteration  4 :  121  enodes  (cost  17 )
0.079 * * [simplify]: iteration  5 :  183  enodes  (cost  17 )
0.125 * * [simplify]: iteration  6 :  309  enodes  (cost  17 )
0.240 * * [simplify]: iteration  7 :  714  enodes  (cost  17 )
0.966 * * [simplify]: iteration  8 :  2840  enodes  (cost  15 )
2.404 * * [simplify]: iteration  done :  5001  enodes  (cost  15 )
2.404 * [simplify]: Simplified to:
   (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y)))
2.408 * * [progress]: iteration 1 / 4
2.408 * * * [progress]: picking best candidate
2.411 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y))))>
2.411 * * * [progress]: localizing error
2.422 * * * [progress]: generating rewritten candidates
2.422 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
2.444 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
2.524 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
2.535 * * * [progress]: generating series expansions
2.535 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
2.536 * [approximate]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 z)) 2.0) t) in (z t) around 0
2.536 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 z)) 2.0) t) in t
2.536 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in t
2.536 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in t
2.536 * [taylor]: Taking taylor expansion of 2.0 in t
2.536 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.536 * [taylor]: Taking taylor expansion of z in t
2.536 * [taylor]: Taking taylor expansion of 2.0 in t
2.536 * [taylor]: Taking taylor expansion of t in t
2.536 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 z)) 2.0) t) in z
2.536 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z
2.536 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
2.536 * [taylor]: Taking taylor expansion of 2.0 in z
2.536 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.536 * [taylor]: Taking taylor expansion of z in z
2.536 * [taylor]: Taking taylor expansion of 2.0 in z
2.536 * [taylor]: Taking taylor expansion of t in z
2.537 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 z)) 2.0) t) in z
2.537 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z
2.537 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
2.537 * [taylor]: Taking taylor expansion of 2.0 in z
2.537 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.537 * [taylor]: Taking taylor expansion of z in z
2.537 * [taylor]: Taking taylor expansion of 2.0 in z
2.537 * [taylor]: Taking taylor expansion of t in z
2.538 * [taylor]: Taking taylor expansion of (/ 2.0 t) in t
2.538 * [taylor]: Taking taylor expansion of 2.0 in t
2.538 * [taylor]: Taking taylor expansion of t in t
2.540 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
2.540 * [taylor]: Taking taylor expansion of 2.0 in t
2.540 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.540 * [taylor]: Taking taylor expansion of t in t
2.542 * [taylor]: Taking taylor expansion of 0 in t
2.545 * [taylor]: Taking taylor expansion of 0 in t
2.548 * [approximate]: Taking taylor expansion of (* t (+ (* 2.0 z) 2.0)) in (z t) around 0
2.548 * [taylor]: Taking taylor expansion of (* t (+ (* 2.0 z) 2.0)) in t
2.548 * [taylor]: Taking taylor expansion of t in t
2.548 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in t
2.548 * [taylor]: Taking taylor expansion of (* 2.0 z) in t
2.548 * [taylor]: Taking taylor expansion of 2.0 in t
2.548 * [taylor]: Taking taylor expansion of z in t
2.548 * [taylor]: Taking taylor expansion of 2.0 in t
2.548 * [taylor]: Taking taylor expansion of (* t (+ (* 2.0 z) 2.0)) in z
2.548 * [taylor]: Taking taylor expansion of t in z
2.548 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
2.548 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
2.548 * [taylor]: Taking taylor expansion of 2.0 in z
2.548 * [taylor]: Taking taylor expansion of z in z
2.548 * [taylor]: Taking taylor expansion of 2.0 in z
2.548 * [taylor]: Taking taylor expansion of (* t (+ (* 2.0 z) 2.0)) in z
2.548 * [taylor]: Taking taylor expansion of t in z
2.548 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
2.548 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
2.548 * [taylor]: Taking taylor expansion of 2.0 in z
2.548 * [taylor]: Taking taylor expansion of z in z
2.548 * [taylor]: Taking taylor expansion of 2.0 in z
2.549 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
2.549 * [taylor]: Taking taylor expansion of 2.0 in t
2.549 * [taylor]: Taking taylor expansion of t in t
2.550 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
2.550 * [taylor]: Taking taylor expansion of 2.0 in t
2.550 * [taylor]: Taking taylor expansion of t in t
2.553 * [taylor]: Taking taylor expansion of 0 in t
2.555 * [taylor]: Taking taylor expansion of 0 in t
2.558 * [taylor]: Taking taylor expansion of 0 in t
2.558 * [approximate]: Taking taylor expansion of (* -1 (* (- 2.0 (* 2.0 z)) t)) in (z t) around 0
2.558 * [taylor]: Taking taylor expansion of (* -1 (* (- 2.0 (* 2.0 z)) t)) in t
2.559 * [taylor]: Taking taylor expansion of -1 in t
2.559 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 2.0 z)) t) in t
2.559 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 z)) in t
2.559 * [taylor]: Taking taylor expansion of 2.0 in t
2.559 * [taylor]: Taking taylor expansion of (* 2.0 z) in t
2.559 * [taylor]: Taking taylor expansion of 2.0 in t
2.559 * [taylor]: Taking taylor expansion of z in t
2.559 * [taylor]: Taking taylor expansion of t in t
2.559 * [taylor]: Taking taylor expansion of (* -1 (* (- 2.0 (* 2.0 z)) t)) in z
2.559 * [taylor]: Taking taylor expansion of -1 in z
2.559 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 2.0 z)) t) in z
2.559 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 z)) in z
2.559 * [taylor]: Taking taylor expansion of 2.0 in z
2.559 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
2.559 * [taylor]: Taking taylor expansion of 2.0 in z
2.559 * [taylor]: Taking taylor expansion of z in z
2.559 * [taylor]: Taking taylor expansion of t in z
2.559 * [taylor]: Taking taylor expansion of (* -1 (* (- 2.0 (* 2.0 z)) t)) in z
2.559 * [taylor]: Taking taylor expansion of -1 in z
2.559 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 2.0 z)) t) in z
2.559 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 z)) in z
2.559 * [taylor]: Taking taylor expansion of 2.0 in z
2.559 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
2.559 * [taylor]: Taking taylor expansion of 2.0 in z
2.559 * [taylor]: Taking taylor expansion of z in z
2.559 * [taylor]: Taking taylor expansion of t in z
2.560 * [taylor]: Taking taylor expansion of (* -2.0 t) in t
2.560 * [taylor]: Taking taylor expansion of -2.0 in t
2.560 * [taylor]: Taking taylor expansion of t in t
2.562 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
2.562 * [taylor]: Taking taylor expansion of 2.0 in t
2.562 * [taylor]: Taking taylor expansion of t in t
2.566 * [taylor]: Taking taylor expansion of 0 in t
2.570 * [taylor]: Taking taylor expansion of 0 in t
2.574 * [taylor]: Taking taylor expansion of 0 in t
2.575 * * * * [progress]: [ 2 / 3 ] generating series at (2)
2.575 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in (z t x y) around 0
2.575 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in y
2.575 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in y
2.575 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in y
2.575 * [taylor]: Taking taylor expansion of 2.0 in y
2.575 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.575 * [taylor]: Taking taylor expansion of (* t z) in y
2.575 * [taylor]: Taking taylor expansion of t in y
2.575 * [taylor]: Taking taylor expansion of z in y
2.575 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in y
2.575 * [taylor]: Taking taylor expansion of (/ x y) in y
2.575 * [taylor]: Taking taylor expansion of x in y
2.575 * [taylor]: Taking taylor expansion of y in y
2.575 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in y
2.575 * [taylor]: Taking taylor expansion of 2.0 in y
2.575 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.575 * [taylor]: Taking taylor expansion of t in y
2.576 * [taylor]: Taking taylor expansion of 2.0 in y
2.576 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in x
2.576 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in x
2.576 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in x
2.576 * [taylor]: Taking taylor expansion of 2.0 in x
2.576 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.576 * [taylor]: Taking taylor expansion of (* t z) in x
2.576 * [taylor]: Taking taylor expansion of t in x
2.576 * [taylor]: Taking taylor expansion of z in x
2.576 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in x
2.576 * [taylor]: Taking taylor expansion of (/ x y) in x
2.576 * [taylor]: Taking taylor expansion of x in x
2.576 * [taylor]: Taking taylor expansion of y in x
2.576 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in x
2.576 * [taylor]: Taking taylor expansion of 2.0 in x
2.576 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.576 * [taylor]: Taking taylor expansion of t in x
2.576 * [taylor]: Taking taylor expansion of 2.0 in x
2.576 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in t
2.576 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in t
2.576 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
2.576 * [taylor]: Taking taylor expansion of 2.0 in t
2.576 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.576 * [taylor]: Taking taylor expansion of (* t z) in t
2.576 * [taylor]: Taking taylor expansion of t in t
2.576 * [taylor]: Taking taylor expansion of z in t
2.576 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in t
2.576 * [taylor]: Taking taylor expansion of (/ x y) in t
2.576 * [taylor]: Taking taylor expansion of x in t
2.576 * [taylor]: Taking taylor expansion of y in t
2.576 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
2.576 * [taylor]: Taking taylor expansion of 2.0 in t
2.576 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.577 * [taylor]: Taking taylor expansion of t in t
2.577 * [taylor]: Taking taylor expansion of 2.0 in t
2.577 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in z
2.577 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in z
2.577 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z
2.577 * [taylor]: Taking taylor expansion of 2.0 in z
2.577 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.577 * [taylor]: Taking taylor expansion of (* t z) in z
2.577 * [taylor]: Taking taylor expansion of t in z
2.577 * [taylor]: Taking taylor expansion of z in z
2.577 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in z
2.577 * [taylor]: Taking taylor expansion of (/ x y) in z
2.577 * [taylor]: Taking taylor expansion of x in z
2.577 * [taylor]: Taking taylor expansion of y in z
2.577 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z
2.577 * [taylor]: Taking taylor expansion of 2.0 in z
2.577 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.577 * [taylor]: Taking taylor expansion of t in z
2.577 * [taylor]: Taking taylor expansion of 2.0 in z
2.577 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in z
2.577 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in z
2.578 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z
2.578 * [taylor]: Taking taylor expansion of 2.0 in z
2.578 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.578 * [taylor]: Taking taylor expansion of (* t z) in z
2.578 * [taylor]: Taking taylor expansion of t in z
2.578 * [taylor]: Taking taylor expansion of z in z
2.578 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in z
2.578 * [taylor]: Taking taylor expansion of (/ x y) in z
2.578 * [taylor]: Taking taylor expansion of x in z
2.578 * [taylor]: Taking taylor expansion of y in z
2.578 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z
2.578 * [taylor]: Taking taylor expansion of 2.0 in z
2.578 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.578 * [taylor]: Taking taylor expansion of t in z
2.578 * [taylor]: Taking taylor expansion of 2.0 in z
2.578 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
2.578 * [taylor]: Taking taylor expansion of 2.0 in t
2.578 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.578 * [taylor]: Taking taylor expansion of t in t
2.579 * [taylor]: Taking taylor expansion of 2.0 in x
2.579 * [taylor]: Taking taylor expansion of 2.0 in y
2.580 * [taylor]: Taking taylor expansion of (- (+ (/ x y) (* 2.0 (/ 1 t))) 2.0) in t
2.580 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in t
2.580 * [taylor]: Taking taylor expansion of (/ x y) in t
2.580 * [taylor]: Taking taylor expansion of x in t
2.581 * [taylor]: Taking taylor expansion of y in t
2.581 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
2.581 * [taylor]: Taking taylor expansion of 2.0 in t
2.581 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.581 * [taylor]: Taking taylor expansion of t in t
2.581 * [taylor]: Taking taylor expansion of 2.0 in t
2.582 * [taylor]: Taking taylor expansion of 2.0 in x
2.582 * [taylor]: Taking taylor expansion of 2.0 in y
2.583 * [taylor]: Taking taylor expansion of 0 in x
2.583 * [taylor]: Taking taylor expansion of 0 in y
2.583 * [taylor]: Taking taylor expansion of 0 in y
2.585 * [taylor]: Taking taylor expansion of 0 in t
2.586 * [taylor]: Taking taylor expansion of (- (/ x y) 2.0) in x
2.586 * [taylor]: Taking taylor expansion of (/ x y) in x
2.587 * [taylor]: Taking taylor expansion of x in x
2.587 * [taylor]: Taking taylor expansion of y in x
2.587 * [taylor]: Taking taylor expansion of 2.0 in x
2.587 * [taylor]: Taking taylor expansion of (- 2.0) in y
2.587 * [taylor]: Taking taylor expansion of 2.0 in y
2.588 * [taylor]: Taking taylor expansion of 0 in x
2.588 * [taylor]: Taking taylor expansion of 0 in y
2.588 * [taylor]: Taking taylor expansion of 0 in y
2.588 * [taylor]: Taking taylor expansion of 0 in y
2.589 * [taylor]: Taking taylor expansion of 0 in y
2.592 * [taylor]: Taking taylor expansion of 0 in t
2.592 * [taylor]: Taking taylor expansion of 0 in x
2.592 * [taylor]: Taking taylor expansion of 0 in y
2.594 * [taylor]: Taking taylor expansion of 0 in x
2.594 * [taylor]: Taking taylor expansion of 0 in y
2.595 * [taylor]: Taking taylor expansion of 0 in x
2.595 * [taylor]: Taking taylor expansion of 0 in y
2.596 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.596 * [taylor]: Taking taylor expansion of y in y
2.597 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in (z t x y) around 0
2.597 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in y
2.597 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in y
2.597 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
2.597 * [taylor]: Taking taylor expansion of 2.0 in y
2.597 * [taylor]: Taking taylor expansion of (* t z) in y
2.597 * [taylor]: Taking taylor expansion of t in y
2.597 * [taylor]: Taking taylor expansion of z in y
2.597 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in y
2.597 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
2.597 * [taylor]: Taking taylor expansion of 2.0 in y
2.597 * [taylor]: Taking taylor expansion of t in y
2.597 * [taylor]: Taking taylor expansion of (/ y x) in y
2.597 * [taylor]: Taking taylor expansion of y in y
2.597 * [taylor]: Taking taylor expansion of x in y
2.597 * [taylor]: Taking taylor expansion of 2.0 in y
2.597 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in x
2.597 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in x
2.597 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
2.597 * [taylor]: Taking taylor expansion of 2.0 in x
2.597 * [taylor]: Taking taylor expansion of (* t z) in x
2.597 * [taylor]: Taking taylor expansion of t in x
2.597 * [taylor]: Taking taylor expansion of z in x
2.597 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in x
2.597 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
2.597 * [taylor]: Taking taylor expansion of 2.0 in x
2.597 * [taylor]: Taking taylor expansion of t in x
2.598 * [taylor]: Taking taylor expansion of (/ y x) in x
2.598 * [taylor]: Taking taylor expansion of y in x
2.598 * [taylor]: Taking taylor expansion of x in x
2.598 * [taylor]: Taking taylor expansion of 2.0 in x
2.598 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in t
2.598 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in t
2.598 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
2.598 * [taylor]: Taking taylor expansion of 2.0 in t
2.598 * [taylor]: Taking taylor expansion of (* t z) in t
2.598 * [taylor]: Taking taylor expansion of t in t
2.598 * [taylor]: Taking taylor expansion of z in t
2.598 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in t
2.598 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
2.598 * [taylor]: Taking taylor expansion of 2.0 in t
2.598 * [taylor]: Taking taylor expansion of t in t
2.598 * [taylor]: Taking taylor expansion of (/ y x) in t
2.598 * [taylor]: Taking taylor expansion of y in t
2.598 * [taylor]: Taking taylor expansion of x in t
2.598 * [taylor]: Taking taylor expansion of 2.0 in t
2.598 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in z
2.598 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in z
2.598 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
2.598 * [taylor]: Taking taylor expansion of 2.0 in z
2.598 * [taylor]: Taking taylor expansion of (* t z) in z
2.598 * [taylor]: Taking taylor expansion of t in z
2.598 * [taylor]: Taking taylor expansion of z in z
2.598 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in z
2.598 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
2.598 * [taylor]: Taking taylor expansion of 2.0 in z
2.598 * [taylor]: Taking taylor expansion of t in z
2.598 * [taylor]: Taking taylor expansion of (/ y x) in z
2.598 * [taylor]: Taking taylor expansion of y in z
2.598 * [taylor]: Taking taylor expansion of x in z
2.598 * [taylor]: Taking taylor expansion of 2.0 in z
2.598 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in z
2.598 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in z
2.598 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
2.598 * [taylor]: Taking taylor expansion of 2.0 in z
2.598 * [taylor]: Taking taylor expansion of (* t z) in z
2.598 * [taylor]: Taking taylor expansion of t in z
2.598 * [taylor]: Taking taylor expansion of z in z
2.598 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in z
2.598 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
2.598 * [taylor]: Taking taylor expansion of 2.0 in z
2.598 * [taylor]: Taking taylor expansion of t in z
2.599 * [taylor]: Taking taylor expansion of (/ y x) in z
2.599 * [taylor]: Taking taylor expansion of y in z
2.599 * [taylor]: Taking taylor expansion of x in z
2.599 * [taylor]: Taking taylor expansion of 2.0 in z
2.600 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 t) (/ y x)) 2.0) in t
2.600 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in t
2.600 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
2.600 * [taylor]: Taking taylor expansion of 2.0 in t
2.600 * [taylor]: Taking taylor expansion of t in t
2.600 * [taylor]: Taking taylor expansion of (/ y x) in t
2.600 * [taylor]: Taking taylor expansion of y in t
2.600 * [taylor]: Taking taylor expansion of x in t
2.600 * [taylor]: Taking taylor expansion of 2.0 in t
2.601 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in x
2.601 * [taylor]: Taking taylor expansion of (/ y x) in x
2.601 * [taylor]: Taking taylor expansion of y in x
2.601 * [taylor]: Taking taylor expansion of x in x
2.601 * [taylor]: Taking taylor expansion of 2.0 in x
2.601 * [taylor]: Taking taylor expansion of y in y
2.602 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
2.602 * [taylor]: Taking taylor expansion of 2.0 in t
2.602 * [taylor]: Taking taylor expansion of t in t
2.603 * [taylor]: Taking taylor expansion of 0 in x
2.605 * [taylor]: Taking taylor expansion of 2.0 in x
2.606 * [taylor]: Taking taylor expansion of (- 2.0) in y
2.606 * [taylor]: Taking taylor expansion of 2.0 in y
2.609 * [taylor]: Taking taylor expansion of 0 in t
2.609 * [taylor]: Taking taylor expansion of 0 in x
2.615 * [taylor]: Taking taylor expansion of 2.0 in x
2.616 * [taylor]: Taking taylor expansion of 0 in x
2.616 * [taylor]: Taking taylor expansion of 0 in y
2.616 * [taylor]: Taking taylor expansion of 2.0 in y
2.617 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in (z t x y) around 0
2.617 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in y
2.617 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in y
2.617 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
2.617 * [taylor]: Taking taylor expansion of 2.0 in y
2.617 * [taylor]: Taking taylor expansion of (* t z) in y
2.617 * [taylor]: Taking taylor expansion of t in y
2.617 * [taylor]: Taking taylor expansion of z in y
2.617 * [taylor]: Taking taylor expansion of (/ y x) in y
2.617 * [taylor]: Taking taylor expansion of y in y
2.618 * [taylor]: Taking taylor expansion of x in y
2.618 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in y
2.618 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
2.618 * [taylor]: Taking taylor expansion of 2.0 in y
2.618 * [taylor]: Taking taylor expansion of t in y
2.618 * [taylor]: Taking taylor expansion of 2.0 in y
2.618 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in x
2.618 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in x
2.618 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
2.618 * [taylor]: Taking taylor expansion of 2.0 in x
2.618 * [taylor]: Taking taylor expansion of (* t z) in x
2.618 * [taylor]: Taking taylor expansion of t in x
2.618 * [taylor]: Taking taylor expansion of z in x
2.618 * [taylor]: Taking taylor expansion of (/ y x) in x
2.618 * [taylor]: Taking taylor expansion of y in x
2.618 * [taylor]: Taking taylor expansion of x in x
2.618 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in x
2.618 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
2.618 * [taylor]: Taking taylor expansion of 2.0 in x
2.618 * [taylor]: Taking taylor expansion of t in x
2.618 * [taylor]: Taking taylor expansion of 2.0 in x
2.618 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in t
2.618 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in t
2.618 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
2.618 * [taylor]: Taking taylor expansion of 2.0 in t
2.618 * [taylor]: Taking taylor expansion of (* t z) in t
2.618 * [taylor]: Taking taylor expansion of t in t
2.618 * [taylor]: Taking taylor expansion of z in t
2.618 * [taylor]: Taking taylor expansion of (/ y x) in t
2.618 * [taylor]: Taking taylor expansion of y in t
2.618 * [taylor]: Taking taylor expansion of x in t
2.618 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
2.618 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
2.618 * [taylor]: Taking taylor expansion of 2.0 in t
2.618 * [taylor]: Taking taylor expansion of t in t
2.618 * [taylor]: Taking taylor expansion of 2.0 in t
2.618 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in z
2.618 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in z
2.618 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
2.618 * [taylor]: Taking taylor expansion of 2.0 in z
2.618 * [taylor]: Taking taylor expansion of (* t z) in z
2.618 * [taylor]: Taking taylor expansion of t in z
2.618 * [taylor]: Taking taylor expansion of z in z
2.618 * [taylor]: Taking taylor expansion of (/ y x) in z
2.618 * [taylor]: Taking taylor expansion of y in z
2.618 * [taylor]: Taking taylor expansion of x in z
2.618 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in z
2.618 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
2.618 * [taylor]: Taking taylor expansion of 2.0 in z
2.618 * [taylor]: Taking taylor expansion of t in z
2.618 * [taylor]: Taking taylor expansion of 2.0 in z
2.618 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in z
2.618 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in z
2.618 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
2.619 * [taylor]: Taking taylor expansion of 2.0 in z
2.619 * [taylor]: Taking taylor expansion of (* t z) in z
2.619 * [taylor]: Taking taylor expansion of t in z
2.619 * [taylor]: Taking taylor expansion of z in z
2.619 * [taylor]: Taking taylor expansion of (/ y x) in z
2.619 * [taylor]: Taking taylor expansion of y in z
2.619 * [taylor]: Taking taylor expansion of x in z
2.619 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in z
2.619 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
2.619 * [taylor]: Taking taylor expansion of 2.0 in z
2.619 * [taylor]: Taking taylor expansion of t in z
2.619 * [taylor]: Taking taylor expansion of 2.0 in z
2.619 * [taylor]: Taking taylor expansion of (- (/ y x) (+ (* 2.0 t) 2.0)) in t
2.619 * [taylor]: Taking taylor expansion of (/ y x) in t
2.619 * [taylor]: Taking taylor expansion of y in t
2.619 * [taylor]: Taking taylor expansion of x in t
2.619 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
2.619 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
2.619 * [taylor]: Taking taylor expansion of 2.0 in t
2.619 * [taylor]: Taking taylor expansion of t in t
2.619 * [taylor]: Taking taylor expansion of 2.0 in t
2.621 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in x
2.621 * [taylor]: Taking taylor expansion of (/ y x) in x
2.621 * [taylor]: Taking taylor expansion of y in x
2.621 * [taylor]: Taking taylor expansion of x in x
2.621 * [taylor]: Taking taylor expansion of 2.0 in x
2.621 * [taylor]: Taking taylor expansion of y in y
2.622 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
2.622 * [taylor]: Taking taylor expansion of 2.0 in t
2.622 * [taylor]: Taking taylor expansion of t in t
2.622 * [taylor]: Taking taylor expansion of 0 in x
2.624 * [taylor]: Taking taylor expansion of (- 2.0) in x
2.624 * [taylor]: Taking taylor expansion of 2.0 in x
2.626 * [taylor]: Taking taylor expansion of (- 2.0) in y
2.626 * [taylor]: Taking taylor expansion of 2.0 in y
2.629 * [taylor]: Taking taylor expansion of 0 in t
2.629 * [taylor]: Taking taylor expansion of 0 in x
2.630 * [taylor]: Taking taylor expansion of 2.0 in x
2.631 * [taylor]: Taking taylor expansion of 0 in x
2.631 * [taylor]: Taking taylor expansion of 0 in y
2.632 * [taylor]: Taking taylor expansion of (- 2.0) in y
2.632 * [taylor]: Taking taylor expansion of 2.0 in y
2.633 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
2.633 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in (z) around 0
2.633 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z
2.633 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
2.633 * [taylor]: Taking taylor expansion of 2.0 in z
2.633 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.633 * [taylor]: Taking taylor expansion of z in z
2.634 * [taylor]: Taking taylor expansion of 2.0 in z
2.634 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z
2.634 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
2.634 * [taylor]: Taking taylor expansion of 2.0 in z
2.634 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.634 * [taylor]: Taking taylor expansion of z in z
2.634 * [taylor]: Taking taylor expansion of 2.0 in z
2.645 * [approximate]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in (z) around 0
2.645 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
2.645 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
2.645 * [taylor]: Taking taylor expansion of 2.0 in z
2.645 * [taylor]: Taking taylor expansion of z in z
2.645 * [taylor]: Taking taylor expansion of 2.0 in z
2.645 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
2.645 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
2.645 * [taylor]: Taking taylor expansion of 2.0 in z
2.645 * [taylor]: Taking taylor expansion of z in z
2.645 * [taylor]: Taking taylor expansion of 2.0 in z
2.653 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 z)) in (z) around 0
2.653 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 z)) in z
2.653 * [taylor]: Taking taylor expansion of 2.0 in z
2.653 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
2.653 * [taylor]: Taking taylor expansion of 2.0 in z
2.653 * [taylor]: Taking taylor expansion of z in z
2.653 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 z)) in z
2.653 * [taylor]: Taking taylor expansion of 2.0 in z
2.653 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
2.653 * [taylor]: Taking taylor expansion of 2.0 in z
2.653 * [taylor]: Taking taylor expansion of z in z
2.663 * * * [progress]: simplifying candidates
2.665 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log (+ (/ 2.0 z) (* 2.0 1.0))) (log t))
  (log (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
  (exp (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
  (/ (* (* (+ (/ 2.0 z) (* 2.0 1.0)) (+ (/ 2.0 z) (* 2.0 1.0))) (+ (/ 2.0 z) (* 2.0 1.0))) (* (* t t) t))
  (* (cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)) (cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)))
  (cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
  (* (* (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)) (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
  (sqrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
  (sqrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
  (- (+ (/ 2.0 z) (* 2.0 1.0)))
  (- t)
  (/ (* (cbrt (+ (/ 2.0 z) (* 2.0 1.0))) (cbrt (+ (/ 2.0 z) (* 2.0 1.0)))) (* (cbrt t) (cbrt t)))
  (/ (cbrt (+ (/ 2.0 z) (* 2.0 1.0))) (cbrt t))
  (/ (* (cbrt (+ (/ 2.0 z) (* 2.0 1.0))) (cbrt (+ (/ 2.0 z) (* 2.0 1.0)))) (sqrt t))
  (/ (cbrt (+ (/ 2.0 z) (* 2.0 1.0))) (sqrt t))
  (/ (* (cbrt (+ (/ 2.0 z) (* 2.0 1.0))) (cbrt (+ (/ 2.0 z) (* 2.0 1.0)))) 1)
  (/ (cbrt (+ (/ 2.0 z) (* 2.0 1.0))) t)
  (/ (sqrt (+ (/ 2.0 z) (* 2.0 1.0))) (* (cbrt t) (cbrt t)))
  (/ (sqrt (+ (/ 2.0 z) (* 2.0 1.0))) (cbrt t))
  (/ (sqrt (+ (/ 2.0 z) (* 2.0 1.0))) (sqrt t))
  (/ (sqrt (+ (/ 2.0 z) (* 2.0 1.0))) (sqrt t))
  (/ (sqrt (+ (/ 2.0 z) (* 2.0 1.0))) 1)
  (/ (sqrt (+ (/ 2.0 z) (* 2.0 1.0))) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (+ (/ 2.0 z) (* 2.0 1.0)) (cbrt t))
  (/ 1 (sqrt t))
  (/ (+ (/ 2.0 z) (* 2.0 1.0)) (sqrt t))
  (/ 1 1)
  (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)
  (/ 2.0 (* (cbrt t) (cbrt t)))
  (/ (+ (/ 1 z) 1.0) (cbrt t))
  (/ 2.0 (sqrt t))
  (/ (+ (/ 1 z) 1.0) (sqrt t))
  (/ 2.0 1)
  (/ (+ (/ 1 z) 1.0) t)
  (/ 1 t)
  (/ t (+ (/ 2.0 z) (* 2.0 1.0)))
  (/ (+ (/ 2.0 z) (* 2.0 1.0)) (* (cbrt t) (cbrt t)))
  (/ (+ (/ 2.0 z) (* 2.0 1.0)) (sqrt t))
  (/ (+ (/ 2.0 z) (* 2.0 1.0)) 1)
  (/ t (cbrt (+ (/ 2.0 z) (* 2.0 1.0))))
  (/ t (sqrt (+ (/ 2.0 z) (* 2.0 1.0))))
  (/ t (+ (/ 2.0 z) (* 2.0 1.0)))
  (/ t (+ (/ 1 z) 1.0))
  (* t (+ (* (/ 2.0 z) (/ 2.0 z)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (/ 2.0 z) (* 2.0 1.0)))))
  (* t (- (/ 2.0 z) (* 2.0 1.0)))
  (/ (exp (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)) (/ (exp 2.0) (exp (/ x y))))
  (/ (exp (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)) (exp (- 2.0 (/ x y))))
  (log (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y))))
  (exp (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y))))
  (* (cbrt (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y)))) (cbrt (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y)))))
  (cbrt (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y))))
  (* (* (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y))) (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y)))) (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y))))
  (sqrt (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y))))
  (sqrt (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y))))
  (- (* (+ (/ 2.0 z) (* 2.0 1.0)) (+ (* 2.0 2.0) (+ (* (/ x y) (/ x y)) (* 2.0 (/ x y))))) (* t (- (pow 2.0 3) (pow (/ x y) 3))))
  (* t (+ (* 2.0 2.0) (+ (* (/ x y) (/ x y)) (* 2.0 (/ x y)))))
  (- (* (+ (/ 2.0 z) (* 2.0 1.0)) (+ 2.0 (/ x y))) (* t (- (* 2.0 2.0) (* (/ x y) (/ x y)))))
  (* t (+ 2.0 (/ x y)))
  (- (pow (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) 3) (pow (- 2.0 (/ x y)) 3))
  (+ (* (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)) (+ (* (- 2.0 (/ x y)) (- 2.0 (/ x y))) (* (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y)))))
  (- (- 2.0 (/ x y)))
  (- (* (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)) (* (- 2.0 (/ x y)) (- 2.0 (/ x y))))
  (+ (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y)))
  (+ (sqrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)) (sqrt (- 2.0 (/ x y))))
  (- (sqrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)) (sqrt (- 2.0 (/ x y))))
  (+ (/ (sqrt (+ (/ 2.0 z) (* 2.0 1.0))) (sqrt t)) (sqrt (- 2.0 (/ x y))))
  (- (/ (sqrt (+ (/ 2.0 z) (* 2.0 1.0))) (sqrt t)) (sqrt (- 2.0 (/ x y))))
  (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y)))
  (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y)))
  (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) 2.0)
  (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) 2.0)
  (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) 2.0)
  (- (- 2.0 (/ x y)))
  (* (exp (/ 2.0 z)) (exp (* 2.0 1.0)))
  (log (+ (/ 2.0 z) (* 2.0 1.0)))
  (exp (+ (/ 2.0 z) (* 2.0 1.0)))
  (* (cbrt (+ (/ 2.0 z) (* 2.0 1.0))) (cbrt (+ (/ 2.0 z) (* 2.0 1.0))))
  (cbrt (+ (/ 2.0 z) (* 2.0 1.0)))
  (* (* (+ (/ 2.0 z) (* 2.0 1.0)) (+ (/ 2.0 z) (* 2.0 1.0))) (+ (/ 2.0 z) (* 2.0 1.0)))
  (sqrt (+ (/ 2.0 z) (* 2.0 1.0)))
  (sqrt (+ (/ 2.0 z) (* 2.0 1.0)))
  (+ (pow (/ 2.0 z) 3) (pow (* 2.0 1.0) 3))
  (+ (* (/ 2.0 z) (/ 2.0 z)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (/ 2.0 z) (* 2.0 1.0))))
  (- (* (/ 2.0 z) (/ 2.0 z)) (* (* 2.0 1.0) (* 2.0 1.0)))
  (- (/ 2.0 z) (* 2.0 1.0))
  (+ (/ 1 z) 1.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))) (+ (/ x y) (* 2.0 (/ 1 t))))
  (- (+ (/ x y) (* 2.0 (/ 1 t))) 2.0)
  (- (+ (/ x y) (* 2.0 (/ 1 t))) 2.0)
  (+ (* 2.0 (/ 1 z)) 2.0)
  (+ (* 2.0 (/ 1 z)) 2.0)
  (+ (* 2.0 (/ 1 z)) 2.0)
2.668 * * [simplify]: iteration  0 :  142  enodes  (cost  1296 )
2.896 * * [simplify]: iteration  1 :  367  enodes  (cost  1235 )
3.008 * * [simplify]: iteration  2 :  1006  enodes  (cost  1153 )
3.459 * * [simplify]: iteration  3 :  3224  enodes  (cost  1141 )
4.174 * * [simplify]: iteration  done :  5000  enodes  (cost  1141 )
4.175 * [simplify]: Simplified to:
   (log (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
  (log (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
  (exp (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
  (pow (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) 3)
  (* (cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)) (cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)))
  (cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
  (pow (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) 3)
  (sqrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
  (sqrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
  (- (+ (/ 2.0 z) (* 2.0 1.0)))
  (- t)
  (/ (* (cbrt (+ (/ 2.0 z) (* 2.0 1.0))) (cbrt (+ (/ 2.0 z) (* 2.0 1.0)))) (* (cbrt t) (cbrt t)))
  (/ (cbrt (+ (/ 2.0 z) (* 2.0 1.0))) (cbrt t))
  (/ (* (cbrt (+ (/ 2.0 z) (* 2.0 1.0))) (cbrt (+ (/ 2.0 z) (* 2.0 1.0)))) (sqrt t))
  (/ (cbrt (+ (/ 2.0 z) (* 2.0 1.0))) (sqrt t))
  (* (cbrt (+ (/ 2.0 z) (* 2.0 1.0))) (cbrt (+ (/ 2.0 z) (* 2.0 1.0))))
  (/ (cbrt (+ (/ 2.0 z) (* 2.0 1.0))) t)
  (/ (sqrt (+ (/ 2.0 z) (* 2.0 1.0))) (* (cbrt t) (cbrt t)))
  (/ (sqrt (+ (/ 2.0 z) (* 2.0 1.0))) (cbrt t))
  (/ (sqrt (+ (/ 2.0 z) (* 2.0 1.0))) (sqrt t))
  (/ (sqrt (+ (/ 2.0 z) (* 2.0 1.0))) (sqrt t))
  (sqrt (+ (/ 2.0 z) (* 2.0 1.0)))
  (/ (sqrt (+ (/ 2.0 z) (* 2.0 1.0))) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (+ (/ 2.0 z) (* 2.0 1.0)) (cbrt t))
  (/ 1 (sqrt t))
  (/ (+ (/ 2.0 z) (* 2.0 1.0)) (sqrt t))
  1
  (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)
  (/ 2.0 (* (cbrt t) (cbrt t)))
  (/ (+ (/ 1 z) 1.0) (cbrt t))
  (/ 2.0 (sqrt t))
  (/ (+ (/ 1 z) 1.0) (sqrt t))
  2.0
  (/ (+ (/ 1 z) 1.0) t)
  (/ 1 t)
  (/ t (+ (/ 2.0 z) (* 2.0 1.0)))
  (/ (+ (/ 2.0 z) (* 2.0 1.0)) (* (cbrt t) (cbrt t)))
  (/ (+ (/ 2.0 z) (* 2.0 1.0)) (sqrt t))
  (+ (* 2.0 1.0) (/ 2.0 z))
  (/ t (cbrt (+ (/ 2.0 z) (* 2.0 1.0))))
  (/ t (sqrt (+ (/ 2.0 z) (* 2.0 1.0))))
  (/ t (+ (/ 2.0 z) (* 2.0 1.0)))
  (/ t (+ (/ 1 z) 1.0))
  (* t (+ (* (* 2.0 1.0) (- (* 2.0 1.0) (/ 2.0 z))) (* (/ 2.0 z) (/ 2.0 z))))
  (* t (- (/ 2.0 z) (* 2.0 1.0)))
  (exp (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y))))
  (exp (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y))))
  (log (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y))))
  (exp (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y))))
  (* (cbrt (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y)))) (cbrt (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y)))))
  (cbrt (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y))))
  (pow (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y))) 3)
  (sqrt (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y))))
  (sqrt (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y))))
  (- (* (+ (* 2.0 1.0) (/ 2.0 z)) (+ (* (/ x y) (+ 2.0 (/ x y))) (* 2.0 2.0))) (* t (- (pow 2.0 3) (pow (/ x y) 3))))
  (* (+ (* (/ x y) (+ 2.0 (/ x y))) (* 2.0 2.0)) t)
  (* (+ 2.0 (/ x y)) (- (+ (* 2.0 1.0) (/ 2.0 z)) (* (- 2.0 (/ x y)) t)))
  (* t (+ 2.0 (/ x y)))
  (- (pow (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) 3) (pow (- 2.0 (/ x y)) 3))
  (+ (* (- 2.0 (/ x y)) (- 2.0 (/ x y))) (* (+ (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y))) (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)))
  (- (/ x y) 2.0)
  (- (* (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)) (* (- 2.0 (/ x y)) (- 2.0 (/ x y))))
  (+ (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y)))
  (+ (sqrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)) (sqrt (- 2.0 (/ x y))))
  (- (sqrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)) (sqrt (- 2.0 (/ x y))))
  (+ (/ (sqrt (+ (/ 2.0 z) (* 2.0 1.0))) (sqrt t)) (sqrt (- 2.0 (/ x y))))
  (- (/ (sqrt (+ (/ 2.0 z) (* 2.0 1.0))) (sqrt t)) (sqrt (- 2.0 (/ x y))))
  (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y)))
  (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y)))
  (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) 2.0)
  (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) 2.0)
  (- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) 2.0)
  (- (/ x y) 2.0)
  (exp (+ (/ 2.0 z) (* 2.0 1.0)))
  (log (+ (/ 2.0 z) (* 2.0 1.0)))
  (exp (+ (/ 2.0 z) (* 2.0 1.0)))
  (* (cbrt (+ (/ 2.0 z) (* 2.0 1.0))) (cbrt (+ (/ 2.0 z) (* 2.0 1.0))))
  (cbrt (+ (/ 2.0 z) (* 2.0 1.0)))
  (pow (+ (* 2.0 1.0) (/ 2.0 z)) 3)
  (sqrt (+ (/ 2.0 z) (* 2.0 1.0)))
  (sqrt (+ (/ 2.0 z) (* 2.0 1.0)))
  (+ (pow (/ 2.0 z) 3) (pow (* 2.0 1.0) 3))
  (+ (* (* 2.0 1.0) (- (* 2.0 1.0) (/ 2.0 z))) (* (/ 2.0 z) (/ 2.0 z)))
  (- (* (/ 2.0 z) (/ 2.0 z)) (* (* 2.0 1.0) (* 2.0 1.0)))
  (- (/ 2.0 z) (* 2.0 1.0))
  (+ (/ 1 z) 1.0)
  (+ (/ 2.0 (* t z)) (/ 2.0 t))
  (+ (/ 2.0 (* t z)) (/ 2.0 t))
  (+ (/ 2.0 (* t z)) (/ 2.0 t))
  (+ (+ (/ x y) (/ 2.0 t)) (/ 2.0 (* t z)))
  (- (+ (/ x y) (/ 2.0 t)) 2.0)
  (- (+ (/ x y) (/ 2.0 t)) 2.0)
  (+ 2.0 (/ 2.0 z))
  (+ 2.0 (/ 2.0 z))
  (+ 2.0 (/ 2.0 z))
4.175 * * * [progress]: adding candidates to table
4.365 * * [progress]: iteration 2 / 4
4.365 * * * [progress]: picking best candidate
4.373 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))>
4.373 * * * [progress]: localizing error
4.382 * * * [progress]: generating rewritten candidates
4.382 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
4.385 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
4.400 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
4.519 * * * [progress]: generating series expansions
4.519 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
4.519 * [approximate]: Taking taylor expansion of (/ 2.0 (* t z)) in (t z) around 0
4.519 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in z
4.519 * [taylor]: Taking taylor expansion of 2.0 in z
4.519 * [taylor]: Taking taylor expansion of (* t z) in z
4.519 * [taylor]: Taking taylor expansion of t in z
4.519 * [taylor]: Taking taylor expansion of z in z
4.519 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in t
4.519 * [taylor]: Taking taylor expansion of 2.0 in t
4.519 * [taylor]: Taking taylor expansion of (* t z) in t
4.519 * [taylor]: Taking taylor expansion of t in t
4.519 * [taylor]: Taking taylor expansion of z in t
4.520 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in t
4.520 * [taylor]: Taking taylor expansion of 2.0 in t
4.520 * [taylor]: Taking taylor expansion of (* t z) in t
4.520 * [taylor]: Taking taylor expansion of t in t
4.520 * [taylor]: Taking taylor expansion of z in t
4.520 * [taylor]: Taking taylor expansion of (/ 2.0 z) in z
4.520 * [taylor]: Taking taylor expansion of 2.0 in z
4.520 * [taylor]: Taking taylor expansion of z in z
4.521 * [taylor]: Taking taylor expansion of 0 in z
4.523 * [taylor]: Taking taylor expansion of 0 in z
4.524 * [taylor]: Taking taylor expansion of 0 in z
4.525 * [approximate]: Taking taylor expansion of (* 2.0 (* t z)) in (t z) around 0
4.525 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
4.525 * [taylor]: Taking taylor expansion of 2.0 in z
4.525 * [taylor]: Taking taylor expansion of (* t z) in z
4.525 * [taylor]: Taking taylor expansion of t in z
4.525 * [taylor]: Taking taylor expansion of z in z
4.525 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
4.525 * [taylor]: Taking taylor expansion of 2.0 in t
4.525 * [taylor]: Taking taylor expansion of (* t z) in t
4.525 * [taylor]: Taking taylor expansion of t in t
4.525 * [taylor]: Taking taylor expansion of z in t
4.525 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
4.525 * [taylor]: Taking taylor expansion of 2.0 in t
4.525 * [taylor]: Taking taylor expansion of (* t z) in t
4.525 * [taylor]: Taking taylor expansion of t in t
4.525 * [taylor]: Taking taylor expansion of z in t
4.528 * [taylor]: Taking taylor expansion of 0 in z
4.528 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
4.528 * [taylor]: Taking taylor expansion of 2.0 in z
4.528 * [taylor]: Taking taylor expansion of z in z
4.530 * [taylor]: Taking taylor expansion of 0 in z
4.532 * [taylor]: Taking taylor expansion of 0 in z
4.535 * [taylor]: Taking taylor expansion of 0 in z
4.535 * [approximate]: Taking taylor expansion of (* 2.0 (* t z)) in (t z) around 0
4.535 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
4.535 * [taylor]: Taking taylor expansion of 2.0 in z
4.535 * [taylor]: Taking taylor expansion of (* t z) in z
4.535 * [taylor]: Taking taylor expansion of t in z
4.535 * [taylor]: Taking taylor expansion of z in z
4.535 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
4.535 * [taylor]: Taking taylor expansion of 2.0 in t
4.535 * [taylor]: Taking taylor expansion of (* t z) in t
4.535 * [taylor]: Taking taylor expansion of t in t
4.535 * [taylor]: Taking taylor expansion of z in t
4.535 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
4.535 * [taylor]: Taking taylor expansion of 2.0 in t
4.535 * [taylor]: Taking taylor expansion of (* t z) in t
4.535 * [taylor]: Taking taylor expansion of t in t
4.535 * [taylor]: Taking taylor expansion of z in t
4.535 * [taylor]: Taking taylor expansion of 0 in z
4.536 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
4.536 * [taylor]: Taking taylor expansion of 2.0 in z
4.536 * [taylor]: Taking taylor expansion of z in z
4.537 * [taylor]: Taking taylor expansion of 0 in z
4.540 * [taylor]: Taking taylor expansion of 0 in z
4.542 * [taylor]: Taking taylor expansion of 0 in z
4.542 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
4.543 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in (t z) around 0
4.543 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in z
4.543 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z
4.543 * [taylor]: Taking taylor expansion of 2.0 in z
4.543 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
4.543 * [taylor]: Taking taylor expansion of (* t z) in z
4.543 * [taylor]: Taking taylor expansion of t in z
4.543 * [taylor]: Taking taylor expansion of z in z
4.543 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z
4.543 * [taylor]: Taking taylor expansion of 2.0 in z
4.543 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.543 * [taylor]: Taking taylor expansion of t in z
4.543 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t
4.543 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
4.543 * [taylor]: Taking taylor expansion of 2.0 in t
4.543 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
4.543 * [taylor]: Taking taylor expansion of (* t z) in t
4.543 * [taylor]: Taking taylor expansion of t in t
4.543 * [taylor]: Taking taylor expansion of z in t
4.544 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
4.544 * [taylor]: Taking taylor expansion of 2.0 in t
4.544 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.544 * [taylor]: Taking taylor expansion of t in t
4.544 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t
4.544 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
4.544 * [taylor]: Taking taylor expansion of 2.0 in t
4.544 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
4.544 * [taylor]: Taking taylor expansion of (* t z) in t
4.544 * [taylor]: Taking taylor expansion of t in t
4.544 * [taylor]: Taking taylor expansion of z in t
4.544 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
4.544 * [taylor]: Taking taylor expansion of 2.0 in t
4.544 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.544 * [taylor]: Taking taylor expansion of t in t
4.545 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z
4.545 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
4.545 * [taylor]: Taking taylor expansion of 2.0 in z
4.545 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.545 * [taylor]: Taking taylor expansion of z in z
4.545 * [taylor]: Taking taylor expansion of 2.0 in z
4.548 * [taylor]: Taking taylor expansion of 0 in z
4.551 * [taylor]: Taking taylor expansion of 0 in z
4.556 * [taylor]: Taking taylor expansion of 0 in z
4.561 * [taylor]: Taking taylor expansion of 0 in z
4.561 * [approximate]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in (t z) around 0
4.562 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in z
4.562 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
4.562 * [taylor]: Taking taylor expansion of 2.0 in z
4.562 * [taylor]: Taking taylor expansion of (* t z) in z
4.562 * [taylor]: Taking taylor expansion of t in z
4.562 * [taylor]: Taking taylor expansion of z in z
4.562 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
4.562 * [taylor]: Taking taylor expansion of 2.0 in z
4.562 * [taylor]: Taking taylor expansion of t in z
4.562 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t
4.562 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
4.562 * [taylor]: Taking taylor expansion of 2.0 in t
4.562 * [taylor]: Taking taylor expansion of (* t z) in t
4.562 * [taylor]: Taking taylor expansion of t in t
4.562 * [taylor]: Taking taylor expansion of z in t
4.562 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
4.562 * [taylor]: Taking taylor expansion of 2.0 in t
4.562 * [taylor]: Taking taylor expansion of t in t
4.562 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t
4.562 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
4.562 * [taylor]: Taking taylor expansion of 2.0 in t
4.562 * [taylor]: Taking taylor expansion of (* t z) in t
4.562 * [taylor]: Taking taylor expansion of t in t
4.562 * [taylor]: Taking taylor expansion of z in t
4.562 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
4.562 * [taylor]: Taking taylor expansion of 2.0 in t
4.562 * [taylor]: Taking taylor expansion of t in t
4.563 * [taylor]: Taking taylor expansion of 0 in z
4.564 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
4.564 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
4.564 * [taylor]: Taking taylor expansion of 2.0 in z
4.564 * [taylor]: Taking taylor expansion of z in z
4.564 * [taylor]: Taking taylor expansion of 2.0 in z
4.567 * [taylor]: Taking taylor expansion of 0 in z
4.570 * [taylor]: Taking taylor expansion of 0 in z
4.574 * [taylor]: Taking taylor expansion of 0 in z
4.574 * [approximate]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in (t z) around 0
4.574 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in z
4.574 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
4.574 * [taylor]: Taking taylor expansion of 2.0 in z
4.575 * [taylor]: Taking taylor expansion of (* t z) in z
4.575 * [taylor]: Taking taylor expansion of t in z
4.575 * [taylor]: Taking taylor expansion of z in z
4.575 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
4.575 * [taylor]: Taking taylor expansion of 2.0 in z
4.575 * [taylor]: Taking taylor expansion of t in z
4.575 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in t
4.575 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
4.575 * [taylor]: Taking taylor expansion of 2.0 in t
4.575 * [taylor]: Taking taylor expansion of (* t z) in t
4.575 * [taylor]: Taking taylor expansion of t in t
4.575 * [taylor]: Taking taylor expansion of z in t
4.575 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
4.575 * [taylor]: Taking taylor expansion of 2.0 in t
4.575 * [taylor]: Taking taylor expansion of t in t
4.575 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in t
4.575 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
4.575 * [taylor]: Taking taylor expansion of 2.0 in t
4.575 * [taylor]: Taking taylor expansion of (* t z) in t
4.575 * [taylor]: Taking taylor expansion of t in t
4.575 * [taylor]: Taking taylor expansion of z in t
4.575 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
4.575 * [taylor]: Taking taylor expansion of 2.0 in t
4.575 * [taylor]: Taking taylor expansion of t in t
4.576 * [taylor]: Taking taylor expansion of 0 in z
4.579 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z
4.579 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
4.579 * [taylor]: Taking taylor expansion of 2.0 in z
4.579 * [taylor]: Taking taylor expansion of z in z
4.579 * [taylor]: Taking taylor expansion of 2.0 in z
4.582 * [taylor]: Taking taylor expansion of 0 in z
4.586 * [taylor]: Taking taylor expansion of 0 in z
4.590 * [taylor]: Taking taylor expansion of 0 in z
4.590 * * * * [progress]: [ 3 / 3 ] generating series at (2)
4.591 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in (t z x y) around 0
4.591 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in y
4.591 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in y
4.591 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in y
4.591 * [taylor]: Taking taylor expansion of 2.0 in y
4.591 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
4.591 * [taylor]: Taking taylor expansion of (* t z) in y
4.591 * [taylor]: Taking taylor expansion of t in y
4.591 * [taylor]: Taking taylor expansion of z in y
4.591 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in y
4.591 * [taylor]: Taking taylor expansion of (/ x y) in y
4.591 * [taylor]: Taking taylor expansion of x in y
4.591 * [taylor]: Taking taylor expansion of y in y
4.591 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in y
4.591 * [taylor]: Taking taylor expansion of 2.0 in y
4.591 * [taylor]: Taking taylor expansion of (/ 1 t) in y
4.591 * [taylor]: Taking taylor expansion of t in y
4.591 * [taylor]: Taking taylor expansion of 2.0 in y
4.591 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in x
4.591 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in x
4.591 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in x
4.591 * [taylor]: Taking taylor expansion of 2.0 in x
4.591 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
4.591 * [taylor]: Taking taylor expansion of (* t z) in x
4.591 * [taylor]: Taking taylor expansion of t in x
4.591 * [taylor]: Taking taylor expansion of z in x
4.591 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in x
4.591 * [taylor]: Taking taylor expansion of (/ x y) in x
4.591 * [taylor]: Taking taylor expansion of x in x
4.591 * [taylor]: Taking taylor expansion of y in x
4.591 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in x
4.591 * [taylor]: Taking taylor expansion of 2.0 in x
4.591 * [taylor]: Taking taylor expansion of (/ 1 t) in x
4.591 * [taylor]: Taking taylor expansion of t in x
4.591 * [taylor]: Taking taylor expansion of 2.0 in x
4.591 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in z
4.591 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in z
4.591 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z
4.591 * [taylor]: Taking taylor expansion of 2.0 in z
4.591 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
4.591 * [taylor]: Taking taylor expansion of (* t z) in z
4.591 * [taylor]: Taking taylor expansion of t in z
4.592 * [taylor]: Taking taylor expansion of z in z
4.592 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in z
4.592 * [taylor]: Taking taylor expansion of (/ x y) in z
4.592 * [taylor]: Taking taylor expansion of x in z
4.592 * [taylor]: Taking taylor expansion of y in z
4.592 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z
4.592 * [taylor]: Taking taylor expansion of 2.0 in z
4.592 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.592 * [taylor]: Taking taylor expansion of t in z
4.592 * [taylor]: Taking taylor expansion of 2.0 in z
4.592 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in t
4.592 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in t
4.592 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
4.592 * [taylor]: Taking taylor expansion of 2.0 in t
4.592 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
4.592 * [taylor]: Taking taylor expansion of (* t z) in t
4.592 * [taylor]: Taking taylor expansion of t in t
4.592 * [taylor]: Taking taylor expansion of z in t
4.593 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in t
4.593 * [taylor]: Taking taylor expansion of (/ x y) in t
4.593 * [taylor]: Taking taylor expansion of x in t
4.593 * [taylor]: Taking taylor expansion of y in t
4.593 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
4.593 * [taylor]: Taking taylor expansion of 2.0 in t
4.593 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.593 * [taylor]: Taking taylor expansion of t in t
4.593 * [taylor]: Taking taylor expansion of 2.0 in t
4.593 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in t
4.593 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in t
4.593 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
4.593 * [taylor]: Taking taylor expansion of 2.0 in t
4.593 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
4.593 * [taylor]: Taking taylor expansion of (* t z) in t
4.593 * [taylor]: Taking taylor expansion of t in t
4.593 * [taylor]: Taking taylor expansion of z in t
4.593 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in t
4.593 * [taylor]: Taking taylor expansion of (/ x y) in t
4.593 * [taylor]: Taking taylor expansion of x in t
4.593 * [taylor]: Taking taylor expansion of y in t
4.594 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
4.594 * [taylor]: Taking taylor expansion of 2.0 in t
4.594 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.594 * [taylor]: Taking taylor expansion of t in t
4.594 * [taylor]: Taking taylor expansion of 2.0 in t
4.595 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z
4.595 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
4.595 * [taylor]: Taking taylor expansion of 2.0 in z
4.595 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.595 * [taylor]: Taking taylor expansion of z in z
4.595 * [taylor]: Taking taylor expansion of 2.0 in z
4.595 * [taylor]: Taking taylor expansion of 2.0 in x
4.596 * [taylor]: Taking taylor expansion of 2.0 in y
4.598 * [taylor]: Taking taylor expansion of (- (/ x y) 2.0) in z
4.598 * [taylor]: Taking taylor expansion of (/ x y) in z
4.598 * [taylor]: Taking taylor expansion of x in z
4.598 * [taylor]: Taking taylor expansion of y in z
4.598 * [taylor]: Taking taylor expansion of 2.0 in z
4.599 * [taylor]: Taking taylor expansion of 2.0 in x
4.599 * [taylor]: Taking taylor expansion of 2.0 in y
4.599 * [taylor]: Taking taylor expansion of 0 in y
4.602 * [taylor]: Taking taylor expansion of 0 in z
4.603 * [taylor]: Taking taylor expansion of (- (/ x y) 2.0) in x
4.603 * [taylor]: Taking taylor expansion of (/ x y) in x
4.603 * [taylor]: Taking taylor expansion of x in x
4.603 * [taylor]: Taking taylor expansion of y in x
4.603 * [taylor]: Taking taylor expansion of 2.0 in x
4.608 * [taylor]: Taking taylor expansion of (- 2.0) in y
4.608 * [taylor]: Taking taylor expansion of 2.0 in y
4.609 * [taylor]: Taking taylor expansion of 0 in x
4.609 * [taylor]: Taking taylor expansion of 0 in y
4.609 * [taylor]: Taking taylor expansion of 0 in y
4.610 * [taylor]: Taking taylor expansion of 0 in y
4.613 * [taylor]: Taking taylor expansion of 0 in z
4.613 * [taylor]: Taking taylor expansion of 0 in x
4.614 * [taylor]: Taking taylor expansion of 0 in y
4.614 * [taylor]: Taking taylor expansion of 0 in x
4.614 * [taylor]: Taking taylor expansion of 0 in y
4.615 * [taylor]: Taking taylor expansion of 0 in x
4.615 * [taylor]: Taking taylor expansion of 0 in y
4.616 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.616 * [taylor]: Taking taylor expansion of y in y
4.617 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in (t z x y) around 0
4.617 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in y
4.617 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in y
4.617 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
4.617 * [taylor]: Taking taylor expansion of 2.0 in y
4.617 * [taylor]: Taking taylor expansion of (* t z) in y
4.617 * [taylor]: Taking taylor expansion of t in y
4.617 * [taylor]: Taking taylor expansion of z in y
4.617 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in y
4.617 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
4.617 * [taylor]: Taking taylor expansion of 2.0 in y
4.617 * [taylor]: Taking taylor expansion of t in y
4.617 * [taylor]: Taking taylor expansion of (/ y x) in y
4.617 * [taylor]: Taking taylor expansion of y in y
4.617 * [taylor]: Taking taylor expansion of x in y
4.617 * [taylor]: Taking taylor expansion of 2.0 in y
4.617 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in x
4.617 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in x
4.617 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
4.617 * [taylor]: Taking taylor expansion of 2.0 in x
4.617 * [taylor]: Taking taylor expansion of (* t z) in x
4.617 * [taylor]: Taking taylor expansion of t in x
4.617 * [taylor]: Taking taylor expansion of z in x
4.617 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in x
4.617 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
4.617 * [taylor]: Taking taylor expansion of 2.0 in x
4.617 * [taylor]: Taking taylor expansion of t in x
4.617 * [taylor]: Taking taylor expansion of (/ y x) in x
4.617 * [taylor]: Taking taylor expansion of y in x
4.617 * [taylor]: Taking taylor expansion of x in x
4.617 * [taylor]: Taking taylor expansion of 2.0 in x
4.617 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in z
4.617 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in z
4.617 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
4.617 * [taylor]: Taking taylor expansion of 2.0 in z
4.617 * [taylor]: Taking taylor expansion of (* t z) in z
4.618 * [taylor]: Taking taylor expansion of t in z
4.618 * [taylor]: Taking taylor expansion of z in z
4.618 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in z
4.618 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
4.618 * [taylor]: Taking taylor expansion of 2.0 in z
4.618 * [taylor]: Taking taylor expansion of t in z
4.618 * [taylor]: Taking taylor expansion of (/ y x) in z
4.618 * [taylor]: Taking taylor expansion of y in z
4.618 * [taylor]: Taking taylor expansion of x in z
4.618 * [taylor]: Taking taylor expansion of 2.0 in z
4.618 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in t
4.618 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in t
4.618 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
4.618 * [taylor]: Taking taylor expansion of 2.0 in t
4.618 * [taylor]: Taking taylor expansion of (* t z) in t
4.618 * [taylor]: Taking taylor expansion of t in t
4.618 * [taylor]: Taking taylor expansion of z in t
4.618 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in t
4.618 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
4.618 * [taylor]: Taking taylor expansion of 2.0 in t
4.618 * [taylor]: Taking taylor expansion of t in t
4.618 * [taylor]: Taking taylor expansion of (/ y x) in t
4.618 * [taylor]: Taking taylor expansion of y in t
4.618 * [taylor]: Taking taylor expansion of x in t
4.618 * [taylor]: Taking taylor expansion of 2.0 in t
4.618 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in t
4.618 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in t
4.618 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
4.618 * [taylor]: Taking taylor expansion of 2.0 in t
4.618 * [taylor]: Taking taylor expansion of (* t z) in t
4.618 * [taylor]: Taking taylor expansion of t in t
4.618 * [taylor]: Taking taylor expansion of z in t
4.618 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in t
4.618 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
4.618 * [taylor]: Taking taylor expansion of 2.0 in t
4.618 * [taylor]: Taking taylor expansion of t in t
4.618 * [taylor]: Taking taylor expansion of (/ y x) in t
4.618 * [taylor]: Taking taylor expansion of y in t
4.618 * [taylor]: Taking taylor expansion of x in t
4.618 * [taylor]: Taking taylor expansion of 2.0 in t
4.619 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in z
4.619 * [taylor]: Taking taylor expansion of (/ y x) in z
4.620 * [taylor]: Taking taylor expansion of y in z
4.620 * [taylor]: Taking taylor expansion of x in z
4.620 * [taylor]: Taking taylor expansion of 2.0 in z
4.620 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in x
4.620 * [taylor]: Taking taylor expansion of (/ y x) in x
4.620 * [taylor]: Taking taylor expansion of y in x
4.620 * [taylor]: Taking taylor expansion of x in x
4.620 * [taylor]: Taking taylor expansion of 2.0 in x
4.620 * [taylor]: Taking taylor expansion of y in y
4.623 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
4.623 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
4.623 * [taylor]: Taking taylor expansion of 2.0 in z
4.623 * [taylor]: Taking taylor expansion of z in z
4.623 * [taylor]: Taking taylor expansion of 2.0 in z
4.623 * [taylor]: Taking taylor expansion of 2.0 in x
4.624 * [taylor]: Taking taylor expansion of 0 in x
4.625 * [taylor]: Taking taylor expansion of (- 2.0) in y
4.625 * [taylor]: Taking taylor expansion of 2.0 in y
4.629 * [taylor]: Taking taylor expansion of 0 in z
4.629 * [taylor]: Taking taylor expansion of 0 in x
4.630 * [taylor]: Taking taylor expansion of 2.0 in x
4.630 * [taylor]: Taking taylor expansion of 0 in x
4.630 * [taylor]: Taking taylor expansion of 2.0 in y
4.631 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in (t z x y) around 0
4.631 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in y
4.631 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in y
4.632 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
4.632 * [taylor]: Taking taylor expansion of 2.0 in y
4.632 * [taylor]: Taking taylor expansion of (* t z) in y
4.632 * [taylor]: Taking taylor expansion of t in y
4.632 * [taylor]: Taking taylor expansion of z in y
4.632 * [taylor]: Taking taylor expansion of (/ y x) in y
4.632 * [taylor]: Taking taylor expansion of y in y
4.632 * [taylor]: Taking taylor expansion of x in y
4.632 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in y
4.632 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
4.632 * [taylor]: Taking taylor expansion of 2.0 in y
4.632 * [taylor]: Taking taylor expansion of t in y
4.632 * [taylor]: Taking taylor expansion of 2.0 in y
4.632 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in x
4.632 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in x
4.632 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
4.632 * [taylor]: Taking taylor expansion of 2.0 in x
4.632 * [taylor]: Taking taylor expansion of (* t z) in x
4.632 * [taylor]: Taking taylor expansion of t in x
4.632 * [taylor]: Taking taylor expansion of z in x
4.632 * [taylor]: Taking taylor expansion of (/ y x) in x
4.632 * [taylor]: Taking taylor expansion of y in x
4.632 * [taylor]: Taking taylor expansion of x in x
4.632 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in x
4.632 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
4.632 * [taylor]: Taking taylor expansion of 2.0 in x
4.632 * [taylor]: Taking taylor expansion of t in x
4.632 * [taylor]: Taking taylor expansion of 2.0 in x
4.632 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in z
4.632 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in z
4.632 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
4.632 * [taylor]: Taking taylor expansion of 2.0 in z
4.632 * [taylor]: Taking taylor expansion of (* t z) in z
4.632 * [taylor]: Taking taylor expansion of t in z
4.632 * [taylor]: Taking taylor expansion of z in z
4.632 * [taylor]: Taking taylor expansion of (/ y x) in z
4.632 * [taylor]: Taking taylor expansion of y in z
4.632 * [taylor]: Taking taylor expansion of x in z
4.632 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in z
4.632 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
4.632 * [taylor]: Taking taylor expansion of 2.0 in z
4.632 * [taylor]: Taking taylor expansion of t in z
4.632 * [taylor]: Taking taylor expansion of 2.0 in z
4.632 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in t
4.632 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in t
4.632 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
4.632 * [taylor]: Taking taylor expansion of 2.0 in t
4.632 * [taylor]: Taking taylor expansion of (* t z) in t
4.632 * [taylor]: Taking taylor expansion of t in t
4.632 * [taylor]: Taking taylor expansion of z in t
4.632 * [taylor]: Taking taylor expansion of (/ y x) in t
4.632 * [taylor]: Taking taylor expansion of y in t
4.632 * [taylor]: Taking taylor expansion of x in t
4.632 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
4.633 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
4.633 * [taylor]: Taking taylor expansion of 2.0 in t
4.633 * [taylor]: Taking taylor expansion of t in t
4.633 * [taylor]: Taking taylor expansion of 2.0 in t
4.633 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in t
4.633 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in t
4.633 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
4.633 * [taylor]: Taking taylor expansion of 2.0 in t
4.633 * [taylor]: Taking taylor expansion of (* t z) in t
4.633 * [taylor]: Taking taylor expansion of t in t
4.633 * [taylor]: Taking taylor expansion of z in t
4.633 * [taylor]: Taking taylor expansion of (/ y x) in t
4.633 * [taylor]: Taking taylor expansion of y in t
4.633 * [taylor]: Taking taylor expansion of x in t
4.633 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
4.633 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
4.633 * [taylor]: Taking taylor expansion of 2.0 in t
4.633 * [taylor]: Taking taylor expansion of t in t
4.633 * [taylor]: Taking taylor expansion of 2.0 in t
4.634 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in z
4.634 * [taylor]: Taking taylor expansion of (/ y x) in z
4.634 * [taylor]: Taking taylor expansion of y in z
4.634 * [taylor]: Taking taylor expansion of x in z
4.634 * [taylor]: Taking taylor expansion of 2.0 in z
4.635 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in x
4.635 * [taylor]: Taking taylor expansion of (/ y x) in x
4.635 * [taylor]: Taking taylor expansion of y in x
4.635 * [taylor]: Taking taylor expansion of x in x
4.635 * [taylor]: Taking taylor expansion of 2.0 in x
4.635 * [taylor]: Taking taylor expansion of y in y
4.637 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z
4.637 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
4.637 * [taylor]: Taking taylor expansion of 2.0 in z
4.637 * [taylor]: Taking taylor expansion of z in z
4.637 * [taylor]: Taking taylor expansion of 2.0 in z
4.638 * [taylor]: Taking taylor expansion of (- 2.0) in x
4.639 * [taylor]: Taking taylor expansion of 2.0 in x
4.639 * [taylor]: Taking taylor expansion of 0 in x
4.640 * [taylor]: Taking taylor expansion of (- 2.0) in y
4.640 * [taylor]: Taking taylor expansion of 2.0 in y
4.643 * [taylor]: Taking taylor expansion of 0 in z
4.644 * [taylor]: Taking taylor expansion of 0 in x
4.645 * [taylor]: Taking taylor expansion of 2.0 in x
4.645 * [taylor]: Taking taylor expansion of 0 in x
4.646 * [taylor]: Taking taylor expansion of (- 2.0) in y
4.646 * [taylor]: Taking taylor expansion of 2.0 in y
4.647 * * * [progress]: simplifying candidates
4.648 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (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)))
  (- 2.0)
  (- (* 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 z))) (exp (/ 2.0 t)))
  (log (+ (/ 2.0 (* t z)) (/ 2.0 t)))
  (exp (+ (/ 2.0 (* t z)) (/ 2.0 t)))
  (* (cbrt (+ (/ 2.0 (* t z)) (/ 2.0 t))) (cbrt (+ (/ 2.0 (* t z)) (/ 2.0 t))))
  (cbrt (+ (/ 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)))
  (sqrt (+ (/ 2.0 (* t z)) (/ 2.0 t)))
  (sqrt (+ (/ 2.0 (* t z)) (/ 2.0 t)))
  (+ (* 2.0 t) (* (* t z) 2.0))
  (* (* t z) t)
  (+ (pow (/ 2.0 (* t z)) 3) (pow (/ 2.0 t) 3))
  (+ (* (/ 2.0 (* t z)) (/ 2.0 (* t z))) (- (* (/ 2.0 t) (/ 2.0 t)) (* (/ 2.0 (* t z)) (/ 2.0 t))))
  (- (* (/ 2.0 (* t z)) (/ 2.0 (* t z))) (* (/ 2.0 t) (/ 2.0 t)))
  (- (/ 2.0 (* t z)) (/ 2.0 t))
  (+ (/ 2.0 (* t z)) (/ 2.0 t))
  (+ (/ 1 (* t z)) (/ 1 t))
  (/ (* (exp (/ 2.0 (* t z))) (exp (/ 2.0 t))) (/ (exp 2.0) (exp (/ x y))))
  (/ (* (exp (/ 2.0 (* t z))) (exp (/ 2.0 t))) (exp (- 2.0 (/ x y))))
  (/ (exp (+ (/ 2.0 (* t z)) (/ 2.0 t))) (/ (exp 2.0) (exp (/ x y))))
  (/ (exp (+ (/ 2.0 (* t z)) (/ 2.0 t))) (exp (- 2.0 (/ x y))))
  (log (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))
  (exp (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))
  (* (cbrt (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y)))) (cbrt (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y)))))
  (cbrt (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))
  (* (* (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))) (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y)))) (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))
  (sqrt (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))
  (sqrt (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))
  (- (* (+ (* 2.0 t) (* (* t z) 2.0)) (+ (* 2.0 2.0) (+ (* (/ x y) (/ x y)) (* 2.0 (/ x y))))) (* (* (* t z) t) (- (pow 2.0 3) (pow (/ x y) 3))))
  (* (* (* t z) t) (+ (* 2.0 2.0) (+ (* (/ x y) (/ x y)) (* 2.0 (/ x y)))))
  (- (* (+ (* 2.0 t) (* (* t z) 2.0)) (+ 2.0 (/ x y))) (* (* (* t z) t) (- (* 2.0 2.0) (* (/ x y) (/ x y)))))
  (* (* (* t z) t) (+ 2.0 (/ x y)))
  (- (* (+ (pow (/ 2.0 (* t z)) 3) (pow (/ 2.0 t) 3)) (+ (* 2.0 2.0) (+ (* (/ x y) (/ x y)) (* 2.0 (/ x y))))) (* (+ (* (/ 2.0 (* t z)) (/ 2.0 (* t z))) (- (* (/ 2.0 t) (/ 2.0 t)) (* (/ 2.0 (* t z)) (/ 2.0 t)))) (- (pow 2.0 3) (pow (/ x y) 3))))
  (* (+ (* (/ 2.0 (* t z)) (/ 2.0 (* t z))) (- (* (/ 2.0 t) (/ 2.0 t)) (* (/ 2.0 (* t z)) (/ 2.0 t)))) (+ (* 2.0 2.0) (+ (* (/ x y) (/ x y)) (* 2.0 (/ x y)))))
  (- (* (+ (pow (/ 2.0 (* t z)) 3) (pow (/ 2.0 t) 3)) (+ 2.0 (/ x y))) (* (+ (* (/ 2.0 (* t z)) (/ 2.0 (* t z))) (- (* (/ 2.0 t) (/ 2.0 t)) (* (/ 2.0 (* t z)) (/ 2.0 t)))) (- (* 2.0 2.0) (* (/ x y) (/ x y)))))
  (* (+ (* (/ 2.0 (* t z)) (/ 2.0 (* t z))) (- (* (/ 2.0 t) (/ 2.0 t)) (* (/ 2.0 (* t z)) (/ 2.0 t)))) (+ 2.0 (/ x y)))
  (- (* (- (* (/ 2.0 (* t z)) (/ 2.0 (* t z))) (* (/ 2.0 t) (/ 2.0 t))) (+ (* 2.0 2.0) (+ (* (/ x y) (/ x y)) (* 2.0 (/ x y))))) (* (- (/ 2.0 (* t z)) (/ 2.0 t)) (- (pow 2.0 3) (pow (/ x y) 3))))
  (* (- (/ 2.0 (* t z)) (/ 2.0 t)) (+ (* 2.0 2.0) (+ (* (/ x y) (/ x y)) (* 2.0 (/ x y)))))
  (- (* (- (* (/ 2.0 (* t z)) (/ 2.0 (* t z))) (* (/ 2.0 t) (/ 2.0 t))) (+ 2.0 (/ x y))) (* (- (/ 2.0 (* t z)) (/ 2.0 t)) (- (* 2.0 2.0) (* (/ x y) (/ x y)))))
  (* (- (/ 2.0 (* t z)) (/ 2.0 t)) (+ 2.0 (/ x y)))
  (- (pow (+ (/ 2.0 (* t z)) (/ 2.0 t)) 3) (pow (- 2.0 (/ x y)) 3))
  (+ (* (+ (/ 2.0 (* t z)) (/ 2.0 t)) (+ (/ 2.0 (* t z)) (/ 2.0 t))) (+ (* (- 2.0 (/ x y)) (- 2.0 (/ x y))) (* (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y)))))
  (- (- 2.0 (/ x y)))
  (- (* (+ (/ 2.0 (* t z)) (/ 2.0 t)) (+ (/ 2.0 (* t z)) (/ 2.0 t))) (* (- 2.0 (/ x y)) (- 2.0 (/ x y))))
  (+ (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y)))
  (+ (sqrt (+ (/ 2.0 (* t z)) (/ 2.0 t))) (sqrt (- 2.0 (/ x y))))
  (- (sqrt (+ (/ 2.0 (* t z)) (/ 2.0 t))) (sqrt (- 2.0 (/ x y))))
  (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y)))
  (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y)))
  (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y)))
  (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y)))
  (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) 2.0)
  (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) 2.0)
  (- (/ 2.0 t) (- 2.0 (/ x y)))
  (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) 2.0)
  (- (- 2.0 (/ x y)))
  (/ 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))) (+ (/ x y) (* 2.0 (/ 1 t))))
  (- (+ (/ x y) (* 2.0 (/ 1 t))) 2.0)
  (- (+ (/ x y) (* 2.0 (/ 1 t))) 2.0)
4.652 * * [simplify]: iteration  0 :  146  enodes  (cost  1438 )
4.683 * * [simplify]: iteration  1 :  452  enodes  (cost  1338 )
4.855 * * [simplify]: iteration  2 :  1677  enodes  (cost  1272 )
5.387 * * [simplify]: iteration  done :  5000  enodes  (cost  1272 )
5.388 * [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)))
  (- 2.0)
  (- (* 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 z)) (/ 2.0 t)))
  (log (+ (/ 2.0 (* t z)) (/ 2.0 t)))
  (exp (+ (/ 2.0 (* t z)) (/ 2.0 t)))
  (* (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)))
  (* t (+ (* z 2.0) 2.0))
  (* (* t z) t)
  (+ (pow (/ 2.0 (* t z)) 3) (pow (/ 2.0 t) 3))
  (+ (* (/ 2.0 (* t z)) (/ 2.0 (* t z))) (* (/ 2.0 t) (- (/ 2.0 t) (/ 2.0 (* t z)))))
  (- (* (/ 2.0 (* t z)) (/ 2.0 (* t z))) (* (/ 2.0 t) (/ 2.0 t)))
  (- (/ 2.0 (* t z)) (/ 2.0 t))
  (+ (/ 2.0 (* t z)) (/ 2.0 t))
  (+ (/ 1 (* t z)) (/ 1 t))
  (exp (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))
  (exp (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))
  (exp (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))
  (exp (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))
  (log (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))
  (exp (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))
  (* (cbrt (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y)))) (cbrt (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y)))))
  (cbrt (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))
  (pow (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))) 3)
  (sqrt (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))
  (sqrt (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))
  (- (* (* t (+ (* z 2.0) 2.0)) (+ (* (/ x y) (+ 2.0 (/ x y))) (* 2.0 2.0))) (* (* (* t z) t) (- (pow 2.0 3) (pow (/ x y) 3))))
  (* (+ (* (/ x y) (+ 2.0 (/ x y))) (* 2.0 2.0)) (* (* t z) t))
  (- (* (* t (+ (* z 2.0) 2.0)) (+ 2.0 (/ x y))) (* (* (* t z) t) (- (* 2.0 2.0) (* (/ x y) (/ x y)))))
  (* (* (* t z) t) (+ 2.0 (/ x y)))
  (- (* (+ (* (/ x y) (+ 2.0 (/ x y))) (* 2.0 2.0)) (+ (pow (/ 2.0 (* t z)) 3) (pow (/ 2.0 t) 3))) (* (- (pow 2.0 3) (pow (/ x y) 3)) (+ (* (/ 2.0 (* t z)) (/ 2.0 (* t z))) (* (/ 2.0 t) (- (/ 2.0 t) (/ 2.0 (* t z)))))))
  (* (+ (* (/ x y) (+ 2.0 (/ x y))) (* 2.0 2.0)) (+ (* (/ 2.0 (* t z)) (/ 2.0 (* t z))) (* (/ 2.0 t) (- (/ 2.0 t) (/ 2.0 (* t z))))))
  (- (* (+ (pow (/ 2.0 (* t z)) 3) (pow (/ 2.0 t) 3)) (+ 2.0 (/ x y))) (* (- (* 2.0 2.0) (* (/ x y) (/ x y))) (+ (* (/ 2.0 (* t z)) (/ 2.0 (* t z))) (* (/ 2.0 t) (- (/ 2.0 t) (/ 2.0 (* t z)))))))
  (* (+ (* (/ 2.0 (* t z)) (/ 2.0 (* t z))) (* (/ 2.0 t) (- (/ 2.0 t) (/ 2.0 (* t z))))) (+ 2.0 (/ x y)))
  (- (* (- (* (/ 2.0 (* t z)) (/ 2.0 (* t z))) (* (/ 2.0 t) (/ 2.0 t))) (+ (* (/ x y) (+ 2.0 (/ x y))) (* 2.0 2.0))) (* (- (/ 2.0 (* t z)) (/ 2.0 t)) (- (pow 2.0 3) (pow (/ x y) 3))))
  (* (+ (* (/ x y) (+ 2.0 (/ x y))) (* 2.0 2.0)) (- (/ 2.0 (* t z)) (/ 2.0 t)))
  (- (* (- (* (/ 2.0 (* t z)) (/ 2.0 (* t z))) (* (/ 2.0 t) (/ 2.0 t))) (+ 2.0 (/ x y))) (* (- (/ 2.0 (* t z)) (/ 2.0 t)) (- (* 2.0 2.0) (* (/ x y) (/ x y)))))
  (* (- (/ 2.0 (* t z)) (/ 2.0 t)) (+ 2.0 (/ x y)))
  (- (pow (+ (/ 2.0 (* t z)) (/ 2.0 t)) 3) (pow (- 2.0 (/ x y)) 3))
  (+ (* (+ (/ 2.0 (* t z)) (/ 2.0 t)) (+ (/ 2.0 (* t z)) (/ 2.0 t))) (* (- 2.0 (/ x y)) (+ (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y)))))
  (- (- 2.0 (/ x y)))
  (- (* (+ (/ 2.0 (* t z)) (/ 2.0 t)) (+ (/ 2.0 (* t z)) (/ 2.0 t))) (* (- 2.0 (/ x y)) (- 2.0 (/ x y))))
  (+ (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y)))
  (+ (sqrt (+ (/ 2.0 (* t z)) (/ 2.0 t))) (sqrt (- 2.0 (/ x y))))
  (- (sqrt (+ (/ 2.0 (* t z)) (/ 2.0 t))) (sqrt (- 2.0 (/ x y))))
  (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y)))
  (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y)))
  (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y)))
  (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y)))
  (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) 2.0)
  (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) 2.0)
  (- (/ 2.0 t) (- 2.0 (/ x y)))
  (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) 2.0)
  (- (- 2.0 (/ x y)))
  (/ 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))
  (+ (/ x y) (+ (/ 2.0 (* t z)) (/ 2.0 t)))
  (- (/ 2.0 t) (- 2.0 (/ x y)))
  (- (/ 2.0 t) (- 2.0 (/ x y)))
5.389 * * * [progress]: adding candidates to table
5.560 * * [progress]: iteration 3 / 4
5.560 * * * [progress]: picking best candidate
5.570 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))>
5.570 * * * [progress]: localizing error
5.579 * * * [progress]: generating rewritten candidates
5.579 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
5.584 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
5.625 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
5.980 * * * [progress]: generating series expansions
5.980 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
5.980 * [approximate]: Taking taylor expansion of (/ 2.0 (* t z)) in (t z) around 0
5.980 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in z
5.980 * [taylor]: Taking taylor expansion of 2.0 in z
5.980 * [taylor]: Taking taylor expansion of (* t z) in z
5.980 * [taylor]: Taking taylor expansion of t in z
5.980 * [taylor]: Taking taylor expansion of z in z
5.981 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in t
5.981 * [taylor]: Taking taylor expansion of 2.0 in t
5.981 * [taylor]: Taking taylor expansion of (* t z) in t
5.981 * [taylor]: Taking taylor expansion of t in t
5.981 * [taylor]: Taking taylor expansion of z in t
5.981 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in t
5.981 * [taylor]: Taking taylor expansion of 2.0 in t
5.981 * [taylor]: Taking taylor expansion of (* t z) in t
5.981 * [taylor]: Taking taylor expansion of t in t
5.981 * [taylor]: Taking taylor expansion of z in t
5.982 * [taylor]: Taking taylor expansion of (/ 2.0 z) in z
5.982 * [taylor]: Taking taylor expansion of 2.0 in z
5.982 * [taylor]: Taking taylor expansion of z in z
5.983 * [taylor]: Taking taylor expansion of 0 in z
5.984 * [taylor]: Taking taylor expansion of 0 in z
5.985 * [taylor]: Taking taylor expansion of 0 in z
5.986 * [approximate]: Taking taylor expansion of (* 2.0 (* t z)) in (t z) around 0
5.986 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
5.986 * [taylor]: Taking taylor expansion of 2.0 in z
5.986 * [taylor]: Taking taylor expansion of (* t z) in z
5.986 * [taylor]: Taking taylor expansion of t in z
5.986 * [taylor]: Taking taylor expansion of z in z
5.986 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
5.986 * [taylor]: Taking taylor expansion of 2.0 in t
5.986 * [taylor]: Taking taylor expansion of (* t z) in t
5.986 * [taylor]: Taking taylor expansion of t in t
5.986 * [taylor]: Taking taylor expansion of z in t
5.986 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
5.986 * [taylor]: Taking taylor expansion of 2.0 in t
5.986 * [taylor]: Taking taylor expansion of (* t z) in t
5.986 * [taylor]: Taking taylor expansion of t in t
5.987 * [taylor]: Taking taylor expansion of z in t
5.987 * [taylor]: Taking taylor expansion of 0 in z
5.987 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
5.987 * [taylor]: Taking taylor expansion of 2.0 in z
5.987 * [taylor]: Taking taylor expansion of z in z
5.989 * [taylor]: Taking taylor expansion of 0 in z
5.991 * [taylor]: Taking taylor expansion of 0 in z
5.994 * [taylor]: Taking taylor expansion of 0 in z
5.994 * [approximate]: Taking taylor expansion of (* 2.0 (* t z)) in (t z) around 0
5.994 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
5.994 * [taylor]: Taking taylor expansion of 2.0 in z
5.994 * [taylor]: Taking taylor expansion of (* t z) in z
5.994 * [taylor]: Taking taylor expansion of t in z
5.994 * [taylor]: Taking taylor expansion of z in z
5.994 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
5.994 * [taylor]: Taking taylor expansion of 2.0 in t
5.994 * [taylor]: Taking taylor expansion of (* t z) in t
5.994 * [taylor]: Taking taylor expansion of t in t
5.994 * [taylor]: Taking taylor expansion of z in t
5.994 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
5.994 * [taylor]: Taking taylor expansion of 2.0 in t
5.994 * [taylor]: Taking taylor expansion of (* t z) in t
5.994 * [taylor]: Taking taylor expansion of t in t
5.994 * [taylor]: Taking taylor expansion of z in t
5.994 * [taylor]: Taking taylor expansion of 0 in z
5.995 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
5.995 * [taylor]: Taking taylor expansion of 2.0 in z
5.995 * [taylor]: Taking taylor expansion of z in z
5.996 * [taylor]: Taking taylor expansion of 0 in z
5.999 * [taylor]: Taking taylor expansion of 0 in z
6.001 * [taylor]: Taking taylor expansion of 0 in z
6.001 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
6.002 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in (t z) around 0
6.002 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in z
6.002 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z
6.002 * [taylor]: Taking taylor expansion of 2.0 in z
6.002 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
6.002 * [taylor]: Taking taylor expansion of (* t z) in z
6.002 * [taylor]: Taking taylor expansion of t in z
6.002 * [taylor]: Taking taylor expansion of z in z
6.002 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z
6.002 * [taylor]: Taking taylor expansion of 2.0 in z
6.002 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.002 * [taylor]: Taking taylor expansion of t in z
6.002 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t
6.002 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
6.002 * [taylor]: Taking taylor expansion of 2.0 in t
6.002 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
6.002 * [taylor]: Taking taylor expansion of (* t z) in t
6.002 * [taylor]: Taking taylor expansion of t in t
6.002 * [taylor]: Taking taylor expansion of z in t
6.003 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
6.003 * [taylor]: Taking taylor expansion of 2.0 in t
6.003 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.003 * [taylor]: Taking taylor expansion of t in t
6.003 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t
6.003 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
6.003 * [taylor]: Taking taylor expansion of 2.0 in t
6.003 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
6.003 * [taylor]: Taking taylor expansion of (* t z) in t
6.003 * [taylor]: Taking taylor expansion of t in t
6.003 * [taylor]: Taking taylor expansion of z in t
6.003 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
6.003 * [taylor]: Taking taylor expansion of 2.0 in t
6.003 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.003 * [taylor]: Taking taylor expansion of t in t
6.004 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z
6.004 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
6.004 * [taylor]: Taking taylor expansion of 2.0 in z
6.004 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.004 * [taylor]: Taking taylor expansion of z in z
6.005 * [taylor]: Taking taylor expansion of 2.0 in z
6.007 * [taylor]: Taking taylor expansion of 0 in z
6.011 * [taylor]: Taking taylor expansion of 0 in z
6.015 * [taylor]: Taking taylor expansion of 0 in z
6.025 * [taylor]: Taking taylor expansion of 0 in z
6.025 * [approximate]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in (t z) around 0
6.025 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in z
6.025 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
6.025 * [taylor]: Taking taylor expansion of 2.0 in z
6.025 * [taylor]: Taking taylor expansion of (* t z) in z
6.025 * [taylor]: Taking taylor expansion of t in z
6.025 * [taylor]: Taking taylor expansion of z in z
6.025 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
6.025 * [taylor]: Taking taylor expansion of 2.0 in z
6.025 * [taylor]: Taking taylor expansion of t in z
6.025 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t
6.025 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
6.025 * [taylor]: Taking taylor expansion of 2.0 in t
6.025 * [taylor]: Taking taylor expansion of (* t z) in t
6.025 * [taylor]: Taking taylor expansion of t in t
6.025 * [taylor]: Taking taylor expansion of z in t
6.025 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
6.025 * [taylor]: Taking taylor expansion of 2.0 in t
6.025 * [taylor]: Taking taylor expansion of t in t
6.025 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t
6.025 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
6.025 * [taylor]: Taking taylor expansion of 2.0 in t
6.025 * [taylor]: Taking taylor expansion of (* t z) in t
6.025 * [taylor]: Taking taylor expansion of t in t
6.025 * [taylor]: Taking taylor expansion of z in t
6.025 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
6.025 * [taylor]: Taking taylor expansion of 2.0 in t
6.025 * [taylor]: Taking taylor expansion of t in t
6.026 * [taylor]: Taking taylor expansion of 0 in z
6.028 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
6.028 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
6.028 * [taylor]: Taking taylor expansion of 2.0 in z
6.028 * [taylor]: Taking taylor expansion of z in z
6.028 * [taylor]: Taking taylor expansion of 2.0 in z
6.030 * [taylor]: Taking taylor expansion of 0 in z
6.033 * [taylor]: Taking taylor expansion of 0 in z
6.037 * [taylor]: Taking taylor expansion of 0 in z
6.037 * [approximate]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in (t z) around 0
6.037 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in z
6.037 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
6.037 * [taylor]: Taking taylor expansion of 2.0 in z
6.037 * [taylor]: Taking taylor expansion of (* t z) in z
6.037 * [taylor]: Taking taylor expansion of t in z
6.037 * [taylor]: Taking taylor expansion of z in z
6.037 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
6.037 * [taylor]: Taking taylor expansion of 2.0 in z
6.038 * [taylor]: Taking taylor expansion of t in z
6.038 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in t
6.038 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
6.038 * [taylor]: Taking taylor expansion of 2.0 in t
6.038 * [taylor]: Taking taylor expansion of (* t z) in t
6.038 * [taylor]: Taking taylor expansion of t in t
6.038 * [taylor]: Taking taylor expansion of z in t
6.038 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
6.038 * [taylor]: Taking taylor expansion of 2.0 in t
6.038 * [taylor]: Taking taylor expansion of t in t
6.038 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in t
6.038 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
6.038 * [taylor]: Taking taylor expansion of 2.0 in t
6.038 * [taylor]: Taking taylor expansion of (* t z) in t
6.038 * [taylor]: Taking taylor expansion of t in t
6.038 * [taylor]: Taking taylor expansion of z in t
6.038 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
6.038 * [taylor]: Taking taylor expansion of 2.0 in t
6.038 * [taylor]: Taking taylor expansion of t in t
6.039 * [taylor]: Taking taylor expansion of 0 in z
6.041 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z
6.041 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
6.041 * [taylor]: Taking taylor expansion of 2.0 in z
6.041 * [taylor]: Taking taylor expansion of z in z
6.041 * [taylor]: Taking taylor expansion of 2.0 in z
6.044 * [taylor]: Taking taylor expansion of 0 in z
6.048 * [taylor]: Taking taylor expansion of 0 in z
6.052 * [taylor]: Taking taylor expansion of 0 in z
6.052 * * * * [progress]: [ 3 / 3 ] generating series at (2)
6.053 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in (t z x y) around 0
6.053 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in y
6.053 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in y
6.053 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in y
6.053 * [taylor]: Taking taylor expansion of 2.0 in y
6.053 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
6.053 * [taylor]: Taking taylor expansion of (* t z) in y
6.053 * [taylor]: Taking taylor expansion of t in y
6.053 * [taylor]: Taking taylor expansion of z in y
6.053 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in y
6.053 * [taylor]: Taking taylor expansion of (/ x y) in y
6.053 * [taylor]: Taking taylor expansion of x in y
6.053 * [taylor]: Taking taylor expansion of y in y
6.053 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in y
6.053 * [taylor]: Taking taylor expansion of 2.0 in y
6.053 * [taylor]: Taking taylor expansion of (/ 1 t) in y
6.053 * [taylor]: Taking taylor expansion of t in y
6.053 * [taylor]: Taking taylor expansion of 2.0 in y
6.053 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in x
6.053 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in x
6.053 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in x
6.053 * [taylor]: Taking taylor expansion of 2.0 in x
6.053 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
6.053 * [taylor]: Taking taylor expansion of (* t z) in x
6.053 * [taylor]: Taking taylor expansion of t in x
6.053 * [taylor]: Taking taylor expansion of z in x
6.053 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in x
6.053 * [taylor]: Taking taylor expansion of (/ x y) in x
6.053 * [taylor]: Taking taylor expansion of x in x
6.053 * [taylor]: Taking taylor expansion of y in x
6.053 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in x
6.053 * [taylor]: Taking taylor expansion of 2.0 in x
6.053 * [taylor]: Taking taylor expansion of (/ 1 t) in x
6.053 * [taylor]: Taking taylor expansion of t in x
6.053 * [taylor]: Taking taylor expansion of 2.0 in x
6.054 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in z
6.054 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in z
6.054 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z
6.054 * [taylor]: Taking taylor expansion of 2.0 in z
6.054 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
6.054 * [taylor]: Taking taylor expansion of (* t z) in z
6.054 * [taylor]: Taking taylor expansion of t in z
6.054 * [taylor]: Taking taylor expansion of z in z
6.054 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in z
6.054 * [taylor]: Taking taylor expansion of (/ x y) in z
6.054 * [taylor]: Taking taylor expansion of x in z
6.054 * [taylor]: Taking taylor expansion of y in z
6.054 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z
6.054 * [taylor]: Taking taylor expansion of 2.0 in z
6.054 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.054 * [taylor]: Taking taylor expansion of t in z
6.054 * [taylor]: Taking taylor expansion of 2.0 in z
6.054 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in t
6.054 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in t
6.054 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
6.054 * [taylor]: Taking taylor expansion of 2.0 in t
6.054 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
6.054 * [taylor]: Taking taylor expansion of (* t z) in t
6.054 * [taylor]: Taking taylor expansion of t in t
6.054 * [taylor]: Taking taylor expansion of z in t
6.055 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in t
6.055 * [taylor]: Taking taylor expansion of (/ x y) in t
6.055 * [taylor]: Taking taylor expansion of x in t
6.055 * [taylor]: Taking taylor expansion of y in t
6.055 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
6.055 * [taylor]: Taking taylor expansion of 2.0 in t
6.055 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.055 * [taylor]: Taking taylor expansion of t in t
6.055 * [taylor]: Taking taylor expansion of 2.0 in t
6.055 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in t
6.055 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in t
6.055 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
6.055 * [taylor]: Taking taylor expansion of 2.0 in t
6.055 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
6.055 * [taylor]: Taking taylor expansion of (* t z) in t
6.055 * [taylor]: Taking taylor expansion of t in t
6.055 * [taylor]: Taking taylor expansion of z in t
6.056 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in t
6.056 * [taylor]: Taking taylor expansion of (/ x y) in t
6.056 * [taylor]: Taking taylor expansion of x in t
6.056 * [taylor]: Taking taylor expansion of y in t
6.056 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
6.056 * [taylor]: Taking taylor expansion of 2.0 in t
6.056 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.056 * [taylor]: Taking taylor expansion of t in t
6.056 * [taylor]: Taking taylor expansion of 2.0 in t
6.057 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z
6.057 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
6.057 * [taylor]: Taking taylor expansion of 2.0 in z
6.057 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.057 * [taylor]: Taking taylor expansion of z in z
6.057 * [taylor]: Taking taylor expansion of 2.0 in z
6.058 * [taylor]: Taking taylor expansion of 2.0 in x
6.058 * [taylor]: Taking taylor expansion of 2.0 in y
6.060 * [taylor]: Taking taylor expansion of (- (/ x y) 2.0) in z
6.060 * [taylor]: Taking taylor expansion of (/ x y) in z
6.060 * [taylor]: Taking taylor expansion of x in z
6.060 * [taylor]: Taking taylor expansion of y in z
6.060 * [taylor]: Taking taylor expansion of 2.0 in z
6.061 * [taylor]: Taking taylor expansion of 2.0 in x
6.061 * [taylor]: Taking taylor expansion of 2.0 in y
6.061 * [taylor]: Taking taylor expansion of 0 in y
6.065 * [taylor]: Taking taylor expansion of 0 in z
6.065 * [taylor]: Taking taylor expansion of (- (/ x y) 2.0) in x
6.065 * [taylor]: Taking taylor expansion of (/ x y) in x
6.065 * [taylor]: Taking taylor expansion of x in x
6.065 * [taylor]: Taking taylor expansion of y in x
6.065 * [taylor]: Taking taylor expansion of 2.0 in x
6.066 * [taylor]: Taking taylor expansion of (- 2.0) in y
6.066 * [taylor]: Taking taylor expansion of 2.0 in y
6.068 * [taylor]: Taking taylor expansion of 0 in x
6.068 * [taylor]: Taking taylor expansion of 0 in y
6.068 * [taylor]: Taking taylor expansion of 0 in y
6.068 * [taylor]: Taking taylor expansion of 0 in y
6.072 * [taylor]: Taking taylor expansion of 0 in z
6.072 * [taylor]: Taking taylor expansion of 0 in x
6.072 * [taylor]: Taking taylor expansion of 0 in y
6.073 * [taylor]: Taking taylor expansion of 0 in x
6.073 * [taylor]: Taking taylor expansion of 0 in y
6.074 * [taylor]: Taking taylor expansion of 0 in x
6.074 * [taylor]: Taking taylor expansion of 0 in y
6.074 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.075 * [taylor]: Taking taylor expansion of y in y
6.076 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in (t z x y) around 0
6.076 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in y
6.076 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in y
6.076 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
6.076 * [taylor]: Taking taylor expansion of 2.0 in y
6.076 * [taylor]: Taking taylor expansion of (* t z) in y
6.076 * [taylor]: Taking taylor expansion of t in y
6.076 * [taylor]: Taking taylor expansion of z in y
6.076 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in y
6.076 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
6.076 * [taylor]: Taking taylor expansion of 2.0 in y
6.076 * [taylor]: Taking taylor expansion of t in y
6.076 * [taylor]: Taking taylor expansion of (/ y x) in y
6.076 * [taylor]: Taking taylor expansion of y in y
6.076 * [taylor]: Taking taylor expansion of x in y
6.076 * [taylor]: Taking taylor expansion of 2.0 in y
6.076 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in x
6.076 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in x
6.076 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
6.076 * [taylor]: Taking taylor expansion of 2.0 in x
6.076 * [taylor]: Taking taylor expansion of (* t z) in x
6.076 * [taylor]: Taking taylor expansion of t in x
6.076 * [taylor]: Taking taylor expansion of z in x
6.076 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in x
6.076 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
6.076 * [taylor]: Taking taylor expansion of 2.0 in x
6.076 * [taylor]: Taking taylor expansion of t in x
6.076 * [taylor]: Taking taylor expansion of (/ y x) in x
6.076 * [taylor]: Taking taylor expansion of y in x
6.076 * [taylor]: Taking taylor expansion of x in x
6.076 * [taylor]: Taking taylor expansion of 2.0 in x
6.076 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in z
6.076 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in z
6.076 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
6.076 * [taylor]: Taking taylor expansion of 2.0 in z
6.076 * [taylor]: Taking taylor expansion of (* t z) in z
6.076 * [taylor]: Taking taylor expansion of t in z
6.076 * [taylor]: Taking taylor expansion of z in z
6.076 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in z
6.076 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
6.076 * [taylor]: Taking taylor expansion of 2.0 in z
6.076 * [taylor]: Taking taylor expansion of t in z
6.076 * [taylor]: Taking taylor expansion of (/ y x) in z
6.076 * [taylor]: Taking taylor expansion of y in z
6.076 * [taylor]: Taking taylor expansion of x in z
6.076 * [taylor]: Taking taylor expansion of 2.0 in z
6.076 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in t
6.076 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in t
6.076 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
6.076 * [taylor]: Taking taylor expansion of 2.0 in t
6.076 * [taylor]: Taking taylor expansion of (* t z) in t
6.076 * [taylor]: Taking taylor expansion of t in t
6.077 * [taylor]: Taking taylor expansion of z in t
6.077 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in t
6.077 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
6.077 * [taylor]: Taking taylor expansion of 2.0 in t
6.077 * [taylor]: Taking taylor expansion of t in t
6.077 * [taylor]: Taking taylor expansion of (/ y x) in t
6.077 * [taylor]: Taking taylor expansion of y in t
6.077 * [taylor]: Taking taylor expansion of x in t
6.077 * [taylor]: Taking taylor expansion of 2.0 in t
6.077 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in t
6.077 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in t
6.077 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
6.077 * [taylor]: Taking taylor expansion of 2.0 in t
6.077 * [taylor]: Taking taylor expansion of (* t z) in t
6.077 * [taylor]: Taking taylor expansion of t in t
6.077 * [taylor]: Taking taylor expansion of z in t
6.077 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in t
6.077 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
6.077 * [taylor]: Taking taylor expansion of 2.0 in t
6.077 * [taylor]: Taking taylor expansion of t in t
6.077 * [taylor]: Taking taylor expansion of (/ y x) in t
6.077 * [taylor]: Taking taylor expansion of y in t
6.077 * [taylor]: Taking taylor expansion of x in t
6.077 * [taylor]: Taking taylor expansion of 2.0 in t
6.078 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in z
6.078 * [taylor]: Taking taylor expansion of (/ y x) in z
6.078 * [taylor]: Taking taylor expansion of y in z
6.078 * [taylor]: Taking taylor expansion of x in z
6.078 * [taylor]: Taking taylor expansion of 2.0 in z
6.079 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in x
6.079 * [taylor]: Taking taylor expansion of (/ y x) in x
6.079 * [taylor]: Taking taylor expansion of y in x
6.079 * [taylor]: Taking taylor expansion of x in x
6.079 * [taylor]: Taking taylor expansion of 2.0 in x
6.079 * [taylor]: Taking taylor expansion of y in y
6.081 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
6.081 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
6.081 * [taylor]: Taking taylor expansion of 2.0 in z
6.081 * [taylor]: Taking taylor expansion of z in z
6.081 * [taylor]: Taking taylor expansion of 2.0 in z
6.082 * [taylor]: Taking taylor expansion of 2.0 in x
6.082 * [taylor]: Taking taylor expansion of 0 in x
6.083 * [taylor]: Taking taylor expansion of (- 2.0) in y
6.084 * [taylor]: Taking taylor expansion of 2.0 in y
6.087 * [taylor]: Taking taylor expansion of 0 in z
6.087 * [taylor]: Taking taylor expansion of 0 in x
6.088 * [taylor]: Taking taylor expansion of 2.0 in x
6.088 * [taylor]: Taking taylor expansion of 0 in x
6.088 * [taylor]: Taking taylor expansion of 2.0 in y
6.089 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in (t z x y) around 0
6.089 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in y
6.089 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in y
6.089 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
6.090 * [taylor]: Taking taylor expansion of 2.0 in y
6.090 * [taylor]: Taking taylor expansion of (* t z) in y
6.090 * [taylor]: Taking taylor expansion of t in y
6.090 * [taylor]: Taking taylor expansion of z in y
6.090 * [taylor]: Taking taylor expansion of (/ y x) in y
6.090 * [taylor]: Taking taylor expansion of y in y
6.090 * [taylor]: Taking taylor expansion of x in y
6.090 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in y
6.090 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
6.090 * [taylor]: Taking taylor expansion of 2.0 in y
6.090 * [taylor]: Taking taylor expansion of t in y
6.090 * [taylor]: Taking taylor expansion of 2.0 in y
6.090 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in x
6.090 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in x
6.090 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
6.090 * [taylor]: Taking taylor expansion of 2.0 in x
6.090 * [taylor]: Taking taylor expansion of (* t z) in x
6.090 * [taylor]: Taking taylor expansion of t in x
6.090 * [taylor]: Taking taylor expansion of z in x
6.090 * [taylor]: Taking taylor expansion of (/ y x) in x
6.090 * [taylor]: Taking taylor expansion of y in x
6.090 * [taylor]: Taking taylor expansion of x in x
6.090 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in x
6.090 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
6.090 * [taylor]: Taking taylor expansion of 2.0 in x
6.090 * [taylor]: Taking taylor expansion of t in x
6.090 * [taylor]: Taking taylor expansion of 2.0 in x
6.090 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in z
6.090 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in z
6.090 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
6.090 * [taylor]: Taking taylor expansion of 2.0 in z
6.090 * [taylor]: Taking taylor expansion of (* t z) in z
6.090 * [taylor]: Taking taylor expansion of t in z
6.090 * [taylor]: Taking taylor expansion of z in z
6.090 * [taylor]: Taking taylor expansion of (/ y x) in z
6.090 * [taylor]: Taking taylor expansion of y in z
6.090 * [taylor]: Taking taylor expansion of x in z
6.090 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in z
6.090 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
6.090 * [taylor]: Taking taylor expansion of 2.0 in z
6.090 * [taylor]: Taking taylor expansion of t in z
6.090 * [taylor]: Taking taylor expansion of 2.0 in z
6.090 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in t
6.090 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in t
6.090 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
6.090 * [taylor]: Taking taylor expansion of 2.0 in t
6.090 * [taylor]: Taking taylor expansion of (* t z) in t
6.090 * [taylor]: Taking taylor expansion of t in t
6.090 * [taylor]: Taking taylor expansion of z in t
6.090 * [taylor]: Taking taylor expansion of (/ y x) in t
6.090 * [taylor]: Taking taylor expansion of y in t
6.090 * [taylor]: Taking taylor expansion of x in t
6.090 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
6.091 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
6.091 * [taylor]: Taking taylor expansion of 2.0 in t
6.091 * [taylor]: Taking taylor expansion of t in t
6.091 * [taylor]: Taking taylor expansion of 2.0 in t
6.091 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in t
6.091 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in t
6.091 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
6.091 * [taylor]: Taking taylor expansion of 2.0 in t
6.091 * [taylor]: Taking taylor expansion of (* t z) in t
6.091 * [taylor]: Taking taylor expansion of t in t
6.091 * [taylor]: Taking taylor expansion of z in t
6.091 * [taylor]: Taking taylor expansion of (/ y x) in t
6.091 * [taylor]: Taking taylor expansion of y in t
6.091 * [taylor]: Taking taylor expansion of x in t
6.091 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
6.091 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
6.091 * [taylor]: Taking taylor expansion of 2.0 in t
6.091 * [taylor]: Taking taylor expansion of t in t
6.091 * [taylor]: Taking taylor expansion of 2.0 in t
6.092 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in z
6.092 * [taylor]: Taking taylor expansion of (/ y x) in z
6.092 * [taylor]: Taking taylor expansion of y in z
6.092 * [taylor]: Taking taylor expansion of x in z
6.092 * [taylor]: Taking taylor expansion of 2.0 in z
6.093 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in x
6.093 * [taylor]: Taking taylor expansion of (/ y x) in x
6.093 * [taylor]: Taking taylor expansion of y in x
6.093 * [taylor]: Taking taylor expansion of x in x
6.093 * [taylor]: Taking taylor expansion of 2.0 in x
6.093 * [taylor]: Taking taylor expansion of y in y
6.095 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z
6.095 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
6.096 * [taylor]: Taking taylor expansion of 2.0 in z
6.096 * [taylor]: Taking taylor expansion of z in z
6.096 * [taylor]: Taking taylor expansion of 2.0 in z
6.097 * [taylor]: Taking taylor expansion of (- 2.0) in x
6.097 * [taylor]: Taking taylor expansion of 2.0 in x
6.101 * [taylor]: Taking taylor expansion of 0 in x
6.103 * [taylor]: Taking taylor expansion of (- 2.0) in y
6.103 * [taylor]: Taking taylor expansion of 2.0 in y
6.106 * [taylor]: Taking taylor expansion of 0 in z
6.106 * [taylor]: Taking taylor expansion of 0 in x
6.108 * [taylor]: Taking taylor expansion of 2.0 in x
6.108 * [taylor]: Taking taylor expansion of 0 in x
6.109 * [taylor]: Taking taylor expansion of (- 2.0) in y
6.109 * [taylor]: Taking taylor expansion of 2.0 in y
6.110 * * * [progress]: simplifying candidates
6.112 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (- (log 2.0) (log t)) (log z))
  (- (log (/ 2.0 t)) (log 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 t) (/ 2.0 t)) (/ 2.0 t)) (* (* z z) 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))
  (- (/ 2.0 t))
  (- z)
  (/ (* (cbrt (/ 2.0 t)) (cbrt (/ 2.0 t))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (/ 2.0 t)) (cbrt z))
  (/ (* (cbrt (/ 2.0 t)) (cbrt (/ 2.0 t))) (sqrt z))
  (/ (cbrt (/ 2.0 t)) (sqrt z))
  (/ (* (cbrt (/ 2.0 t)) (cbrt (/ 2.0 t))) 1)
  (/ (cbrt (/ 2.0 t)) z)
  (/ (sqrt (/ 2.0 t)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (/ 2.0 t)) (cbrt z))
  (/ (sqrt (/ 2.0 t)) (sqrt z))
  (/ (sqrt (/ 2.0 t)) (sqrt z))
  (/ (sqrt (/ 2.0 t)) 1)
  (/ (sqrt (/ 2.0 t)) z)
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt t) (cbrt t))) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt 2.0) (cbrt t)) (cbrt z))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt t) (cbrt t))) (sqrt z))
  (/ (/ (cbrt 2.0) (cbrt t)) (sqrt z))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt t) (cbrt t))) 1)
  (/ (/ (cbrt 2.0) (cbrt t)) z)
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt t)) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt 2.0) (sqrt t)) (cbrt z))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt t)) (sqrt z))
  (/ (/ (cbrt 2.0) (sqrt t)) (sqrt z))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt t)) 1)
  (/ (/ (cbrt 2.0) (sqrt t)) z)
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt 2.0) t) (cbrt z))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (sqrt z))
  (/ (/ (cbrt 2.0) t) (sqrt z))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) 1) 1)
  (/ (/ (cbrt 2.0) t) z)
  (/ (/ (sqrt 2.0) (* (cbrt t) (cbrt t))) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt 2.0) (cbrt t)) (cbrt z))
  (/ (/ (sqrt 2.0) (* (cbrt t) (cbrt t))) (sqrt z))
  (/ (/ (sqrt 2.0) (cbrt t)) (sqrt z))
  (/ (/ (sqrt 2.0) (* (cbrt t) (cbrt t))) 1)
  (/ (/ (sqrt 2.0) (cbrt t)) z)
  (/ (/ (sqrt 2.0) (sqrt t)) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt 2.0) (sqrt t)) (cbrt z))
  (/ (/ (sqrt 2.0) (sqrt t)) (sqrt z))
  (/ (/ (sqrt 2.0) (sqrt t)) (sqrt z))
  (/ (/ (sqrt 2.0) (sqrt t)) 1)
  (/ (/ (sqrt 2.0) (sqrt t)) z)
  (/ (/ (sqrt 2.0) 1) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt 2.0) t) (cbrt z))
  (/ (/ (sqrt 2.0) 1) (sqrt z))
  (/ (/ (sqrt 2.0) t) (sqrt z))
  (/ (/ (sqrt 2.0) 1) 1)
  (/ (/ (sqrt 2.0) t) z)
  (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 (cbrt t)) (cbrt z))
  (/ (/ 1 (* (cbrt t) (cbrt t))) (sqrt z))
  (/ (/ 2.0 (cbrt t)) (sqrt z))
  (/ (/ 1 (* (cbrt t) (cbrt t))) 1)
  (/ (/ 2.0 (cbrt t)) z)
  (/ (/ 1 (sqrt t)) (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 (sqrt t)) (cbrt z))
  (/ (/ 1 (sqrt t)) (sqrt z))
  (/ (/ 2.0 (sqrt t)) (sqrt z))
  (/ (/ 1 (sqrt t)) 1)
  (/ (/ 2.0 (sqrt t)) z)
  (/ (/ 1 1) (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 t) (cbrt z))
  (/ (/ 1 1) (sqrt z))
  (/ (/ 2.0 t) (sqrt z))
  (/ (/ 1 1) 1)
  (/ (/ 2.0 t) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 t) (cbrt z))
  (/ 1 (sqrt z))
  (/ (/ 2.0 t) (sqrt z))
  (/ 1 1)
  (/ (/ 2.0 t) z)
  (/ 2.0 (* (cbrt z) (cbrt z)))
  (/ (/ 1 t) (cbrt z))
  (/ 2.0 (sqrt z))
  (/ (/ 1 t) (sqrt z))
  (/ 2.0 1)
  (/ (/ 1 t) z)
  (/ 1 z)
  (/ z (/ 2.0 t))
  (/ (/ 2.0 t) (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 t) (sqrt z))
  (/ (/ 2.0 t) 1)
  (/ z (cbrt (/ 2.0 t)))
  (/ z (sqrt (/ 2.0 t)))
  (/ z (/ (cbrt 2.0) (cbrt t)))
  (/ z (/ (cbrt 2.0) (sqrt t)))
  (/ z (/ (cbrt 2.0) t))
  (/ z (/ (sqrt 2.0) (cbrt t)))
  (/ z (/ (sqrt 2.0) (sqrt t)))
  (/ z (/ (sqrt 2.0) t))
  (/ z (/ 2.0 (cbrt t)))
  (/ z (/ 2.0 (sqrt t)))
  (/ z (/ 2.0 t))
  (/ z (/ 2.0 t))
  (/ z (/ 1 t))
  (* z t)
  (* (exp (/ (/ 2.0 t) z)) (exp (/ 2.0 t)))
  (log (+ (/ (/ 2.0 t) z) (/ 2.0 t)))
  (exp (+ (/ (/ 2.0 t) z) (/ 2.0 t)))
  (* (cbrt (+ (/ (/ 2.0 t) z) (/ 2.0 t))) (cbrt (+ (/ (/ 2.0 t) z) (/ 2.0 t))))
  (cbrt (+ (/ (/ 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)))
  (sqrt (+ (/ (/ 2.0 t) z) (/ 2.0 t)))
  (sqrt (+ (/ (/ 2.0 t) z) (/ 2.0 t)))
  (+ (* (/ 2.0 t) t) (* z 2.0))
  (* z t)
  (+ (pow (/ (/ 2.0 t) z) 3) (pow (/ 2.0 t) 3))
  (+ (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (- (* (/ 2.0 t) (/ 2.0 t)) (* (/ (/ 2.0 t) z) (/ 2.0 t))))
  (- (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (* (/ 2.0 t) (/ 2.0 t)))
  (- (/ (/ 2.0 t) z) (/ 2.0 t))
  (+ (/ (/ 2.0 t) z) (/ 2.0 t))
  (+ (/ (/ 2.0 t) z) (/ 2.0 t))
  (/ (* (exp (/ (/ 2.0 t) z)) (exp (/ 2.0 t))) (/ (exp 2.0) (exp (/ x y))))
  (/ (* (exp (/ (/ 2.0 t) z)) (exp (/ 2.0 t))) (exp (- 2.0 (/ x y))))
  (/ (exp (+ (/ (/ 2.0 t) z) (/ 2.0 t))) (/ (exp 2.0) (exp (/ x y))))
  (/ (exp (+ (/ (/ 2.0 t) z) (/ 2.0 t))) (exp (- 2.0 (/ x y))))
  (log (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))
  (exp (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))
  (* (cbrt (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y)))) (cbrt (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y)))))
  (cbrt (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))
  (* (* (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))) (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y)))) (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))
  (sqrt (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))
  (sqrt (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))
  (- (* (+ (* (/ 2.0 t) t) (* z 2.0)) (+ (* 2.0 2.0) (+ (* (/ x y) (/ x y)) (* 2.0 (/ x y))))) (* (* z t) (- (pow 2.0 3) (pow (/ x y) 3))))
  (* (* z t) (+ (* 2.0 2.0) (+ (* (/ x y) (/ x y)) (* 2.0 (/ x y)))))
  (- (* (+ (* (/ 2.0 t) t) (* z 2.0)) (+ 2.0 (/ x y))) (* (* z t) (- (* 2.0 2.0) (* (/ x y) (/ x y)))))
  (* (* z t) (+ 2.0 (/ x y)))
  (- (* (+ (pow (/ (/ 2.0 t) z) 3) (pow (/ 2.0 t) 3)) (+ (* 2.0 2.0) (+ (* (/ x y) (/ x y)) (* 2.0 (/ x y))))) (* (+ (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (- (* (/ 2.0 t) (/ 2.0 t)) (* (/ (/ 2.0 t) z) (/ 2.0 t)))) (- (pow 2.0 3) (pow (/ x y) 3))))
  (* (+ (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (- (* (/ 2.0 t) (/ 2.0 t)) (* (/ (/ 2.0 t) z) (/ 2.0 t)))) (+ (* 2.0 2.0) (+ (* (/ x y) (/ x y)) (* 2.0 (/ x y)))))
  (- (* (+ (pow (/ (/ 2.0 t) z) 3) (pow (/ 2.0 t) 3)) (+ 2.0 (/ x y))) (* (+ (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (- (* (/ 2.0 t) (/ 2.0 t)) (* (/ (/ 2.0 t) z) (/ 2.0 t)))) (- (* 2.0 2.0) (* (/ x y) (/ x y)))))
  (* (+ (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (- (* (/ 2.0 t) (/ 2.0 t)) (* (/ (/ 2.0 t) z) (/ 2.0 t)))) (+ 2.0 (/ x y)))
  (- (* (- (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (* (/ 2.0 t) (/ 2.0 t))) (+ (* 2.0 2.0) (+ (* (/ x y) (/ x y)) (* 2.0 (/ x y))))) (* (- (/ (/ 2.0 t) z) (/ 2.0 t)) (- (pow 2.0 3) (pow (/ x y) 3))))
  (* (- (/ (/ 2.0 t) z) (/ 2.0 t)) (+ (* 2.0 2.0) (+ (* (/ x y) (/ x y)) (* 2.0 (/ x y)))))
  (- (* (- (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (* (/ 2.0 t) (/ 2.0 t))) (+ 2.0 (/ x y))) (* (- (/ (/ 2.0 t) z) (/ 2.0 t)) (- (* 2.0 2.0) (* (/ x y) (/ x y)))))
  (* (- (/ (/ 2.0 t) z) (/ 2.0 t)) (+ 2.0 (/ x y)))
  (- (pow (+ (/ (/ 2.0 t) z) (/ 2.0 t)) 3) (pow (- 2.0 (/ x y)) 3))
  (+ (* (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (+ (/ (/ 2.0 t) z) (/ 2.0 t))) (+ (* (- 2.0 (/ x y)) (- 2.0 (/ x y))) (* (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y)))))
  (- (- 2.0 (/ x y)))
  (- (* (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (+ (/ (/ 2.0 t) z) (/ 2.0 t))) (* (- 2.0 (/ x y)) (- 2.0 (/ x y))))
  (+ (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y)))
  (+ (sqrt (+ (/ (/ 2.0 t) z) (/ 2.0 t))) (sqrt (- 2.0 (/ x y))))
  (- (sqrt (+ (/ (/ 2.0 t) z) (/ 2.0 t))) (sqrt (- 2.0 (/ x y))))
  (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y)))
  (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y)))
  (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y)))
  (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y)))
  (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) 2.0)
  (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) 2.0)
  (- (/ 2.0 t) (- 2.0 (/ x y)))
  (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) 2.0)
  (- (- 2.0 (/ x y)))
  (/ 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))) (+ (/ x y) (* 2.0 (/ 1 t))))
  (- (+ (/ x y) (* 2.0 (/ 1 t))) 2.0)
  (- (+ (/ x y) (* 2.0 (/ 1 t))) 2.0)
6.118 * * [simplify]: iteration  0 :  248  enodes  (cost  2105 )
6.190 * * [simplify]: iteration  1 :  664  enodes  (cost  1955 )
6.508 * * [simplify]: iteration  2 :  2157  enodes  (cost  1897 )
7.017 * * [simplify]: iteration  done :  5000  enodes  (cost  1897 )
7.018 * [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))
  (- (/ 2.0 t))
  (- z)
  (/ (* (cbrt (/ 2.0 t)) (cbrt (/ 2.0 t))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (/ 2.0 t)) (cbrt z))
  (/ (* (cbrt (/ 2.0 t)) (cbrt (/ 2.0 t))) (sqrt z))
  (/ (cbrt (/ 2.0 t)) (sqrt z))
  (* (cbrt (/ 2.0 t)) (cbrt (/ 2.0 t)))
  (/ (cbrt (/ 2.0 t)) z)
  (/ (sqrt (/ 2.0 t)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (/ 2.0 t)) (cbrt z))
  (/ (sqrt (/ 2.0 t)) (sqrt z))
  (/ (sqrt (/ 2.0 t)) (sqrt z))
  (sqrt (/ 2.0 t))
  (/ (sqrt (/ 2.0 t)) z)
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt t) (cbrt t))) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt 2.0) (cbrt t)) (cbrt z))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt t) (cbrt t))) (sqrt z))
  (/ (/ (cbrt 2.0) (cbrt t)) (sqrt z))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt t) (cbrt t)))
  (/ (/ (cbrt 2.0) (cbrt t)) z)
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt t)) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt 2.0) (sqrt t)) (cbrt z))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt t)) (sqrt z))
  (/ (/ (cbrt 2.0) (sqrt t)) (sqrt z))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt t))
  (/ (/ (cbrt 2.0) (sqrt t)) z)
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt 2.0) t) (cbrt z))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt z))
  (/ (/ (cbrt 2.0) t) (sqrt z))
  (* (cbrt 2.0) (cbrt 2.0))
  (/ (/ (cbrt 2.0) t) z)
  (/ (/ (sqrt 2.0) (* (cbrt t) (cbrt t))) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt 2.0) (cbrt t)) (cbrt z))
  (/ (/ (sqrt 2.0) (* (cbrt t) (cbrt t))) (sqrt z))
  (/ (/ (sqrt 2.0) (cbrt t)) (sqrt z))
  (/ (sqrt 2.0) (* (cbrt t) (cbrt t)))
  (/ (/ (sqrt 2.0) (cbrt t)) z)
  (/ (/ (sqrt 2.0) (sqrt t)) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt 2.0) (sqrt t)) (cbrt z))
  (/ (/ (sqrt 2.0) (sqrt t)) (sqrt z))
  (/ (/ (sqrt 2.0) (sqrt t)) (sqrt z))
  (/ (sqrt 2.0) (sqrt t))
  (/ (/ (sqrt 2.0) (sqrt t)) z)
  (/ (/ (sqrt 2.0) (cbrt z)) (cbrt z))
  (/ (/ (sqrt 2.0) t) (cbrt z))
  (/ (sqrt 2.0) (sqrt z))
  (/ (/ (sqrt 2.0) t) (sqrt z))
  (sqrt 2.0)
  (/ (/ (sqrt 2.0) t) z)
  (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 (cbrt t)) (cbrt z))
  (/ (/ 1 (* (cbrt t) (cbrt t))) (sqrt z))
  (/ (/ 2.0 (cbrt t)) (sqrt z))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (/ 2.0 (cbrt t)) z)
  (/ (/ 1 (sqrt t)) (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 (sqrt t)) (cbrt z))
  (/ (/ 1 (sqrt t)) (sqrt z))
  (/ (/ 2.0 (sqrt t)) (sqrt z))
  (/ 1 (sqrt t))
  (/ (/ 2.0 (sqrt t)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 t) (cbrt z))
  (/ 1 (sqrt z))
  (/ (/ 2.0 t) (sqrt z))
  1
  (/ 2.0 (* t z))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 t) (cbrt z))
  (/ 1 (sqrt z))
  (/ (/ 2.0 t) (sqrt z))
  1
  (/ 2.0 (* t z))
  (/ 2.0 (* (cbrt z) (cbrt z)))
  (/ (/ 1 t) (cbrt z))
  (/ 2.0 (sqrt z))
  (/ (/ 1 t) (sqrt z))
  2.0
  (/ 1 (* t z))
  (/ 1 z)
  (/ z (/ 2.0 t))
  (/ (/ 2.0 t) (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 t) (sqrt z))
  (/ 2.0 t)
  (/ z (cbrt (/ 2.0 t)))
  (/ z (sqrt (/ 2.0 t)))
  (/ z (/ (cbrt 2.0) (cbrt t)))
  (/ z (/ (cbrt 2.0) (sqrt t)))
  (/ z (/ (cbrt 2.0) t))
  (/ z (/ (sqrt 2.0) (cbrt t)))
  (/ z (/ (sqrt 2.0) (sqrt t)))
  (/ z (/ (sqrt 2.0) t))
  (/ z (/ 2.0 (cbrt t)))
  (/ z (/ 2.0 (sqrt t)))
  (/ z (/ 2.0 t))
  (/ z (/ 2.0 t))
  (* z t)
  (* z t)
  (exp (+ (/ (/ 2.0 t) z) (/ 2.0 t)))
  (log (+ (/ (/ 2.0 t) z) (/ 2.0 t)))
  (exp (+ (/ (/ 2.0 t) z) (/ 2.0 t)))
  (* (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 2.0))
  (* z t)
  (+ (pow (/ (/ 2.0 t) z) 3) (pow (/ 2.0 t) 3))
  (+ (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (* (/ 2.0 t) (- (/ 2.0 t) (/ 2.0 (* t z)))))
  (- (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (* (/ 2.0 t) (/ 2.0 t)))
  (- (/ (/ 2.0 t) z) (/ 2.0 t))
  (+ (/ (/ 2.0 t) z) (/ 2.0 t))
  (+ (/ (/ 2.0 t) z) (/ 2.0 t))
  (exp (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))
  (exp (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))
  (exp (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))
  (exp (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))
  (log (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))
  (exp (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))
  (* (cbrt (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y)))) (cbrt (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y)))))
  (cbrt (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))
  (pow (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))) 3)
  (sqrt (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))
  (sqrt (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))
  (- (* (+ (* (/ x y) (+ 2.0 (/ x y))) (* 2.0 2.0)) (+ (* (/ 2.0 t) t) (* z 2.0))) (* (* z t) (- (pow 2.0 3) (pow (/ x y) 3))))
  (* (+ (* (/ x y) (+ 2.0 (/ x y))) (* 2.0 2.0)) (* z t))
  (- (* (+ (* (/ 2.0 t) t) (* z 2.0)) (+ 2.0 (/ x y))) (* (* z t) (- (* 2.0 2.0) (* (/ x y) (/ x y)))))
  (* (* z t) (+ 2.0 (/ x y)))
  (- (* (+ (pow (/ (/ 2.0 t) z) 3) (pow (/ 2.0 t) 3)) (+ (* (/ x y) (+ 2.0 (/ x y))) (* 2.0 2.0))) (* (+ (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (* (/ 2.0 t) (- (/ 2.0 t) (/ 2.0 (* t z))))) (- (pow 2.0 3) (pow (/ x y) 3))))
  (* (+ (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (* (/ 2.0 t) (- (/ 2.0 t) (/ 2.0 (* t z))))) (+ (* (/ x y) (+ 2.0 (/ x y))) (* 2.0 2.0)))
  (- (* (+ (pow (/ (/ 2.0 t) z) 3) (pow (/ 2.0 t) 3)) (+ 2.0 (/ x y))) (* (+ (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (* (/ 2.0 t) (- (/ 2.0 t) (/ 2.0 (* t z))))) (- (* 2.0 2.0) (* (/ x y) (/ x y)))))
  (* (+ 2.0 (/ x y)) (+ (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (* (/ 2.0 t) (- (/ 2.0 t) (/ 2.0 (* t z))))))
  (- (* (- (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (* (/ 2.0 t) (/ 2.0 t))) (+ (* (/ x y) (+ 2.0 (/ x y))) (* 2.0 2.0))) (* (- (/ (/ 2.0 t) z) (/ 2.0 t)) (- (pow 2.0 3) (pow (/ x y) 3))))
  (* (- (/ (/ 2.0 t) z) (/ 2.0 t)) (+ (* (/ x y) (+ 2.0 (/ x y))) (* 2.0 2.0)))
  (- (* (- (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (* (/ 2.0 t) (/ 2.0 t))) (+ 2.0 (/ x y))) (* (- (/ (/ 2.0 t) z) (/ 2.0 t)) (- (* 2.0 2.0) (* (/ x y) (/ x y)))))
  (* (- (/ (/ 2.0 t) z) (/ 2.0 t)) (+ 2.0 (/ x y)))
  (- (pow (+ (/ (/ 2.0 t) z) (/ 2.0 t)) 3) (pow (- 2.0 (/ x y)) 3))
  (+ (* (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (+ (/ (/ 2.0 t) z) (/ 2.0 t))) (* (- 2.0 (/ x y)) (+ (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y)))))
  (- (- 2.0 (/ x y)))
  (- (* (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (+ (/ (/ 2.0 t) z) (/ 2.0 t))) (* (- 2.0 (/ x y)) (- 2.0 (/ x y))))
  (+ (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y)))
  (+ (sqrt (+ (/ (/ 2.0 t) z) (/ 2.0 t))) (sqrt (- 2.0 (/ x y))))
  (- (sqrt (+ (/ (/ 2.0 t) z) (/ 2.0 t))) (sqrt (- 2.0 (/ x y))))
  (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y)))
  (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y)))
  (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y)))
  (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y)))
  (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) 2.0)
  (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) 2.0)
  (- (/ 2.0 t) (- 2.0 (/ x y)))
  (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) 2.0)
  (- (- 2.0 (/ x y)))
  (/ 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)) (/ x y))
  (- (/ 2.0 t) (- 2.0 (/ x y)))
  (- (/ 2.0 t) (- 2.0 (/ x y)))
7.019 * * * [progress]: adding candidates to table
7.341 * * [progress]: iteration 4 / 4
7.341 * * * [progress]: picking best candidate
7.345 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (+ (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (/ 2.0 t)) (- 2.0 (/ x y))))>
7.345 * * * [progress]: localizing error
7.357 * * * [progress]: generating rewritten candidates
7.357 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
7.361 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
7.364 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
7.390 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
7.407 * * * [progress]: generating series expansions
7.407 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
7.408 * [approximate]: Taking taylor expansion of (/ (sqrt 2.0) z) in (z) around 0
7.408 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) z) in z
7.408 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
7.408 * [taylor]: Taking taylor expansion of 2.0 in z
7.409 * [taylor]: Taking taylor expansion of z in z
7.409 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) z) in z
7.409 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
7.409 * [taylor]: Taking taylor expansion of 2.0 in z
7.410 * [taylor]: Taking taylor expansion of z in z
7.419 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) z) in (z) around 0
7.419 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) z) in z
7.419 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
7.419 * [taylor]: Taking taylor expansion of 2.0 in z
7.419 * [taylor]: Taking taylor expansion of z in z
7.419 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) z) in z
7.420 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
7.420 * [taylor]: Taking taylor expansion of 2.0 in z
7.420 * [taylor]: Taking taylor expansion of z in z
7.432 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt 2.0) z)) in (z) around 0
7.432 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt 2.0) z)) in z
7.432 * [taylor]: Taking taylor expansion of -1 in z
7.432 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) z) in z
7.432 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
7.432 * [taylor]: Taking taylor expansion of 2.0 in z
7.433 * [taylor]: Taking taylor expansion of z in z
7.433 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt 2.0) z)) in z
7.433 * [taylor]: Taking taylor expansion of -1 in z
7.433 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) z) in z
7.433 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
7.433 * [taylor]: Taking taylor expansion of 2.0 in z
7.433 * [taylor]: Taking taylor expansion of z in z
7.457 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
7.457 * [approximate]: Taking taylor expansion of (/ (sqrt 2.0) t) in (t) around 0
7.457 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) t) in t
7.457 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
7.457 * [taylor]: Taking taylor expansion of 2.0 in t
7.458 * [taylor]: Taking taylor expansion of t in t
7.458 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) t) in t
7.458 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
7.458 * [taylor]: Taking taylor expansion of 2.0 in t
7.459 * [taylor]: Taking taylor expansion of t in t
7.468 * [approximate]: Taking taylor expansion of (* t (sqrt 2.0)) in (t) around 0
7.468 * [taylor]: Taking taylor expansion of (* t (sqrt 2.0)) in t
7.468 * [taylor]: Taking taylor expansion of t in t
7.468 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
7.468 * [taylor]: Taking taylor expansion of 2.0 in t
7.469 * [taylor]: Taking taylor expansion of (* t (sqrt 2.0)) in t
7.469 * [taylor]: Taking taylor expansion of t in t
7.469 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
7.469 * [taylor]: Taking taylor expansion of 2.0 in t
7.481 * [approximate]: Taking taylor expansion of (* -1 (* t (sqrt 2.0))) in (t) around 0
7.481 * [taylor]: Taking taylor expansion of (* -1 (* t (sqrt 2.0))) in t
7.481 * [taylor]: Taking taylor expansion of -1 in t
7.481 * [taylor]: Taking taylor expansion of (* t (sqrt 2.0)) in t
7.481 * [taylor]: Taking taylor expansion of t in t
7.481 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
7.481 * [taylor]: Taking taylor expansion of 2.0 in t
7.482 * [taylor]: Taking taylor expansion of (* -1 (* t (sqrt 2.0))) in t
7.482 * [taylor]: Taking taylor expansion of -1 in t
7.482 * [taylor]: Taking taylor expansion of (* t (sqrt 2.0)) in t
7.482 * [taylor]: Taking taylor expansion of t in t
7.482 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
7.482 * [taylor]: Taking taylor expansion of 2.0 in t
7.500 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
7.501 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (* t z)) in (t z) around 0
7.501 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (* t z)) in z
7.501 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in z
7.501 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
7.501 * [taylor]: Taking taylor expansion of 2.0 in z
7.502 * [taylor]: Taking taylor expansion of (* t z) in z
7.502 * [taylor]: Taking taylor expansion of t in z
7.502 * [taylor]: Taking taylor expansion of z in z
7.504 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (* t z)) in t
7.504 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in t
7.504 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
7.504 * [taylor]: Taking taylor expansion of 2.0 in t
7.504 * [taylor]: Taking taylor expansion of (* t z) in t
7.504 * [taylor]: Taking taylor expansion of t in t
7.504 * [taylor]: Taking taylor expansion of z in t
7.506 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (* t z)) in t
7.506 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in t
7.506 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
7.506 * [taylor]: Taking taylor expansion of 2.0 in t
7.507 * [taylor]: Taking taylor expansion of (* t z) in t
7.507 * [taylor]: Taking taylor expansion of t in t
7.507 * [taylor]: Taking taylor expansion of z in t
7.509 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) z) in z
7.509 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in z
7.509 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
7.509 * [taylor]: Taking taylor expansion of 2.0 in z
7.509 * [taylor]: Taking taylor expansion of z in z
7.514 * [taylor]: Taking taylor expansion of 0 in z
7.524 * [taylor]: Taking taylor expansion of 0 in z
7.529 * [taylor]: Taking taylor expansion of 0 in z
7.532 * [approximate]: Taking taylor expansion of (* t (* (pow (sqrt 2.0) 2) z)) in (t z) around 0
7.532 * [taylor]: Taking taylor expansion of (* t (* (pow (sqrt 2.0) 2) z)) in z
7.532 * [taylor]: Taking taylor expansion of t in z
7.532 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) z) in z
7.532 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in z
7.532 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
7.532 * [taylor]: Taking taylor expansion of 2.0 in z
7.533 * [taylor]: Taking taylor expansion of z in z
7.533 * [taylor]: Taking taylor expansion of (* t (* (pow (sqrt 2.0) 2) z)) in t
7.533 * [taylor]: Taking taylor expansion of t in t
7.533 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) z) in t
7.533 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in t
7.533 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
7.533 * [taylor]: Taking taylor expansion of 2.0 in t
7.534 * [taylor]: Taking taylor expansion of z in t
7.534 * [taylor]: Taking taylor expansion of (* t (* (pow (sqrt 2.0) 2) z)) in t
7.534 * [taylor]: Taking taylor expansion of t in t
7.534 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) z) in t
7.534 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in t
7.534 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
7.534 * [taylor]: Taking taylor expansion of 2.0 in t
7.535 * [taylor]: Taking taylor expansion of z in t
7.537 * [taylor]: Taking taylor expansion of 0 in z
7.539 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) z) in z
7.539 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in z
7.539 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
7.539 * [taylor]: Taking taylor expansion of 2.0 in z
7.540 * [taylor]: Taking taylor expansion of z in z
7.544 * [taylor]: Taking taylor expansion of 0 in z
7.550 * [taylor]: Taking taylor expansion of 0 in z
7.557 * [taylor]: Taking taylor expansion of 0 in z
7.558 * [approximate]: Taking taylor expansion of (* t (* (pow (sqrt 2.0) 2) z)) in (t z) around 0
7.558 * [taylor]: Taking taylor expansion of (* t (* (pow (sqrt 2.0) 2) z)) in z
7.558 * [taylor]: Taking taylor expansion of t in z
7.558 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) z) in z
7.558 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in z
7.558 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
7.558 * [taylor]: Taking taylor expansion of 2.0 in z
7.559 * [taylor]: Taking taylor expansion of z in z
7.559 * [taylor]: Taking taylor expansion of (* t (* (pow (sqrt 2.0) 2) z)) in t
7.559 * [taylor]: Taking taylor expansion of t in t
7.559 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) z) in t
7.559 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in t
7.559 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
7.559 * [taylor]: Taking taylor expansion of 2.0 in t
7.560 * [taylor]: Taking taylor expansion of z in t
7.560 * [taylor]: Taking taylor expansion of (* t (* (pow (sqrt 2.0) 2) z)) in t
7.560 * [taylor]: Taking taylor expansion of t in t
7.560 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) z) in t
7.560 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in t
7.560 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
7.560 * [taylor]: Taking taylor expansion of 2.0 in t
7.561 * [taylor]: Taking taylor expansion of z in t
7.563 * [taylor]: Taking taylor expansion of 0 in z
7.564 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) z) in z
7.565 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in z
7.565 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
7.565 * [taylor]: Taking taylor expansion of 2.0 in z
7.565 * [taylor]: Taking taylor expansion of z in z
7.569 * [taylor]: Taking taylor expansion of 0 in z
7.576 * [taylor]: Taking taylor expansion of 0 in z
7.583 * [taylor]: Taking taylor expansion of 0 in z
7.584 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
7.584 * [approximate]: Taking taylor expansion of (+ (/ (pow (sqrt 2.0) 2) (* t z)) (* 2.0 (/ 1 t))) in (t z) around 0
7.584 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 2.0) 2) (* t z)) (* 2.0 (/ 1 t))) in z
7.584 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (* t z)) in z
7.584 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in z
7.585 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
7.585 * [taylor]: Taking taylor expansion of 2.0 in z
7.585 * [taylor]: Taking taylor expansion of (* t z) in z
7.585 * [taylor]: Taking taylor expansion of t in z
7.585 * [taylor]: Taking taylor expansion of z in z
7.587 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z
7.587 * [taylor]: Taking taylor expansion of 2.0 in z
7.587 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.587 * [taylor]: Taking taylor expansion of t in z
7.587 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 2.0) 2) (* t z)) (* 2.0 (/ 1 t))) in t
7.587 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (* t z)) in t
7.587 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in t
7.587 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
7.587 * [taylor]: Taking taylor expansion of 2.0 in t
7.588 * [taylor]: Taking taylor expansion of (* t z) in t
7.588 * [taylor]: Taking taylor expansion of t in t
7.588 * [taylor]: Taking taylor expansion of z in t
7.590 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
7.590 * [taylor]: Taking taylor expansion of 2.0 in t
7.590 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.590 * [taylor]: Taking taylor expansion of t in t
7.590 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 2.0) 2) (* t z)) (* 2.0 (/ 1 t))) in t
7.590 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (* t z)) in t
7.590 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in t
7.590 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
7.590 * [taylor]: Taking taylor expansion of 2.0 in t
7.591 * [taylor]: Taking taylor expansion of (* t z) in t
7.591 * [taylor]: Taking taylor expansion of t in t
7.591 * [taylor]: Taking taylor expansion of z in t
7.593 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
7.593 * [taylor]: Taking taylor expansion of 2.0 in t
7.593 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.593 * [taylor]: Taking taylor expansion of t in t
7.594 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 2.0) 2) z) 2.0) in z
7.594 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) z) in z
7.594 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in z
7.594 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
7.594 * [taylor]: Taking taylor expansion of 2.0 in z
7.595 * [taylor]: Taking taylor expansion of z in z
7.597 * [taylor]: Taking taylor expansion of 2.0 in z
7.606 * [taylor]: Taking taylor expansion of 0 in z
7.612 * [taylor]: Taking taylor expansion of 0 in z
7.618 * [taylor]: Taking taylor expansion of 0 in z
7.626 * [taylor]: Taking taylor expansion of 0 in z
7.628 * [approximate]: Taking taylor expansion of (+ (* t (* (pow (sqrt 2.0) 2) z)) (* 2.0 t)) in (t z) around 0
7.628 * [taylor]: Taking taylor expansion of (+ (* t (* (pow (sqrt 2.0) 2) z)) (* 2.0 t)) in z
7.628 * [taylor]: Taking taylor expansion of (* t (* (pow (sqrt 2.0) 2) z)) in z
7.628 * [taylor]: Taking taylor expansion of t in z
7.628 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) z) in z
7.628 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in z
7.628 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
7.628 * [taylor]: Taking taylor expansion of 2.0 in z
7.628 * [taylor]: Taking taylor expansion of z in z
7.628 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
7.628 * [taylor]: Taking taylor expansion of 2.0 in z
7.628 * [taylor]: Taking taylor expansion of t in z
7.628 * [taylor]: Taking taylor expansion of (+ (* t (* (pow (sqrt 2.0) 2) z)) (* 2.0 t)) in t
7.628 * [taylor]: Taking taylor expansion of (* t (* (pow (sqrt 2.0) 2) z)) in t
7.628 * [taylor]: Taking taylor expansion of t in t
7.629 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) z) in t
7.629 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in t
7.629 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
7.629 * [taylor]: Taking taylor expansion of 2.0 in t
7.629 * [taylor]: Taking taylor expansion of z in t
7.629 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
7.629 * [taylor]: Taking taylor expansion of 2.0 in t
7.629 * [taylor]: Taking taylor expansion of t in t
7.629 * [taylor]: Taking taylor expansion of (+ (* t (* (pow (sqrt 2.0) 2) z)) (* 2.0 t)) in t
7.629 * [taylor]: Taking taylor expansion of (* t (* (pow (sqrt 2.0) 2) z)) in t
7.630 * [taylor]: Taking taylor expansion of t in t
7.630 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) z) in t
7.630 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in t
7.630 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
7.630 * [taylor]: Taking taylor expansion of 2.0 in t
7.630 * [taylor]: Taking taylor expansion of z in t
7.631 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
7.631 * [taylor]: Taking taylor expansion of 2.0 in t
7.631 * [taylor]: Taking taylor expansion of t in t
7.633 * [taylor]: Taking taylor expansion of 0 in z
7.637 * [taylor]: Taking taylor expansion of (+ 2.0 (* (pow (sqrt 2.0) 2) z)) in z
7.637 * [taylor]: Taking taylor expansion of 2.0 in z
7.637 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) z) in z
7.637 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in z
7.637 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
7.637 * [taylor]: Taking taylor expansion of 2.0 in z
7.637 * [taylor]: Taking taylor expansion of z in z
7.643 * [taylor]: Taking taylor expansion of 0 in z
7.651 * [taylor]: Taking taylor expansion of 0 in z
7.659 * [taylor]: Taking taylor expansion of 0 in z
7.660 * [approximate]: Taking taylor expansion of (- (* t (* (pow (sqrt 2.0) 2) z)) (* 2.0 t)) in (t z) around 0
7.660 * [taylor]: Taking taylor expansion of (- (* t (* (pow (sqrt 2.0) 2) z)) (* 2.0 t)) in z
7.660 * [taylor]: Taking taylor expansion of (* t (* (pow (sqrt 2.0) 2) z)) in z
7.660 * [taylor]: Taking taylor expansion of t in z
7.660 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) z) in z
7.660 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in z
7.660 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
7.660 * [taylor]: Taking taylor expansion of 2.0 in z
7.661 * [taylor]: Taking taylor expansion of z in z
7.661 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
7.661 * [taylor]: Taking taylor expansion of 2.0 in z
7.661 * [taylor]: Taking taylor expansion of t in z
7.661 * [taylor]: Taking taylor expansion of (- (* t (* (pow (sqrt 2.0) 2) z)) (* 2.0 t)) in t
7.661 * [taylor]: Taking taylor expansion of (* t (* (pow (sqrt 2.0) 2) z)) in t
7.661 * [taylor]: Taking taylor expansion of t in t
7.661 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) z) in t
7.661 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in t
7.661 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
7.661 * [taylor]: Taking taylor expansion of 2.0 in t
7.662 * [taylor]: Taking taylor expansion of z in t
7.662 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
7.662 * [taylor]: Taking taylor expansion of 2.0 in t
7.662 * [taylor]: Taking taylor expansion of t in t
7.662 * [taylor]: Taking taylor expansion of (- (* t (* (pow (sqrt 2.0) 2) z)) (* 2.0 t)) in t
7.662 * [taylor]: Taking taylor expansion of (* t (* (pow (sqrt 2.0) 2) z)) in t
7.662 * [taylor]: Taking taylor expansion of t in t
7.662 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) z) in t
7.662 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in t
7.662 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
7.662 * [taylor]: Taking taylor expansion of 2.0 in t
7.663 * [taylor]: Taking taylor expansion of z in t
7.663 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
7.663 * [taylor]: Taking taylor expansion of 2.0 in t
7.663 * [taylor]: Taking taylor expansion of t in t
7.666 * [taylor]: Taking taylor expansion of 0 in z
7.670 * [taylor]: Taking taylor expansion of (- (* (pow (sqrt 2.0) 2) z) 2.0) in z
7.670 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) z) in z
7.670 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in z
7.670 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
7.670 * [taylor]: Taking taylor expansion of 2.0 in z
7.670 * [taylor]: Taking taylor expansion of z in z
7.670 * [taylor]: Taking taylor expansion of 2.0 in z
7.677 * [taylor]: Taking taylor expansion of 0 in z
7.692 * [taylor]: Taking taylor expansion of 0 in z
7.699 * [taylor]: Taking taylor expansion of 0 in z
7.701 * * * [progress]: simplifying candidates
7.703 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log (sqrt 2.0)) (log z))
  (log (/ (sqrt 2.0) z))
  (exp (/ (sqrt 2.0) z))
  (/ (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)) (* (* z z) z))
  (* (cbrt (/ (sqrt 2.0) z)) (cbrt (/ (sqrt 2.0) z)))
  (cbrt (/ (sqrt 2.0) z))
  (* (* (/ (sqrt 2.0) z) (/ (sqrt 2.0) z)) (/ (sqrt 2.0) z))
  (sqrt (/ (sqrt 2.0) z))
  (sqrt (/ (sqrt 2.0) z))
  (- (sqrt 2.0))
  (- z)
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (sqrt 2.0)) (cbrt z))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt z))
  (/ (cbrt (sqrt 2.0)) (sqrt z))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) 1)
  (/ (cbrt (sqrt 2.0)) z)
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (* (cbrt z) (cbrt z)))
  (/ (sqrt (cbrt 2.0)) (cbrt z))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (sqrt z))
  (/ (sqrt (cbrt 2.0)) (sqrt z))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) 1)
  (/ (sqrt (cbrt 2.0)) z)
  (/ (sqrt (sqrt 2.0)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (sqrt 2.0)) (cbrt z))
  (/ (sqrt (sqrt 2.0)) (sqrt z))
  (/ (sqrt (sqrt 2.0)) (sqrt z))
  (/ (sqrt (sqrt 2.0)) 1)
  (/ (sqrt (sqrt 2.0)) z)
  (/ (sqrt 1) (* (cbrt z) (cbrt z)))
  (/ (sqrt 2.0) (cbrt z))
  (/ (sqrt 1) (sqrt z))
  (/ (sqrt 2.0) (sqrt z))
  (/ (sqrt 1) 1)
  (/ (sqrt 2.0) z)
  (/ (sqrt (sqrt 2.0)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (sqrt 2.0)) (cbrt z))
  (/ (sqrt (sqrt 2.0)) (sqrt z))
  (/ (sqrt (sqrt 2.0)) (sqrt z))
  (/ (sqrt (sqrt 2.0)) 1)
  (/ (sqrt (sqrt 2.0)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (sqrt 2.0) (cbrt z))
  (/ 1 (sqrt z))
  (/ (sqrt 2.0) (sqrt z))
  (/ 1 1)
  (/ (sqrt 2.0) z)
  (/ 1 z)
  (/ z (sqrt 2.0))
  (/ (sqrt 2.0) (* (cbrt z) (cbrt z)))
  (/ (sqrt 2.0) (sqrt z))
  (/ (sqrt 2.0) 1)
  (/ z (cbrt (sqrt 2.0)))
  (/ z (sqrt (cbrt 2.0)))
  (/ z (sqrt (sqrt 2.0)))
  (/ z (sqrt 2.0))
  (/ z (sqrt (sqrt 2.0)))
  (/ z (sqrt 2.0))
  (- (log (sqrt 2.0)) (log t))
  (log (/ (sqrt 2.0) t))
  (exp (/ (sqrt 2.0) t))
  (/ (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)) (* (* t t) t))
  (* (cbrt (/ (sqrt 2.0) t)) (cbrt (/ (sqrt 2.0) t)))
  (cbrt (/ (sqrt 2.0) t))
  (* (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) t)) (/ (sqrt 2.0) t))
  (sqrt (/ (sqrt 2.0) t))
  (sqrt (/ (sqrt 2.0) t))
  (- (sqrt 2.0))
  (- t)
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt t) (cbrt t)))
  (/ (cbrt (sqrt 2.0)) (cbrt t))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt t))
  (/ (cbrt (sqrt 2.0)) (sqrt t))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) 1)
  (/ (cbrt (sqrt 2.0)) t)
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (* (cbrt t) (cbrt t)))
  (/ (sqrt (cbrt 2.0)) (cbrt t))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (sqrt t))
  (/ (sqrt (cbrt 2.0)) (sqrt t))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) 1)
  (/ (sqrt (cbrt 2.0)) t)
  (/ (sqrt (sqrt 2.0)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (sqrt 2.0)) (cbrt t))
  (/ (sqrt (sqrt 2.0)) (sqrt t))
  (/ (sqrt (sqrt 2.0)) (sqrt t))
  (/ (sqrt (sqrt 2.0)) 1)
  (/ (sqrt (sqrt 2.0)) t)
  (/ (sqrt 1) (* (cbrt t) (cbrt t)))
  (/ (sqrt 2.0) (cbrt t))
  (/ (sqrt 1) (sqrt t))
  (/ (sqrt 2.0) (sqrt t))
  (/ (sqrt 1) 1)
  (/ (sqrt 2.0) t)
  (/ (sqrt (sqrt 2.0)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (sqrt 2.0)) (cbrt t))
  (/ (sqrt (sqrt 2.0)) (sqrt t))
  (/ (sqrt (sqrt 2.0)) (sqrt t))
  (/ (sqrt (sqrt 2.0)) 1)
  (/ (sqrt (sqrt 2.0)) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (sqrt 2.0) (cbrt t))
  (/ 1 (sqrt t))
  (/ (sqrt 2.0) (sqrt t))
  (/ 1 1)
  (/ (sqrt 2.0) t)
  (/ 1 t)
  (/ t (sqrt 2.0))
  (/ (sqrt 2.0) (* (cbrt t) (cbrt t)))
  (/ (sqrt 2.0) (sqrt t))
  (/ (sqrt 2.0) 1)
  (/ t (cbrt (sqrt 2.0)))
  (/ t (sqrt (cbrt 2.0)))
  (/ t (sqrt (sqrt 2.0)))
  (/ t (sqrt 2.0))
  (/ t (sqrt (sqrt 2.0)))
  (/ t (sqrt 2.0))
  (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z))
  (+ (- (log (sqrt 2.0)) (log t)) (- (log (sqrt 2.0)) (log z)))
  (+ (- (log (sqrt 2.0)) (log t)) (log (/ (sqrt 2.0) z)))
  (+ (log (/ (sqrt 2.0) t)) (- (log (sqrt 2.0)) (log z)))
  (+ (log (/ (sqrt 2.0) t)) (log (/ (sqrt 2.0) z)))
  (log (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)))
  (exp (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)))
  (* (/ (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)) (* (* t t) t)) (/ (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)) (* (* z z) z)))
  (* (/ (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)) (* (* t t) t)) (* (* (/ (sqrt 2.0) z) (/ (sqrt 2.0) z)) (/ (sqrt 2.0) z)))
  (* (* (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) t)) (/ (sqrt 2.0) t)) (/ (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)) (* (* z z) z)))
  (* (* (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) t)) (/ (sqrt 2.0) t)) (* (* (/ (sqrt 2.0) z) (/ (sqrt 2.0) z)) (/ (sqrt 2.0) z)))
  (* (cbrt (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z))) (cbrt (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z))))
  (cbrt (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)))
  (* (* (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z))) (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)))
  (sqrt (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)))
  (sqrt (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)))
  (* (sqrt 2.0) (sqrt 2.0))
  (* t z)
  (* (sqrt (/ (sqrt 2.0) t)) (sqrt (/ (sqrt 2.0) z)))
  (* (sqrt (/ (sqrt 2.0) t)) (sqrt (/ (sqrt 2.0) z)))
  (* (sqrt (/ (sqrt 2.0) t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (sqrt (/ (sqrt 2.0) t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (sqrt (/ (sqrt 2.0) t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (sqrt (/ (sqrt 2.0) t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (sqrt (/ (sqrt 2.0) z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (sqrt (/ (sqrt 2.0) z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (sqrt (/ (sqrt 2.0) z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (sqrt (/ (sqrt 2.0) z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt 2.0) t) (* (cbrt (/ (sqrt 2.0) z)) (cbrt (/ (sqrt 2.0) z))))
  (* (/ (sqrt 2.0) t) (sqrt (/ (sqrt 2.0) z)))
  (* (/ (sqrt 2.0) t) (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt z) (cbrt z))))
  (* (/ (sqrt 2.0) t) (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt z)))
  (* (/ (sqrt 2.0) t) (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) 1))
  (* (/ (sqrt 2.0) t) (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (* (cbrt z) (cbrt z))))
  (* (/ (sqrt 2.0) t) (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (sqrt z)))
  (* (/ (sqrt 2.0) t) (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) 1))
  (* (/ (sqrt 2.0) t) (/ (sqrt (sqrt 2.0)) (* (cbrt z) (cbrt z))))
  (* (/ (sqrt 2.0) t) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt 2.0) t) (/ (sqrt (sqrt 2.0)) 1))
  (* (/ (sqrt 2.0) t) (/ (sqrt 1) (* (cbrt z) (cbrt z))))
  (* (/ (sqrt 2.0) t) (/ (sqrt 1) (sqrt z)))
  (* (/ (sqrt 2.0) t) (/ (sqrt 1) 1))
  (* (/ (sqrt 2.0) t) (/ (sqrt (sqrt 2.0)) (* (cbrt z) (cbrt z))))
  (* (/ (sqrt 2.0) t) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt 2.0) t) (/ (sqrt (sqrt 2.0)) 1))
  (* (/ (sqrt 2.0) t) (/ 1 (* (cbrt z) (cbrt z))))
  (* (/ (sqrt 2.0) t) (/ 1 (sqrt z)))
  (* (/ (sqrt 2.0) t) (/ 1 1))
  (* (/ (sqrt 2.0) t) 1)
  (* (/ (sqrt 2.0) t) (sqrt 2.0))
  (* (cbrt (/ (sqrt 2.0) t)) (/ (sqrt 2.0) z))
  (* (sqrt (/ (sqrt 2.0) t)) (/ (sqrt 2.0) z))
  (* (/ (cbrt (sqrt 2.0)) (cbrt t)) (/ (sqrt 2.0) z))
  (* (/ (cbrt (sqrt 2.0)) (sqrt t)) (/ (sqrt 2.0) z))
  (* (/ (cbrt (sqrt 2.0)) t) (/ (sqrt 2.0) z))
  (* (/ (sqrt (cbrt 2.0)) (cbrt t)) (/ (sqrt 2.0) z))
  (* (/ (sqrt (cbrt 2.0)) (sqrt t)) (/ (sqrt 2.0) z))
  (* (/ (sqrt (cbrt 2.0)) t) (/ (sqrt 2.0) z))
  (* (/ (sqrt (sqrt 2.0)) (cbrt t)) (/ (sqrt 2.0) z))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt 2.0) z))
  (* (/ (sqrt (sqrt 2.0)) t) (/ (sqrt 2.0) z))
  (* (/ (sqrt 2.0) (cbrt t)) (/ (sqrt 2.0) z))
  (* (/ (sqrt 2.0) (sqrt t)) (/ (sqrt 2.0) z))
  (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z))
  (* (/ (sqrt (sqrt 2.0)) (cbrt t)) (/ (sqrt 2.0) z))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt 2.0) z))
  (* (/ (sqrt (sqrt 2.0)) t) (/ (sqrt 2.0) z))
  (* (/ (sqrt 2.0) (cbrt t)) (/ (sqrt 2.0) z))
  (* (/ (sqrt 2.0) (sqrt t)) (/ (sqrt 2.0) z))
  (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z))
  (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z))
  (* (/ 1 t) (/ (sqrt 2.0) z))
  (* (/ (sqrt 2.0) t) (sqrt 2.0))
  (* (sqrt 2.0) (/ (sqrt 2.0) z))
  (* (exp (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z))) (exp (/ 2.0 t)))
  (log (+ (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (/ 2.0 t)))
  (exp (+ (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (/ 2.0 t)))
  (* (cbrt (+ (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (/ 2.0 t))) (cbrt (+ (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (/ 2.0 t))))
  (cbrt (+ (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (/ 2.0 t)))
  (* (* (+ (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (/ 2.0 t)) (+ (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (/ 2.0 t))) (+ (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (/ 2.0 t)))
  (sqrt (+ (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (/ 2.0 t)))
  (sqrt (+ (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (/ 2.0 t)))
  (+ (* (* (sqrt 2.0) (sqrt 2.0)) t) (* (* t z) 2.0))
  (* (* t z) t)
  (+ (* (* (/ (sqrt 2.0) t) (sqrt 2.0)) t) (* z 2.0))
  (* z t)
  (+ (* (* (sqrt 2.0) (/ (sqrt 2.0) z)) t) (* t 2.0))
  (* t t)
  (+ (pow (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) 3) (pow (/ 2.0 t) 3))
  (+ (* (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z))) (- (* (/ 2.0 t) (/ 2.0 t)) (* (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (/ 2.0 t))))
  (- (* (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z))) (* (/ 2.0 t) (/ 2.0 t)))
  (- (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (/ 2.0 t))
  (/ (sqrt 2.0) z)
  (/ (sqrt 2.0) z)
  (/ (sqrt 2.0) z)
  (/ (sqrt 2.0) t)
  (/ (sqrt 2.0) t)
  (/ (sqrt 2.0) t)
  (/ (pow (sqrt 2.0) 2) (* t z))
  (/ (pow (sqrt 2.0) 2) (* t z))
  (/ (pow (sqrt 2.0) 2) (* t z))
  (+ (/ (pow (sqrt 2.0) 2) (* t z)) (* 2.0 (/ 1 t)))
  (+ (/ (pow (sqrt 2.0) 2) (* t z)) (* 2.0 (/ 1 t)))
  (+ (/ (pow (sqrt 2.0) 2) (* t z)) (* 2.0 (/ 1 t)))
7.709 * * [simplify]: iteration  0 :  201  enodes  (cost  2104 )
7.767 * * [simplify]: iteration  1 :  532  enodes  (cost  1735 )
8.081 * * [simplify]: iteration  2 :  1686  enodes  (cost  1633 )
8.638 * * [simplify]: iteration  done :  5000  enodes  (cost  1633 )
8.639 * [simplify]: Simplified to:
   (log (/ (sqrt 2.0) z))
  (log (/ (sqrt 2.0) z))
  (exp (/ (sqrt 2.0) z))
  (pow (/ (sqrt 2.0) z) 3)
  (* (cbrt (/ (sqrt 2.0) z)) (cbrt (/ (sqrt 2.0) z)))
  (cbrt (/ (sqrt 2.0) z))
  (pow (/ (sqrt 2.0) z) 3)
  (sqrt (/ (sqrt 2.0) z))
  (sqrt (/ (sqrt 2.0) z))
  (- (sqrt 2.0))
  (- z)
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (sqrt 2.0)) (cbrt z))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt z))
  (/ (cbrt (sqrt 2.0)) (sqrt z))
  (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))
  (/ (cbrt (sqrt 2.0)) z)
  (/ (fabs (cbrt 2.0)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (cbrt 2.0)) (cbrt z))
  (/ (fabs (cbrt 2.0)) (sqrt z))
  (/ (sqrt (cbrt 2.0)) (sqrt z))
  (fabs (cbrt 2.0))
  (/ (sqrt (cbrt 2.0)) z)
  (/ (sqrt (sqrt 2.0)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (sqrt 2.0)) (cbrt z))
  (/ (sqrt (sqrt 2.0)) (sqrt z))
  (/ (sqrt (sqrt 2.0)) (sqrt z))
  (sqrt (sqrt 2.0))
  (/ (sqrt (sqrt 2.0)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (sqrt 2.0) (cbrt z))
  (/ 1 (sqrt z))
  (/ (sqrt 2.0) (sqrt z))
  1
  (/ (sqrt 2.0) z)
  (/ (sqrt (sqrt 2.0)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (sqrt 2.0)) (cbrt z))
  (/ (sqrt (sqrt 2.0)) (sqrt z))
  (/ (sqrt (sqrt 2.0)) (sqrt z))
  (sqrt (sqrt 2.0))
  (/ (sqrt (sqrt 2.0)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (sqrt 2.0) (cbrt z))
  (/ 1 (sqrt z))
  (/ (sqrt 2.0) (sqrt z))
  1
  (/ (sqrt 2.0) z)
  (/ 1 z)
  (/ z (sqrt 2.0))
  (/ (sqrt 2.0) (* (cbrt z) (cbrt z)))
  (/ (sqrt 2.0) (sqrt z))
  (sqrt 2.0)
  (/ z (cbrt (sqrt 2.0)))
  (/ z (sqrt (cbrt 2.0)))
  (/ z (sqrt (sqrt 2.0)))
  (/ z (sqrt 2.0))
  (/ z (sqrt (sqrt 2.0)))
  (/ z (sqrt 2.0))
  (log (/ (sqrt 2.0) t))
  (log (/ (sqrt 2.0) t))
  (exp (/ (sqrt 2.0) t))
  (pow (/ (sqrt 2.0) t) 3)
  (* (cbrt (/ (sqrt 2.0) t)) (cbrt (/ (sqrt 2.0) t)))
  (cbrt (/ (sqrt 2.0) t))
  (pow (/ (sqrt 2.0) t) 3)
  (sqrt (/ (sqrt 2.0) t))
  (sqrt (/ (sqrt 2.0) t))
  (- (sqrt 2.0))
  (- t)
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt t) (cbrt t)))
  (/ (cbrt (sqrt 2.0)) (cbrt t))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt t))
  (/ (cbrt (sqrt 2.0)) (sqrt t))
  (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))
  (/ (cbrt (sqrt 2.0)) t)
  (/ (fabs (cbrt 2.0)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (cbrt 2.0)) (cbrt t))
  (/ (fabs (cbrt 2.0)) (sqrt t))
  (/ (sqrt (cbrt 2.0)) (sqrt t))
  (fabs (cbrt 2.0))
  (/ (sqrt (cbrt 2.0)) t)
  (/ (sqrt (sqrt 2.0)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (sqrt 2.0)) (cbrt t))
  (/ (sqrt (sqrt 2.0)) (sqrt t))
  (/ (sqrt (sqrt 2.0)) (sqrt t))
  (sqrt (sqrt 2.0))
  (/ (sqrt (sqrt 2.0)) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (sqrt 2.0) (cbrt t))
  (/ 1 (sqrt t))
  (/ (sqrt 2.0) (sqrt t))
  1
  (/ (sqrt 2.0) t)
  (/ (sqrt (sqrt 2.0)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (sqrt 2.0)) (cbrt t))
  (/ (sqrt (sqrt 2.0)) (sqrt t))
  (/ (sqrt (sqrt 2.0)) (sqrt t))
  (sqrt (sqrt 2.0))
  (/ (sqrt (sqrt 2.0)) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (sqrt 2.0) (cbrt t))
  (/ 1 (sqrt t))
  (/ (sqrt 2.0) (sqrt t))
  1
  (/ (sqrt 2.0) t)
  (/ 1 t)
  (/ t (sqrt 2.0))
  (/ (sqrt 2.0) (* (cbrt t) (cbrt t)))
  (/ (sqrt 2.0) (sqrt t))
  (sqrt 2.0)
  (/ t (cbrt (sqrt 2.0)))
  (/ t (sqrt (cbrt 2.0)))
  (/ t (sqrt (sqrt 2.0)))
  (/ t (sqrt 2.0))
  (/ t (sqrt (sqrt 2.0)))
  (/ t (sqrt 2.0))
  (/ (/ 2.0 z) t)
  (log (/ (/ 2.0 z) t))
  (log (/ (/ 2.0 z) t))
  (log (/ (/ 2.0 z) t))
  (log (/ (/ 2.0 z) t))
  (log (/ (/ 2.0 z) t))
  (exp (/ (/ 2.0 z) t))
  (pow (/ (/ 2.0 z) t) 3)
  (pow (/ (/ 2.0 z) t) 3)
  (pow (/ (/ 2.0 z) t) 3)
  (pow (/ (/ 2.0 z) t) 3)
  (* (cbrt (/ (/ 2.0 z) t)) (cbrt (/ (/ 2.0 z) t)))
  (cbrt (/ (/ 2.0 z) t))
  (pow (/ (/ 2.0 z) t) 3)
  (sqrt (/ (/ 2.0 z) t))
  (sqrt (/ (/ 2.0 z) t))
  2.0
  (* t z)
  (* (sqrt (/ (sqrt 2.0) t)) (sqrt (/ (sqrt 2.0) z)))
  (* (sqrt (/ (sqrt 2.0) t)) (sqrt (/ (sqrt 2.0) z)))
  (* (sqrt (/ (sqrt 2.0) t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (sqrt (/ (sqrt 2.0) t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (sqrt (/ (sqrt 2.0) t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (sqrt (/ (sqrt 2.0) t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (sqrt (/ (sqrt 2.0) z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (sqrt (/ (sqrt 2.0) z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (sqrt (/ (sqrt 2.0) z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (sqrt (/ (sqrt 2.0) z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt 2.0) t) (* (cbrt (/ (sqrt 2.0) z)) (cbrt (/ (sqrt 2.0) z))))
  (* (/ (sqrt 2.0) t) (sqrt (/ (sqrt 2.0) z)))
  (* (/ (sqrt 2.0) t) (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt z) (cbrt z))))
  (* (/ (sqrt 2.0) t) (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt z)))
  (* (/ (sqrt 2.0) t) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
  (* (/ (fabs (cbrt 2.0)) (* (cbrt z) (cbrt z))) (/ (sqrt 2.0) t))
  (/ (* (fabs (cbrt 2.0)) (/ (sqrt 2.0) t)) (sqrt z))
  (* (fabs (cbrt 2.0)) (/ (sqrt 2.0) t))
  (* (/ (sqrt 2.0) t) (/ (sqrt (sqrt 2.0)) (* (cbrt z) (cbrt z))))
  (* (/ (sqrt 2.0) t) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt 2.0) t) (sqrt (sqrt 2.0)))
  (/ (/ (sqrt 2.0) t) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt 2.0) t) (sqrt z))
  (/ (sqrt 2.0) t)
  (* (/ (sqrt 2.0) t) (/ (sqrt (sqrt 2.0)) (* (cbrt z) (cbrt z))))
  (* (/ (sqrt 2.0) t) (/ (sqrt (sqrt 2.0)) (sqrt z)))
  (* (/ (sqrt 2.0) t) (sqrt (sqrt 2.0)))
  (/ (/ (sqrt 2.0) t) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt 2.0) t) (sqrt z))
  (/ (sqrt 2.0) t)
  (/ (sqrt 2.0) t)
  (/ 2.0 t)
  (* (cbrt (/ (sqrt 2.0) t)) (/ (sqrt 2.0) z))
  (* (sqrt (/ (sqrt 2.0) t)) (/ (sqrt 2.0) z))
  (* (/ (cbrt (sqrt 2.0)) (cbrt t)) (/ (sqrt 2.0) z))
  (* (/ (cbrt (sqrt 2.0)) (sqrt t)) (/ (sqrt 2.0) z))
  (* (/ (cbrt (sqrt 2.0)) t) (/ (sqrt 2.0) z))
  (* (/ (sqrt (cbrt 2.0)) (cbrt t)) (/ (sqrt 2.0) z))
  (* (/ (sqrt (cbrt 2.0)) (sqrt t)) (/ (sqrt 2.0) z))
  (* (/ (sqrt (cbrt 2.0)) t) (/ (sqrt 2.0) z))
  (* (/ (sqrt (sqrt 2.0)) (cbrt t)) (/ (sqrt 2.0) z))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt 2.0) z))
  (* (/ (sqrt (sqrt 2.0)) t) (/ (sqrt 2.0) z))
  (/ (/ 2.0 z) (cbrt t))
  (/ (/ 2.0 z) (sqrt t))
  (/ (/ 2.0 z) t)
  (* (/ (sqrt (sqrt 2.0)) (cbrt t)) (/ (sqrt 2.0) z))
  (* (/ (sqrt (sqrt 2.0)) (sqrt t)) (/ (sqrt 2.0) z))
  (* (/ (sqrt (sqrt 2.0)) t) (/ (sqrt 2.0) z))
  (/ (/ 2.0 z) (cbrt t))
  (/ (/ 2.0 z) (sqrt t))
  (/ (/ 2.0 z) t)
  (/ (/ 2.0 z) t)
  (/ (/ (sqrt 2.0) t) z)
  (/ 2.0 t)
  (/ 2.0 z)
  (exp (+ (/ 2.0 t) (/ (/ 2.0 z) t)))
  (log (+ (/ 2.0 t) (/ (/ 2.0 z) t)))
  (exp (+ (/ 2.0 t) (/ (/ 2.0 z) t)))
  (* (cbrt (+ (/ 2.0 t) (/ (/ 2.0 z) t))) (cbrt (+ (/ 2.0 t) (/ (/ 2.0 z) t))))
  (cbrt (+ (/ 2.0 t) (/ (/ 2.0 z) t)))
  (pow (+ (/ (/ 2.0 z) t) (/ 2.0 t)) 3)
  (sqrt (+ (/ 2.0 t) (/ (/ 2.0 z) t)))
  (sqrt (+ (/ 2.0 t) (/ (/ 2.0 z) t)))
  (* t (+ (* z 2.0) 2.0))
  (* (* t z) t)
  (+ (* z 2.0) (* (/ 2.0 t) t))
  (* t z)
  (* t (+ (/ 2.0 z) 2.0))
  (* t t)
  (+ (pow (/ 2.0 t) 3) (pow (/ (/ 2.0 z) t) 3))
  (+ (* (/ 2.0 t) (- (/ 2.0 t) (/ (/ 2.0 z) t))) (* (/ (/ 2.0 t) t) (/ (/ 2.0 z) z)))
  (* (+ (/ 2.0 t) (/ (/ 2.0 z) t)) (- (/ (/ 2.0 z) t) (/ 2.0 t)))
  (- (/ (/ 2.0 z) t) (/ 2.0 t))
  (/ (sqrt 2.0) z)
  (/ (sqrt 2.0) z)
  (/ (sqrt 2.0) z)
  (/ (sqrt 2.0) t)
  (/ (sqrt 2.0) t)
  (/ (sqrt 2.0) t)
  (/ (/ 2.0 z) t)
  (/ (/ 2.0 z) t)
  (/ (/ 2.0 z) t)
  (+ (/ 2.0 t) (/ (/ 2.0 z) t))
  (+ (/ 2.0 t) (/ (/ 2.0 z) t))
  (+ (/ 2.0 t) (/ (/ 2.0 z) t))
8.640 * * * [progress]: adding candidates to table
9.068 * [progress]: [Phase 3 of 3] Extracting.
9.068 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (- (+ (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (/ 2.0 t)) (- 2.0 (/ x y))))> #<alt (λ (x y z t) (- (/ (- (* (/ 2.0 z) (/ 2.0 z)) (* (* 2.0 1.0) (* 2.0 1.0))) (* t (- (/ 2.0 z) (* 2.0 1.0)))) (- 2.0 (/ x y))))> #<alt (λ (x y z t) (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))> #<alt (λ (x y z t) (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))>)
9.069 * * * [regime-changes]: Trying 5 branch expressions: ((/ x y) t z y x)
9.069 * * * * [regimes]: Trying to branch on (/ x y) from (#<alt (λ (x y z t) (- (+ (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (/ 2.0 t)) (- 2.0 (/ x y))))> #<alt (λ (x y z t) (- (/ (- (* (/ 2.0 z) (/ 2.0 z)) (* (* 2.0 1.0) (* 2.0 1.0))) (* t (- (/ 2.0 z) (* 2.0 1.0)))) (- 2.0 (/ x y))))> #<alt (λ (x y z t) (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))> #<alt (λ (x y z t) (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))>)
9.091 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (- (+ (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (/ 2.0 t)) (- 2.0 (/ x y))))> #<alt (λ (x y z t) (- (/ (- (* (/ 2.0 z) (/ 2.0 z)) (* (* 2.0 1.0) (* 2.0 1.0))) (* t (- (/ 2.0 z) (* 2.0 1.0)))) (- 2.0 (/ x y))))> #<alt (λ (x y z t) (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))> #<alt (λ (x y z t) (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))>)
9.110 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (- (+ (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (/ 2.0 t)) (- 2.0 (/ x y))))> #<alt (λ (x y z t) (- (/ (- (* (/ 2.0 z) (/ 2.0 z)) (* (* 2.0 1.0) (* 2.0 1.0))) (* t (- (/ 2.0 z) (* 2.0 1.0)))) (- 2.0 (/ x y))))> #<alt (λ (x y z t) (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))> #<alt (λ (x y z t) (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))>)
9.132 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (- (+ (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (/ 2.0 t)) (- 2.0 (/ x y))))> #<alt (λ (x y z t) (- (/ (- (* (/ 2.0 z) (/ 2.0 z)) (* (* 2.0 1.0) (* 2.0 1.0))) (* t (- (/ 2.0 z) (* 2.0 1.0)))) (- 2.0 (/ x y))))> #<alt (λ (x y z t) (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))> #<alt (λ (x y z t) (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))>)
9.151 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (- (+ (* (/ (sqrt 2.0) t) (/ (sqrt 2.0) z)) (/ 2.0 t)) (- 2.0 (/ x y))))> #<alt (λ (x y z t) (- (/ (- (* (/ 2.0 z) (/ 2.0 z)) (* (* 2.0 1.0) (* 2.0 1.0))) (* t (- (/ 2.0 z) (* 2.0 1.0)))) (- 2.0 (/ x y))))> #<alt (λ (x y z t) (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y))))> #<alt (λ (x y z t) (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) (- 2.0 (/ x y))))>)
9.173 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
9.173 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y)))
9.174 * * [simplify]: iteration  0 :  11  enodes  (cost  15 )
9.174 * * [simplify]: iteration  1 :  12  enodes  (cost  15 )
9.174 * * [simplify]: iteration  done :  12  enodes  (cost  15 )
9.174 * [simplify]: Simplified to:
   (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) (- 2.0 (/ x y)))
9.998 * [regime-testing]: Baseline error score: 0.0765826931492338
9.998 * [regime-testing]: Oracle error score: 0.02220089542451821
9.999 * [regime-testing]: End program error score: 0.0765826931492338
10.023 * [regime-testing]: Target error score: 0.07890610388816632