19.369 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
1.462 * * * [progress]: [2/2] Setting up program.
1.465 * [progress]: [Phase 2 of 3] Improving.
1.466 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (/.f64 x y) (/.f64 (+.f64 2.0 (*.f64 (*.f64 z 2.0) (-.f64 1.0 t))) (*.f64 t z)))
1.528 * * [simplify]: iteration  0 :  4924  enodes  (cost  15 )
1.529 * * [simplify]: iteration  1 :  4924  enodes  (cost  15 )
1.529 * [simplify]: Simplified to:
   (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))
1.534 * * [progress]: iteration 1 / 4
1.534 * * * [progress]: picking best candidate
1.541 * * * * [pick]: Picked  #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))>
1.541 * * * [progress]: localizing error
1.551 * * * [progress]: generating rewritten candidates
1.551 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
1.563 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1.581 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 2)
1.592 * * * [progress]: generating series expansions
1.592 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
1.592 * [approximate]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 z) 1.0) t)) in (t z) around 0
1.592 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 z) 1.0) t)) in z
1.592 * [taylor]: Taking taylor expansion of 2.0 in z
1.592 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) t) in z
1.592 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
1.592 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.592 * [taylor]: Taking taylor expansion of z in z
1.592 * [taylor]: Taking taylor expansion of 1.0 in z
1.592 * [taylor]: Taking taylor expansion of t in z
1.592 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 z) 1.0) t)) in t
1.592 * [taylor]: Taking taylor expansion of 2.0 in t
1.592 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) t) in t
1.592 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in t
1.592 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.592 * [taylor]: Taking taylor expansion of z in t
1.593 * [taylor]: Taking taylor expansion of 1.0 in t
1.593 * [taylor]: Taking taylor expansion of t in t
1.593 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 z) 1.0) t)) in t
1.593 * [taylor]: Taking taylor expansion of 2.0 in t
1.593 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) t) in t
1.593 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in t
1.593 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.593 * [taylor]: Taking taylor expansion of z in t
1.593 * [taylor]: Taking taylor expansion of 1.0 in t
1.593 * [taylor]: Taking taylor expansion of t in t
1.593 * [taylor]: Taking taylor expansion of (* 2.0 (+ (/ 1 z) 1.0)) in z
1.593 * [taylor]: Taking taylor expansion of 2.0 in z
1.593 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
1.593 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.593 * [taylor]: Taking taylor expansion of z in z
1.593 * [taylor]: Taking taylor expansion of 1.0 in z
1.593 * [taylor]: Taking taylor expansion of 0 in z
1.594 * [taylor]: Taking taylor expansion of 0 in z
1.594 * [taylor]: Taking taylor expansion of 0 in z
1.595 * [taylor]: Taking taylor expansion of 0 in z
1.595 * [approximate]: Taking taylor expansion of (* 2.0 (* t (+ z 1.0))) in (t z) around 0
1.595 * [taylor]: Taking taylor expansion of (* 2.0 (* t (+ z 1.0))) in z
1.595 * [taylor]: Taking taylor expansion of 2.0 in z
1.595 * [taylor]: Taking taylor expansion of (* t (+ z 1.0)) in z
1.595 * [taylor]: Taking taylor expansion of t in z
1.595 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
1.595 * [taylor]: Taking taylor expansion of z in z
1.595 * [taylor]: Taking taylor expansion of 1.0 in z
1.595 * [taylor]: Taking taylor expansion of (* 2.0 (* t (+ z 1.0))) in t
1.595 * [taylor]: Taking taylor expansion of 2.0 in t
1.595 * [taylor]: Taking taylor expansion of (* t (+ z 1.0)) in t
1.595 * [taylor]: Taking taylor expansion of t in t
1.595 * [taylor]: Taking taylor expansion of (+ z 1.0) in t
1.595 * [taylor]: Taking taylor expansion of z in t
1.595 * [taylor]: Taking taylor expansion of 1.0 in t
1.595 * [taylor]: Taking taylor expansion of (* 2.0 (* t (+ z 1.0))) in t
1.595 * [taylor]: Taking taylor expansion of 2.0 in t
1.595 * [taylor]: Taking taylor expansion of (* t (+ z 1.0)) in t
1.595 * [taylor]: Taking taylor expansion of t in t
1.595 * [taylor]: Taking taylor expansion of (+ z 1.0) in t
1.595 * [taylor]: Taking taylor expansion of z in t
1.595 * [taylor]: Taking taylor expansion of 1.0 in t
1.596 * [taylor]: Taking taylor expansion of 0 in z
1.596 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
1.596 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.596 * [taylor]: Taking taylor expansion of 2.0 in z
1.596 * [taylor]: Taking taylor expansion of z in z
1.596 * [taylor]: Taking taylor expansion of 2.0 in z
1.596 * [taylor]: Taking taylor expansion of 0 in z
1.596 * [taylor]: Taking taylor expansion of 0 in z
1.597 * [taylor]: Taking taylor expansion of 0 in z
1.597 * [approximate]: Taking taylor expansion of (* -2.0 (* t (- 1.0 z))) in (t z) around 0
1.597 * [taylor]: Taking taylor expansion of (* -2.0 (* t (- 1.0 z))) in z
1.597 * [taylor]: Taking taylor expansion of -2.0 in z
1.597 * [taylor]: Taking taylor expansion of (* t (- 1.0 z)) in z
1.597 * [taylor]: Taking taylor expansion of t in z
1.597 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
1.597 * [taylor]: Taking taylor expansion of 1.0 in z
1.597 * [taylor]: Taking taylor expansion of z in z
1.597 * [taylor]: Taking taylor expansion of (* -2.0 (* t (- 1.0 z))) in t
1.597 * [taylor]: Taking taylor expansion of -2.0 in t
1.597 * [taylor]: Taking taylor expansion of (* t (- 1.0 z)) in t
1.597 * [taylor]: Taking taylor expansion of t in t
1.597 * [taylor]: Taking taylor expansion of (- 1.0 z) in t
1.597 * [taylor]: Taking taylor expansion of 1.0 in t
1.597 * [taylor]: Taking taylor expansion of z in t
1.597 * [taylor]: Taking taylor expansion of (* -2.0 (* t (- 1.0 z))) in t
1.597 * [taylor]: Taking taylor expansion of -2.0 in t
1.597 * [taylor]: Taking taylor expansion of (* t (- 1.0 z)) in t
1.597 * [taylor]: Taking taylor expansion of t in t
1.597 * [taylor]: Taking taylor expansion of (- 1.0 z) in t
1.597 * [taylor]: Taking taylor expansion of 1.0 in t
1.597 * [taylor]: Taking taylor expansion of z in t
1.597 * [taylor]: Taking taylor expansion of 0 in z
1.597 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z
1.597 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.597 * [taylor]: Taking taylor expansion of 2.0 in z
1.598 * [taylor]: Taking taylor expansion of z in z
1.598 * [taylor]: Taking taylor expansion of 2.0 in z
1.598 * [taylor]: Taking taylor expansion of 0 in z
1.598 * [taylor]: Taking taylor expansion of 0 in z
1.598 * [taylor]: Taking taylor expansion of 0 in z
1.599 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1.599 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in (x y t z) around 0
1.599 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in z
1.599 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in z
1.599 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z
1.599 * [taylor]: Taking taylor expansion of 2.0 in z
1.599 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.599 * [taylor]: Taking taylor expansion of (* t z) in z
1.599 * [taylor]: Taking taylor expansion of t in z
1.599 * [taylor]: Taking taylor expansion of z in z
1.599 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in z
1.599 * [taylor]: Taking taylor expansion of (/ x y) in z
1.599 * [taylor]: Taking taylor expansion of x in z
1.599 * [taylor]: Taking taylor expansion of y in z
1.599 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z
1.599 * [taylor]: Taking taylor expansion of 2.0 in z
1.599 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.599 * [taylor]: Taking taylor expansion of t in z
1.599 * [taylor]: Taking taylor expansion of 2.0 in z
1.599 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in t
1.599 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in t
1.599 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
1.599 * [taylor]: Taking taylor expansion of 2.0 in t
1.599 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.599 * [taylor]: Taking taylor expansion of (* t z) in t
1.599 * [taylor]: Taking taylor expansion of t in t
1.599 * [taylor]: Taking taylor expansion of z in t
1.599 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in t
1.599 * [taylor]: Taking taylor expansion of (/ x y) in t
1.599 * [taylor]: Taking taylor expansion of x in t
1.599 * [taylor]: Taking taylor expansion of y in t
1.600 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
1.600 * [taylor]: Taking taylor expansion of 2.0 in t
1.600 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.600 * [taylor]: Taking taylor expansion of t in t
1.600 * [taylor]: Taking taylor expansion of 2.0 in t
1.600 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in y
1.600 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in y
1.600 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in y
1.600 * [taylor]: Taking taylor expansion of 2.0 in y
1.600 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.600 * [taylor]: Taking taylor expansion of (* t z) in y
1.600 * [taylor]: Taking taylor expansion of t in y
1.600 * [taylor]: Taking taylor expansion of z in y
1.600 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in y
1.600 * [taylor]: Taking taylor expansion of (/ x y) in y
1.600 * [taylor]: Taking taylor expansion of x in y
1.600 * [taylor]: Taking taylor expansion of y in y
1.600 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in y
1.600 * [taylor]: Taking taylor expansion of 2.0 in y
1.600 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.600 * [taylor]: Taking taylor expansion of t in y
1.600 * [taylor]: Taking taylor expansion of 2.0 in y
1.600 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in x
1.600 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in x
1.600 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in x
1.600 * [taylor]: Taking taylor expansion of 2.0 in x
1.600 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.600 * [taylor]: Taking taylor expansion of (* t z) in x
1.600 * [taylor]: Taking taylor expansion of t in x
1.600 * [taylor]: Taking taylor expansion of z in x
1.600 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in x
1.600 * [taylor]: Taking taylor expansion of (/ x y) in x
1.600 * [taylor]: Taking taylor expansion of x in x
1.600 * [taylor]: Taking taylor expansion of y in x
1.600 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in x
1.600 * [taylor]: Taking taylor expansion of 2.0 in x
1.600 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.600 * [taylor]: Taking taylor expansion of t in x
1.600 * [taylor]: Taking taylor expansion of 2.0 in x
1.600 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in x
1.600 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in x
1.600 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in x
1.600 * [taylor]: Taking taylor expansion of 2.0 in x
1.601 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.601 * [taylor]: Taking taylor expansion of (* t z) in x
1.601 * [taylor]: Taking taylor expansion of t in x
1.601 * [taylor]: Taking taylor expansion of z in x
1.601 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in x
1.601 * [taylor]: Taking taylor expansion of (/ x y) in x
1.601 * [taylor]: Taking taylor expansion of x in x
1.601 * [taylor]: Taking taylor expansion of y in x
1.601 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in x
1.601 * [taylor]: Taking taylor expansion of 2.0 in x
1.601 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.601 * [taylor]: Taking taylor expansion of t in x
1.601 * [taylor]: Taking taylor expansion of 2.0 in x
1.601 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in y
1.601 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in y
1.601 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in y
1.601 * [taylor]: Taking taylor expansion of 2.0 in y
1.601 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.601 * [taylor]: Taking taylor expansion of (* t z) in y
1.601 * [taylor]: Taking taylor expansion of t in y
1.601 * [taylor]: Taking taylor expansion of z in y
1.601 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in y
1.601 * [taylor]: Taking taylor expansion of 2.0 in y
1.601 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.601 * [taylor]: Taking taylor expansion of t in y
1.601 * [taylor]: Taking taylor expansion of 2.0 in y
1.602 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.602 * [taylor]: Taking taylor expansion of y in y
1.602 * [taylor]: Taking taylor expansion of 1 in t
1.602 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in t
1.602 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t
1.602 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
1.602 * [taylor]: Taking taylor expansion of 2.0 in t
1.602 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.602 * [taylor]: Taking taylor expansion of (* t z) in t
1.602 * [taylor]: Taking taylor expansion of t in t
1.602 * [taylor]: Taking taylor expansion of z in t
1.602 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
1.602 * [taylor]: Taking taylor expansion of 2.0 in t
1.602 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.602 * [taylor]: Taking taylor expansion of t in t
1.602 * [taylor]: Taking taylor expansion of 2.0 in t
1.603 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z
1.603 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
1.603 * [taylor]: Taking taylor expansion of 2.0 in z
1.603 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.603 * [taylor]: Taking taylor expansion of z in z
1.603 * [taylor]: Taking taylor expansion of 2.0 in z
1.603 * [taylor]: Taking taylor expansion of 0 in y
1.603 * [taylor]: Taking taylor expansion of 0 in t
1.604 * [taylor]: Taking taylor expansion of 0 in t
1.604 * [taylor]: Taking taylor expansion of 1 in z
1.604 * [taylor]: Taking taylor expansion of (neg 2.0) in z
1.604 * [taylor]: Taking taylor expansion of 2.0 in z
1.605 * [taylor]: Taking taylor expansion of 0 in y
1.605 * [taylor]: Taking taylor expansion of 0 in t
1.605 * [taylor]: Taking taylor expansion of 0 in t
1.605 * [taylor]: Taking taylor expansion of 0 in t
1.605 * [taylor]: Taking taylor expansion of 0 in z
1.605 * [taylor]: Taking taylor expansion of 0 in z
1.605 * [taylor]: Taking taylor expansion of 0 in z
1.606 * [taylor]: Taking taylor expansion of 0 in z
1.606 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in (x y t z) around 0
1.606 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in z
1.606 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in z
1.606 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.606 * [taylor]: Taking taylor expansion of 2.0 in z
1.606 * [taylor]: Taking taylor expansion of (* t z) in z
1.606 * [taylor]: Taking taylor expansion of t in z
1.606 * [taylor]: Taking taylor expansion of z in z
1.606 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in z
1.606 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
1.606 * [taylor]: Taking taylor expansion of 2.0 in z
1.606 * [taylor]: Taking taylor expansion of t in z
1.607 * [taylor]: Taking taylor expansion of (/ y x) in z
1.607 * [taylor]: Taking taylor expansion of y in z
1.607 * [taylor]: Taking taylor expansion of x in z
1.607 * [taylor]: Taking taylor expansion of 2.0 in z
1.607 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in t
1.607 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in t
1.607 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.607 * [taylor]: Taking taylor expansion of 2.0 in t
1.607 * [taylor]: Taking taylor expansion of (* t z) in t
1.607 * [taylor]: Taking taylor expansion of t in t
1.607 * [taylor]: Taking taylor expansion of z in t
1.607 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in t
1.607 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.607 * [taylor]: Taking taylor expansion of 2.0 in t
1.607 * [taylor]: Taking taylor expansion of t in t
1.607 * [taylor]: Taking taylor expansion of (/ y x) in t
1.607 * [taylor]: Taking taylor expansion of y in t
1.607 * [taylor]: Taking taylor expansion of x in t
1.607 * [taylor]: Taking taylor expansion of 2.0 in t
1.607 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in y
1.607 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in y
1.607 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
1.607 * [taylor]: Taking taylor expansion of 2.0 in y
1.607 * [taylor]: Taking taylor expansion of (* t z) in y
1.607 * [taylor]: Taking taylor expansion of t in y
1.607 * [taylor]: Taking taylor expansion of z in y
1.607 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in y
1.607 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
1.607 * [taylor]: Taking taylor expansion of 2.0 in y
1.607 * [taylor]: Taking taylor expansion of t in y
1.607 * [taylor]: Taking taylor expansion of (/ y x) in y
1.607 * [taylor]: Taking taylor expansion of y in y
1.607 * [taylor]: Taking taylor expansion of x in y
1.607 * [taylor]: Taking taylor expansion of 2.0 in y
1.607 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in x
1.607 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in x
1.607 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
1.607 * [taylor]: Taking taylor expansion of 2.0 in x
1.607 * [taylor]: Taking taylor expansion of (* t z) in x
1.607 * [taylor]: Taking taylor expansion of t in x
1.607 * [taylor]: Taking taylor expansion of z in x
1.607 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in x
1.607 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
1.607 * [taylor]: Taking taylor expansion of 2.0 in x
1.607 * [taylor]: Taking taylor expansion of t in x
1.607 * [taylor]: Taking taylor expansion of (/ y x) in x
1.607 * [taylor]: Taking taylor expansion of y in x
1.607 * [taylor]: Taking taylor expansion of x in x
1.607 * [taylor]: Taking taylor expansion of 2.0 in x
1.607 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in x
1.607 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in x
1.607 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
1.607 * [taylor]: Taking taylor expansion of 2.0 in x
1.607 * [taylor]: Taking taylor expansion of (* t z) in x
1.608 * [taylor]: Taking taylor expansion of t in x
1.608 * [taylor]: Taking taylor expansion of z in x
1.608 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in x
1.608 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
1.608 * [taylor]: Taking taylor expansion of 2.0 in x
1.608 * [taylor]: Taking taylor expansion of t in x
1.608 * [taylor]: Taking taylor expansion of (/ y x) in x
1.608 * [taylor]: Taking taylor expansion of y in x
1.608 * [taylor]: Taking taylor expansion of x in x
1.608 * [taylor]: Taking taylor expansion of 2.0 in x
1.608 * [taylor]: Taking taylor expansion of y in y
1.608 * [taylor]: Taking taylor expansion of 0 in t
1.608 * [taylor]: Taking taylor expansion of 0 in z
1.608 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in y
1.608 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in y
1.608 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
1.608 * [taylor]: Taking taylor expansion of 2.0 in y
1.608 * [taylor]: Taking taylor expansion of (* t z) in y
1.608 * [taylor]: Taking taylor expansion of t in y
1.608 * [taylor]: Taking taylor expansion of z in y
1.608 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
1.608 * [taylor]: Taking taylor expansion of 2.0 in y
1.608 * [taylor]: Taking taylor expansion of t in y
1.608 * [taylor]: Taking taylor expansion of 2.0 in y
1.609 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in t
1.609 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t
1.609 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.609 * [taylor]: Taking taylor expansion of 2.0 in t
1.609 * [taylor]: Taking taylor expansion of (* t z) in t
1.609 * [taylor]: Taking taylor expansion of t in t
1.609 * [taylor]: Taking taylor expansion of z in t
1.609 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.609 * [taylor]: Taking taylor expansion of 2.0 in t
1.609 * [taylor]: Taking taylor expansion of t in t
1.609 * [taylor]: Taking taylor expansion of 2.0 in t
1.609 * [taylor]: Taking taylor expansion of (neg 2.0) in z
1.609 * [taylor]: Taking taylor expansion of 2.0 in z
1.609 * [taylor]: Taking taylor expansion of 1 in t
1.609 * [taylor]: Taking taylor expansion of 1 in z
1.609 * [taylor]: Taking taylor expansion of 0 in z
1.609 * [taylor]: Taking taylor expansion of 0 in y
1.609 * [taylor]: Taking taylor expansion of 0 in t
1.609 * [taylor]: Taking taylor expansion of 0 in z
1.609 * [taylor]: Taking taylor expansion of 0 in t
1.609 * [taylor]: Taking taylor expansion of 0 in z
1.610 * [taylor]: Taking taylor expansion of 0 in t
1.610 * [taylor]: Taking taylor expansion of 0 in z
1.610 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
1.610 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.610 * [taylor]: Taking taylor expansion of 2.0 in z
1.610 * [taylor]: Taking taylor expansion of z in z
1.610 * [taylor]: Taking taylor expansion of 2.0 in z
1.610 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in (x y t z) around 0
1.610 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in z
1.610 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in z
1.610 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.610 * [taylor]: Taking taylor expansion of 2.0 in z
1.610 * [taylor]: Taking taylor expansion of (* t z) in z
1.610 * [taylor]: Taking taylor expansion of t in z
1.611 * [taylor]: Taking taylor expansion of z in z
1.611 * [taylor]: Taking taylor expansion of (/ y x) in z
1.611 * [taylor]: Taking taylor expansion of y in z
1.611 * [taylor]: Taking taylor expansion of x in z
1.611 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in z
1.611 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
1.611 * [taylor]: Taking taylor expansion of 2.0 in z
1.611 * [taylor]: Taking taylor expansion of t in z
1.611 * [taylor]: Taking taylor expansion of 2.0 in z
1.611 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in t
1.611 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in t
1.611 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.611 * [taylor]: Taking taylor expansion of 2.0 in t
1.611 * [taylor]: Taking taylor expansion of (* t z) in t
1.611 * [taylor]: Taking taylor expansion of t in t
1.611 * [taylor]: Taking taylor expansion of z in t
1.611 * [taylor]: Taking taylor expansion of (/ y x) in t
1.611 * [taylor]: Taking taylor expansion of y in t
1.611 * [taylor]: Taking taylor expansion of x in t
1.611 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
1.611 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.611 * [taylor]: Taking taylor expansion of 2.0 in t
1.611 * [taylor]: Taking taylor expansion of t in t
1.611 * [taylor]: Taking taylor expansion of 2.0 in t
1.611 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in y
1.611 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in y
1.611 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
1.611 * [taylor]: Taking taylor expansion of 2.0 in y
1.611 * [taylor]: Taking taylor expansion of (* t z) in y
1.611 * [taylor]: Taking taylor expansion of t in y
1.611 * [taylor]: Taking taylor expansion of z in y
1.611 * [taylor]: Taking taylor expansion of (/ y x) in y
1.611 * [taylor]: Taking taylor expansion of y in y
1.611 * [taylor]: Taking taylor expansion of x in y
1.611 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in y
1.611 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
1.611 * [taylor]: Taking taylor expansion of 2.0 in y
1.611 * [taylor]: Taking taylor expansion of t in y
1.611 * [taylor]: Taking taylor expansion of 2.0 in y
1.611 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in x
1.611 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in x
1.611 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
1.611 * [taylor]: Taking taylor expansion of 2.0 in x
1.611 * [taylor]: Taking taylor expansion of (* t z) in x
1.611 * [taylor]: Taking taylor expansion of t in x
1.611 * [taylor]: Taking taylor expansion of z in x
1.611 * [taylor]: Taking taylor expansion of (/ y x) in x
1.611 * [taylor]: Taking taylor expansion of y in x
1.611 * [taylor]: Taking taylor expansion of x in x
1.611 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in x
1.611 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
1.611 * [taylor]: Taking taylor expansion of 2.0 in x
1.611 * [taylor]: Taking taylor expansion of t in x
1.612 * [taylor]: Taking taylor expansion of 2.0 in x
1.612 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in x
1.612 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in x
1.612 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
1.612 * [taylor]: Taking taylor expansion of 2.0 in x
1.612 * [taylor]: Taking taylor expansion of (* t z) in x
1.612 * [taylor]: Taking taylor expansion of t in x
1.612 * [taylor]: Taking taylor expansion of z in x
1.612 * [taylor]: Taking taylor expansion of (/ y x) in x
1.612 * [taylor]: Taking taylor expansion of y in x
1.612 * [taylor]: Taking taylor expansion of x in x
1.612 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in x
1.612 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
1.612 * [taylor]: Taking taylor expansion of 2.0 in x
1.612 * [taylor]: Taking taylor expansion of t in x
1.612 * [taylor]: Taking taylor expansion of 2.0 in x
1.612 * [taylor]: Taking taylor expansion of y in y
1.612 * [taylor]: Taking taylor expansion of 0 in t
1.612 * [taylor]: Taking taylor expansion of 0 in z
1.612 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in y
1.612 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
1.612 * [taylor]: Taking taylor expansion of 2.0 in y
1.612 * [taylor]: Taking taylor expansion of (* t z) in y
1.612 * [taylor]: Taking taylor expansion of t in y
1.612 * [taylor]: Taking taylor expansion of z in y
1.612 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in y
1.612 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
1.612 * [taylor]: Taking taylor expansion of 2.0 in y
1.612 * [taylor]: Taking taylor expansion of t in y
1.612 * [taylor]: Taking taylor expansion of 2.0 in y
1.613 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in t
1.613 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.613 * [taylor]: Taking taylor expansion of 2.0 in t
1.613 * [taylor]: Taking taylor expansion of (* t z) in t
1.613 * [taylor]: Taking taylor expansion of t in t
1.613 * [taylor]: Taking taylor expansion of z in t
1.613 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
1.613 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.613 * [taylor]: Taking taylor expansion of 2.0 in t
1.613 * [taylor]: Taking taylor expansion of t in t
1.613 * [taylor]: Taking taylor expansion of 2.0 in t
1.613 * [taylor]: Taking taylor expansion of (neg 2.0) in z
1.613 * [taylor]: Taking taylor expansion of 2.0 in z
1.613 * [taylor]: Taking taylor expansion of 1 in t
1.613 * [taylor]: Taking taylor expansion of 1 in z
1.613 * [taylor]: Taking taylor expansion of 0 in z
1.613 * [taylor]: Taking taylor expansion of 0 in y
1.613 * [taylor]: Taking taylor expansion of 0 in t
1.613 * [taylor]: Taking taylor expansion of 0 in z
1.614 * [taylor]: Taking taylor expansion of 0 in t
1.614 * [taylor]: Taking taylor expansion of 0 in z
1.614 * [taylor]: Taking taylor expansion of 0 in t
1.614 * [taylor]: Taking taylor expansion of 0 in z
1.614 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z
1.614 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.614 * [taylor]: Taking taylor expansion of 2.0 in z
1.614 * [taylor]: Taking taylor expansion of z in z
1.614 * [taylor]: Taking taylor expansion of 2.0 in z
1.614 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 2)
1.614 * [approximate]: Taking taylor expansion of (+ (/ 1 z) 1.0) in (z) around 0
1.614 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
1.614 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.614 * [taylor]: Taking taylor expansion of z in z
1.614 * [taylor]: Taking taylor expansion of 1.0 in z
1.614 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
1.614 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.614 * [taylor]: Taking taylor expansion of z in z
1.614 * [taylor]: Taking taylor expansion of 1.0 in z
1.615 * [approximate]: Taking taylor expansion of (+ z 1.0) in (z) around 0
1.615 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
1.615 * [taylor]: Taking taylor expansion of z in z
1.615 * [taylor]: Taking taylor expansion of 1.0 in z
1.615 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
1.615 * [taylor]: Taking taylor expansion of z in z
1.615 * [taylor]: Taking taylor expansion of 1.0 in z
1.616 * [approximate]: Taking taylor expansion of (- 1.0 z) in (z) around 0
1.616 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
1.616 * [taylor]: Taking taylor expansion of 1.0 in z
1.616 * [taylor]: Taking taylor expansion of z in z
1.616 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
1.616 * [taylor]: Taking taylor expansion of 1.0 in z
1.616 * [taylor]: Taking taylor expansion of z in z
1.616 * * * [progress]: simplifying candidates
1.617 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))
  (+.f64 (-.f64 (log.f64 2.0) (log.f64 t)) (log.f64 (+.f64 (/.f64 1 z) 1.0)))
  (+.f64 (log.f64 (/.f64 2.0 t)) (log.f64 (+.f64 (/.f64 1 z) 1.0)))
  (log.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))
  (exp.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))
  (*.f64 (/.f64 (*.f64 (*.f64 2.0 2.0) 2.0) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 (+.f64 (/.f64 1 z) 1.0) (+.f64 (/.f64 1 z) 1.0)) (+.f64 (/.f64 1 z) 1.0)))
  (*.f64 (*.f64 (*.f64 (/.f64 2.0 t) (/.f64 2.0 t)) (/.f64 2.0 t)) (*.f64 (*.f64 (+.f64 (/.f64 1 z) 1.0) (+.f64 (/.f64 1 z) 1.0)) (+.f64 (/.f64 1 z) 1.0)))
  (*.f64 (cbrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (cbrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))))
  (cbrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))
  (*.f64 (*.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))
  (sqrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))
  (sqrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))
  (*.f64 2.0 (+.f64 (pow.f64 (/.f64 1 z) 3) (pow.f64 1.0 3)))
  (*.f64 t (+.f64 (*.f64 (/.f64 1 z) (/.f64 1 z)) (-.f64 (*.f64 1.0 1.0) (*.f64 (/.f64 1 z) 1.0))))
  (*.f64 2.0 (-.f64 (*.f64 (/.f64 1 z) (/.f64 1 z)) (*.f64 1.0 1.0)))
  (*.f64 t (-.f64 (/.f64 1 z) 1.0))
  (*.f64 (sqrt.f64 (/.f64 2.0 t)) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)))
  (*.f64 (sqrt.f64 (/.f64 2.0 t)) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)))
  (*.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)))
  (*.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)))
  (*.f64 (/.f64 2.0 t) (/.f64 1 z))
  (*.f64 (/.f64 2.0 t) 1.0)
  (*.f64 (/.f64 1 z) (/.f64 2.0 t))
  (*.f64 1.0 (/.f64 2.0 t))
  (*.f64 (/.f64 2.0 t) (*.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) (cbrt.f64 (+.f64 (/.f64 1 z) 1.0))))
  (*.f64 (/.f64 2.0 t) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)))
  (*.f64 (/.f64 2.0 t) 1)
  (*.f64 (/.f64 2.0 t) 1)
  (*.f64 (/.f64 2.0 t) 1)
  (*.f64 (cbrt.f64 (/.f64 2.0 t)) (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (sqrt.f64 (/.f64 2.0 t)) (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (/.f64 (cbrt.f64 2.0) (cbrt.f64 t)) (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (/.f64 (cbrt.f64 2.0) (sqrt.f64 t)) (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (/.f64 (cbrt.f64 2.0) t) (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (/.f64 (sqrt.f64 2.0) (cbrt.f64 t)) (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (/.f64 (sqrt.f64 2.0) t) (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (/.f64 2.0 (cbrt.f64 t)) (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (/.f64 2.0 (sqrt.f64 t)) (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (/.f64 1 t) (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (/.f64 2.0 t) (+.f64 (pow.f64 (/.f64 1 z) 3) (pow.f64 1.0 3)))
  (*.f64 (/.f64 2.0 t) (-.f64 (*.f64 (/.f64 1 z) (/.f64 1 z)) (*.f64 1.0 1.0)))
  (*.f64 2.0 (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (exp.f64 (/.f64 x y)) (/.f64 (exp.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (exp.f64 2.0)))
  (*.f64 (exp.f64 (/.f64 x y)) (exp.f64 (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))
  (log.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))
  (exp.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))))
  (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))
  (*.f64 (*.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)) (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))
  (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))
  (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))
  (+.f64 (*.f64 x (+.f64 (*.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (+.f64 (*.f64 2.0 2.0) (*.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))) (*.f64 y (-.f64 (pow.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 3) (pow.f64 2.0 3))))
  (*.f64 y (+.f64 (*.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (+.f64 (*.f64 2.0 2.0) (*.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))))
  (+.f64 (*.f64 x (+.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)) (*.f64 y (-.f64 (*.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (*.f64 2.0 2.0))))
  (*.f64 y (+.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))
  (+.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0) 3))
  (+.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (-.f64 (*.f64 (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)) (*.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))))
  (-.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))
  (-.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))
  (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))
  (+.f64 (/.f64 x y) (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))
  (+.f64 (/.f64 x y) (*.f64 (/.f64 2.0 t) (/.f64 1 z)))
  (+.f64 (/.f64 x y) (*.f64 (/.f64 1 z) (/.f64 2.0 t)))
  (+.f64 (/.f64 x y) (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))
  (*.f64 (exp.f64 (/.f64 1 z)) (exp.f64 1.0))
  (log.f64 (+.f64 (/.f64 1 z) 1.0))
  (exp.f64 (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)))
  (cbrt.f64 (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (*.f64 (+.f64 (/.f64 1 z) 1.0) (+.f64 (/.f64 1 z) 1.0)) (+.f64 (/.f64 1 z) 1.0))
  (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))
  (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))
  (+.f64 (pow.f64 (/.f64 1 z) 3) (pow.f64 1.0 3))
  (+.f64 (*.f64 (/.f64 1 z) (/.f64 1 z)) (-.f64 (*.f64 1.0 1.0) (*.f64 (/.f64 1 z) 1.0)))
  (-.f64 (*.f64 (/.f64 1 z) (/.f64 1 z)) (*.f64 1.0 1.0))
  (-.f64 (/.f64 1 z) 1.0)
  (+.f64 (/.f64 1 z) 1.0)
  (+.f64 (/.f64 1 z) 1.0)
  (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (*.f64 2.0 (/.f64 1 t)))
  (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (*.f64 2.0 (/.f64 1 t)))
  (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (*.f64 2.0 (/.f64 1 t)))
  (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (+.f64 (/.f64 x y) (*.f64 2.0 (/.f64 1 t))))
  (-.f64 (+.f64 (/.f64 x y) (*.f64 2.0 (/.f64 1 t))) 2.0)
  (-.f64 (+.f64 (/.f64 x y) (*.f64 2.0 (/.f64 1 t))) 2.0)
  (+.f64 (/.f64 1 z) 1.0)
  (+.f64 (/.f64 1 z) 1.0)
  (+.f64 (/.f64 1 z) 1.0)
1.638 * * [simplify]: iteration  0 :  5417  enodes  (cost  1049 )
1.643 * [simplify]: Simplified to:
   (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))
  (log.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))
  (log.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))
  (log.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))
  (exp.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))
  (pow.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 3)
  (pow.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 3)
  (*.f64 (cbrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (cbrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))))
  (cbrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))
  (pow.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 3)
  (sqrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))
  (sqrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))
  (*.f64 2.0 (+.f64 (pow.f64 (/.f64 1 z) 3) (pow.f64 1.0 3)))
  (*.f64 t (+.f64 (/.f64 (/.f64 1 z) z) (-.f64 (*.f64 1.0 1.0) (/.f64 1.0 z))))
  (*.f64 2.0 (-.f64 (/.f64 (/.f64 1 z) z) (*.f64 1.0 1.0)))
  (*.f64 t (-.f64 (/.f64 1 z) 1.0))
  (*.f64 (sqrt.f64 (/.f64 2.0 t)) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)))
  (*.f64 (sqrt.f64 (/.f64 2.0 t)) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)))
  (*.f64 (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)) (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)))
  (*.f64 (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)) (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)))
  (/.f64 (/.f64 2.0 t) z)
  (*.f64 (/.f64 2.0 t) 1.0)
  (/.f64 (/.f64 2.0 t) z)
  (*.f64 (/.f64 2.0 t) 1.0)
  (*.f64 (/.f64 2.0 t) (*.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) (cbrt.f64 (+.f64 (/.f64 1 z) 1.0))))
  (*.f64 (/.f64 2.0 t) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)))
  (/.f64 2.0 t)
  (/.f64 2.0 t)
  (/.f64 2.0 t)
  (*.f64 (+.f64 (/.f64 1 z) 1.0) (cbrt.f64 (/.f64 2.0 t)))
  (*.f64 (+.f64 (/.f64 1 z) 1.0) (sqrt.f64 (/.f64 2.0 t)))
  (*.f64 (+.f64 (/.f64 1 z) 1.0) (/.f64 (cbrt.f64 2.0) (cbrt.f64 t)))
  (*.f64 (+.f64 (/.f64 1 z) 1.0) (/.f64 (cbrt.f64 2.0) (sqrt.f64 t)))
  (*.f64 (+.f64 (/.f64 1 z) 1.0) (/.f64 (cbrt.f64 2.0) t))
  (*.f64 (+.f64 (/.f64 1 z) 1.0) (/.f64 (sqrt.f64 2.0) (cbrt.f64 t)))
  (*.f64 (+.f64 (/.f64 1 z) 1.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)))
  (*.f64 (+.f64 (/.f64 1 z) 1.0) (/.f64 (sqrt.f64 2.0) t))
  (*.f64 (+.f64 (/.f64 1 z) 1.0) (/.f64 2.0 (cbrt.f64 t)))
  (*.f64 (+.f64 (/.f64 1 z) 1.0) (/.f64 2.0 (sqrt.f64 t)))
  (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))
  (/.f64 (+.f64 (/.f64 1 z) 1.0) t)
  (*.f64 (/.f64 2.0 t) (+.f64 (pow.f64 (/.f64 1 z) 3) (pow.f64 1.0 3)))
  (*.f64 (/.f64 2.0 t) (-.f64 (/.f64 (/.f64 1 z) z) (*.f64 1.0 1.0)))
  (*.f64 2.0 (+.f64 (/.f64 1 z) 1.0))
  (exp.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))
  (exp.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))
  (log.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))
  (exp.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))))
  (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))
  (pow.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)) 3)
  (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))
  (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))
  (+.f64 (*.f64 x (+.f64 (*.f64 2.0 2.0) (*.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (+.f64 2.0 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))))) (*.f64 y (-.f64 (pow.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 3) (pow.f64 2.0 3))))
  (*.f64 y (+.f64 (*.f64 2.0 2.0) (*.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (+.f64 2.0 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))))))
  (*.f64 (+.f64 2.0 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (+.f64 x (*.f64 (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0) y)))
  (*.f64 y (+.f64 2.0 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))))
  (+.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0) 3))
  (+.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0) (-.f64 (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0) (/.f64 x y))))
  (-.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))
  (-.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))
  (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))
  (+.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (/.f64 x y))
  (+.f64 (/.f64 (/.f64 2.0 t) z) (/.f64 x y))
  (+.f64 (/.f64 (/.f64 2.0 t) z) (/.f64 x y))
  (+.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (/.f64 x y))
  (exp.f64 (+.f64 (/.f64 1 z) 1.0))
  (log.f64 (+.f64 (/.f64 1 z) 1.0))
  (exp.f64 (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)))
  (cbrt.f64 (+.f64 (/.f64 1 z) 1.0))
  (pow.f64 (+.f64 (/.f64 1 z) 1.0) 3)
  (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))
  (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))
  (+.f64 (pow.f64 (/.f64 1 z) 3) (pow.f64 1.0 3))
  (+.f64 (/.f64 (/.f64 1 z) z) (-.f64 (*.f64 1.0 1.0) (/.f64 1.0 z)))
  (-.f64 (/.f64 (/.f64 1 z) z) (*.f64 1.0 1.0))
  (-.f64 (/.f64 1 z) 1.0)
  (+.f64 (/.f64 1 z) 1.0)
  (+.f64 (/.f64 1 z) 1.0)
  (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))
  (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))
  (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))
  (+.f64 (/.f64 2.0 t) (+.f64 (/.f64 (/.f64 2.0 t) z) (/.f64 x y)))
  (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 x y)) 2.0)
  (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 x y)) 2.0)
  (+.f64 (/.f64 1 z) 1.0)
  (+.f64 (/.f64 1 z) 1.0)
  (+.f64 (/.f64 1 z) 1.0)
1.643 * * * [progress]: adding candidates to table
1.731 * * [progress]: iteration 2 / 4
1.731 * * * [progress]: picking best candidate
1.743 * * * * [pick]: Picked  #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))>
1.743 * * * [progress]: localizing error
1.752 * * * [progress]: generating rewritten candidates
1.752 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 2)
1.758 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
1.786 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1.825 * * * [progress]: generating series expansions
1.825 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 2)
1.825 * [approximate]: Taking taylor expansion of (/ 2.0 (* t z)) in (t z) around 0
1.825 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in z
1.825 * [taylor]: Taking taylor expansion of 2.0 in z
1.825 * [taylor]: Taking taylor expansion of (* t z) in z
1.825 * [taylor]: Taking taylor expansion of t in z
1.825 * [taylor]: Taking taylor expansion of z in z
1.825 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in t
1.825 * [taylor]: Taking taylor expansion of 2.0 in t
1.825 * [taylor]: Taking taylor expansion of (* t z) in t
1.825 * [taylor]: Taking taylor expansion of t in t
1.825 * [taylor]: Taking taylor expansion of z in t
1.825 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in t
1.826 * [taylor]: Taking taylor expansion of 2.0 in t
1.826 * [taylor]: Taking taylor expansion of (* t z) in t
1.826 * [taylor]: Taking taylor expansion of t in t
1.828 * [taylor]: Taking taylor expansion of z in t
1.828 * [taylor]: Taking taylor expansion of (/ 2.0 z) in z
1.828 * [taylor]: Taking taylor expansion of 2.0 in z
1.828 * [taylor]: Taking taylor expansion of z in z
1.828 * [taylor]: Taking taylor expansion of 0 in z
1.828 * [taylor]: Taking taylor expansion of 0 in z
1.829 * [taylor]: Taking taylor expansion of 0 in z
1.829 * [approximate]: Taking taylor expansion of (* 2.0 (* t z)) in (t z) around 0
1.829 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.829 * [taylor]: Taking taylor expansion of 2.0 in z
1.829 * [taylor]: Taking taylor expansion of (* t z) in z
1.829 * [taylor]: Taking taylor expansion of t in z
1.829 * [taylor]: Taking taylor expansion of z in z
1.829 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.829 * [taylor]: Taking taylor expansion of 2.0 in t
1.829 * [taylor]: Taking taylor expansion of (* t z) in t
1.829 * [taylor]: Taking taylor expansion of t in t
1.829 * [taylor]: Taking taylor expansion of z in t
1.829 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.829 * [taylor]: Taking taylor expansion of 2.0 in t
1.829 * [taylor]: Taking taylor expansion of (* t z) in t
1.829 * [taylor]: Taking taylor expansion of t in t
1.829 * [taylor]: Taking taylor expansion of z in t
1.829 * [taylor]: Taking taylor expansion of 0 in z
1.829 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.829 * [taylor]: Taking taylor expansion of 2.0 in z
1.829 * [taylor]: Taking taylor expansion of z in z
1.829 * [taylor]: Taking taylor expansion of 0 in z
1.830 * [taylor]: Taking taylor expansion of 0 in z
1.830 * [taylor]: Taking taylor expansion of 0 in z
1.830 * [approximate]: Taking taylor expansion of (* 2.0 (* t z)) in (t z) around 0
1.830 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.830 * [taylor]: Taking taylor expansion of 2.0 in z
1.830 * [taylor]: Taking taylor expansion of (* t z) in z
1.830 * [taylor]: Taking taylor expansion of t in z
1.830 * [taylor]: Taking taylor expansion of z in z
1.830 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.830 * [taylor]: Taking taylor expansion of 2.0 in t
1.830 * [taylor]: Taking taylor expansion of (* t z) in t
1.830 * [taylor]: Taking taylor expansion of t in t
1.830 * [taylor]: Taking taylor expansion of z in t
1.830 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.830 * [taylor]: Taking taylor expansion of 2.0 in t
1.830 * [taylor]: Taking taylor expansion of (* t z) in t
1.830 * [taylor]: Taking taylor expansion of t in t
1.830 * [taylor]: Taking taylor expansion of z in t
1.830 * [taylor]: Taking taylor expansion of 0 in z
1.831 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.831 * [taylor]: Taking taylor expansion of 2.0 in z
1.831 * [taylor]: Taking taylor expansion of z in z
1.831 * [taylor]: Taking taylor expansion of 0 in z
1.831 * [taylor]: Taking taylor expansion of 0 in z
1.831 * [taylor]: Taking taylor expansion of 0 in z
1.831 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
1.832 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in (t z) around 0
1.832 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in z
1.832 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z
1.832 * [taylor]: Taking taylor expansion of 2.0 in z
1.832 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.832 * [taylor]: Taking taylor expansion of (* t z) in z
1.832 * [taylor]: Taking taylor expansion of t in z
1.832 * [taylor]: Taking taylor expansion of z in z
1.832 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z
1.832 * [taylor]: Taking taylor expansion of 2.0 in z
1.832 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.832 * [taylor]: Taking taylor expansion of t in z
1.832 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t
1.832 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
1.832 * [taylor]: Taking taylor expansion of 2.0 in t
1.832 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.832 * [taylor]: Taking taylor expansion of (* t z) in t
1.832 * [taylor]: Taking taylor expansion of t in t
1.832 * [taylor]: Taking taylor expansion of z in t
1.832 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
1.832 * [taylor]: Taking taylor expansion of 2.0 in t
1.832 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.832 * [taylor]: Taking taylor expansion of t in t
1.832 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t
1.832 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
1.832 * [taylor]: Taking taylor expansion of 2.0 in t
1.832 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.832 * [taylor]: Taking taylor expansion of (* t z) in t
1.832 * [taylor]: Taking taylor expansion of t in t
1.832 * [taylor]: Taking taylor expansion of z in t
1.832 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
1.832 * [taylor]: Taking taylor expansion of 2.0 in t
1.832 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.832 * [taylor]: Taking taylor expansion of t in t
1.833 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z
1.833 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
1.833 * [taylor]: Taking taylor expansion of 2.0 in z
1.833 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.833 * [taylor]: Taking taylor expansion of z in z
1.833 * [taylor]: Taking taylor expansion of 2.0 in z
1.833 * [taylor]: Taking taylor expansion of 0 in z
1.833 * [taylor]: Taking taylor expansion of 0 in z
1.834 * [taylor]: Taking taylor expansion of 0 in z
1.834 * [taylor]: Taking taylor expansion of 0 in z
1.835 * [approximate]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in (t z) around 0
1.835 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in z
1.835 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.835 * [taylor]: Taking taylor expansion of 2.0 in z
1.835 * [taylor]: Taking taylor expansion of (* t z) in z
1.835 * [taylor]: Taking taylor expansion of t in z
1.835 * [taylor]: Taking taylor expansion of z in z
1.835 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
1.835 * [taylor]: Taking taylor expansion of 2.0 in z
1.835 * [taylor]: Taking taylor expansion of t in z
1.835 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t
1.835 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.835 * [taylor]: Taking taylor expansion of 2.0 in t
1.835 * [taylor]: Taking taylor expansion of (* t z) in t
1.835 * [taylor]: Taking taylor expansion of t in t
1.835 * [taylor]: Taking taylor expansion of z in t
1.835 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.835 * [taylor]: Taking taylor expansion of 2.0 in t
1.835 * [taylor]: Taking taylor expansion of t in t
1.835 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t
1.835 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.835 * [taylor]: Taking taylor expansion of 2.0 in t
1.835 * [taylor]: Taking taylor expansion of (* t z) in t
1.835 * [taylor]: Taking taylor expansion of t in t
1.835 * [taylor]: Taking taylor expansion of z in t
1.835 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.835 * [taylor]: Taking taylor expansion of 2.0 in t
1.835 * [taylor]: Taking taylor expansion of t in t
1.835 * [taylor]: Taking taylor expansion of 0 in z
1.835 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
1.836 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.836 * [taylor]: Taking taylor expansion of 2.0 in z
1.836 * [taylor]: Taking taylor expansion of z in z
1.836 * [taylor]: Taking taylor expansion of 2.0 in z
1.836 * [taylor]: Taking taylor expansion of 0 in z
1.836 * [taylor]: Taking taylor expansion of 0 in z
1.836 * [taylor]: Taking taylor expansion of 0 in z
1.837 * [approximate]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in (t z) around 0
1.837 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in z
1.837 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.837 * [taylor]: Taking taylor expansion of 2.0 in z
1.837 * [taylor]: Taking taylor expansion of (* t z) in z
1.837 * [taylor]: Taking taylor expansion of t in z
1.837 * [taylor]: Taking taylor expansion of z in z
1.837 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
1.837 * [taylor]: Taking taylor expansion of 2.0 in z
1.837 * [taylor]: Taking taylor expansion of t in z
1.837 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in t
1.837 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.837 * [taylor]: Taking taylor expansion of 2.0 in t
1.837 * [taylor]: Taking taylor expansion of (* t z) in t
1.837 * [taylor]: Taking taylor expansion of t in t
1.837 * [taylor]: Taking taylor expansion of z in t
1.837 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.837 * [taylor]: Taking taylor expansion of 2.0 in t
1.837 * [taylor]: Taking taylor expansion of t in t
1.837 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in t
1.837 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.837 * [taylor]: Taking taylor expansion of 2.0 in t
1.837 * [taylor]: Taking taylor expansion of (* t z) in t
1.837 * [taylor]: Taking taylor expansion of t in t
1.837 * [taylor]: Taking taylor expansion of z in t
1.837 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.837 * [taylor]: Taking taylor expansion of 2.0 in t
1.837 * [taylor]: Taking taylor expansion of t in t
1.837 * [taylor]: Taking taylor expansion of 0 in z
1.838 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z
1.838 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.838 * [taylor]: Taking taylor expansion of 2.0 in z
1.838 * [taylor]: Taking taylor expansion of z in z
1.838 * [taylor]: Taking taylor expansion of 2.0 in z
1.838 * [taylor]: Taking taylor expansion of 0 in z
1.838 * [taylor]: Taking taylor expansion of 0 in z
1.838 * [taylor]: Taking taylor expansion of 0 in z
1.839 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1.839 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in (x y t z) around 0
1.839 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in z
1.839 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in z
1.839 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z
1.839 * [taylor]: Taking taylor expansion of 2.0 in z
1.839 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.839 * [taylor]: Taking taylor expansion of (* t z) in z
1.839 * [taylor]: Taking taylor expansion of t in z
1.839 * [taylor]: Taking taylor expansion of z in z
1.839 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in z
1.839 * [taylor]: Taking taylor expansion of (/ x y) in z
1.839 * [taylor]: Taking taylor expansion of x in z
1.839 * [taylor]: Taking taylor expansion of y in z
1.839 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z
1.839 * [taylor]: Taking taylor expansion of 2.0 in z
1.839 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.839 * [taylor]: Taking taylor expansion of t in z
1.839 * [taylor]: Taking taylor expansion of 2.0 in z
1.839 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in t
1.839 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in t
1.839 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
1.839 * [taylor]: Taking taylor expansion of 2.0 in t
1.839 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.839 * [taylor]: Taking taylor expansion of (* t z) in t
1.840 * [taylor]: Taking taylor expansion of t in t
1.840 * [taylor]: Taking taylor expansion of z in t
1.840 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in t
1.840 * [taylor]: Taking taylor expansion of (/ x y) in t
1.840 * [taylor]: Taking taylor expansion of x in t
1.840 * [taylor]: Taking taylor expansion of y in t
1.840 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
1.840 * [taylor]: Taking taylor expansion of 2.0 in t
1.840 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.840 * [taylor]: Taking taylor expansion of t in t
1.840 * [taylor]: Taking taylor expansion of 2.0 in t
1.840 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in y
1.840 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in y
1.840 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in y
1.840 * [taylor]: Taking taylor expansion of 2.0 in y
1.840 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.840 * [taylor]: Taking taylor expansion of (* t z) in y
1.840 * [taylor]: Taking taylor expansion of t in y
1.840 * [taylor]: Taking taylor expansion of z in y
1.840 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in y
1.840 * [taylor]: Taking taylor expansion of (/ x y) in y
1.840 * [taylor]: Taking taylor expansion of x in y
1.840 * [taylor]: Taking taylor expansion of y in y
1.840 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in y
1.840 * [taylor]: Taking taylor expansion of 2.0 in y
1.840 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.840 * [taylor]: Taking taylor expansion of t in y
1.840 * [taylor]: Taking taylor expansion of 2.0 in y
1.840 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in x
1.840 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in x
1.840 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in x
1.841 * [taylor]: Taking taylor expansion of 2.0 in x
1.841 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.841 * [taylor]: Taking taylor expansion of (* t z) in x
1.841 * [taylor]: Taking taylor expansion of t in x
1.841 * [taylor]: Taking taylor expansion of z in x
1.841 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in x
1.841 * [taylor]: Taking taylor expansion of (/ x y) in x
1.841 * [taylor]: Taking taylor expansion of x in x
1.841 * [taylor]: Taking taylor expansion of y in x
1.841 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in x
1.841 * [taylor]: Taking taylor expansion of 2.0 in x
1.841 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.841 * [taylor]: Taking taylor expansion of t in x
1.841 * [taylor]: Taking taylor expansion of 2.0 in x
1.841 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in x
1.841 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in x
1.841 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in x
1.841 * [taylor]: Taking taylor expansion of 2.0 in x
1.841 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.841 * [taylor]: Taking taylor expansion of (* t z) in x
1.841 * [taylor]: Taking taylor expansion of t in x
1.841 * [taylor]: Taking taylor expansion of z in x
1.841 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in x
1.841 * [taylor]: Taking taylor expansion of (/ x y) in x
1.841 * [taylor]: Taking taylor expansion of x in x
1.841 * [taylor]: Taking taylor expansion of y in x
1.841 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in x
1.841 * [taylor]: Taking taylor expansion of 2.0 in x
1.841 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.841 * [taylor]: Taking taylor expansion of t in x
1.841 * [taylor]: Taking taylor expansion of 2.0 in x
1.842 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in y
1.842 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in y
1.842 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in y
1.842 * [taylor]: Taking taylor expansion of 2.0 in y
1.842 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.842 * [taylor]: Taking taylor expansion of (* t z) in y
1.842 * [taylor]: Taking taylor expansion of t in y
1.842 * [taylor]: Taking taylor expansion of z in y
1.842 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in y
1.842 * [taylor]: Taking taylor expansion of 2.0 in y
1.842 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.842 * [taylor]: Taking taylor expansion of t in y
1.842 * [taylor]: Taking taylor expansion of 2.0 in y
1.842 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.842 * [taylor]: Taking taylor expansion of y in y
1.842 * [taylor]: Taking taylor expansion of 1 in t
1.843 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in t
1.843 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t
1.843 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
1.843 * [taylor]: Taking taylor expansion of 2.0 in t
1.843 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.843 * [taylor]: Taking taylor expansion of (* t z) in t
1.843 * [taylor]: Taking taylor expansion of t in t
1.843 * [taylor]: Taking taylor expansion of z in t
1.843 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
1.843 * [taylor]: Taking taylor expansion of 2.0 in t
1.843 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.843 * [taylor]: Taking taylor expansion of t in t
1.843 * [taylor]: Taking taylor expansion of 2.0 in t
1.843 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z
1.843 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
1.843 * [taylor]: Taking taylor expansion of 2.0 in z
1.843 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.843 * [taylor]: Taking taylor expansion of z in z
1.843 * [taylor]: Taking taylor expansion of 2.0 in z
1.844 * [taylor]: Taking taylor expansion of 0 in y
1.844 * [taylor]: Taking taylor expansion of 0 in t
1.844 * [taylor]: Taking taylor expansion of 0 in t
1.844 * [taylor]: Taking taylor expansion of 1 in z
1.844 * [taylor]: Taking taylor expansion of (neg 2.0) in z
1.844 * [taylor]: Taking taylor expansion of 2.0 in z
1.845 * [taylor]: Taking taylor expansion of 0 in y
1.845 * [taylor]: Taking taylor expansion of 0 in t
1.845 * [taylor]: Taking taylor expansion of 0 in t
1.846 * [taylor]: Taking taylor expansion of 0 in t
1.846 * [taylor]: Taking taylor expansion of 0 in z
1.846 * [taylor]: Taking taylor expansion of 0 in z
1.846 * [taylor]: Taking taylor expansion of 0 in z
1.846 * [taylor]: Taking taylor expansion of 0 in z
1.847 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in (x y t z) around 0
1.847 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in z
1.847 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in z
1.847 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.847 * [taylor]: Taking taylor expansion of 2.0 in z
1.847 * [taylor]: Taking taylor expansion of (* t z) in z
1.847 * [taylor]: Taking taylor expansion of t in z
1.847 * [taylor]: Taking taylor expansion of z in z
1.847 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in z
1.847 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
1.847 * [taylor]: Taking taylor expansion of 2.0 in z
1.847 * [taylor]: Taking taylor expansion of t in z
1.847 * [taylor]: Taking taylor expansion of (/ y x) in z
1.847 * [taylor]: Taking taylor expansion of y in z
1.847 * [taylor]: Taking taylor expansion of x in z
1.847 * [taylor]: Taking taylor expansion of 2.0 in z
1.847 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in t
1.847 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in t
1.847 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.847 * [taylor]: Taking taylor expansion of 2.0 in t
1.847 * [taylor]: Taking taylor expansion of (* t z) in t
1.847 * [taylor]: Taking taylor expansion of t in t
1.847 * [taylor]: Taking taylor expansion of z in t
1.847 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in t
1.847 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.847 * [taylor]: Taking taylor expansion of 2.0 in t
1.847 * [taylor]: Taking taylor expansion of t in t
1.847 * [taylor]: Taking taylor expansion of (/ y x) in t
1.847 * [taylor]: Taking taylor expansion of y in t
1.847 * [taylor]: Taking taylor expansion of x in t
1.847 * [taylor]: Taking taylor expansion of 2.0 in t
1.847 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in y
1.847 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in y
1.847 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
1.847 * [taylor]: Taking taylor expansion of 2.0 in y
1.847 * [taylor]: Taking taylor expansion of (* t z) in y
1.847 * [taylor]: Taking taylor expansion of t in y
1.847 * [taylor]: Taking taylor expansion of z in y
1.847 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in y
1.847 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
1.847 * [taylor]: Taking taylor expansion of 2.0 in y
1.847 * [taylor]: Taking taylor expansion of t in y
1.847 * [taylor]: Taking taylor expansion of (/ y x) in y
1.847 * [taylor]: Taking taylor expansion of y in y
1.848 * [taylor]: Taking taylor expansion of x in y
1.848 * [taylor]: Taking taylor expansion of 2.0 in y
1.848 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in x
1.848 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in x
1.848 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
1.848 * [taylor]: Taking taylor expansion of 2.0 in x
1.848 * [taylor]: Taking taylor expansion of (* t z) in x
1.848 * [taylor]: Taking taylor expansion of t in x
1.848 * [taylor]: Taking taylor expansion of z in x
1.848 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in x
1.848 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
1.848 * [taylor]: Taking taylor expansion of 2.0 in x
1.848 * [taylor]: Taking taylor expansion of t in x
1.848 * [taylor]: Taking taylor expansion of (/ y x) in x
1.848 * [taylor]: Taking taylor expansion of y in x
1.848 * [taylor]: Taking taylor expansion of x in x
1.848 * [taylor]: Taking taylor expansion of 2.0 in x
1.848 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in x
1.848 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in x
1.848 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
1.848 * [taylor]: Taking taylor expansion of 2.0 in x
1.848 * [taylor]: Taking taylor expansion of (* t z) in x
1.848 * [taylor]: Taking taylor expansion of t in x
1.848 * [taylor]: Taking taylor expansion of z in x
1.848 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in x
1.848 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
1.848 * [taylor]: Taking taylor expansion of 2.0 in x
1.848 * [taylor]: Taking taylor expansion of t in x
1.848 * [taylor]: Taking taylor expansion of (/ y x) in x
1.848 * [taylor]: Taking taylor expansion of y in x
1.848 * [taylor]: Taking taylor expansion of x in x
1.848 * [taylor]: Taking taylor expansion of 2.0 in x
1.848 * [taylor]: Taking taylor expansion of y in y
1.848 * [taylor]: Taking taylor expansion of 0 in t
1.848 * [taylor]: Taking taylor expansion of 0 in z
1.849 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in y
1.849 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in y
1.849 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
1.849 * [taylor]: Taking taylor expansion of 2.0 in y
1.849 * [taylor]: Taking taylor expansion of (* t z) in y
1.849 * [taylor]: Taking taylor expansion of t in y
1.849 * [taylor]: Taking taylor expansion of z in y
1.849 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
1.849 * [taylor]: Taking taylor expansion of 2.0 in y
1.849 * [taylor]: Taking taylor expansion of t in y
1.849 * [taylor]: Taking taylor expansion of 2.0 in y
1.849 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in t
1.849 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t
1.849 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.849 * [taylor]: Taking taylor expansion of 2.0 in t
1.849 * [taylor]: Taking taylor expansion of (* t z) in t
1.849 * [taylor]: Taking taylor expansion of t in t
1.849 * [taylor]: Taking taylor expansion of z in t
1.849 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.849 * [taylor]: Taking taylor expansion of 2.0 in t
1.849 * [taylor]: Taking taylor expansion of t in t
1.849 * [taylor]: Taking taylor expansion of 2.0 in t
1.849 * [taylor]: Taking taylor expansion of (neg 2.0) in z
1.849 * [taylor]: Taking taylor expansion of 2.0 in z
1.849 * [taylor]: Taking taylor expansion of 1 in t
1.849 * [taylor]: Taking taylor expansion of 1 in z
1.849 * [taylor]: Taking taylor expansion of 0 in z
1.850 * [taylor]: Taking taylor expansion of 0 in y
1.850 * [taylor]: Taking taylor expansion of 0 in t
1.850 * [taylor]: Taking taylor expansion of 0 in z
1.850 * [taylor]: Taking taylor expansion of 0 in t
1.850 * [taylor]: Taking taylor expansion of 0 in z
1.850 * [taylor]: Taking taylor expansion of 0 in t
1.850 * [taylor]: Taking taylor expansion of 0 in z
1.850 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
1.850 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.850 * [taylor]: Taking taylor expansion of 2.0 in z
1.850 * [taylor]: Taking taylor expansion of z in z
1.850 * [taylor]: Taking taylor expansion of 2.0 in z
1.851 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in (x y t z) around 0
1.851 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in z
1.851 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in z
1.851 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
1.851 * [taylor]: Taking taylor expansion of 2.0 in z
1.851 * [taylor]: Taking taylor expansion of (* t z) in z
1.851 * [taylor]: Taking taylor expansion of t in z
1.851 * [taylor]: Taking taylor expansion of z in z
1.851 * [taylor]: Taking taylor expansion of (/ y x) in z
1.851 * [taylor]: Taking taylor expansion of y in z
1.851 * [taylor]: Taking taylor expansion of x in z
1.851 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in z
1.851 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
1.851 * [taylor]: Taking taylor expansion of 2.0 in z
1.851 * [taylor]: Taking taylor expansion of t in z
1.851 * [taylor]: Taking taylor expansion of 2.0 in z
1.851 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in t
1.851 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in t
1.851 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.851 * [taylor]: Taking taylor expansion of 2.0 in t
1.851 * [taylor]: Taking taylor expansion of (* t z) in t
1.851 * [taylor]: Taking taylor expansion of t in t
1.851 * [taylor]: Taking taylor expansion of z in t
1.851 * [taylor]: Taking taylor expansion of (/ y x) in t
1.851 * [taylor]: Taking taylor expansion of y in t
1.851 * [taylor]: Taking taylor expansion of x in t
1.851 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
1.851 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.851 * [taylor]: Taking taylor expansion of 2.0 in t
1.851 * [taylor]: Taking taylor expansion of t in t
1.851 * [taylor]: Taking taylor expansion of 2.0 in t
1.851 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in y
1.851 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in y
1.851 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
1.851 * [taylor]: Taking taylor expansion of 2.0 in y
1.851 * [taylor]: Taking taylor expansion of (* t z) in y
1.852 * [taylor]: Taking taylor expansion of t in y
1.852 * [taylor]: Taking taylor expansion of z in y
1.852 * [taylor]: Taking taylor expansion of (/ y x) in y
1.852 * [taylor]: Taking taylor expansion of y in y
1.852 * [taylor]: Taking taylor expansion of x in y
1.852 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in y
1.852 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
1.852 * [taylor]: Taking taylor expansion of 2.0 in y
1.852 * [taylor]: Taking taylor expansion of t in y
1.852 * [taylor]: Taking taylor expansion of 2.0 in y
1.852 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in x
1.852 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in x
1.852 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
1.852 * [taylor]: Taking taylor expansion of 2.0 in x
1.852 * [taylor]: Taking taylor expansion of (* t z) in x
1.852 * [taylor]: Taking taylor expansion of t in x
1.852 * [taylor]: Taking taylor expansion of z in x
1.852 * [taylor]: Taking taylor expansion of (/ y x) in x
1.852 * [taylor]: Taking taylor expansion of y in x
1.852 * [taylor]: Taking taylor expansion of x in x
1.852 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in x
1.852 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
1.852 * [taylor]: Taking taylor expansion of 2.0 in x
1.852 * [taylor]: Taking taylor expansion of t in x
1.852 * [taylor]: Taking taylor expansion of 2.0 in x
1.852 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in x
1.852 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in x
1.852 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
1.852 * [taylor]: Taking taylor expansion of 2.0 in x
1.852 * [taylor]: Taking taylor expansion of (* t z) in x
1.852 * [taylor]: Taking taylor expansion of t in x
1.852 * [taylor]: Taking taylor expansion of z in x
1.852 * [taylor]: Taking taylor expansion of (/ y x) in x
1.852 * [taylor]: Taking taylor expansion of y in x
1.852 * [taylor]: Taking taylor expansion of x in x
1.852 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in x
1.852 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
1.852 * [taylor]: Taking taylor expansion of 2.0 in x
1.852 * [taylor]: Taking taylor expansion of t in x
1.852 * [taylor]: Taking taylor expansion of 2.0 in x
1.852 * [taylor]: Taking taylor expansion of y in y
1.852 * [taylor]: Taking taylor expansion of 0 in t
1.852 * [taylor]: Taking taylor expansion of 0 in z
1.853 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in y
1.853 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
1.853 * [taylor]: Taking taylor expansion of 2.0 in y
1.853 * [taylor]: Taking taylor expansion of (* t z) in y
1.853 * [taylor]: Taking taylor expansion of t in y
1.853 * [taylor]: Taking taylor expansion of z in y
1.853 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in y
1.853 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
1.853 * [taylor]: Taking taylor expansion of 2.0 in y
1.853 * [taylor]: Taking taylor expansion of t in y
1.853 * [taylor]: Taking taylor expansion of 2.0 in y
1.853 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in t
1.853 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
1.853 * [taylor]: Taking taylor expansion of 2.0 in t
1.853 * [taylor]: Taking taylor expansion of (* t z) in t
1.853 * [taylor]: Taking taylor expansion of t in t
1.853 * [taylor]: Taking taylor expansion of z in t
1.853 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
1.853 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
1.853 * [taylor]: Taking taylor expansion of 2.0 in t
1.853 * [taylor]: Taking taylor expansion of t in t
1.853 * [taylor]: Taking taylor expansion of 2.0 in t
1.853 * [taylor]: Taking taylor expansion of (neg 2.0) in z
1.853 * [taylor]: Taking taylor expansion of 2.0 in z
1.853 * [taylor]: Taking taylor expansion of 1 in t
1.854 * [taylor]: Taking taylor expansion of 1 in z
1.854 * [taylor]: Taking taylor expansion of 0 in z
1.854 * [taylor]: Taking taylor expansion of 0 in y
1.854 * [taylor]: Taking taylor expansion of 0 in t
1.854 * [taylor]: Taking taylor expansion of 0 in z
1.854 * [taylor]: Taking taylor expansion of 0 in t
1.854 * [taylor]: Taking taylor expansion of 0 in z
1.854 * [taylor]: Taking taylor expansion of 0 in t
1.854 * [taylor]: Taking taylor expansion of 0 in z
1.854 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z
1.854 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.854 * [taylor]: Taking taylor expansion of 2.0 in z
1.854 * [taylor]: Taking taylor expansion of z in z
1.854 * [taylor]: Taking taylor expansion of 2.0 in z
1.855 * * * [progress]: simplifying candidates
1.856 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (-.f64 (log.f64 2.0) (log.f64 t)) (log.f64 z))
  (-.f64 (log.f64 (/.f64 2.0 t)) (log.f64 z))
  (log.f64 (/.f64 (/.f64 2.0 t) z))
  (exp.f64 (/.f64 (/.f64 2.0 t) z))
  (/.f64 (/.f64 (*.f64 (*.f64 2.0 2.0) 2.0) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 z z) z))
  (/.f64 (*.f64 (*.f64 (/.f64 2.0 t) (/.f64 2.0 t)) (/.f64 2.0 t)) (*.f64 (*.f64 z z) z))
  (*.f64 (cbrt.f64 (/.f64 (/.f64 2.0 t) z)) (cbrt.f64 (/.f64 (/.f64 2.0 t) z)))
  (cbrt.f64 (/.f64 (/.f64 2.0 t) z))
  (*.f64 (*.f64 (/.f64 (/.f64 2.0 t) z) (/.f64 (/.f64 2.0 t) z)) (/.f64 (/.f64 2.0 t) z))
  (sqrt.f64 (/.f64 (/.f64 2.0 t) z))
  (sqrt.f64 (/.f64 (/.f64 2.0 t) z))
  (neg.f64 (/.f64 2.0 t))
  (neg.f64 z)
  (/.f64 (*.f64 (cbrt.f64 (/.f64 2.0 t)) (cbrt.f64 (/.f64 2.0 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (cbrt.f64 (/.f64 2.0 t)) (cbrt.f64 z))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 2.0 t)) (cbrt.f64 (/.f64 2.0 t))) (sqrt.f64 z))
  (/.f64 (cbrt.f64 (/.f64 2.0 t)) (sqrt.f64 z))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 2.0 t)) (cbrt.f64 (/.f64 2.0 t))) 1)
  (/.f64 (cbrt.f64 (/.f64 2.0 t)) z)
  (/.f64 (sqrt.f64 (/.f64 2.0 t)) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (sqrt.f64 (/.f64 2.0 t)) (cbrt.f64 z))
  (/.f64 (sqrt.f64 (/.f64 2.0 t)) (sqrt.f64 z))
  (/.f64 (sqrt.f64 (/.f64 2.0 t)) (sqrt.f64 z))
  (/.f64 (sqrt.f64 (/.f64 2.0 t)) 1)
  (/.f64 (sqrt.f64 (/.f64 2.0 t)) z)
  (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 (cbrt.f64 2.0) (cbrt.f64 t)) (cbrt.f64 z))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (sqrt.f64 z))
  (/.f64 (/.f64 (cbrt.f64 2.0) (cbrt.f64 t)) (sqrt.f64 z))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) 1)
  (/.f64 (/.f64 (cbrt.f64 2.0) (cbrt.f64 t)) z)
  (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (sqrt.f64 t)) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 (cbrt.f64 2.0) (sqrt.f64 t)) (cbrt.f64 z))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (sqrt.f64 t)) (sqrt.f64 z))
  (/.f64 (/.f64 (cbrt.f64 2.0) (sqrt.f64 t)) (sqrt.f64 z))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (sqrt.f64 t)) 1)
  (/.f64 (/.f64 (cbrt.f64 2.0) (sqrt.f64 t)) z)
  (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) 1) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 (cbrt.f64 2.0) t) (cbrt.f64 z))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) 1) (sqrt.f64 z))
  (/.f64 (/.f64 (cbrt.f64 2.0) t) (sqrt.f64 z))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) 1) 1)
  (/.f64 (/.f64 (cbrt.f64 2.0) t) z)
  (/.f64 (/.f64 (sqrt.f64 2.0) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 (sqrt.f64 2.0) (cbrt.f64 t)) (cbrt.f64 z))
  (/.f64 (/.f64 (sqrt.f64 2.0) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (sqrt.f64 z))
  (/.f64 (/.f64 (sqrt.f64 2.0) (cbrt.f64 t)) (sqrt.f64 z))
  (/.f64 (/.f64 (sqrt.f64 2.0) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) 1)
  (/.f64 (/.f64 (sqrt.f64 2.0) (cbrt.f64 t)) z)
  (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (cbrt.f64 z))
  (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (sqrt.f64 z))
  (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (sqrt.f64 z))
  (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) 1)
  (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) z)
  (/.f64 (/.f64 (sqrt.f64 2.0) 1) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 (sqrt.f64 2.0) t) (cbrt.f64 z))
  (/.f64 (/.f64 (sqrt.f64 2.0) 1) (sqrt.f64 z))
  (/.f64 (/.f64 (sqrt.f64 2.0) t) (sqrt.f64 z))
  (/.f64 (/.f64 (sqrt.f64 2.0) 1) 1)
  (/.f64 (/.f64 (sqrt.f64 2.0) t) z)
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 2.0 (cbrt.f64 t)) (cbrt.f64 z))
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (sqrt.f64 z))
  (/.f64 (/.f64 2.0 (cbrt.f64 t)) (sqrt.f64 z))
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) 1)
  (/.f64 (/.f64 2.0 (cbrt.f64 t)) z)
  (/.f64 (/.f64 1 (sqrt.f64 t)) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 2.0 (sqrt.f64 t)) (cbrt.f64 z))
  (/.f64 (/.f64 1 (sqrt.f64 t)) (sqrt.f64 z))
  (/.f64 (/.f64 2.0 (sqrt.f64 t)) (sqrt.f64 z))
  (/.f64 (/.f64 1 (sqrt.f64 t)) 1)
  (/.f64 (/.f64 2.0 (sqrt.f64 t)) z)
  (/.f64 (/.f64 1 1) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 2.0 t) (cbrt.f64 z))
  (/.f64 (/.f64 1 1) (sqrt.f64 z))
  (/.f64 (/.f64 2.0 t) (sqrt.f64 z))
  (/.f64 (/.f64 1 1) 1)
  (/.f64 (/.f64 2.0 t) z)
  (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 2.0 t) (cbrt.f64 z))
  (/.f64 1 (sqrt.f64 z))
  (/.f64 (/.f64 2.0 t) (sqrt.f64 z))
  (/.f64 1 1)
  (/.f64 (/.f64 2.0 t) z)
  (/.f64 2.0 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 1 t) (cbrt.f64 z))
  (/.f64 2.0 (sqrt.f64 z))
  (/.f64 (/.f64 1 t) (sqrt.f64 z))
  (/.f64 2.0 1)
  (/.f64 (/.f64 1 t) z)
  (/.f64 1 z)
  (/.f64 z (/.f64 2.0 t))
  (/.f64 (/.f64 2.0 t) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 2.0 t) (sqrt.f64 z))
  (/.f64 (/.f64 2.0 t) 1)
  (/.f64 z (cbrt.f64 (/.f64 2.0 t)))
  (/.f64 z (sqrt.f64 (/.f64 2.0 t)))
  (/.f64 z (/.f64 (cbrt.f64 2.0) (cbrt.f64 t)))
  (/.f64 z (/.f64 (cbrt.f64 2.0) (sqrt.f64 t)))
  (/.f64 z (/.f64 (cbrt.f64 2.0) t))
  (/.f64 z (/.f64 (sqrt.f64 2.0) (cbrt.f64 t)))
  (/.f64 z (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)))
  (/.f64 z (/.f64 (sqrt.f64 2.0) t))
  (/.f64 z (/.f64 2.0 (cbrt.f64 t)))
  (/.f64 z (/.f64 2.0 (sqrt.f64 t)))
  (/.f64 z (/.f64 2.0 t))
  (/.f64 z (/.f64 2.0 t))
  (/.f64 z (/.f64 1 t))
  (*.f64 z t)
  (*.f64 (exp.f64 (/.f64 2.0 t)) (exp.f64 (/.f64 (/.f64 2.0 t) z)))
  (log.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)))
  (exp.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (cbrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))))
  (cbrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)))
  (*.f64 (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)))
  (sqrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)))
  (sqrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)))
  (+.f64 (*.f64 2.0 z) (*.f64 t (/.f64 2.0 t)))
  (*.f64 t z)
  (+.f64 (pow.f64 (/.f64 2.0 t) 3) (pow.f64 (/.f64 (/.f64 2.0 t) z) 3))
  (+.f64 (*.f64 (/.f64 2.0 t) (/.f64 2.0 t)) (-.f64 (*.f64 (/.f64 (/.f64 2.0 t) z) (/.f64 (/.f64 2.0 t) z)) (*.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))))
  (-.f64 (*.f64 (/.f64 2.0 t) (/.f64 2.0 t)) (*.f64 (/.f64 (/.f64 2.0 t) z) (/.f64 (/.f64 2.0 t) z)))
  (-.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))
  (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))
  (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))
  (*.f64 (exp.f64 (/.f64 x y)) (/.f64 (*.f64 (exp.f64 (/.f64 2.0 t)) (exp.f64 (/.f64 (/.f64 2.0 t) z))) (exp.f64 2.0)))
  (*.f64 (exp.f64 (/.f64 x y)) (/.f64 (exp.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (exp.f64 2.0)))
  (*.f64 (exp.f64 (/.f64 x y)) (exp.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))
  (log.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))
  (exp.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))))
  (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))
  (*.f64 (*.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))
  (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))
  (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))
  (+.f64 (*.f64 x (+.f64 (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (+.f64 (*.f64 2.0 2.0) (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))) (*.f64 y (-.f64 (pow.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 3) (pow.f64 2.0 3))))
  (*.f64 y (+.f64 (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (+.f64 (*.f64 2.0 2.0) (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))))
  (+.f64 (*.f64 x (+.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)) (*.f64 y (-.f64 (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (*.f64 2.0 2.0))))
  (*.f64 y (+.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))
  (+.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0) 3))
  (+.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (-.f64 (*.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)) (*.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))))
  (-.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))
  (-.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))
  (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))
  (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))
  (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))
  (+.f64 (/.f64 x y) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)))
  (+.f64 (/.f64 x y) (/.f64 2.0 t))
  (+.f64 (/.f64 x y) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)))
  (/.f64 2.0 (*.f64 t z))
  (/.f64 2.0 (*.f64 t z))
  (/.f64 2.0 (*.f64 t z))
  (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (*.f64 2.0 (/.f64 1 t)))
  (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (*.f64 2.0 (/.f64 1 t)))
  (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (*.f64 2.0 (/.f64 1 t)))
  (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (+.f64 (/.f64 x y) (*.f64 2.0 (/.f64 1 t))))
  (-.f64 (+.f64 (/.f64 x y) (*.f64 2.0 (/.f64 1 t))) 2.0)
  (-.f64 (+.f64 (/.f64 x y) (*.f64 2.0 (/.f64 1 t))) 2.0)
1.895 * * [simplify]: iteration  0 :  4987  enodes  (cost  1493 )
1.895 * * [simplify]: iteration  1 :  4987  enodes  (cost  1493 )
1.901 * [simplify]: Simplified to:
   (log.f64 (/.f64 (/.f64 2.0 t) z))
  (log.f64 (/.f64 (/.f64 2.0 t) z))
  (log.f64 (/.f64 (/.f64 2.0 t) z))
  (exp.f64 (/.f64 (/.f64 2.0 t) z))
  (pow.f64 (/.f64 (/.f64 2.0 t) z) 3)
  (pow.f64 (/.f64 (/.f64 2.0 t) z) 3)
  (*.f64 (cbrt.f64 (/.f64 (/.f64 2.0 t) z)) (cbrt.f64 (/.f64 (/.f64 2.0 t) z)))
  (cbrt.f64 (/.f64 (/.f64 2.0 t) z))
  (pow.f64 (/.f64 (/.f64 2.0 t) z) 3)
  (sqrt.f64 (/.f64 (/.f64 2.0 t) z))
  (sqrt.f64 (/.f64 (/.f64 2.0 t) z))
  (neg.f64 (/.f64 2.0 t))
  (neg.f64 z)
  (/.f64 (*.f64 (cbrt.f64 (/.f64 2.0 t)) (cbrt.f64 (/.f64 2.0 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (cbrt.f64 (/.f64 2.0 t)) (cbrt.f64 z))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 2.0 t)) (cbrt.f64 (/.f64 2.0 t))) (sqrt.f64 z))
  (/.f64 (cbrt.f64 (/.f64 2.0 t)) (sqrt.f64 z))
  (*.f64 (cbrt.f64 (/.f64 2.0 t)) (cbrt.f64 (/.f64 2.0 t)))
  (/.f64 (cbrt.f64 (/.f64 2.0 t)) z)
  (/.f64 (sqrt.f64 (/.f64 2.0 t)) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (sqrt.f64 (/.f64 2.0 t)) (cbrt.f64 z))
  (/.f64 (sqrt.f64 (/.f64 2.0 t)) (sqrt.f64 z))
  (/.f64 (sqrt.f64 (/.f64 2.0 t)) (sqrt.f64 z))
  (sqrt.f64 (/.f64 2.0 t))
  (/.f64 (sqrt.f64 (/.f64 2.0 t)) z)
  (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 (cbrt.f64 2.0) (cbrt.f64 t)) (cbrt.f64 z))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (sqrt.f64 z))
  (/.f64 (/.f64 (cbrt.f64 2.0) (cbrt.f64 t)) (sqrt.f64 z))
  (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (/.f64 (cbrt.f64 2.0) (cbrt.f64 t)) z)
  (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (sqrt.f64 t)) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 (cbrt.f64 2.0) (sqrt.f64 t)) (cbrt.f64 z))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (sqrt.f64 t)) (sqrt.f64 z))
  (/.f64 (/.f64 (cbrt.f64 2.0) (sqrt.f64 t)) (sqrt.f64 z))
  (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (sqrt.f64 t))
  (/.f64 (/.f64 (cbrt.f64 2.0) (sqrt.f64 t)) z)
  (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 (cbrt.f64 2.0) t) (cbrt.f64 z))
  (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (sqrt.f64 z))
  (/.f64 (/.f64 (cbrt.f64 2.0) t) (sqrt.f64 z))
  (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0))
  (/.f64 (/.f64 (cbrt.f64 2.0) t) z)
  (/.f64 (/.f64 (sqrt.f64 2.0) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 (sqrt.f64 2.0) (cbrt.f64 t)) (cbrt.f64 z))
  (/.f64 (/.f64 (sqrt.f64 2.0) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (sqrt.f64 z))
  (/.f64 (/.f64 (sqrt.f64 2.0) (cbrt.f64 t)) (sqrt.f64 z))
  (/.f64 (sqrt.f64 2.0) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (/.f64 (sqrt.f64 2.0) (cbrt.f64 t)) z)
  (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (cbrt.f64 z))
  (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (sqrt.f64 z))
  (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (sqrt.f64 z))
  (/.f64 (sqrt.f64 2.0) (sqrt.f64 t))
  (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) z)
  (/.f64 (sqrt.f64 2.0) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 (sqrt.f64 2.0) t) (cbrt.f64 z))
  (/.f64 (sqrt.f64 2.0) (sqrt.f64 z))
  (/.f64 (/.f64 (sqrt.f64 2.0) t) (sqrt.f64 z))
  (sqrt.f64 2.0)
  (/.f64 (/.f64 (sqrt.f64 2.0) t) z)
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 2.0 (cbrt.f64 t)) (cbrt.f64 z))
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (sqrt.f64 z))
  (/.f64 (/.f64 2.0 (cbrt.f64 t)) (sqrt.f64 z))
  (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (/.f64 2.0 (cbrt.f64 t)) z)
  (/.f64 (/.f64 1 (sqrt.f64 t)) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 2.0 (sqrt.f64 t)) (cbrt.f64 z))
  (/.f64 (/.f64 1 (sqrt.f64 t)) (sqrt.f64 z))
  (/.f64 (/.f64 2.0 (sqrt.f64 t)) (sqrt.f64 z))
  (/.f64 1 (sqrt.f64 t))
  (/.f64 (/.f64 2.0 (sqrt.f64 t)) z)
  (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 2.0 t) (cbrt.f64 z))
  (/.f64 1 (sqrt.f64 z))
  (/.f64 (/.f64 2.0 t) (sqrt.f64 z))
  1
  (/.f64 (/.f64 2.0 t) z)
  (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 2.0 t) (cbrt.f64 z))
  (/.f64 1 (sqrt.f64 z))
  (/.f64 (/.f64 2.0 t) (sqrt.f64 z))
  1
  (/.f64 (/.f64 2.0 t) z)
  (/.f64 2.0 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 1 t) (cbrt.f64 z))
  (/.f64 2.0 (sqrt.f64 z))
  (/.f64 (/.f64 1 (sqrt.f64 z)) t)
  2.0
  (/.f64 (/.f64 1 t) z)
  (/.f64 1 z)
  (/.f64 z (/.f64 2.0 t))
  (/.f64 (/.f64 2.0 t) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (/.f64 (/.f64 2.0 t) (sqrt.f64 z))
  (/.f64 2.0 t)
  (/.f64 z (cbrt.f64 (/.f64 2.0 t)))
  (/.f64 z (sqrt.f64 (/.f64 2.0 t)))
  (/.f64 z (/.f64 (cbrt.f64 2.0) (cbrt.f64 t)))
  (/.f64 z (/.f64 (cbrt.f64 2.0) (sqrt.f64 t)))
  (/.f64 z (/.f64 (cbrt.f64 2.0) t))
  (/.f64 z (/.f64 (sqrt.f64 2.0) (cbrt.f64 t)))
  (/.f64 z (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)))
  (/.f64 z (/.f64 (sqrt.f64 2.0) t))
  (/.f64 z (/.f64 2.0 (cbrt.f64 t)))
  (/.f64 z (/.f64 2.0 (sqrt.f64 t)))
  (/.f64 z (/.f64 2.0 t))
  (/.f64 z (/.f64 2.0 t))
  (*.f64 t z)
  (*.f64 t z)
  (pow.f64 (exp.f64 (/.f64 2.0 t)) (+.f64 (/.f64 1 z) 1))
  (log.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)))
  (pow.f64 (exp.f64 (/.f64 2.0 t)) (+.f64 (/.f64 1 z) 1))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (cbrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))))
  (cbrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)))
  (pow.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 3)
  (sqrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)))
  (sqrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)))
  (+.f64 (*.f64 2.0 z) (*.f64 t (/.f64 2.0 t)))
  (*.f64 t z)
  (+.f64 (pow.f64 (/.f64 2.0 t) 3) (pow.f64 (/.f64 (/.f64 2.0 t) z) 3))
  (+.f64 (*.f64 (/.f64 2.0 t) (/.f64 2.0 t)) (*.f64 (/.f64 2.0 t) (/.f64 (-.f64 (/.f64 (/.f64 2.0 t) z) (/.f64 2.0 t)) z)))
  (-.f64 (*.f64 (/.f64 2.0 t) (/.f64 2.0 t)) (*.f64 (/.f64 (/.f64 2.0 t) z) (/.f64 (/.f64 2.0 t) z)))
  (-.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))
  (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))
  (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))
  (exp.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))
  (exp.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))
  (exp.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))
  (log.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))
  (exp.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))))
  (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))
  (pow.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)) 3)
  (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))
  (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))
  (+.f64 (*.f64 x (+.f64 (*.f64 2.0 2.0) (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 2.0 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)))))) (*.f64 y (-.f64 (pow.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 3) (pow.f64 2.0 3))))
  (*.f64 y (+.f64 (*.f64 2.0 2.0) (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 2.0 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))))))
  (*.f64 (+.f64 2.0 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (+.f64 x (*.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0) y)))
  (*.f64 y (+.f64 2.0 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))))
  (+.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0) 3))
  (+.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0) (-.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0) (/.f64 x y))))
  (-.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))
  (-.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))
  (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))
  (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))
  (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))
  (+.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (/.f64 x y))
  (+.f64 (/.f64 2.0 t) (/.f64 x y))
  (+.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (/.f64 x y))
  (/.f64 (/.f64 2.0 t) z)
  (/.f64 (/.f64 2.0 t) z)
  (/.f64 (/.f64 2.0 t) z)
  (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))
  (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))
  (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))
  (+.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (/.f64 x y))
  (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 x y)) 2.0)
  (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 x y)) 2.0)
1.902 * * * [progress]: adding candidates to table
2.013 * * [progress]: iteration 3 / 4
2.013 * * * [progress]: picking best candidate
2.028 * * * * [pick]: Picked  #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)))>
2.028 * * * [progress]: localizing error
2.038 * * * [progress]: generating rewritten candidates
2.038 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 2)
2.048 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
2.065 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 2 1)
2.073 * * * [progress]: generating series expansions
2.073 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 2)
2.074 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) t) in (z t) around 0
2.074 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) t) in t
2.074 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in t
2.074 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.074 * [taylor]: Taking taylor expansion of z in t
2.074 * [taylor]: Taking taylor expansion of 1.0 in t
2.074 * [taylor]: Taking taylor expansion of t in t
2.074 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) t) in z
2.074 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.074 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.074 * [taylor]: Taking taylor expansion of z in z
2.074 * [taylor]: Taking taylor expansion of 1.0 in z
2.074 * [taylor]: Taking taylor expansion of t in z
2.074 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) t) in z
2.074 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.074 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.074 * [taylor]: Taking taylor expansion of z in z
2.074 * [taylor]: Taking taylor expansion of 1.0 in z
2.074 * [taylor]: Taking taylor expansion of t in z
2.074 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.074 * [taylor]: Taking taylor expansion of t in t
2.074 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.074 * [taylor]: Taking taylor expansion of 1.0 in t
2.074 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.074 * [taylor]: Taking taylor expansion of t in t
2.075 * [taylor]: Taking taylor expansion of 0 in t
2.075 * [taylor]: Taking taylor expansion of 0 in t
2.076 * [approximate]: Taking taylor expansion of (* t (+ z 1.0)) in (z t) around 0
2.076 * [taylor]: Taking taylor expansion of (* t (+ z 1.0)) in t
2.076 * [taylor]: Taking taylor expansion of t in t
2.076 * [taylor]: Taking taylor expansion of (+ z 1.0) in t
2.076 * [taylor]: Taking taylor expansion of z in t
2.076 * [taylor]: Taking taylor expansion of 1.0 in t
2.076 * [taylor]: Taking taylor expansion of (* t (+ z 1.0)) in z
2.076 * [taylor]: Taking taylor expansion of t in z
2.076 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
2.076 * [taylor]: Taking taylor expansion of z in z
2.076 * [taylor]: Taking taylor expansion of 1.0 in z
2.076 * [taylor]: Taking taylor expansion of (* t (+ z 1.0)) in z
2.076 * [taylor]: Taking taylor expansion of t in z
2.076 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
2.076 * [taylor]: Taking taylor expansion of z in z
2.076 * [taylor]: Taking taylor expansion of 1.0 in z
2.076 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.076 * [taylor]: Taking taylor expansion of 1.0 in t
2.076 * [taylor]: Taking taylor expansion of t in t
2.076 * [taylor]: Taking taylor expansion of t in t
2.076 * [taylor]: Taking taylor expansion of 0 in t
2.076 * [taylor]: Taking taylor expansion of 0 in t
2.077 * [taylor]: Taking taylor expansion of 0 in t
2.077 * [approximate]: Taking taylor expansion of (* -1 (* t (- 1.0 z))) in (z t) around 0
2.077 * [taylor]: Taking taylor expansion of (* -1 (* t (- 1.0 z))) in t
2.077 * [taylor]: Taking taylor expansion of -1 in t
2.077 * [taylor]: Taking taylor expansion of (* t (- 1.0 z)) in t
2.077 * [taylor]: Taking taylor expansion of t in t
2.077 * [taylor]: Taking taylor expansion of (- 1.0 z) in t
2.077 * [taylor]: Taking taylor expansion of 1.0 in t
2.077 * [taylor]: Taking taylor expansion of z in t
2.077 * [taylor]: Taking taylor expansion of (* -1 (* t (- 1.0 z))) in z
2.077 * [taylor]: Taking taylor expansion of -1 in z
2.077 * [taylor]: Taking taylor expansion of (* t (- 1.0 z)) in z
2.077 * [taylor]: Taking taylor expansion of t in z
2.077 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
2.077 * [taylor]: Taking taylor expansion of 1.0 in z
2.077 * [taylor]: Taking taylor expansion of z in z
2.077 * [taylor]: Taking taylor expansion of (* -1 (* t (- 1.0 z))) in z
2.077 * [taylor]: Taking taylor expansion of -1 in z
2.077 * [taylor]: Taking taylor expansion of (* t (- 1.0 z)) in z
2.077 * [taylor]: Taking taylor expansion of t in z
2.077 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
2.077 * [taylor]: Taking taylor expansion of 1.0 in z
2.077 * [taylor]: Taking taylor expansion of z in z
2.077 * [taylor]: Taking taylor expansion of (* -1.0 t) in t
2.077 * [taylor]: Taking taylor expansion of -1.0 in t
2.077 * [taylor]: Taking taylor expansion of t in t
2.077 * [taylor]: Taking taylor expansion of t in t
2.078 * [taylor]: Taking taylor expansion of 0 in t
2.078 * [taylor]: Taking taylor expansion of 0 in t
2.078 * [taylor]: Taking taylor expansion of 0 in t
2.078 * * * * [progress]: [ 2 / 3 ] generating series at (2)
2.079 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in (x y z t) around 0
2.079 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in t
2.079 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in t
2.079 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
2.079 * [taylor]: Taking taylor expansion of 2.0 in t
2.079 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.079 * [taylor]: Taking taylor expansion of (* t z) in t
2.079 * [taylor]: Taking taylor expansion of t in t
2.079 * [taylor]: Taking taylor expansion of z in t
2.079 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in t
2.079 * [taylor]: Taking taylor expansion of (/ x y) in t
2.079 * [taylor]: Taking taylor expansion of x in t
2.079 * [taylor]: Taking taylor expansion of y in t
2.079 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
2.079 * [taylor]: Taking taylor expansion of 2.0 in t
2.079 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.079 * [taylor]: Taking taylor expansion of t in t
2.079 * [taylor]: Taking taylor expansion of 2.0 in t
2.079 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in z
2.079 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in z
2.079 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z
2.079 * [taylor]: Taking taylor expansion of 2.0 in z
2.079 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.079 * [taylor]: Taking taylor expansion of (* t z) in z
2.079 * [taylor]: Taking taylor expansion of t in z
2.079 * [taylor]: Taking taylor expansion of z in z
2.079 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in z
2.079 * [taylor]: Taking taylor expansion of (/ x y) in z
2.079 * [taylor]: Taking taylor expansion of x in z
2.079 * [taylor]: Taking taylor expansion of y in z
2.079 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z
2.079 * [taylor]: Taking taylor expansion of 2.0 in z
2.080 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.080 * [taylor]: Taking taylor expansion of t in z
2.080 * [taylor]: Taking taylor expansion of 2.0 in z
2.080 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in y
2.080 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in y
2.080 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in y
2.080 * [taylor]: Taking taylor expansion of 2.0 in y
2.080 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.080 * [taylor]: Taking taylor expansion of (* t z) in y
2.080 * [taylor]: Taking taylor expansion of t in y
2.080 * [taylor]: Taking taylor expansion of z in y
2.080 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in y
2.080 * [taylor]: Taking taylor expansion of (/ x y) in y
2.080 * [taylor]: Taking taylor expansion of x in y
2.080 * [taylor]: Taking taylor expansion of y in y
2.080 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in y
2.080 * [taylor]: Taking taylor expansion of 2.0 in y
2.080 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.080 * [taylor]: Taking taylor expansion of t in y
2.080 * [taylor]: Taking taylor expansion of 2.0 in y
2.080 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in x
2.080 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in x
2.080 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in x
2.080 * [taylor]: Taking taylor expansion of 2.0 in x
2.080 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.080 * [taylor]: Taking taylor expansion of (* t z) in x
2.080 * [taylor]: Taking taylor expansion of t in x
2.080 * [taylor]: Taking taylor expansion of z in x
2.080 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in x
2.080 * [taylor]: Taking taylor expansion of (/ x y) in x
2.080 * [taylor]: Taking taylor expansion of x in x
2.080 * [taylor]: Taking taylor expansion of y in x
2.080 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in x
2.080 * [taylor]: Taking taylor expansion of 2.0 in x
2.080 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.080 * [taylor]: Taking taylor expansion of t in x
2.080 * [taylor]: Taking taylor expansion of 2.0 in x
2.080 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in x
2.080 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in x
2.080 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in x
2.080 * [taylor]: Taking taylor expansion of 2.0 in x
2.080 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.080 * [taylor]: Taking taylor expansion of (* t z) in x
2.080 * [taylor]: Taking taylor expansion of t in x
2.081 * [taylor]: Taking taylor expansion of z in x
2.081 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in x
2.081 * [taylor]: Taking taylor expansion of (/ x y) in x
2.081 * [taylor]: Taking taylor expansion of x in x
2.081 * [taylor]: Taking taylor expansion of y in x
2.081 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in x
2.081 * [taylor]: Taking taylor expansion of 2.0 in x
2.081 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.081 * [taylor]: Taking taylor expansion of t in x
2.081 * [taylor]: Taking taylor expansion of 2.0 in x
2.081 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in y
2.081 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in y
2.081 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in y
2.081 * [taylor]: Taking taylor expansion of 2.0 in y
2.081 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.081 * [taylor]: Taking taylor expansion of (* t z) in y
2.081 * [taylor]: Taking taylor expansion of t in y
2.081 * [taylor]: Taking taylor expansion of z in y
2.081 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in y
2.081 * [taylor]: Taking taylor expansion of 2.0 in y
2.081 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.081 * [taylor]: Taking taylor expansion of t in y
2.081 * [taylor]: Taking taylor expansion of 2.0 in y
2.082 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.082 * [taylor]: Taking taylor expansion of y in y
2.082 * [taylor]: Taking taylor expansion of 1 in z
2.082 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in z
2.082 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in z
2.082 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z
2.082 * [taylor]: Taking taylor expansion of 2.0 in z
2.082 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.082 * [taylor]: Taking taylor expansion of (* t z) in z
2.082 * [taylor]: Taking taylor expansion of t in z
2.082 * [taylor]: Taking taylor expansion of z in z
2.082 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z
2.082 * [taylor]: Taking taylor expansion of 2.0 in z
2.082 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.082 * [taylor]: Taking taylor expansion of t in z
2.082 * [taylor]: Taking taylor expansion of 2.0 in z
2.083 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
2.083 * [taylor]: Taking taylor expansion of 2.0 in t
2.083 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.083 * [taylor]: Taking taylor expansion of t in t
2.083 * [taylor]: Taking taylor expansion of 0 in y
2.083 * [taylor]: Taking taylor expansion of 0 in z
2.084 * [taylor]: Taking taylor expansion of 0 in z
2.084 * [taylor]: Taking taylor expansion of 1 in t
2.084 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 t)) 2.0) in t
2.084 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
2.084 * [taylor]: Taking taylor expansion of 2.0 in t
2.084 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.084 * [taylor]: Taking taylor expansion of t in t
2.084 * [taylor]: Taking taylor expansion of 2.0 in t
2.085 * [taylor]: Taking taylor expansion of 0 in y
2.085 * [taylor]: Taking taylor expansion of 0 in z
2.085 * [taylor]: Taking taylor expansion of 0 in z
2.085 * [taylor]: Taking taylor expansion of 0 in z
2.085 * [taylor]: Taking taylor expansion of 0 in t
2.085 * [taylor]: Taking taylor expansion of 0 in t
2.085 * [taylor]: Taking taylor expansion of 0 in t
2.086 * [taylor]: Taking taylor expansion of 0 in t
2.086 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in (x y z t) around 0
2.086 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in t
2.086 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in t
2.086 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
2.086 * [taylor]: Taking taylor expansion of 2.0 in t
2.086 * [taylor]: Taking taylor expansion of (* t z) in t
2.086 * [taylor]: Taking taylor expansion of t in t
2.086 * [taylor]: Taking taylor expansion of z in t
2.086 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in t
2.086 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
2.087 * [taylor]: Taking taylor expansion of 2.0 in t
2.087 * [taylor]: Taking taylor expansion of t in t
2.087 * [taylor]: Taking taylor expansion of (/ y x) in t
2.087 * [taylor]: Taking taylor expansion of y in t
2.087 * [taylor]: Taking taylor expansion of x in t
2.087 * [taylor]: Taking taylor expansion of 2.0 in t
2.087 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in z
2.087 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in z
2.087 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
2.087 * [taylor]: Taking taylor expansion of 2.0 in z
2.087 * [taylor]: Taking taylor expansion of (* t z) in z
2.087 * [taylor]: Taking taylor expansion of t in z
2.087 * [taylor]: Taking taylor expansion of z in z
2.087 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in z
2.087 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
2.087 * [taylor]: Taking taylor expansion of 2.0 in z
2.087 * [taylor]: Taking taylor expansion of t in z
2.087 * [taylor]: Taking taylor expansion of (/ y x) in z
2.087 * [taylor]: Taking taylor expansion of y in z
2.087 * [taylor]: Taking taylor expansion of x in z
2.087 * [taylor]: Taking taylor expansion of 2.0 in z
2.087 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in y
2.087 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in y
2.087 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
2.087 * [taylor]: Taking taylor expansion of 2.0 in y
2.087 * [taylor]: Taking taylor expansion of (* t z) in y
2.087 * [taylor]: Taking taylor expansion of t in y
2.087 * [taylor]: Taking taylor expansion of z in y
2.087 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in y
2.087 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
2.087 * [taylor]: Taking taylor expansion of 2.0 in y
2.087 * [taylor]: Taking taylor expansion of t in y
2.087 * [taylor]: Taking taylor expansion of (/ y x) in y
2.087 * [taylor]: Taking taylor expansion of y in y
2.087 * [taylor]: Taking taylor expansion of x in y
2.087 * [taylor]: Taking taylor expansion of 2.0 in y
2.087 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in x
2.087 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in x
2.087 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
2.087 * [taylor]: Taking taylor expansion of 2.0 in x
2.087 * [taylor]: Taking taylor expansion of (* t z) in x
2.087 * [taylor]: Taking taylor expansion of t in x
2.087 * [taylor]: Taking taylor expansion of z in x
2.087 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in x
2.087 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
2.087 * [taylor]: Taking taylor expansion of 2.0 in x
2.087 * [taylor]: Taking taylor expansion of t in x
2.087 * [taylor]: Taking taylor expansion of (/ y x) in x
2.087 * [taylor]: Taking taylor expansion of y in x
2.087 * [taylor]: Taking taylor expansion of x in x
2.087 * [taylor]: Taking taylor expansion of 2.0 in x
2.087 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in x
2.088 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in x
2.088 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
2.088 * [taylor]: Taking taylor expansion of 2.0 in x
2.088 * [taylor]: Taking taylor expansion of (* t z) in x
2.088 * [taylor]: Taking taylor expansion of t in x
2.088 * [taylor]: Taking taylor expansion of z in x
2.088 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in x
2.088 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
2.088 * [taylor]: Taking taylor expansion of 2.0 in x
2.088 * [taylor]: Taking taylor expansion of t in x
2.088 * [taylor]: Taking taylor expansion of (/ y x) in x
2.088 * [taylor]: Taking taylor expansion of y in x
2.088 * [taylor]: Taking taylor expansion of x in x
2.088 * [taylor]: Taking taylor expansion of 2.0 in x
2.088 * [taylor]: Taking taylor expansion of y in y
2.088 * [taylor]: Taking taylor expansion of 0 in z
2.088 * [taylor]: Taking taylor expansion of 0 in t
2.088 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in y
2.088 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in y
2.088 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
2.088 * [taylor]: Taking taylor expansion of 2.0 in y
2.088 * [taylor]: Taking taylor expansion of (* t z) in y
2.088 * [taylor]: Taking taylor expansion of t in y
2.088 * [taylor]: Taking taylor expansion of z in y
2.088 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
2.088 * [taylor]: Taking taylor expansion of 2.0 in y
2.088 * [taylor]: Taking taylor expansion of t in y
2.088 * [taylor]: Taking taylor expansion of 2.0 in y
2.089 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in z
2.089 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in z
2.089 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
2.089 * [taylor]: Taking taylor expansion of 2.0 in z
2.089 * [taylor]: Taking taylor expansion of (* t z) in z
2.089 * [taylor]: Taking taylor expansion of t in z
2.089 * [taylor]: Taking taylor expansion of z in z
2.089 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
2.089 * [taylor]: Taking taylor expansion of 2.0 in z
2.089 * [taylor]: Taking taylor expansion of t in z
2.089 * [taylor]: Taking taylor expansion of 2.0 in z
2.089 * [taylor]: Taking taylor expansion of (- (* 2.0 t) 2.0) in t
2.089 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
2.089 * [taylor]: Taking taylor expansion of 2.0 in t
2.089 * [taylor]: Taking taylor expansion of t in t
2.089 * [taylor]: Taking taylor expansion of 2.0 in t
2.089 * [taylor]: Taking taylor expansion of 1 in z
2.089 * [taylor]: Taking taylor expansion of 1 in t
2.089 * [taylor]: Taking taylor expansion of 0 in t
2.089 * [taylor]: Taking taylor expansion of 0 in y
2.089 * [taylor]: Taking taylor expansion of 0 in z
2.089 * [taylor]: Taking taylor expansion of 0 in t
2.090 * [taylor]: Taking taylor expansion of 0 in z
2.090 * [taylor]: Taking taylor expansion of 0 in t
2.090 * [taylor]: Taking taylor expansion of 0 in z
2.090 * [taylor]: Taking taylor expansion of 0 in t
2.090 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
2.090 * [taylor]: Taking taylor expansion of 2.0 in t
2.090 * [taylor]: Taking taylor expansion of t in t
2.090 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in (x y z t) around 0
2.090 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in t
2.090 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in t
2.090 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
2.091 * [taylor]: Taking taylor expansion of 2.0 in t
2.091 * [taylor]: Taking taylor expansion of (* t z) in t
2.091 * [taylor]: Taking taylor expansion of t in t
2.091 * [taylor]: Taking taylor expansion of z in t
2.091 * [taylor]: Taking taylor expansion of (/ y x) in t
2.091 * [taylor]: Taking taylor expansion of y in t
2.091 * [taylor]: Taking taylor expansion of x in t
2.091 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
2.091 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
2.091 * [taylor]: Taking taylor expansion of 2.0 in t
2.091 * [taylor]: Taking taylor expansion of t in t
2.091 * [taylor]: Taking taylor expansion of 2.0 in t
2.091 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in z
2.091 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in z
2.091 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
2.091 * [taylor]: Taking taylor expansion of 2.0 in z
2.091 * [taylor]: Taking taylor expansion of (* t z) in z
2.091 * [taylor]: Taking taylor expansion of t in z
2.091 * [taylor]: Taking taylor expansion of z in z
2.091 * [taylor]: Taking taylor expansion of (/ y x) in z
2.091 * [taylor]: Taking taylor expansion of y in z
2.091 * [taylor]: Taking taylor expansion of x in z
2.091 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in z
2.091 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
2.091 * [taylor]: Taking taylor expansion of 2.0 in z
2.091 * [taylor]: Taking taylor expansion of t in z
2.091 * [taylor]: Taking taylor expansion of 2.0 in z
2.091 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in y
2.091 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in y
2.091 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
2.091 * [taylor]: Taking taylor expansion of 2.0 in y
2.091 * [taylor]: Taking taylor expansion of (* t z) in y
2.091 * [taylor]: Taking taylor expansion of t in y
2.091 * [taylor]: Taking taylor expansion of z in y
2.091 * [taylor]: Taking taylor expansion of (/ y x) in y
2.091 * [taylor]: Taking taylor expansion of y in y
2.091 * [taylor]: Taking taylor expansion of x in y
2.091 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in y
2.091 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
2.091 * [taylor]: Taking taylor expansion of 2.0 in y
2.091 * [taylor]: Taking taylor expansion of t in y
2.091 * [taylor]: Taking taylor expansion of 2.0 in y
2.091 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in x
2.091 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in x
2.091 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
2.091 * [taylor]: Taking taylor expansion of 2.0 in x
2.091 * [taylor]: Taking taylor expansion of (* t z) in x
2.091 * [taylor]: Taking taylor expansion of t in x
2.091 * [taylor]: Taking taylor expansion of z in x
2.091 * [taylor]: Taking taylor expansion of (/ y x) in x
2.091 * [taylor]: Taking taylor expansion of y in x
2.091 * [taylor]: Taking taylor expansion of x in x
2.091 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in x
2.092 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
2.092 * [taylor]: Taking taylor expansion of 2.0 in x
2.092 * [taylor]: Taking taylor expansion of t in x
2.092 * [taylor]: Taking taylor expansion of 2.0 in x
2.092 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in x
2.092 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in x
2.092 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
2.092 * [taylor]: Taking taylor expansion of 2.0 in x
2.092 * [taylor]: Taking taylor expansion of (* t z) in x
2.092 * [taylor]: Taking taylor expansion of t in x
2.092 * [taylor]: Taking taylor expansion of z in x
2.092 * [taylor]: Taking taylor expansion of (/ y x) in x
2.092 * [taylor]: Taking taylor expansion of y in x
2.092 * [taylor]: Taking taylor expansion of x in x
2.092 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in x
2.092 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
2.092 * [taylor]: Taking taylor expansion of 2.0 in x
2.092 * [taylor]: Taking taylor expansion of t in x
2.092 * [taylor]: Taking taylor expansion of 2.0 in x
2.092 * [taylor]: Taking taylor expansion of y in y
2.092 * [taylor]: Taking taylor expansion of 0 in z
2.092 * [taylor]: Taking taylor expansion of 0 in t
2.092 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in y
2.092 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
2.092 * [taylor]: Taking taylor expansion of 2.0 in y
2.092 * [taylor]: Taking taylor expansion of (* t z) in y
2.092 * [taylor]: Taking taylor expansion of t in y
2.092 * [taylor]: Taking taylor expansion of z in y
2.092 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in y
2.092 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
2.092 * [taylor]: Taking taylor expansion of 2.0 in y
2.092 * [taylor]: Taking taylor expansion of t in y
2.093 * [taylor]: Taking taylor expansion of 2.0 in y
2.093 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in z
2.093 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
2.093 * [taylor]: Taking taylor expansion of 2.0 in z
2.093 * [taylor]: Taking taylor expansion of (* t z) in z
2.093 * [taylor]: Taking taylor expansion of t in z
2.093 * [taylor]: Taking taylor expansion of z in z
2.093 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in z
2.093 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
2.093 * [taylor]: Taking taylor expansion of 2.0 in z
2.093 * [taylor]: Taking taylor expansion of t in z
2.093 * [taylor]: Taking taylor expansion of 2.0 in z
2.093 * [taylor]: Taking taylor expansion of (neg (+ (* 2.0 t) 2.0)) in t
2.093 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
2.093 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
2.093 * [taylor]: Taking taylor expansion of 2.0 in t
2.093 * [taylor]: Taking taylor expansion of t in t
2.093 * [taylor]: Taking taylor expansion of 2.0 in t
2.093 * [taylor]: Taking taylor expansion of 1 in z
2.093 * [taylor]: Taking taylor expansion of 1 in t
2.093 * [taylor]: Taking taylor expansion of 0 in t
2.094 * [taylor]: Taking taylor expansion of 0 in y
2.094 * [taylor]: Taking taylor expansion of 0 in z
2.094 * [taylor]: Taking taylor expansion of 0 in t
2.094 * [taylor]: Taking taylor expansion of 0 in z
2.094 * [taylor]: Taking taylor expansion of 0 in t
2.094 * [taylor]: Taking taylor expansion of 0 in z
2.094 * [taylor]: Taking taylor expansion of 0 in t
2.094 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
2.094 * [taylor]: Taking taylor expansion of 2.0 in t
2.094 * [taylor]: Taking taylor expansion of t in t
2.094 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 2 1)
2.094 * [approximate]: Taking taylor expansion of (+ (/ 1 z) 1.0) in (z) around 0
2.094 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.094 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.094 * [taylor]: Taking taylor expansion of z in z
2.094 * [taylor]: Taking taylor expansion of 1.0 in z
2.095 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.095 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.095 * [taylor]: Taking taylor expansion of z in z
2.095 * [taylor]: Taking taylor expansion of 1.0 in z
2.095 * [approximate]: Taking taylor expansion of (+ z 1.0) in (z) around 0
2.096 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
2.096 * [taylor]: Taking taylor expansion of z in z
2.096 * [taylor]: Taking taylor expansion of 1.0 in z
2.096 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
2.096 * [taylor]: Taking taylor expansion of z in z
2.096 * [taylor]: Taking taylor expansion of 1.0 in z
2.096 * [approximate]: Taking taylor expansion of (- 1.0 z) in (z) around 0
2.096 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
2.096 * [taylor]: Taking taylor expansion of 1.0 in z
2.096 * [taylor]: Taking taylor expansion of z in z
2.096 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
2.096 * [taylor]: Taking taylor expansion of 1.0 in z
2.096 * [taylor]: Taking taylor expansion of z in z
2.096 * * * [progress]: simplifying candidates
2.097 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (log.f64 (+.f64 (/.f64 1 z) 1.0)) (log.f64 t))
  (log.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t))
  (exp.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t))
  (/.f64 (*.f64 (*.f64 (+.f64 (/.f64 1 z) 1.0) (+.f64 (/.f64 1 z) 1.0)) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (*.f64 t t) t))
  (*.f64 (cbrt.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) (cbrt.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)))
  (cbrt.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t))
  (*.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) (/.f64 (+.f64 (/.f64 1 z) 1.0) t))
  (sqrt.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t))
  (sqrt.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t))
  (neg.f64 (+.f64 (/.f64 1 z) 1.0))
  (neg.f64 t)
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) (cbrt.f64 (+.f64 (/.f64 1 z) 1.0))) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) (cbrt.f64 t))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) (cbrt.f64 (+.f64 (/.f64 1 z) 1.0))) (sqrt.f64 t))
  (/.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) (sqrt.f64 t))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) (cbrt.f64 (+.f64 (/.f64 1 z) 1.0))) 1)
  (/.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) t)
  (/.f64 (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)) (cbrt.f64 t))
  (/.f64 (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)) (sqrt.f64 t))
  (/.f64 (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)) (sqrt.f64 t))
  (/.f64 (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)) 1)
  (/.f64 (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)) t)
  (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (+.f64 (/.f64 1 z) 1.0) (cbrt.f64 t))
  (/.f64 1 (sqrt.f64 t))
  (/.f64 (+.f64 (/.f64 1 z) 1.0) (sqrt.f64 t))
  (/.f64 1 1)
  (/.f64 (+.f64 (/.f64 1 z) 1.0) t)
  (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (+.f64 (/.f64 1 z) 1.0) (cbrt.f64 t))
  (/.f64 1 (sqrt.f64 t))
  (/.f64 (+.f64 (/.f64 1 z) 1.0) (sqrt.f64 t))
  (/.f64 1 1)
  (/.f64 (+.f64 (/.f64 1 z) 1.0) t)
  (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (+.f64 (/.f64 1 z) 1.0) (cbrt.f64 t))
  (/.f64 1 (sqrt.f64 t))
  (/.f64 (+.f64 (/.f64 1 z) 1.0) (sqrt.f64 t))
  (/.f64 1 1)
  (/.f64 (+.f64 (/.f64 1 z) 1.0) t)
  (/.f64 1 t)
  (/.f64 t (+.f64 (/.f64 1 z) 1.0))
  (/.f64 (+.f64 (/.f64 1 z) 1.0) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (+.f64 (/.f64 1 z) 1.0) (sqrt.f64 t))
  (/.f64 (+.f64 (/.f64 1 z) 1.0) 1)
  (/.f64 t (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)))
  (/.f64 t (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)))
  (/.f64 t (+.f64 (/.f64 1 z) 1.0))
  (/.f64 t (+.f64 (/.f64 1 z) 1.0))
  (/.f64 t (+.f64 (/.f64 1 z) 1.0))
  (*.f64 t (+.f64 (*.f64 (/.f64 1 z) (/.f64 1 z)) (-.f64 (*.f64 1.0 1.0) (*.f64 (/.f64 1 z) 1.0))))
  (*.f64 t (-.f64 (/.f64 1 z) 1.0))
  (*.f64 (exp.f64 (/.f64 x y)) (/.f64 (exp.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t))) (exp.f64 2.0)))
  (*.f64 (exp.f64 (/.f64 x y)) (exp.f64 (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)))
  (log.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)))
  (exp.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0))) (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0))))
  (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)))
  (*.f64 (*.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)) (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0))) (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)))
  (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)))
  (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)))
  (+.f64 (*.f64 x (+.f64 (*.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t))) (+.f64 (*.f64 2.0 2.0) (*.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)))) (*.f64 y (-.f64 (pow.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 3) (pow.f64 2.0 3))))
  (*.f64 y (+.f64 (*.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t))) (+.f64 (*.f64 2.0 2.0) (*.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0))))
  (+.f64 (*.f64 x (+.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)) (*.f64 y (-.f64 (*.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t))) (*.f64 2.0 2.0))))
  (*.f64 y (+.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0))
  (+.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0) 3))
  (+.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (-.f64 (*.f64 (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)) (*.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0))))
  (-.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)))
  (-.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0))
  (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0))
  (+.f64 (/.f64 x y) (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)))
  (+.f64 (/.f64 x y) (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)))
  (*.f64 (exp.f64 (/.f64 1 z)) (exp.f64 1.0))
  (log.f64 (+.f64 (/.f64 1 z) 1.0))
  (exp.f64 (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)))
  (cbrt.f64 (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (*.f64 (+.f64 (/.f64 1 z) 1.0) (+.f64 (/.f64 1 z) 1.0)) (+.f64 (/.f64 1 z) 1.0))
  (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))
  (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))
  (+.f64 (pow.f64 (/.f64 1 z) 3) (pow.f64 1.0 3))
  (+.f64 (*.f64 (/.f64 1 z) (/.f64 1 z)) (-.f64 (*.f64 1.0 1.0) (*.f64 (/.f64 1 z) 1.0)))
  (-.f64 (*.f64 (/.f64 1 z) (/.f64 1 z)) (*.f64 1.0 1.0))
  (-.f64 (/.f64 1 z) 1.0)
  (+.f64 (/.f64 1 z) 1.0)
  (+.f64 (/.f64 1 z) 1.0)
  (+.f64 (/.f64 1 (*.f64 t z)) (*.f64 1.0 (/.f64 1 t)))
  (+.f64 (/.f64 1 (*.f64 t z)) (*.f64 1.0 (/.f64 1 t)))
  (+.f64 (/.f64 1 (*.f64 t z)) (*.f64 1.0 (/.f64 1 t)))
  (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (+.f64 (/.f64 x y) (*.f64 2.0 (/.f64 1 t))))
  (-.f64 (/.f64 x y) 2.0)
  (-.f64 (/.f64 x y) 2.0)
  (+.f64 (/.f64 1 z) 1.0)
  (+.f64 (/.f64 1 z) 1.0)
  (+.f64 (/.f64 1 z) 1.0)
2.131 * * [simplify]: iteration  0 :  5299  enodes  (cost  993 )
2.135 * [simplify]: Simplified to:
   (log.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t))
  (log.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t))
  (exp.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t))
  (pow.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 3)
  (*.f64 (cbrt.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) (cbrt.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)))
  (cbrt.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t))
  (pow.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 3)
  (sqrt.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t))
  (sqrt.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t))
  (-.f64 (/.f64 -1 z) 1.0)
  (neg.f64 t)
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) (cbrt.f64 (+.f64 (/.f64 1 z) 1.0))) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) (cbrt.f64 t))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) (cbrt.f64 (+.f64 (/.f64 1 z) 1.0))) (sqrt.f64 t))
  (/.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) (sqrt.f64 t))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)))
  (/.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) t)
  (/.f64 (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)) (cbrt.f64 t))
  (/.f64 (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)) (sqrt.f64 t))
  (/.f64 (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)) (sqrt.f64 t))
  (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))
  (/.f64 (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)) t)
  (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (+.f64 (/.f64 1 z) 1.0) (cbrt.f64 t))
  (/.f64 1 (sqrt.f64 t))
  (/.f64 (+.f64 (/.f64 1 z) 1.0) (sqrt.f64 t))
  1
  (/.f64 (+.f64 (/.f64 1 z) 1.0) t)
  (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (+.f64 (/.f64 1 z) 1.0) (cbrt.f64 t))
  (/.f64 1 (sqrt.f64 t))
  (/.f64 (+.f64 (/.f64 1 z) 1.0) (sqrt.f64 t))
  1
  (/.f64 (+.f64 (/.f64 1 z) 1.0) t)
  (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (+.f64 (/.f64 1 z) 1.0) (cbrt.f64 t))
  (/.f64 1 (sqrt.f64 t))
  (/.f64 (+.f64 (/.f64 1 z) 1.0) (sqrt.f64 t))
  1
  (/.f64 (+.f64 (/.f64 1 z) 1.0) t)
  (/.f64 1 t)
  (/.f64 t (+.f64 (/.f64 1 z) 1.0))
  (/.f64 (+.f64 (/.f64 1 z) 1.0) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (+.f64 (/.f64 1 z) 1.0) (sqrt.f64 t))
  (+.f64 (/.f64 1 z) 1.0)
  (/.f64 t (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)))
  (/.f64 t (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)))
  (/.f64 t (+.f64 (/.f64 1 z) 1.0))
  (/.f64 t (+.f64 (/.f64 1 z) 1.0))
  (/.f64 t (+.f64 (/.f64 1 z) 1.0))
  (*.f64 t (+.f64 (/.f64 (/.f64 1 z) z) (-.f64 (*.f64 1.0 1.0) (/.f64 1.0 z))))
  (*.f64 t (-.f64 (/.f64 1 z) 1.0))
  (exp.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0) 2.0)))
  (exp.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0) 2.0)))
  (log.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0) 2.0)))
  (exp.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0) 2.0)))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0) 2.0))) (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0) 2.0))))
  (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0) 2.0)))
  (pow.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0) 2.0)) 3)
  (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0) 2.0)))
  (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0) 2.0)))
  (+.f64 (*.f64 x (*.f64 2.0 (+.f64 2.0 (*.f64 (+.f64 2.0 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0)) (/.f64 (+.f64 (/.f64 1 z) 1.0) t))))) (*.f64 y (-.f64 (pow.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0) 3) (pow.f64 2.0 3))))
  (*.f64 y (*.f64 2.0 (+.f64 2.0 (*.f64 (+.f64 2.0 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0)) (/.f64 (+.f64 (/.f64 1 z) 1.0) t)))))
  (*.f64 (+.f64 2.0 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0)) (+.f64 x (*.f64 y (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0) 2.0))))
  (*.f64 y (+.f64 2.0 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0)))
  (+.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0) 2.0) 3))
  (+.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0) 2.0) (-.f64 (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0) 2.0) (/.f64 x y))))
  (-.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0) 2.0) (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0) 2.0)))
  (-.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0) 2.0))
  (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0) 2.0))
  (+.f64 (/.f64 x y) (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0))
  (+.f64 (/.f64 x y) (*.f64 (/.f64 (+.f64 (/.f64 1 z) 1.0) t) 2.0))
  (exp.f64 (+.f64 (/.f64 1 z) 1.0))
  (log.f64 (+.f64 (/.f64 1 z) 1.0))
  (exp.f64 (+.f64 (/.f64 1 z) 1.0))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)))
  (cbrt.f64 (+.f64 (/.f64 1 z) 1.0))
  (pow.f64 (+.f64 (/.f64 1 z) 1.0) 3)
  (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))
  (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))
  (+.f64 (pow.f64 (/.f64 1 z) 3) (pow.f64 1.0 3))
  (+.f64 (/.f64 (/.f64 1 z) z) (-.f64 (*.f64 1.0 1.0) (/.f64 1.0 z)))
  (-.f64 (/.f64 (/.f64 1 z) z) (*.f64 1.0 1.0))
  (-.f64 (/.f64 1 z) 1.0)
  (+.f64 (/.f64 1 z) 1.0)
  (+.f64 (/.f64 1 z) 1.0)
  (+.f64 (/.f64 1 (*.f64 z t)) (/.f64 1.0 t))
  (+.f64 (/.f64 1 (*.f64 z t)) (/.f64 1.0 t))
  (+.f64 (/.f64 1 (*.f64 z t)) (/.f64 1.0 t))
  (+.f64 (/.f64 2.0 (*.f64 z t)) (+.f64 (/.f64 x y) (/.f64 2.0 t)))
  (-.f64 (/.f64 x y) 2.0)
  (-.f64 (/.f64 x y) 2.0)
  (+.f64 (/.f64 1 z) 1.0)
  (+.f64 (/.f64 1 z) 1.0)
  (+.f64 (/.f64 1 z) 1.0)
2.136 * * * [progress]: adding candidates to table
2.205 * * [progress]: iteration 4 / 4
2.205 * * * [progress]: picking best candidate
2.214 * * * * [pick]: Picked  #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (*.f64 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 (cbrt.f64 t)) (cbrt.f64 z)))) 2.0)))>
2.214 * * * [progress]: localizing error
2.234 * * * [progress]: generating rewritten candidates
2.234 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2 1 2)
2.235 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1 2 2)
2.239 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1 2 1)
2.240 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2 2)
2.242 * * * [progress]: generating series expansions
2.242 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2 1 2)
2.242 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
2.242 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
2.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
2.243 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
2.243 * [taylor]: Taking taylor expansion of 1/3 in t
2.243 * [taylor]: Taking taylor expansion of (log t) in t
2.243 * [taylor]: Taking taylor expansion of t in t
2.243 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
2.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
2.243 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
2.243 * [taylor]: Taking taylor expansion of 1/3 in t
2.243 * [taylor]: Taking taylor expansion of (log t) in t
2.243 * [taylor]: Taking taylor expansion of t in t
2.247 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
2.247 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.247 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.247 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.247 * [taylor]: Taking taylor expansion of 1/3 in t
2.247 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.247 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.247 * [taylor]: Taking taylor expansion of t in t
2.248 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.248 * [taylor]: Taking taylor expansion of 1/3 in t
2.248 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.248 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.248 * [taylor]: Taking taylor expansion of t in t
2.253 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0
2.253 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
2.253 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.253 * [taylor]: Taking taylor expansion of -1 in t
2.253 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.253 * [taylor]: Taking taylor expansion of 1/3 in t
2.253 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.253 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.253 * [taylor]: Taking taylor expansion of t in t
2.253 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
2.253 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.253 * [taylor]: Taking taylor expansion of -1 in t
2.253 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.253 * [taylor]: Taking taylor expansion of 1/3 in t
2.253 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.253 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.253 * [taylor]: Taking taylor expansion of t in t
2.260 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1 2 2)
2.260 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
2.260 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
2.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
2.260 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
2.260 * [taylor]: Taking taylor expansion of 1/3 in t
2.261 * [taylor]: Taking taylor expansion of (log t) in t
2.261 * [taylor]: Taking taylor expansion of t in t
2.261 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
2.261 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
2.261 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
2.261 * [taylor]: Taking taylor expansion of 1/3 in t
2.261 * [taylor]: Taking taylor expansion of (log t) in t
2.261 * [taylor]: Taking taylor expansion of t in t
2.265 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
2.265 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.265 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.265 * [taylor]: Taking taylor expansion of 1/3 in t
2.265 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.265 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.265 * [taylor]: Taking taylor expansion of t in t
2.265 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.265 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.265 * [taylor]: Taking taylor expansion of 1/3 in t
2.265 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.266 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.266 * [taylor]: Taking taylor expansion of t in t
2.270 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0
2.271 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
2.271 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.271 * [taylor]: Taking taylor expansion of -1 in t
2.271 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.271 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.271 * [taylor]: Taking taylor expansion of 1/3 in t
2.271 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.271 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.271 * [taylor]: Taking taylor expansion of t in t
2.271 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
2.271 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.271 * [taylor]: Taking taylor expansion of -1 in t
2.271 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.271 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.271 * [taylor]: Taking taylor expansion of 1/3 in t
2.271 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.271 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.271 * [taylor]: Taking taylor expansion of t in t
2.278 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1 2 1)
2.278 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
2.278 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
2.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
2.278 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
2.278 * [taylor]: Taking taylor expansion of 1/3 in t
2.278 * [taylor]: Taking taylor expansion of (log t) in t
2.278 * [taylor]: Taking taylor expansion of t in t
2.279 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
2.279 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
2.279 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
2.279 * [taylor]: Taking taylor expansion of 1/3 in t
2.279 * [taylor]: Taking taylor expansion of (log t) in t
2.279 * [taylor]: Taking taylor expansion of t in t
2.283 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
2.283 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.283 * [taylor]: Taking taylor expansion of 1/3 in t
2.283 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.283 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.283 * [taylor]: Taking taylor expansion of t in t
2.283 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.283 * [taylor]: Taking taylor expansion of 1/3 in t
2.283 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.283 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.283 * [taylor]: Taking taylor expansion of t in t
2.288 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0
2.288 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
2.288 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.288 * [taylor]: Taking taylor expansion of -1 in t
2.289 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.289 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.289 * [taylor]: Taking taylor expansion of 1/3 in t
2.289 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.289 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.289 * [taylor]: Taking taylor expansion of t in t
2.289 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
2.289 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.289 * [taylor]: Taking taylor expansion of -1 in t
2.289 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.289 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.289 * [taylor]: Taking taylor expansion of 1/3 in t
2.289 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.289 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.289 * [taylor]: Taking taylor expansion of t in t
2.296 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2 2)
2.296 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
2.296 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
2.297 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
2.297 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
2.297 * [taylor]: Taking taylor expansion of 1/3 in z
2.297 * [taylor]: Taking taylor expansion of (log z) in z
2.297 * [taylor]: Taking taylor expansion of z in z
2.297 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
2.297 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
2.297 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
2.297 * [taylor]: Taking taylor expansion of 1/3 in z
2.297 * [taylor]: Taking taylor expansion of (log z) in z
2.297 * [taylor]: Taking taylor expansion of z in z
2.301 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
2.301 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.301 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.301 * [taylor]: Taking taylor expansion of 1/3 in z
2.301 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.301 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.301 * [taylor]: Taking taylor expansion of z in z
2.301 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.301 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.302 * [taylor]: Taking taylor expansion of 1/3 in z
2.302 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.302 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.302 * [taylor]: Taking taylor expansion of z in z
2.307 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
2.307 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
2.307 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.307 * [taylor]: Taking taylor expansion of -1 in z
2.307 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.307 * [taylor]: Taking taylor expansion of 1/3 in z
2.307 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.307 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.307 * [taylor]: Taking taylor expansion of z in z
2.307 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
2.307 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.307 * [taylor]: Taking taylor expansion of -1 in z
2.307 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.307 * [taylor]: Taking taylor expansion of 1/3 in z
2.307 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.307 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.307 * [taylor]: Taking taylor expansion of z in z
2.314 * * * [progress]: simplifying candidates
2.315 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log.f64 (cbrt.f64 t))
  (exp.f64 (cbrt.f64 t))
  (cbrt.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (cbrt.f64 (cbrt.f64 t))
  (cbrt.f64 (sqrt.f64 t))
  (cbrt.f64 (sqrt.f64 t))
  (cbrt.f64 1)
  (cbrt.f64 t)
  (*.f64 (cbrt.f64 (cbrt.f64 t)) (cbrt.f64 (cbrt.f64 t)))
  (cbrt.f64 (cbrt.f64 t))
  (*.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) (cbrt.f64 t))
  (sqrt.f64 (cbrt.f64 t))
  (sqrt.f64 (cbrt.f64 t))
  (log.f64 (cbrt.f64 t))
  (exp.f64 (cbrt.f64 t))
  (cbrt.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (cbrt.f64 (cbrt.f64 t))
  (cbrt.f64 (sqrt.f64 t))
  (cbrt.f64 (sqrt.f64 t))
  (cbrt.f64 1)
  (cbrt.f64 t)
  (*.f64 (cbrt.f64 (cbrt.f64 t)) (cbrt.f64 (cbrt.f64 t)))
  (cbrt.f64 (cbrt.f64 t))
  (*.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) (cbrt.f64 t))
  (sqrt.f64 (cbrt.f64 t))
  (sqrt.f64 (cbrt.f64 t))
  (log.f64 (cbrt.f64 t))
  (exp.f64 (cbrt.f64 t))
  (cbrt.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (cbrt.f64 (cbrt.f64 t))
  (cbrt.f64 (sqrt.f64 t))
  (cbrt.f64 (sqrt.f64 t))
  (cbrt.f64 1)
  (cbrt.f64 t)
  (*.f64 (cbrt.f64 (cbrt.f64 t)) (cbrt.f64 (cbrt.f64 t)))
  (cbrt.f64 (cbrt.f64 t))
  (*.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) (cbrt.f64 t))
  (sqrt.f64 (cbrt.f64 t))
  (sqrt.f64 (cbrt.f64 t))
  (log.f64 (cbrt.f64 z))
  (exp.f64 (cbrt.f64 z))
  (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 1)
  (cbrt.f64 z)
  (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (cbrt.f64 z))
  (*.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (cbrt.f64 z))
  (sqrt.f64 (cbrt.f64 z))
  (sqrt.f64 (cbrt.f64 z))
  (pow.f64 t 1/3)
  (pow.f64 (/.f64 1 t) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 t) 1/3) (cbrt.f64 -1))
  (pow.f64 t 1/3)
  (pow.f64 (/.f64 1 t) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 t) 1/3) (cbrt.f64 -1))
  (pow.f64 t 1/3)
  (pow.f64 (/.f64 1 t) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 t) 1/3) (cbrt.f64 -1))
  (pow.f64 z 1/3)
  (pow.f64 (/.f64 1 z) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 z) 1/3) (cbrt.f64 -1))
2.354 * * [simplify]: iteration  0 :  4923  enodes  (cost  212 )
2.354 * * [simplify]: iteration  1 :  4923  enodes  (cost  212 )
2.356 * [simplify]: Simplified to:
   (log.f64 (cbrt.f64 t))
  (exp.f64 (cbrt.f64 t))
  (cbrt.f64 (pow.f64 t 2/3))
  (cbrt.f64 (cbrt.f64 t))
  (cbrt.f64 (sqrt.f64 t))
  (cbrt.f64 (sqrt.f64 t))
  (cbrt.f64 1)
  (cbrt.f64 t)
  (*.f64 (cbrt.f64 (cbrt.f64 t)) (cbrt.f64 (cbrt.f64 t)))
  (cbrt.f64 (cbrt.f64 t))
  t
  (sqrt.f64 (cbrt.f64 t))
  (sqrt.f64 (cbrt.f64 t))
  (log.f64 (cbrt.f64 t))
  (exp.f64 (cbrt.f64 t))
  (cbrt.f64 (pow.f64 t 2/3))
  (cbrt.f64 (cbrt.f64 t))
  (cbrt.f64 (sqrt.f64 t))
  (cbrt.f64 (sqrt.f64 t))
  (cbrt.f64 1)
  (cbrt.f64 t)
  (*.f64 (cbrt.f64 (cbrt.f64 t)) (cbrt.f64 (cbrt.f64 t)))
  (cbrt.f64 (cbrt.f64 t))
  t
  (sqrt.f64 (cbrt.f64 t))
  (sqrt.f64 (cbrt.f64 t))
  (log.f64 (cbrt.f64 t))
  (exp.f64 (cbrt.f64 t))
  (cbrt.f64 (pow.f64 t 2/3))
  (cbrt.f64 (cbrt.f64 t))
  (cbrt.f64 (sqrt.f64 t))
  (cbrt.f64 (sqrt.f64 t))
  (cbrt.f64 1)
  (cbrt.f64 t)
  (*.f64 (cbrt.f64 (cbrt.f64 t)) (cbrt.f64 (cbrt.f64 t)))
  (cbrt.f64 (cbrt.f64 t))
  t
  (sqrt.f64 (cbrt.f64 t))
  (sqrt.f64 (cbrt.f64 t))
  (log.f64 (cbrt.f64 z))
  (exp.f64 (cbrt.f64 z))
  (cbrt.f64 (pow.f64 z 2/3))
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 1)
  (cbrt.f64 z)
  (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (cbrt.f64 z))
  z
  (sqrt.f64 (cbrt.f64 z))
  (sqrt.f64 (cbrt.f64 z))
  (cbrt.f64 t)
  (pow.f64 (/.f64 1 t) -1/3)
  (*.f64 (cbrt.f64 (neg.f64 t)) (cbrt.f64 -1))
  (cbrt.f64 t)
  (pow.f64 (/.f64 1 t) -1/3)
  (*.f64 (cbrt.f64 (neg.f64 t)) (cbrt.f64 -1))
  (cbrt.f64 t)
  (pow.f64 (/.f64 1 t) -1/3)
  (*.f64 (cbrt.f64 (neg.f64 t)) (cbrt.f64 -1))
  (cbrt.f64 z)
  (pow.f64 (/.f64 1 z) -1/3)
  (*.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 z)))
2.356 * * * [progress]: adding candidates to table
2.417 * [progress]: [Phase 3 of 3] Extracting.
2.418 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+.f64 (/.f64 x y) (/.f64 (+.f64 2.0 (*.f64 (*.f64 z 2.0) (-.f64 1.0 t))) (*.f64 t z))))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (*.f64 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 (cbrt.f64 t)) (cbrt.f64 z)))) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (*.f64 (*.f64 (/.f64 2.0 t) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)))>)
2.419 * * * [regime-changes]: Trying 7 branch expressions: ((/.f64 (+.f64 2.0 (*.f64 (*.f64 z 2.0) (-.f64 1.0 t))) (*.f64 t z)) (/.f64 x y) (+.f64 (/.f64 x y) (/.f64 (+.f64 2.0 (*.f64 (*.f64 z 2.0) (-.f64 1.0 t))) (*.f64 t z))) t z y x)
2.419 * * * * [regimes]: Trying to branch on (/.f64 (+.f64 2.0 (*.f64 (*.f64 z 2.0) (-.f64 1.0 t))) (*.f64 t z)) from (#<alt (λ (x y z t) (+.f64 (/.f64 x y) (/.f64 (+.f64 2.0 (*.f64 (*.f64 z 2.0) (-.f64 1.0 t))) (*.f64 t z))))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (*.f64 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 (cbrt.f64 t)) (cbrt.f64 z)))) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (*.f64 (*.f64 (/.f64 2.0 t) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)))>)
2.478 * * * * [regimes]: Trying to branch on (/.f64 x y) from (#<alt (λ (x y z t) (+.f64 (/.f64 x y) (/.f64 (+.f64 2.0 (*.f64 (*.f64 z 2.0) (-.f64 1.0 t))) (*.f64 t z))))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (*.f64 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 (cbrt.f64 t)) (cbrt.f64 z)))) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (*.f64 (*.f64 (/.f64 2.0 t) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)))>)
2.535 * * * * [regimes]: Trying to branch on (+.f64 (/.f64 x y) (/.f64 (+.f64 2.0 (*.f64 (*.f64 z 2.0) (-.f64 1.0 t))) (*.f64 t z))) from (#<alt (λ (x y z t) (+.f64 (/.f64 x y) (/.f64 (+.f64 2.0 (*.f64 (*.f64 z 2.0) (-.f64 1.0 t))) (*.f64 t z))))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (*.f64 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 (cbrt.f64 t)) (cbrt.f64 z)))) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (*.f64 (*.f64 (/.f64 2.0 t) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)))>)
2.596 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+.f64 (/.f64 x y) (/.f64 (+.f64 2.0 (*.f64 (*.f64 z 2.0) (-.f64 1.0 t))) (*.f64 t z))))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (*.f64 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 (cbrt.f64 t)) (cbrt.f64 z)))) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (*.f64 (*.f64 (/.f64 2.0 t) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)))>)
2.655 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+.f64 (/.f64 x y) (/.f64 (+.f64 2.0 (*.f64 (*.f64 z 2.0) (-.f64 1.0 t))) (*.f64 t z))))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (*.f64 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 (cbrt.f64 t)) (cbrt.f64 z)))) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (*.f64 (*.f64 (/.f64 2.0 t) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)))>)
2.714 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+.f64 (/.f64 x y) (/.f64 (+.f64 2.0 (*.f64 (*.f64 z 2.0) (-.f64 1.0 t))) (*.f64 t z))))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (*.f64 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 (cbrt.f64 t)) (cbrt.f64 z)))) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (*.f64 (*.f64 (/.f64 2.0 t) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)))>)
2.772 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+.f64 (/.f64 x y) (/.f64 (+.f64 2.0 (*.f64 (*.f64 z 2.0) (-.f64 1.0 t))) (*.f64 t z))))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (*.f64 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 (cbrt.f64 t)) (cbrt.f64 z)))) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (*.f64 (*.f64 (/.f64 2.0 t) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) 2.0)))> #<alt (λ (x y z t) (+.f64 (/.f64 x y) (-.f64 (*.f64 2.0 (/.f64 (+.f64 (/.f64 1 z) 1.0) t)) 2.0)))>)
2.832 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
2.833 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))
2.834 * * [simplify]: iteration  0 :  23  enodes  (cost  15 )
2.834 * * [simplify]: iteration  1 :  23  enodes  (cost  15 )
2.834 * [simplify]: Simplified to:
   (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))
4.235 * [regime-testing]: End program error score: 0.07630532844283608
4.332 * [regime-testing]: Target error score: 0.09113030187710551