20.876 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.456 * * * [progress]: [2/2] Setting up program.
0.463 * [progress]: [Phase 2 of 3] Improving.
0.464 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ t 1.0)) (sqrt t)))
0.466 * * [simplify]: iteration  0 :  51  enodes  (cost  19 )
0.468 * * [simplify]: iteration  1 :  156  enodes  (cost  19 )
0.472 * * [simplify]: iteration  2 :  907  enodes  (cost  19 )
0.492 * * [simplify]: iteration  3 :  5001  enodes  (cost  19 )
0.493 * [simplify]: Simplified to:
   (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ t 1.0)) (sqrt t)))
0.493 * * [progress]: iteration 1 / 4
0.493 * * * [progress]: picking best candidate
0.500 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ t 1.0)) (sqrt t))))>
0.500 * * * [progress]: localizing error
0.526 * * * [progress]: generating rewritten candidates
0.526 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
0.567 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.610 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.650 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.693 * * * [progress]: generating series expansions
0.693 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
0.693 * [approximate]: Taking taylor expansion of (- (sqrt (+ z 1.0)) (sqrt z)) in (z) around 0
0.693 * [taylor]: Taking taylor expansion of (- (sqrt (+ z 1.0)) (sqrt z)) in z
0.693 * [taylor]: Taking taylor expansion of (sqrt (+ z 1.0)) in z
0.693 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
0.693 * [taylor]: Taking taylor expansion of z in z
0.693 * [taylor]: Taking taylor expansion of 1.0 in z
0.695 * [taylor]: Taking taylor expansion of (sqrt z) in z
0.695 * [taylor]: Taking taylor expansion of z in z
0.697 * [taylor]: Taking taylor expansion of (- (sqrt (+ z 1.0)) (sqrt z)) in z
0.697 * [taylor]: Taking taylor expansion of (sqrt (+ z 1.0)) in z
0.697 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
0.697 * [taylor]: Taking taylor expansion of z in z
0.697 * [taylor]: Taking taylor expansion of 1.0 in z
0.698 * [taylor]: Taking taylor expansion of (sqrt z) in z
0.698 * [taylor]: Taking taylor expansion of z in z
0.720 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt (/ 1 z))) in (z) around 0
0.720 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt (/ 1 z))) in z
0.720 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z
0.720 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
0.720 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.720 * [taylor]: Taking taylor expansion of z in z
0.720 * [taylor]: Taking taylor expansion of 1.0 in z
0.722 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
0.722 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.722 * [taylor]: Taking taylor expansion of z in z
0.723 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt (/ 1 z))) in z
0.723 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z
0.723 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
0.723 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.723 * [taylor]: Taking taylor expansion of z in z
0.723 * [taylor]: Taking taylor expansion of 1.0 in z
0.725 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
0.725 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.725 * [taylor]: Taking taylor expansion of z in z
0.740 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z))) in (z) around 0
0.740 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z))) in z
0.740 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z
0.740 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
0.740 * [taylor]: Taking taylor expansion of 1.0 in z
0.740 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.740 * [taylor]: Taking taylor expansion of z in z
0.741 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
0.741 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.741 * [taylor]: Taking taylor expansion of -1 in z
0.741 * [taylor]: Taking taylor expansion of z in z
0.743 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z))) in z
0.743 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z
0.743 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
0.743 * [taylor]: Taking taylor expansion of 1.0 in z
0.743 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.743 * [taylor]: Taking taylor expansion of z in z
0.744 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
0.744 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.744 * [taylor]: Taking taylor expansion of -1 in z
0.745 * [taylor]: Taking taylor expansion of z in z
0.759 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.759 * [approximate]: Taking taylor expansion of (- (sqrt (+ t 1.0)) (sqrt t)) in (t) around 0
0.759 * [taylor]: Taking taylor expansion of (- (sqrt (+ t 1.0)) (sqrt t)) in t
0.759 * [taylor]: Taking taylor expansion of (sqrt (+ t 1.0)) in t
0.759 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
0.759 * [taylor]: Taking taylor expansion of t in t
0.759 * [taylor]: Taking taylor expansion of 1.0 in t
0.761 * [taylor]: Taking taylor expansion of (sqrt t) in t
0.761 * [taylor]: Taking taylor expansion of t in t
0.762 * [taylor]: Taking taylor expansion of (- (sqrt (+ t 1.0)) (sqrt t)) in t
0.762 * [taylor]: Taking taylor expansion of (sqrt (+ t 1.0)) in t
0.762 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
0.762 * [taylor]: Taking taylor expansion of t in t
0.762 * [taylor]: Taking taylor expansion of 1.0 in t
0.763 * [taylor]: Taking taylor expansion of (sqrt t) in t
0.763 * [taylor]: Taking taylor expansion of t in t
0.782 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t))) in (t) around 0
0.782 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t))) in t
0.782 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 t) 1.0)) in t
0.782 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
0.782 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.782 * [taylor]: Taking taylor expansion of t in t
0.783 * [taylor]: Taking taylor expansion of 1.0 in t
0.784 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
0.784 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.784 * [taylor]: Taking taylor expansion of t in t
0.785 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t))) in t
0.785 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 t) 1.0)) in t
0.785 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
0.785 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.785 * [taylor]: Taking taylor expansion of t in t
0.785 * [taylor]: Taking taylor expansion of 1.0 in t
0.786 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
0.786 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.786 * [taylor]: Taking taylor expansion of t in t
0.804 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 t))) (sqrt (/ -1 t))) in (t) around 0
0.804 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 t))) (sqrt (/ -1 t))) in t
0.804 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 t))) in t
0.804 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
0.804 * [taylor]: Taking taylor expansion of 1.0 in t
0.804 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.804 * [taylor]: Taking taylor expansion of t in t
0.806 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
0.806 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.806 * [taylor]: Taking taylor expansion of -1 in t
0.806 * [taylor]: Taking taylor expansion of t in t
0.807 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 t))) (sqrt (/ -1 t))) in t
0.807 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 t))) in t
0.807 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
0.807 * [taylor]: Taking taylor expansion of 1.0 in t
0.807 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.807 * [taylor]: Taking taylor expansion of t in t
0.808 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
0.808 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.808 * [taylor]: Taking taylor expansion of -1 in t
0.809 * [taylor]: Taking taylor expansion of t in t
0.823 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
0.823 * [approximate]: Taking taylor expansion of (- (sqrt (+ y 1.0)) (sqrt y)) in (y) around 0
0.823 * [taylor]: Taking taylor expansion of (- (sqrt (+ y 1.0)) (sqrt y)) in y
0.823 * [taylor]: Taking taylor expansion of (sqrt (+ y 1.0)) in y
0.823 * [taylor]: Taking taylor expansion of (+ y 1.0) in y
0.823 * [taylor]: Taking taylor expansion of y in y
0.823 * [taylor]: Taking taylor expansion of 1.0 in y
0.825 * [taylor]: Taking taylor expansion of (sqrt y) in y
0.825 * [taylor]: Taking taylor expansion of y in y
0.826 * [taylor]: Taking taylor expansion of (- (sqrt (+ y 1.0)) (sqrt y)) in y
0.826 * [taylor]: Taking taylor expansion of (sqrt (+ y 1.0)) in y
0.826 * [taylor]: Taking taylor expansion of (+ y 1.0) in y
0.826 * [taylor]: Taking taylor expansion of y in y
0.826 * [taylor]: Taking taylor expansion of 1.0 in y
0.828 * [taylor]: Taking taylor expansion of (sqrt y) in y
0.828 * [taylor]: Taking taylor expansion of y in y
0.846 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 y) 1.0)) (sqrt (/ 1 y))) in (y) around 0
0.846 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 y) 1.0)) (sqrt (/ 1 y))) in y
0.846 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in y
0.846 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
0.846 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.846 * [taylor]: Taking taylor expansion of y in y
0.846 * [taylor]: Taking taylor expansion of 1.0 in y
0.847 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
0.847 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.847 * [taylor]: Taking taylor expansion of y in y
0.849 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 y) 1.0)) (sqrt (/ 1 y))) in y
0.849 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in y
0.849 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
0.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.849 * [taylor]: Taking taylor expansion of y in y
0.849 * [taylor]: Taking taylor expansion of 1.0 in y
0.850 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
0.850 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.850 * [taylor]: Taking taylor expansion of y in y
0.865 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 y))) (sqrt (/ -1 y))) in (y) around 0
0.865 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 y))) (sqrt (/ -1 y))) in y
0.865 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in y
0.865 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
0.865 * [taylor]: Taking taylor expansion of 1.0 in y
0.865 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.865 * [taylor]: Taking taylor expansion of y in y
0.866 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
0.866 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.866 * [taylor]: Taking taylor expansion of -1 in y
0.866 * [taylor]: Taking taylor expansion of y in y
0.868 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 y))) (sqrt (/ -1 y))) in y
0.868 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in y
0.868 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
0.868 * [taylor]: Taking taylor expansion of 1.0 in y
0.868 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.868 * [taylor]: Taking taylor expansion of y in y
0.869 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
0.869 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.869 * [taylor]: Taking taylor expansion of -1 in y
0.869 * [taylor]: Taking taylor expansion of y in y
0.888 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
0.888 * [approximate]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in (x) around 0
0.888 * [taylor]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in x
0.888 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
0.888 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.888 * [taylor]: Taking taylor expansion of x in x
0.888 * [taylor]: Taking taylor expansion of 1.0 in x
0.890 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.890 * [taylor]: Taking taylor expansion of x in x
0.891 * [taylor]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in x
0.891 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
0.891 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.891 * [taylor]: Taking taylor expansion of x in x
0.891 * [taylor]: Taking taylor expansion of 1.0 in x
0.892 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.892 * [taylor]: Taking taylor expansion of x in x
0.911 * [approximate]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in (x) around 0
0.911 * [taylor]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in x
0.911 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
0.911 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.911 * [taylor]: Taking taylor expansion of 1.0 in x
0.911 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.911 * [taylor]: Taking taylor expansion of x in x
0.912 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.912 * [taylor]: Taking taylor expansion of x in x
0.913 * [taylor]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in x
0.914 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
0.914 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.914 * [taylor]: Taking taylor expansion of 1.0 in x
0.914 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.914 * [taylor]: Taking taylor expansion of x in x
0.915 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.915 * [taylor]: Taking taylor expansion of x in x
0.929 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in (x) around 0
0.929 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x
0.929 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
0.930 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.930 * [taylor]: Taking taylor expansion of 1.0 in x
0.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.930 * [taylor]: Taking taylor expansion of x in x
0.931 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.931 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.931 * [taylor]: Taking taylor expansion of -1 in x
0.931 * [taylor]: Taking taylor expansion of x in x
0.932 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x
0.932 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
0.932 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.932 * [taylor]: Taking taylor expansion of 1.0 in x
0.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.932 * [taylor]: Taking taylor expansion of x in x
0.934 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.934 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.934 * [taylor]: Taking taylor expansion of -1 in x
0.934 * [taylor]: Taking taylor expansion of x in x
0.949 * * * [progress]: simplifying candidates
0.951 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (sqrt (+ z 1.0))) (exp (sqrt z)))
  (log (- (sqrt (+ z 1.0)) (sqrt z)))
  (exp (- (sqrt (+ z 1.0)) (sqrt z)))
  (* (cbrt (- (sqrt (+ z 1.0)) (sqrt z))) (cbrt (- (sqrt (+ z 1.0)) (sqrt z))))
  (cbrt (- (sqrt (+ z 1.0)) (sqrt z)))
  (* (* (- (sqrt (+ z 1.0)) (sqrt z)) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ z 1.0)) (sqrt z)))
  (sqrt (- (sqrt (+ z 1.0)) (sqrt z)))
  (sqrt (- (sqrt (+ z 1.0)) (sqrt z)))
  (- (pow (sqrt (+ z 1.0)) 3) (pow (sqrt z) 3))
  (+ (* (sqrt (+ z 1.0)) (sqrt (+ z 1.0))) (+ (* (sqrt z) (sqrt z)) (* (sqrt (+ z 1.0)) (sqrt z))))
  (- (sqrt z))
  (- (* (sqrt (+ z 1.0)) (sqrt (+ z 1.0))) (* (sqrt z) (sqrt z)))
  (+ (sqrt (+ z 1.0)) (sqrt z))
  (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z)))
  (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z)))
  (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z)))
  (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z)))
  (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z)))
  (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z)))
  (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z)))
  (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z)))
  (- (sqrt (+ z 1.0)) (sqrt z))
  (- (sqrt (+ z 1.0)) (sqrt z))
  (- (sqrt (+ z 1.0)) (sqrt z))
  (- (sqrt z))
  (/ (exp (sqrt (+ t 1.0))) (exp (sqrt t)))
  (log (- (sqrt (+ t 1.0)) (sqrt t)))
  (exp (- (sqrt (+ t 1.0)) (sqrt t)))
  (* (cbrt (- (sqrt (+ t 1.0)) (sqrt t))) (cbrt (- (sqrt (+ t 1.0)) (sqrt t))))
  (cbrt (- (sqrt (+ t 1.0)) (sqrt t)))
  (* (* (- (sqrt (+ t 1.0)) (sqrt t)) (- (sqrt (+ t 1.0)) (sqrt t))) (- (sqrt (+ t 1.0)) (sqrt t)))
  (sqrt (- (sqrt (+ t 1.0)) (sqrt t)))
  (sqrt (- (sqrt (+ t 1.0)) (sqrt t)))
  (- (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3))
  (+ (* (sqrt (+ t 1.0)) (sqrt (+ t 1.0))) (+ (* (sqrt t) (sqrt t)) (* (sqrt (+ t 1.0)) (sqrt t))))
  (- (sqrt t))
  (- (* (sqrt (+ t 1.0)) (sqrt (+ t 1.0))) (* (sqrt t) (sqrt t)))
  (+ (sqrt (+ t 1.0)) (sqrt t))
  (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (+ t 1.0)) (sqrt t))
  (- (sqrt (+ t 1.0)) (sqrt t))
  (- (sqrt (+ t 1.0)) (sqrt t))
  (- (sqrt t))
  (/ (exp (sqrt (+ y 1.0))) (exp (sqrt y)))
  (log (- (sqrt (+ y 1.0)) (sqrt y)))
  (exp (- (sqrt (+ y 1.0)) (sqrt y)))
  (* (cbrt (- (sqrt (+ y 1.0)) (sqrt y))) (cbrt (- (sqrt (+ y 1.0)) (sqrt y))))
  (cbrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (* (* (- (sqrt (+ y 1.0)) (sqrt y)) (- (sqrt (+ y 1.0)) (sqrt y))) (- (sqrt (+ y 1.0)) (sqrt y)))
  (sqrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (sqrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (- (pow (sqrt (+ y 1.0)) 3) (pow (sqrt y) 3))
  (+ (* (sqrt (+ y 1.0)) (sqrt (+ y 1.0))) (+ (* (sqrt y) (sqrt y)) (* (sqrt (+ y 1.0)) (sqrt y))))
  (- (sqrt y))
  (- (* (sqrt (+ y 1.0)) (sqrt (+ y 1.0))) (* (sqrt y) (sqrt y)))
  (+ (sqrt (+ y 1.0)) (sqrt y))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt y))
  (/ (exp (sqrt (+ x 1.0))) (exp (sqrt x)))
  (log (- (sqrt (+ x 1.0)) (sqrt x)))
  (exp (- (sqrt (+ x 1.0)) (sqrt x)))
  (* (cbrt (- (sqrt (+ x 1.0)) (sqrt x))) (cbrt (- (sqrt (+ x 1.0)) (sqrt x))))
  (cbrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (* (* (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (- (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3))
  (+ (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (+ (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1.0)) (sqrt x))))
  (- (sqrt x))
  (- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (sqrt x) (sqrt x)))
  (+ (sqrt (+ x 1.0)) (sqrt x))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt x))
  (- (+ (* 1/2 (/ z (sqrt 1.0))) (sqrt 1.0)) (+ (* 1/8 (/ (pow z 2) (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (pow z 2)) (- (* +nan.0 z))))))
  (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0)))))
  (- (+ (sqrt 1.0) (* 1/2 (/ t (sqrt 1.0)))) (+ (* +nan.0 t) (- (* 1/8 (/ (pow t 2) (pow (sqrt 1.0) 3))) (* +nan.0 (pow t 2)))))
  (- (+ (* +nan.0 (/ 1 t)) (- (+ (* +nan.0 (/ 1 (pow t 2))) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 t)) (- (+ (* +nan.0 (/ 1 (pow t 2))) (- +nan.0)))))
  (- (+ (* 1/2 (/ y (sqrt 1.0))) (sqrt 1.0)) (+ (* +nan.0 (pow y 2)) (- (* 1/8 (/ (pow y 2) (pow (sqrt 1.0) 3))) (* +nan.0 y))))
  (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))
  (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (+ (* +nan.0 (pow x 2)) (- (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* +nan.0 x))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
0.957 * * [simplify]: iteration  0 :  472  enodes  (cost  702 )
0.965 * * [simplify]: iteration  1 :  1521  enodes  (cost  635 )
0.991 * * [simplify]: iteration  2 :  5001  enodes  (cost  620 )
0.995 * [simplify]: Simplified to:
   (exp (- (sqrt (+ z 1.0)) (sqrt z)))
  (log (- (sqrt (+ z 1.0)) (sqrt z)))
  (exp (- (sqrt (+ z 1.0)) (sqrt z)))
  (* (cbrt (- (sqrt (+ z 1.0)) (sqrt z))) (cbrt (- (sqrt (+ z 1.0)) (sqrt z))))
  (cbrt (- (sqrt (+ z 1.0)) (sqrt z)))
  (pow (- (sqrt (+ z 1.0)) (sqrt z)) 3)
  (sqrt (- (sqrt (+ z 1.0)) (sqrt z)))
  (sqrt (- (sqrt (+ z 1.0)) (sqrt z)))
  (- (pow (sqrt (+ z 1.0)) 3) (pow (sqrt z) 3))
  (+ (+ (+ z 1.0) z) (* (sqrt (+ z 1.0)) (sqrt z)))
  (- (pow z 1/2))
  (+ 1.0 0)
  (+ (sqrt (+ z 1.0)) (sqrt z))
  (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z)))
  (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z)))
  (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z)))
  (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z)))
  (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z)))
  (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z)))
  (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z)))
  (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z)))
  (- (sqrt (+ z 1.0)) (sqrt z))
  (- (sqrt (+ z 1.0)) (sqrt z))
  (- (sqrt (+ z 1.0)) (sqrt z))
  (- (pow z 1/2))
  (exp (- (sqrt (+ t 1.0)) (sqrt t)))
  (log (- (sqrt (+ t 1.0)) (sqrt t)))
  (exp (- (sqrt (+ t 1.0)) (sqrt t)))
  (* (cbrt (- (sqrt (+ t 1.0)) (sqrt t))) (cbrt (- (sqrt (+ t 1.0)) (sqrt t))))
  (cbrt (- (sqrt (+ t 1.0)) (sqrt t)))
  (pow (- (sqrt (+ t 1.0)) (sqrt t)) 3)
  (sqrt (- (sqrt (+ t 1.0)) (sqrt t)))
  (sqrt (- (sqrt (+ t 1.0)) (sqrt t)))
  (- (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3))
  (+ (+ (+ t 1.0) t) (* (sqrt (+ t 1.0)) (sqrt t)))
  (- (pow t 1/2))
  (+ 1.0 0)
  (+ (sqrt (+ t 1.0)) (sqrt t))
  (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (+ t 1.0)) (sqrt t))
  (- (sqrt (+ t 1.0)) (sqrt t))
  (- (sqrt (+ t 1.0)) (sqrt t))
  (- (pow t 1/2))
  (exp (- (sqrt (+ y 1.0)) (sqrt y)))
  (log (- (sqrt (+ y 1.0)) (sqrt y)))
  (exp (- (sqrt (+ y 1.0)) (sqrt y)))
  (* (cbrt (- (sqrt (+ y 1.0)) (sqrt y))) (cbrt (- (sqrt (+ y 1.0)) (sqrt y))))
  (cbrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (pow (- (sqrt (+ y 1.0)) (sqrt y)) 3)
  (sqrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (sqrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (- (pow (sqrt (+ y 1.0)) 3) (pow (sqrt y) 3))
  (+ (+ (+ y 1.0) y) (* (sqrt (+ y 1.0)) (sqrt y)))
  (- (pow y 1/2))
  (+ 1.0 0)
  (+ (sqrt (+ y 1.0)) (sqrt y))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (pow y 1/2))
  (exp (- (sqrt (+ x 1.0)) (sqrt x)))
  (log (- (sqrt (+ x 1.0)) (sqrt x)))
  (exp (- (sqrt (+ x 1.0)) (sqrt x)))
  (* (cbrt (- (sqrt (+ x 1.0)) (sqrt x))) (cbrt (- (sqrt (+ x 1.0)) (sqrt x))))
  (cbrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (pow (- (sqrt (+ x 1.0)) (sqrt x)) 3)
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (- (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3))
  (+ (+ (+ x 1.0) x) (* (sqrt (+ x 1.0)) (sqrt x)))
  (- (pow x 1/2))
  (+ 1.0 0)
  (+ (sqrt (+ x 1.0)) (sqrt x))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (pow x 1/2))
  (+ (- (+ (* 1/2 (/ z (sqrt 1.0))) (sqrt 1.0)) (* 1/8 (/ (pow z 2) (pow (sqrt 1.0) 3)))) (* +nan.0 (- (pow z 2) z)))
  (- (+ (/ (- +nan.0) z) (/ +nan.0 (pow z 2))) +nan.0)
  (- (+ (/ (- +nan.0) z) (/ +nan.0 (pow z 2))) +nan.0)
  (+ (- (+ (sqrt 1.0) (* 1/2 (/ t (sqrt 1.0)))) (* 1/8 (/ (pow t 2) (pow (sqrt 1.0) 3)))) (* +nan.0 (- (pow t 2) t)))
  (- (+ (/ (- +nan.0) t) (/ +nan.0 (pow t 2))) +nan.0)
  (- (+ (/ (- +nan.0) t) (/ +nan.0 (pow t 2))) +nan.0)
  (+ (- (+ (* 1/2 (/ y (sqrt 1.0))) (sqrt 1.0)) (* 1/8 (/ (pow y 2) (pow (sqrt 1.0) 3)))) (* y (- +nan.0 (* +nan.0 y))))
  (- (+ (/ (- +nan.0) y) (/ +nan.0 (pow y 2))) +nan.0)
  (- (+ (/ (- +nan.0) y) (/ +nan.0 (pow y 2))) +nan.0)
  (+ (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3)))) (* x (- +nan.0 (* +nan.0 x))))
  (- (+ (/ (- +nan.0) (pow x 2)) (/ +nan.0 x)) +nan.0)
  (- (+ (/ (- +nan.0) (pow x 2)) (/ +nan.0 x)) +nan.0)
0.995 * * * [progress]: adding candidates to table
1.522 * * [progress]: iteration 2 / 4
1.522 * * * [progress]: picking best candidate
1.570 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))>
1.570 * * * [progress]: localizing error
1.595 * * * [progress]: generating rewritten candidates
1.595 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.637 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
1.676 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.716 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1.775 * * * [progress]: generating series expansions
1.775 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.775 * [approximate]: Taking taylor expansion of (- (sqrt (+ t 1.0)) (sqrt t)) in (t) around 0
1.775 * [taylor]: Taking taylor expansion of (- (sqrt (+ t 1.0)) (sqrt t)) in t
1.775 * [taylor]: Taking taylor expansion of (sqrt (+ t 1.0)) in t
1.775 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
1.775 * [taylor]: Taking taylor expansion of t in t
1.775 * [taylor]: Taking taylor expansion of 1.0 in t
1.777 * [taylor]: Taking taylor expansion of (sqrt t) in t
1.777 * [taylor]: Taking taylor expansion of t in t
1.779 * [taylor]: Taking taylor expansion of (- (sqrt (+ t 1.0)) (sqrt t)) in t
1.779 * [taylor]: Taking taylor expansion of (sqrt (+ t 1.0)) in t
1.779 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
1.779 * [taylor]: Taking taylor expansion of t in t
1.779 * [taylor]: Taking taylor expansion of 1.0 in t
1.780 * [taylor]: Taking taylor expansion of (sqrt t) in t
1.780 * [taylor]: Taking taylor expansion of t in t
1.799 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t))) in (t) around 0
1.799 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t))) in t
1.799 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 t) 1.0)) in t
1.799 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.799 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.799 * [taylor]: Taking taylor expansion of t in t
1.799 * [taylor]: Taking taylor expansion of 1.0 in t
1.801 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
1.801 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.801 * [taylor]: Taking taylor expansion of t in t
1.802 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t))) in t
1.802 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 t) 1.0)) in t
1.802 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.802 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.802 * [taylor]: Taking taylor expansion of t in t
1.802 * [taylor]: Taking taylor expansion of 1.0 in t
1.803 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
1.803 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.803 * [taylor]: Taking taylor expansion of t in t
1.818 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 t))) (sqrt (/ -1 t))) in (t) around 0
1.818 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 t))) (sqrt (/ -1 t))) in t
1.818 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 t))) in t
1.818 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
1.818 * [taylor]: Taking taylor expansion of 1.0 in t
1.818 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.818 * [taylor]: Taking taylor expansion of t in t
1.820 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
1.820 * [taylor]: Taking taylor expansion of (/ -1 t) in t
1.820 * [taylor]: Taking taylor expansion of -1 in t
1.820 * [taylor]: Taking taylor expansion of t in t
1.821 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 t))) (sqrt (/ -1 t))) in t
1.821 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 t))) in t
1.821 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
1.821 * [taylor]: Taking taylor expansion of 1.0 in t
1.821 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.821 * [taylor]: Taking taylor expansion of t in t
1.826 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
1.826 * [taylor]: Taking taylor expansion of (/ -1 t) in t
1.826 * [taylor]: Taking taylor expansion of -1 in t
1.826 * [taylor]: Taking taylor expansion of t in t
1.841 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
1.841 * [approximate]: Taking taylor expansion of (- (sqrt (+ y 1.0)) (sqrt y)) in (y) around 0
1.841 * [taylor]: Taking taylor expansion of (- (sqrt (+ y 1.0)) (sqrt y)) in y
1.841 * [taylor]: Taking taylor expansion of (sqrt (+ y 1.0)) in y
1.842 * [taylor]: Taking taylor expansion of (+ y 1.0) in y
1.842 * [taylor]: Taking taylor expansion of y in y
1.842 * [taylor]: Taking taylor expansion of 1.0 in y
1.843 * [taylor]: Taking taylor expansion of (sqrt y) in y
1.843 * [taylor]: Taking taylor expansion of y in y
1.844 * [taylor]: Taking taylor expansion of (- (sqrt (+ y 1.0)) (sqrt y)) in y
1.844 * [taylor]: Taking taylor expansion of (sqrt (+ y 1.0)) in y
1.844 * [taylor]: Taking taylor expansion of (+ y 1.0) in y
1.844 * [taylor]: Taking taylor expansion of y in y
1.844 * [taylor]: Taking taylor expansion of 1.0 in y
1.846 * [taylor]: Taking taylor expansion of (sqrt y) in y
1.846 * [taylor]: Taking taylor expansion of y in y
1.864 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 y) 1.0)) (sqrt (/ 1 y))) in (y) around 0
1.865 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 y) 1.0)) (sqrt (/ 1 y))) in y
1.865 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in y
1.865 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
1.865 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.865 * [taylor]: Taking taylor expansion of y in y
1.865 * [taylor]: Taking taylor expansion of 1.0 in y
1.866 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
1.866 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.866 * [taylor]: Taking taylor expansion of y in y
1.867 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 y) 1.0)) (sqrt (/ 1 y))) in y
1.867 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in y
1.867 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
1.867 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.867 * [taylor]: Taking taylor expansion of y in y
1.868 * [taylor]: Taking taylor expansion of 1.0 in y
1.869 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
1.869 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.869 * [taylor]: Taking taylor expansion of y in y
1.883 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 y))) (sqrt (/ -1 y))) in (y) around 0
1.883 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 y))) (sqrt (/ -1 y))) in y
1.883 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in y
1.883 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
1.884 * [taylor]: Taking taylor expansion of 1.0 in y
1.884 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.884 * [taylor]: Taking taylor expansion of y in y
1.885 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
1.885 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.885 * [taylor]: Taking taylor expansion of -1 in y
1.885 * [taylor]: Taking taylor expansion of y in y
1.886 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 y))) (sqrt (/ -1 y))) in y
1.886 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in y
1.886 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
1.886 * [taylor]: Taking taylor expansion of 1.0 in y
1.886 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.886 * [taylor]: Taking taylor expansion of y in y
1.888 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
1.888 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.888 * [taylor]: Taking taylor expansion of -1 in y
1.888 * [taylor]: Taking taylor expansion of y in y
1.903 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.903 * [approximate]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in (x) around 0
1.903 * [taylor]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in x
1.903 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
1.903 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.903 * [taylor]: Taking taylor expansion of x in x
1.903 * [taylor]: Taking taylor expansion of 1.0 in x
1.905 * [taylor]: Taking taylor expansion of (sqrt x) in x
1.905 * [taylor]: Taking taylor expansion of x in x
1.906 * [taylor]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in x
1.906 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
1.906 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.906 * [taylor]: Taking taylor expansion of x in x
1.906 * [taylor]: Taking taylor expansion of 1.0 in x
1.907 * [taylor]: Taking taylor expansion of (sqrt x) in x
1.907 * [taylor]: Taking taylor expansion of x in x
1.930 * [approximate]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in (x) around 0
1.930 * [taylor]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in x
1.930 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
1.930 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.930 * [taylor]: Taking taylor expansion of 1.0 in x
1.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.930 * [taylor]: Taking taylor expansion of x in x
1.931 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
1.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.931 * [taylor]: Taking taylor expansion of x in x
1.932 * [taylor]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in x
1.932 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
1.932 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.932 * [taylor]: Taking taylor expansion of 1.0 in x
1.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.932 * [taylor]: Taking taylor expansion of x in x
1.934 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
1.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.934 * [taylor]: Taking taylor expansion of x in x
1.948 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in (x) around 0
1.948 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x
1.948 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
1.948 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.948 * [taylor]: Taking taylor expansion of 1.0 in x
1.948 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.948 * [taylor]: Taking taylor expansion of x in x
1.950 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.950 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.950 * [taylor]: Taking taylor expansion of -1 in x
1.950 * [taylor]: Taking taylor expansion of x in x
1.951 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x
1.951 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
1.951 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.951 * [taylor]: Taking taylor expansion of 1.0 in x
1.951 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.951 * [taylor]: Taking taylor expansion of x in x
1.953 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.953 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.953 * [taylor]: Taking taylor expansion of -1 in x
1.953 * [taylor]: Taking taylor expansion of x in x
1.968 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1.969 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z))) in (z) around 0
1.969 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z))) in z
1.969 * [taylor]: Taking taylor expansion of 1.0 in z
1.969 * [taylor]: Taking taylor expansion of (+ (sqrt (+ z 1.0)) (sqrt z)) in z
1.969 * [taylor]: Taking taylor expansion of (sqrt (+ z 1.0)) in z
1.969 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
1.969 * [taylor]: Taking taylor expansion of z in z
1.969 * [taylor]: Taking taylor expansion of 1.0 in z
1.971 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.971 * [taylor]: Taking taylor expansion of z in z
1.973 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z))) in z
1.973 * [taylor]: Taking taylor expansion of 1.0 in z
1.973 * [taylor]: Taking taylor expansion of (+ (sqrt (+ z 1.0)) (sqrt z)) in z
1.973 * [taylor]: Taking taylor expansion of (sqrt (+ z 1.0)) in z
1.973 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
1.973 * [taylor]: Taking taylor expansion of z in z
1.973 * [taylor]: Taking taylor expansion of 1.0 in z
1.974 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.974 * [taylor]: Taking taylor expansion of z in z
2.050 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ 1 z)) (sqrt (+ (/ 1 z) 1.0)))) in (z) around 0
2.050 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ 1 z)) (sqrt (+ (/ 1 z) 1.0)))) in z
2.050 * [taylor]: Taking taylor expansion of 1.0 in z
2.050 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 z)) (sqrt (+ (/ 1 z) 1.0))) in z
2.050 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
2.050 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.050 * [taylor]: Taking taylor expansion of z in z
2.051 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z
2.051 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.051 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.051 * [taylor]: Taking taylor expansion of z in z
2.051 * [taylor]: Taking taylor expansion of 1.0 in z
2.053 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ 1 z)) (sqrt (+ (/ 1 z) 1.0)))) in z
2.053 * [taylor]: Taking taylor expansion of 1.0 in z
2.053 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 z)) (sqrt (+ (/ 1 z) 1.0))) in z
2.054 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
2.054 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.054 * [taylor]: Taking taylor expansion of z in z
2.055 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z
2.055 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.055 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.055 * [taylor]: Taking taylor expansion of z in z
2.055 * [taylor]: Taking taylor expansion of 1.0 in z
2.074 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z)))) in (z) around 0
2.074 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z)))) in z
2.074 * [taylor]: Taking taylor expansion of 1.0 in z
2.074 * [taylor]: Taking taylor expansion of (+ (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z))) in z
2.074 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z
2.074 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
2.074 * [taylor]: Taking taylor expansion of 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.076 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
2.076 * [taylor]: Taking taylor expansion of (/ -1 z) in z
2.076 * [taylor]: Taking taylor expansion of -1 in z
2.076 * [taylor]: Taking taylor expansion of z in z
2.078 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z)))) in z
2.078 * [taylor]: Taking taylor expansion of 1.0 in z
2.078 * [taylor]: Taking taylor expansion of (+ (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z))) in z
2.078 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z
2.078 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
2.078 * [taylor]: Taking taylor expansion of 1.0 in z
2.078 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.078 * [taylor]: Taking taylor expansion of z in z
2.079 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
2.079 * [taylor]: Taking taylor expansion of (/ -1 z) in z
2.079 * [taylor]: Taking taylor expansion of -1 in z
2.079 * [taylor]: Taking taylor expansion of z in z
2.105 * * * [progress]: simplifying candidates
2.107 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (sqrt (+ t 1.0))) (exp (sqrt t)))
  (log (- (sqrt (+ t 1.0)) (sqrt t)))
  (exp (- (sqrt (+ t 1.0)) (sqrt t)))
  (* (cbrt (- (sqrt (+ t 1.0)) (sqrt t))) (cbrt (- (sqrt (+ t 1.0)) (sqrt t))))
  (cbrt (- (sqrt (+ t 1.0)) (sqrt t)))
  (* (* (- (sqrt (+ t 1.0)) (sqrt t)) (- (sqrt (+ t 1.0)) (sqrt t))) (- (sqrt (+ t 1.0)) (sqrt t)))
  (sqrt (- (sqrt (+ t 1.0)) (sqrt t)))
  (sqrt (- (sqrt (+ t 1.0)) (sqrt t)))
  (- (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3))
  (+ (* (sqrt (+ t 1.0)) (sqrt (+ t 1.0))) (+ (* (sqrt t) (sqrt t)) (* (sqrt (+ t 1.0)) (sqrt t))))
  (- (sqrt t))
  (- (* (sqrt (+ t 1.0)) (sqrt (+ t 1.0))) (* (sqrt t) (sqrt t)))
  (+ (sqrt (+ t 1.0)) (sqrt t))
  (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (+ t 1.0)) (sqrt t))
  (- (sqrt (+ t 1.0)) (sqrt t))
  (- (sqrt (+ t 1.0)) (sqrt t))
  (- (sqrt t))
  (/ (exp (sqrt (+ y 1.0))) (exp (sqrt y)))
  (log (- (sqrt (+ y 1.0)) (sqrt y)))
  (exp (- (sqrt (+ y 1.0)) (sqrt y)))
  (* (cbrt (- (sqrt (+ y 1.0)) (sqrt y))) (cbrt (- (sqrt (+ y 1.0)) (sqrt y))))
  (cbrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (* (* (- (sqrt (+ y 1.0)) (sqrt y)) (- (sqrt (+ y 1.0)) (sqrt y))) (- (sqrt (+ y 1.0)) (sqrt y)))
  (sqrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (sqrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (- (pow (sqrt (+ y 1.0)) 3) (pow (sqrt y) 3))
  (+ (* (sqrt (+ y 1.0)) (sqrt (+ y 1.0))) (+ (* (sqrt y) (sqrt y)) (* (sqrt (+ y 1.0)) (sqrt y))))
  (- (sqrt y))
  (- (* (sqrt (+ y 1.0)) (sqrt (+ y 1.0))) (* (sqrt y) (sqrt y)))
  (+ (sqrt (+ y 1.0)) (sqrt y))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt y))
  (/ (exp (sqrt (+ x 1.0))) (exp (sqrt x)))
  (log (- (sqrt (+ x 1.0)) (sqrt x)))
  (exp (- (sqrt (+ x 1.0)) (sqrt x)))
  (* (cbrt (- (sqrt (+ x 1.0)) (sqrt x))) (cbrt (- (sqrt (+ x 1.0)) (sqrt x))))
  (cbrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (* (* (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (- (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3))
  (+ (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (+ (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1.0)) (sqrt x))))
  (- (sqrt x))
  (- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (sqrt x) (sqrt x)))
  (+ (sqrt (+ x 1.0)) (sqrt x))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt x))
  (- (log (+ 1.0 0)) (log (+ (sqrt (+ z 1.0)) (sqrt z))))
  (log (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (exp (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (* (* (+ 1.0 0) (+ 1.0 0)) (+ 1.0 0)) (* (* (+ (sqrt (+ z 1.0)) (sqrt z)) (+ (sqrt (+ z 1.0)) (sqrt z))) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (* (cbrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (cbrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (cbrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (* (* (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (- (+ 1.0 0))
  (- (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (cbrt (+ 1.0 0)) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (cbrt (+ 1.0 0)) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) 1)
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (sqrt 1))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (sqrt 1))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) 1)
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (sqrt (+ 1.0 0)) (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (sqrt (+ 1.0 0)) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (sqrt (+ 1.0 0)) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (sqrt (+ 1.0 0)) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (sqrt (+ 1.0 0)) 1)
  (/ (sqrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (sqrt (+ 1.0 0)) (sqrt 1))
  (/ (sqrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (sqrt (+ 1.0 0)) (sqrt 1))
  (/ (sqrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (sqrt (+ 1.0 0)) 1)
  (/ (sqrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (+ 1.0 0) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1 (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (+ 1.0 0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1 1)
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (sqrt 1))
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (sqrt 1))
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 1)
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (+ 1.0 0) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1 (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (+ 1.0 0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1 1)
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (sqrt 1))
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (sqrt 1))
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 1)
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (+ 1.0 0))
  (/ (+ 1.0 0) (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (+ 1.0 0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (+ 1.0 0) 1)
  (/ (+ 1.0 0) (sqrt 1))
  (/ (+ 1.0 0) (sqrt 1))
  (/ (+ 1.0 0) 1)
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (cbrt (+ 1.0 0)))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (sqrt (+ 1.0 0)))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (+ 1.0 0))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (+ 1.0 0))
  (/ (+ 1.0 0) (+ (pow (sqrt (+ z 1.0)) 3) (pow (sqrt z) 3)))
  (/ (+ 1.0 0) (- (* (sqrt (+ z 1.0)) (sqrt (+ z 1.0))) (* (sqrt z) (sqrt z))))
  (* (+ (sqrt (+ z 1.0)) (sqrt z)) (+ (* 1.0 1.0) (- (* 0 0) (* 1.0 0))))
  (* (+ (sqrt (+ z 1.0)) (sqrt z)) (- 1.0 0))
  (- (+ (sqrt 1.0) (* 1/2 (/ t (sqrt 1.0)))) (+ (* +nan.0 t) (- (* 1/8 (/ (pow t 2) (pow (sqrt 1.0) 3))) (* +nan.0 (pow t 2)))))
  (- (+ (* +nan.0 (/ 1 t)) (- (+ (* +nan.0 (/ 1 (pow t 2))) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 t)) (- (+ (* +nan.0 (/ 1 (pow t 2))) (- +nan.0)))))
  (- (+ (* 1/2 (/ y (sqrt 1.0))) (sqrt 1.0)) (+ (* +nan.0 (pow y 2)) (- (* 1/8 (/ (pow y 2) (pow (sqrt 1.0) 3))) (* +nan.0 y))))
  (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))
  (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (+ (* +nan.0 (pow x 2)) (- (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* +nan.0 x))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* 1.0 (/ 1 (sqrt 1.0))) (* 0.375 (/ (pow z 2) (pow (sqrt 1.0) 5)))) (+ (* +nan.0 (/ (pow z 2) (pow (sqrt 1.0) 3))) (- (* 0.5 (/ z (pow (sqrt 1.0) 3))) (+ (* +nan.0 (/ (pow z 2) (pow (sqrt 1.0) 4))) (- (+ (* +nan.0 (/ z (pow (sqrt 1.0) 2))) (- (* +nan.0 (/ (pow z 2) (pow (sqrt 1.0) 2))))))))))
  (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0)))))
2.115 * * [simplify]: iteration  0 :  627  enodes  (cost  1071 )
2.127 * * [simplify]: iteration  1 :  2341  enodes  (cost  979 )
2.164 * * [simplify]: iteration  2 :  5001  enodes  (cost  943 )
2.169 * [simplify]: Simplified to:
   (exp (- (sqrt (+ t 1.0)) (sqrt t)))
  (log (- (sqrt (+ t 1.0)) (sqrt t)))
  (exp (- (sqrt (+ t 1.0)) (sqrt t)))
  (* (cbrt (- (sqrt (+ t 1.0)) (sqrt t))) (cbrt (- (sqrt (+ t 1.0)) (sqrt t))))
  (cbrt (- (sqrt (+ t 1.0)) (sqrt t)))
  (pow (- (sqrt (+ t 1.0)) (sqrt t)) 3)
  (sqrt (- (sqrt (+ t 1.0)) (sqrt t)))
  (sqrt (- (sqrt (+ t 1.0)) (sqrt t)))
  (- (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3))
  (+ (+ (+ t 1.0) t) (* (sqrt (+ t 1.0)) (sqrt t)))
  (- (pow t 1/2))
  1.0
  (+ (sqrt (+ t 1.0)) (sqrt t))
  (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t)))
  (- (sqrt (+ t 1.0)) (sqrt t))
  (- (sqrt (+ t 1.0)) (sqrt t))
  (- (sqrt (+ t 1.0)) (sqrt t))
  (- (pow t 1/2))
  (exp (- (sqrt (+ y 1.0)) (sqrt y)))
  (log (- (sqrt (+ y 1.0)) (sqrt y)))
  (exp (- (sqrt (+ y 1.0)) (sqrt y)))
  (* (cbrt (- (sqrt (+ y 1.0)) (sqrt y))) (cbrt (- (sqrt (+ y 1.0)) (sqrt y))))
  (cbrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (pow (- (sqrt (+ y 1.0)) (sqrt y)) 3)
  (sqrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (sqrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (- (pow (sqrt (+ y 1.0)) 3) (pow (sqrt y) 3))
  (+ (+ (+ y 1.0) y) (* (sqrt (+ y 1.0)) (sqrt y)))
  (- (pow y 1/2))
  1.0
  (+ (sqrt (+ y 1.0)) (sqrt y))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (pow y 1/2))
  (exp (- (sqrt (+ x 1.0)) (sqrt x)))
  (log (- (sqrt (+ x 1.0)) (sqrt x)))
  (exp (- (sqrt (+ x 1.0)) (sqrt x)))
  (* (cbrt (- (sqrt (+ x 1.0)) (sqrt x))) (cbrt (- (sqrt (+ x 1.0)) (sqrt x))))
  (cbrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (pow (- (sqrt (+ x 1.0)) (sqrt x)) 3)
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (- (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3))
  (+ (+ (+ x 1.0) x) (* (sqrt (+ x 1.0)) (sqrt x)))
  (- (pow x 1/2))
  1.0
  (+ (sqrt (+ x 1.0)) (sqrt x))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (pow x 1/2))
  (log (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (log (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (exp (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (pow (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))) 3)
  (* (cbrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (cbrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (cbrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (pow (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))) 3)
  (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (- 1.0)
  (- (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (cbrt (+ 1.0 0)) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (cbrt (+ 1.0 0)) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0)))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0)))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0)))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0)))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (/ (sqrt 1.0) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (sqrt 1.0) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (sqrt 1.0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (sqrt 1.0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (+ 1.0 0) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1 (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (+ 1.0 0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  1
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  1
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  1
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  1
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (+ 1.0 0) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1 (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (+ 1.0 0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  1
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  1
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  1
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  1
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (+ 1.0 0))
  (/ (+ 1.0 0) (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (+ 1.0 0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  1.0
  1.0
  1.0
  1.0
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (cbrt (+ 1.0 0)))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (sqrt 1.0))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (+ 1.0 0))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (+ 1.0 0))
  (/ (+ 1.0 0) (+ (pow (sqrt (+ z 1.0)) 3) (pow (sqrt z) 3)))
  (/ 1.0 (* (+ z (- 1.0 z)) 1))
  (* (+ (sqrt (+ z 1.0)) (sqrt z)) (* 1.0 1.0))
  (* 1.0 (+ (sqrt (+ z 1.0)) (sqrt z)))
  (- (+ (sqrt 1.0) (* 1/2 (/ t (sqrt 1.0)))) (+ (* +nan.0 t) (- (* 1/8 (/ (pow t 2) (pow (sqrt 1.0) 3))) (* +nan.0 (pow t 2)))))
  (+ (- (* +nan.0 (/ 1 (pow t 2))) +nan.0) (/ (- +nan.0) t))
  (+ (- (* +nan.0 (/ 1 (pow t 2))) +nan.0) (/ (- +nan.0) t))
  (- (+ (* 1/2 (/ y (sqrt 1.0))) (sqrt 1.0)) (+ (* +nan.0 (pow y 2)) (- (* 1/8 (/ (pow y 2) (pow (sqrt 1.0) 3))) (* +nan.0 y))))
  (+ (- (* +nan.0 (/ 1 (pow y 2))) +nan.0) (/ (- +nan.0) y))
  (+ (- (* +nan.0 (/ 1 (pow y 2))) +nan.0) (/ (- +nan.0) y))
  (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (+ (* +nan.0 (pow x 2)) (- (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* +nan.0 x))))
  (+ (- (* +nan.0 (/ 1 x)) +nan.0) (/ (- +nan.0) (pow x 2)))
  (+ (- (* +nan.0 (/ 1 x)) +nan.0) (/ (- +nan.0) (pow x 2)))
  (- (- (+ (* 1.0 (/ 1 (sqrt 1.0))) (* 0.375 (/ (pow z 2) (pow (sqrt 1.0) 5)))) (- (- (- (* 0.5 (/ z (pow (sqrt 1.0) 3))) (* +nan.0 (/ (pow z 2) (pow (sqrt 1.0) 4)))) (/ (- (* +nan.0 z)) 1.0)) (* +nan.0 (/ (pow z 2) (pow (sqrt 1.0) 2))))) (* +nan.0 (/ (pow z 2) (pow (sqrt 1.0) 3))))
  (+ (- (* +nan.0 (/ 1 (pow z 2))) +nan.0) (/ (- +nan.0) z))
  (+ (- (* +nan.0 (/ 1 (pow z 2))) +nan.0) (/ (- +nan.0) z))
2.169 * * * [progress]: adding candidates to table
2.911 * * [progress]: iteration 3 / 4
2.911 * * * [progress]: picking best candidate
2.964 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))>
2.964 * * * [progress]: localizing error
2.997 * * * [progress]: generating rewritten candidates
2.997 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
3.037 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
3.079 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
3.133 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
3.180 * * * [progress]: generating series expansions
3.180 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
3.180 * [approximate]: Taking taylor expansion of (- (sqrt (+ y 1.0)) (sqrt y)) in (y) around 0
3.180 * [taylor]: Taking taylor expansion of (- (sqrt (+ y 1.0)) (sqrt y)) in y
3.180 * [taylor]: Taking taylor expansion of (sqrt (+ y 1.0)) in y
3.180 * [taylor]: Taking taylor expansion of (+ y 1.0) in y
3.180 * [taylor]: Taking taylor expansion of y in y
3.180 * [taylor]: Taking taylor expansion of 1.0 in y
3.182 * [taylor]: Taking taylor expansion of (sqrt y) in y
3.182 * [taylor]: Taking taylor expansion of y in y
3.183 * [taylor]: Taking taylor expansion of (- (sqrt (+ y 1.0)) (sqrt y)) in y
3.183 * [taylor]: Taking taylor expansion of (sqrt (+ y 1.0)) in y
3.183 * [taylor]: Taking taylor expansion of (+ y 1.0) in y
3.183 * [taylor]: Taking taylor expansion of y in y
3.183 * [taylor]: Taking taylor expansion of 1.0 in y
3.185 * [taylor]: Taking taylor expansion of (sqrt y) in y
3.185 * [taylor]: Taking taylor expansion of y in y
3.204 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 y) 1.0)) (sqrt (/ 1 y))) in (y) around 0
3.204 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 y) 1.0)) (sqrt (/ 1 y))) in y
3.204 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in y
3.204 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
3.204 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.204 * [taylor]: Taking taylor expansion of y in y
3.204 * [taylor]: Taking taylor expansion of 1.0 in y
3.205 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
3.206 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.206 * [taylor]: Taking taylor expansion of y in y
3.207 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 y) 1.0)) (sqrt (/ 1 y))) in y
3.207 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in y
3.207 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
3.207 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.207 * [taylor]: Taking taylor expansion of y in y
3.207 * [taylor]: Taking taylor expansion of 1.0 in y
3.208 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
3.208 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.208 * [taylor]: Taking taylor expansion of y in y
3.222 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 y))) (sqrt (/ -1 y))) in (y) around 0
3.222 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 y))) (sqrt (/ -1 y))) in y
3.222 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in y
3.222 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
3.222 * [taylor]: Taking taylor expansion of 1.0 in y
3.222 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.222 * [taylor]: Taking taylor expansion of y in y
3.224 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
3.224 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.224 * [taylor]: Taking taylor expansion of -1 in y
3.224 * [taylor]: Taking taylor expansion of y in y
3.225 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 y))) (sqrt (/ -1 y))) in y
3.225 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in y
3.225 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
3.225 * [taylor]: Taking taylor expansion of 1.0 in y
3.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.225 * [taylor]: Taking taylor expansion of y in y
3.227 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
3.227 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.227 * [taylor]: Taking taylor expansion of -1 in y
3.227 * [taylor]: Taking taylor expansion of y in y
3.241 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
3.241 * [approximate]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in (x) around 0
3.241 * [taylor]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in x
3.241 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
3.241 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
3.241 * [taylor]: Taking taylor expansion of x in x
3.241 * [taylor]: Taking taylor expansion of 1.0 in x
3.243 * [taylor]: Taking taylor expansion of (sqrt x) in x
3.243 * [taylor]: Taking taylor expansion of x in x
3.244 * [taylor]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in x
3.244 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
3.244 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
3.244 * [taylor]: Taking taylor expansion of x in x
3.244 * [taylor]: Taking taylor expansion of 1.0 in x
3.245 * [taylor]: Taking taylor expansion of (sqrt x) in x
3.246 * [taylor]: Taking taylor expansion of x in x
3.270 * [approximate]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in (x) around 0
3.270 * [taylor]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in x
3.270 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
3.270 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
3.270 * [taylor]: Taking taylor expansion of 1.0 in x
3.270 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.270 * [taylor]: Taking taylor expansion of x in x
3.271 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
3.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.271 * [taylor]: Taking taylor expansion of x in x
3.273 * [taylor]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in x
3.273 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
3.273 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
3.273 * [taylor]: Taking taylor expansion of 1.0 in x
3.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.273 * [taylor]: Taking taylor expansion of x in x
3.274 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
3.274 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.274 * [taylor]: Taking taylor expansion of x in x
3.288 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in (x) around 0
3.288 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x
3.288 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
3.288 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
3.288 * [taylor]: Taking taylor expansion of 1.0 in x
3.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.288 * [taylor]: Taking taylor expansion of x in x
3.290 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
3.290 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.290 * [taylor]: Taking taylor expansion of -1 in x
3.290 * [taylor]: Taking taylor expansion of x in x
3.291 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x
3.291 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
3.291 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
3.291 * [taylor]: Taking taylor expansion of 1.0 in x
3.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.291 * [taylor]: Taking taylor expansion of x in x
3.293 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
3.293 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.293 * [taylor]: Taking taylor expansion of -1 in x
3.293 * [taylor]: Taking taylor expansion of x in x
3.307 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
3.308 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z))) in (z) around 0
3.308 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z))) in z
3.308 * [taylor]: Taking taylor expansion of 1.0 in z
3.308 * [taylor]: Taking taylor expansion of (+ (sqrt (+ z 1.0)) (sqrt z)) in z
3.308 * [taylor]: Taking taylor expansion of (sqrt (+ z 1.0)) in z
3.308 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
3.308 * [taylor]: Taking taylor expansion of z in z
3.308 * [taylor]: Taking taylor expansion of 1.0 in z
3.310 * [taylor]: Taking taylor expansion of (sqrt z) in z
3.310 * [taylor]: Taking taylor expansion of z in z
3.312 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z))) in z
3.312 * [taylor]: Taking taylor expansion of 1.0 in z
3.312 * [taylor]: Taking taylor expansion of (+ (sqrt (+ z 1.0)) (sqrt z)) in z
3.312 * [taylor]: Taking taylor expansion of (sqrt (+ z 1.0)) in z
3.312 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
3.312 * [taylor]: Taking taylor expansion of z in z
3.312 * [taylor]: Taking taylor expansion of 1.0 in z
3.313 * [taylor]: Taking taylor expansion of (sqrt z) in z
3.313 * [taylor]: Taking taylor expansion of z in z
3.388 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ 1 z)) (sqrt (+ (/ 1 z) 1.0)))) in (z) around 0
3.388 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ 1 z)) (sqrt (+ (/ 1 z) 1.0)))) in z
3.388 * [taylor]: Taking taylor expansion of 1.0 in z
3.388 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 z)) (sqrt (+ (/ 1 z) 1.0))) in z
3.388 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
3.388 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.388 * [taylor]: Taking taylor expansion of z in z
3.389 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z
3.389 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
3.389 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.389 * [taylor]: Taking taylor expansion of z in z
3.389 * [taylor]: Taking taylor expansion of 1.0 in z
3.391 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ 1 z)) (sqrt (+ (/ 1 z) 1.0)))) in z
3.391 * [taylor]: Taking taylor expansion of 1.0 in z
3.391 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 z)) (sqrt (+ (/ 1 z) 1.0))) in z
3.391 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
3.391 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.391 * [taylor]: Taking taylor expansion of z in z
3.392 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z
3.392 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
3.393 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.393 * [taylor]: Taking taylor expansion of z in z
3.393 * [taylor]: Taking taylor expansion of 1.0 in z
3.411 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z)))) in (z) around 0
3.411 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z)))) in z
3.411 * [taylor]: Taking taylor expansion of 1.0 in z
3.411 * [taylor]: Taking taylor expansion of (+ (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z))) in z
3.411 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z
3.411 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
3.411 * [taylor]: Taking taylor expansion of 1.0 in z
3.411 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.411 * [taylor]: Taking taylor expansion of z in z
3.413 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
3.413 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.413 * [taylor]: Taking taylor expansion of -1 in z
3.413 * [taylor]: Taking taylor expansion of z in z
3.415 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z)))) in z
3.415 * [taylor]: Taking taylor expansion of 1.0 in z
3.415 * [taylor]: Taking taylor expansion of (+ (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z))) in z
3.415 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z
3.415 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
3.415 * [taylor]: Taking taylor expansion of 1.0 in z
3.415 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.415 * [taylor]: Taking taylor expansion of z in z
3.416 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
3.416 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.416 * [taylor]: Taking taylor expansion of -1 in z
3.416 * [taylor]: Taking taylor expansion of z in z
3.441 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
3.441 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))) in (t) around 0
3.441 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))) in t
3.441 * [taylor]: Taking taylor expansion of 1.0 in t
3.441 * [taylor]: Taking taylor expansion of (+ (sqrt (+ t 1.0)) (sqrt t)) in t
3.441 * [taylor]: Taking taylor expansion of (sqrt (+ t 1.0)) in t
3.442 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
3.442 * [taylor]: Taking taylor expansion of t in t
3.442 * [taylor]: Taking taylor expansion of 1.0 in t
3.443 * [taylor]: Taking taylor expansion of (sqrt t) in t
3.443 * [taylor]: Taking taylor expansion of t in t
3.445 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))) in t
3.445 * [taylor]: Taking taylor expansion of 1.0 in t
3.445 * [taylor]: Taking taylor expansion of (+ (sqrt (+ t 1.0)) (sqrt t)) in t
3.445 * [taylor]: Taking taylor expansion of (sqrt (+ t 1.0)) in t
3.445 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
3.445 * [taylor]: Taking taylor expansion of t in t
3.445 * [taylor]: Taking taylor expansion of 1.0 in t
3.447 * [taylor]: Taking taylor expansion of (sqrt t) in t
3.447 * [taylor]: Taking taylor expansion of t in t
3.521 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t)))) in (t) around 0
3.521 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t)))) in t
3.521 * [taylor]: Taking taylor expansion of 1.0 in t
3.522 * [taylor]: Taking taylor expansion of (+ (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t))) in t
3.522 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 t) 1.0)) in t
3.522 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
3.522 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.522 * [taylor]: Taking taylor expansion of t in t
3.522 * [taylor]: Taking taylor expansion of 1.0 in t
3.523 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
3.523 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.523 * [taylor]: Taking taylor expansion of t in t
3.525 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t)))) in t
3.525 * [taylor]: Taking taylor expansion of 1.0 in t
3.525 * [taylor]: Taking taylor expansion of (+ (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t))) in t
3.525 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 t) 1.0)) in t
3.525 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
3.525 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.525 * [taylor]: Taking taylor expansion of t in t
3.526 * [taylor]: Taking taylor expansion of 1.0 in t
3.527 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
3.527 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.527 * [taylor]: Taking taylor expansion of t in t
3.545 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ -1 t)) (sqrt (- 1.0 (/ 1 t))))) in (t) around 0
3.545 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ -1 t)) (sqrt (- 1.0 (/ 1 t))))) in t
3.545 * [taylor]: Taking taylor expansion of 1.0 in t
3.545 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 t)) (sqrt (- 1.0 (/ 1 t)))) in t
3.545 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
3.545 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.545 * [taylor]: Taking taylor expansion of -1 in t
3.545 * [taylor]: Taking taylor expansion of t in t
3.546 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 t))) in t
3.546 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
3.546 * [taylor]: Taking taylor expansion of 1.0 in t
3.546 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.546 * [taylor]: Taking taylor expansion of t in t
3.548 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ -1 t)) (sqrt (- 1.0 (/ 1 t))))) in t
3.548 * [taylor]: Taking taylor expansion of 1.0 in t
3.548 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 t)) (sqrt (- 1.0 (/ 1 t)))) in t
3.548 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
3.548 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.548 * [taylor]: Taking taylor expansion of -1 in t
3.549 * [taylor]: Taking taylor expansion of t in t
3.550 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 t))) in t
3.550 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
3.550 * [taylor]: Taking taylor expansion of 1.0 in t
3.550 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.550 * [taylor]: Taking taylor expansion of t in t
3.569 * * * [progress]: simplifying candidates
3.571 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (sqrt (+ y 1.0))) (exp (sqrt y)))
  (log (- (sqrt (+ y 1.0)) (sqrt y)))
  (exp (- (sqrt (+ y 1.0)) (sqrt y)))
  (* (cbrt (- (sqrt (+ y 1.0)) (sqrt y))) (cbrt (- (sqrt (+ y 1.0)) (sqrt y))))
  (cbrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (* (* (- (sqrt (+ y 1.0)) (sqrt y)) (- (sqrt (+ y 1.0)) (sqrt y))) (- (sqrt (+ y 1.0)) (sqrt y)))
  (sqrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (sqrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (- (pow (sqrt (+ y 1.0)) 3) (pow (sqrt y) 3))
  (+ (* (sqrt (+ y 1.0)) (sqrt (+ y 1.0))) (+ (* (sqrt y) (sqrt y)) (* (sqrt (+ y 1.0)) (sqrt y))))
  (- (sqrt y))
  (- (* (sqrt (+ y 1.0)) (sqrt (+ y 1.0))) (* (sqrt y) (sqrt y)))
  (+ (sqrt (+ y 1.0)) (sqrt y))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt y))
  (/ (exp (sqrt (+ x 1.0))) (exp (sqrt x)))
  (log (- (sqrt (+ x 1.0)) (sqrt x)))
  (exp (- (sqrt (+ x 1.0)) (sqrt x)))
  (* (cbrt (- (sqrt (+ x 1.0)) (sqrt x))) (cbrt (- (sqrt (+ x 1.0)) (sqrt x))))
  (cbrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (* (* (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (- (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3))
  (+ (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (+ (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1.0)) (sqrt x))))
  (- (sqrt x))
  (- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (sqrt x) (sqrt x)))
  (+ (sqrt (+ x 1.0)) (sqrt x))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt x))
  (- (log (+ 1.0 0)) (log (+ (sqrt (+ z 1.0)) (sqrt z))))
  (log (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (exp (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (* (* (+ 1.0 0) (+ 1.0 0)) (+ 1.0 0)) (* (* (+ (sqrt (+ z 1.0)) (sqrt z)) (+ (sqrt (+ z 1.0)) (sqrt z))) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (* (cbrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (cbrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (cbrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (* (* (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (- (+ 1.0 0))
  (- (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (cbrt (+ 1.0 0)) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (cbrt (+ 1.0 0)) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) 1)
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (sqrt 1))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (sqrt 1))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) 1)
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (sqrt (+ 1.0 0)) (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (sqrt (+ 1.0 0)) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (sqrt (+ 1.0 0)) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (sqrt (+ 1.0 0)) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (sqrt (+ 1.0 0)) 1)
  (/ (sqrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (sqrt (+ 1.0 0)) (sqrt 1))
  (/ (sqrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (sqrt (+ 1.0 0)) (sqrt 1))
  (/ (sqrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (sqrt (+ 1.0 0)) 1)
  (/ (sqrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (+ 1.0 0) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1 (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (+ 1.0 0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1 1)
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (sqrt 1))
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (sqrt 1))
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 1)
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (+ 1.0 0) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1 (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (+ 1.0 0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1 1)
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (sqrt 1))
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (sqrt 1))
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 1)
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (+ 1.0 0))
  (/ (+ 1.0 0) (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (+ 1.0 0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (+ 1.0 0) 1)
  (/ (+ 1.0 0) (sqrt 1))
  (/ (+ 1.0 0) (sqrt 1))
  (/ (+ 1.0 0) 1)
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (cbrt (+ 1.0 0)))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (sqrt (+ 1.0 0)))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (+ 1.0 0))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (+ 1.0 0))
  (/ (+ 1.0 0) (+ (pow (sqrt (+ z 1.0)) 3) (pow (sqrt z) 3)))
  (/ (+ 1.0 0) (- (* (sqrt (+ z 1.0)) (sqrt (+ z 1.0))) (* (sqrt z) (sqrt z))))
  (* (+ (sqrt (+ z 1.0)) (sqrt z)) (+ (* 1.0 1.0) (- (* 0 0) (* 1.0 0))))
  (* (+ (sqrt (+ z 1.0)) (sqrt z)) (- 1.0 0))
  (- (log 1.0) (log (+ (sqrt (+ t 1.0)) (sqrt t))))
  (log (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (exp (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ (* (* 1.0 1.0) 1.0) (* (* (+ (sqrt (+ t 1.0)) (sqrt t)) (+ (sqrt (+ t 1.0)) (sqrt t))) (+ (sqrt (+ t 1.0)) (sqrt t))))
  (* (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (* (* (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))) (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (- 1.0)
  (- (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (/ (cbrt 1.0) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ (cbrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ (* (cbrt 1.0) (cbrt 1.0)) 1)
  (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 1))
  (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 1))
  (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ (* (cbrt 1.0) (cbrt 1.0)) 1)
  (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ (sqrt 1.0) (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (/ (sqrt 1.0) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ (sqrt 1.0) 1)
  (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ (sqrt 1.0) (sqrt 1))
  (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ (sqrt 1.0) (sqrt 1))
  (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ (sqrt 1.0) 1)
  (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ 1 (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (/ 1.0 (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ 1 (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ 1.0 (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ 1 1)
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ 1 (sqrt 1))
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ 1 (sqrt 1))
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ 1 1)
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ 1 (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ (+ (sqrt (+ t 1.0)) (sqrt t)) 1.0)
  (/ 1.0 (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (/ 1.0 (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ 1.0 1)
  (/ 1.0 (sqrt 1))
  (/ 1.0 (sqrt 1))
  (/ 1.0 1)
  (/ (+ (sqrt (+ t 1.0)) (sqrt t)) (cbrt 1.0))
  (/ (+ (sqrt (+ t 1.0)) (sqrt t)) (sqrt 1.0))
  (/ (+ (sqrt (+ t 1.0)) (sqrt t)) 1.0)
  (/ 1.0 (+ (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3)))
  (/ 1.0 (- (* (sqrt (+ t 1.0)) (sqrt (+ t 1.0))) (* (sqrt t) (sqrt t))))
  (- (+ (* 1/2 (/ y (sqrt 1.0))) (sqrt 1.0)) (+ (* +nan.0 (pow y 2)) (- (* 1/8 (/ (pow y 2) (pow (sqrt 1.0) 3))) (* +nan.0 y))))
  (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))
  (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (+ (* +nan.0 (pow x 2)) (- (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* +nan.0 x))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* 1.0 (/ 1 (sqrt 1.0))) (* 0.375 (/ (pow z 2) (pow (sqrt 1.0) 5)))) (+ (* +nan.0 (/ (pow z 2) (pow (sqrt 1.0) 3))) (- (* 0.5 (/ z (pow (sqrt 1.0) 3))) (+ (* +nan.0 (/ (pow z 2) (pow (sqrt 1.0) 4))) (- (+ (* +nan.0 (/ z (pow (sqrt 1.0) 2))) (- (* +nan.0 (/ (pow z 2) (pow (sqrt 1.0) 2))))))))))
  (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0)))))
  (- (+ (* 1.0 (/ 1 (sqrt 1.0))) (* 0.375 (/ (pow t 2) (pow (sqrt 1.0) 5)))) (+ (* +nan.0 (/ (pow t 2) (pow (sqrt 1.0) 2))) (- (* 0.5 (/ t (pow (sqrt 1.0) 3))) (+ (* +nan.0 (/ (pow t 2) (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (/ (pow t 2) (pow (sqrt 1.0) 4))) (- (* +nan.0 (/ t (pow (sqrt 1.0) 2))))))))))
  (- (+ (* +nan.0 (/ 1 t)) (- (+ (* +nan.0 (/ 1 (pow t 2))) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 t)) (- (+ (* +nan.0 (/ 1 (pow t 2))) (- +nan.0)))))
3.580 * * [simplify]: iteration  0 :  721  enodes  (cost  1296 )
3.592 * * [simplify]: iteration  1 :  2731  enodes  (cost  1177 )
3.636 * * [simplify]: iteration  2 :  5002  enodes  (cost  1135 )
3.642 * [simplify]: Simplified to:
   (exp (- (sqrt (+ y 1.0)) (sqrt y)))
  (log (- (sqrt (+ y 1.0)) (sqrt y)))
  (exp (- (sqrt (+ y 1.0)) (sqrt y)))
  (* (cbrt (- (sqrt (+ y 1.0)) (sqrt y))) (cbrt (- (sqrt (+ y 1.0)) (sqrt y))))
  (cbrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (pow (- (sqrt (+ y 1.0)) (sqrt y)) 3)
  (sqrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (sqrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (- (pow (sqrt (+ y 1.0)) 3) (pow (sqrt y) 3))
  (+ (+ (+ y 1.0) y) (* (sqrt (+ y 1.0)) (sqrt y)))
  (- (sqrt y))
  (+ y (- 1.0 y))
  (+ (sqrt (+ y 1.0)) (sqrt y))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt y))
  (exp (- (sqrt (+ x 1.0)) (sqrt x)))
  (log (- (sqrt (+ x 1.0)) (sqrt x)))
  (exp (- (sqrt (+ x 1.0)) (sqrt x)))
  (* (cbrt (- (sqrt (+ x 1.0)) (sqrt x))) (cbrt (- (sqrt (+ x 1.0)) (sqrt x))))
  (cbrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (pow (- (sqrt (+ x 1.0)) (sqrt x)) 3)
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (- (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3))
  (+ (+ (+ x 1.0) x) (* (sqrt (+ x 1.0)) (sqrt x)))
  (- (sqrt x))
  (+ x (- 1.0 x))
  (+ (sqrt (+ x 1.0)) (sqrt x))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt x))
  (log (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (log (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (exp (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (pow (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))) 3)
  (* (cbrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (cbrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (cbrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (pow (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))) 3)
  (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (- 1.0)
  (- (+ (sqrt (+ z 1.0)) (sqrt z)))
  (* (/ (cbrt 1.0) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))) (/ (cbrt 1.0) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (cbrt 1.0) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (cbrt 1.0) (/ (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt 1.0)))
  (/ (cbrt 1.0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (/ (sqrt 1.0) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (sqrt 1.0) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (sqrt 1.0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (sqrt 1.0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (+ 1.0 0) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1 (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (+ 1.0 0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  1
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  1
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  1
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  1
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (+ 1.0 0) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1 (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (+ 1.0 0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  1
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  1
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  1
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  1
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (+ 1.0 0))
  (/ (+ 1.0 0) (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (+ 1.0 0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  1.0
  1.0
  1.0
  1.0
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (cbrt (+ 1.0 0)))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (sqrt 1.0))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (+ 1.0 0))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (+ 1.0 0))
  (/ (+ 1.0 0) (+ (pow (sqrt (+ z 1.0)) 3) (pow (sqrt z) 3)))
  (/ 1.0 (* (+ z (- 1.0 z)) 1))
  (* (+ (sqrt (+ z 1.0)) (sqrt z)) (* 1.0 1.0))
  (* 1.0 (+ (sqrt (+ z 1.0)) (sqrt z)))
  (log (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (log (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (exp (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (pow (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))) 3)
  (* (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (pow (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))) 3)
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (- 1.0)
  (- (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (/ (cbrt 1.0) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ (cbrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ (sqrt 1.0) (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (/ (sqrt 1.0) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ 1 (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (/ 1.0 (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ 1 (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ 1.0 (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  1
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  1
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  1
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  1
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ 1 (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ (+ (sqrt (+ t 1.0)) (sqrt t)) 1.0)
  (/ 1.0 (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (/ 1.0 (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  1.0
  1.0
  1.0
  1.0
  (/ (+ (sqrt (+ t 1.0)) (sqrt t)) (cbrt 1.0))
  (/ (+ (sqrt (+ t 1.0)) (sqrt t)) (sqrt 1.0))
  (/ (+ (sqrt (+ t 1.0)) (sqrt t)) 1.0)
  (/ 1.0 (+ (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3)))
  (/ 1.0 (* (+ t (- 1.0 t)) 1))
  (- (+ (* 1/2 (/ y (sqrt 1.0))) (sqrt 1.0)) (+ (* +nan.0 (pow y 2)) (- (* 1/8 (/ (pow y 2) (pow (sqrt 1.0) 3))) (* +nan.0 y))))
  (+ (- (* +nan.0 (/ 1 (pow y 2))) +nan.0) (/ (- +nan.0) y))
  (+ (- (* +nan.0 (/ 1 (pow y 2))) +nan.0) (/ (- +nan.0) y))
  (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (+ (* +nan.0 (pow x 2)) (- (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* +nan.0 x))))
  (+ (- (* +nan.0 (/ 1 x)) +nan.0) (/ (- +nan.0) (pow x 2)))
  (+ (- (* +nan.0 (/ 1 x)) +nan.0) (/ (- +nan.0) (pow x 2)))
  (- (- (+ (* 1.0 (/ 1 (sqrt 1.0))) (* 0.375 (/ (pow z 2) (pow (sqrt 1.0) 5)))) (- (- (- (* 0.5 (/ z (pow (sqrt 1.0) 3))) (* +nan.0 (/ (pow z 2) (pow (sqrt 1.0) 4)))) (/ (- (* +nan.0 z)) 1.0)) (* +nan.0 (/ (pow z 2) (pow (sqrt 1.0) 2))))) (* +nan.0 (/ (pow z 2) (pow (sqrt 1.0) 3))))
  (+ (- (* +nan.0 (/ 1 (pow z 2))) +nan.0) (/ (- +nan.0) z))
  (+ (- (* +nan.0 (/ 1 (pow z 2))) +nan.0) (/ (- +nan.0) z))
  (+ (- (- (+ (* 1.0 (/ 1 (sqrt 1.0))) (* 0.375 (/ (pow t 2) (pow (sqrt 1.0) 5)))) (* +nan.0 (/ (pow t 2) (pow (sqrt 1.0) 2)))) (* 0.5 (/ t (pow (sqrt 1.0) 3)))) (- (- (* +nan.0 (/ (pow t 2) (pow (sqrt 1.0) 3))) (* +nan.0 (/ (pow t 2) (pow (sqrt 1.0) 4)))) (/ (- (* +nan.0 t)) 1.0)))
  (+ (- (* +nan.0 (/ 1 (pow t 2))) +nan.0) (/ (- +nan.0) t))
  (+ (- (* +nan.0 (/ 1 (pow t 2))) +nan.0) (/ (- +nan.0) t))
3.643 * * * [progress]: adding candidates to table
4.553 * * [progress]: iteration 4 / 4
4.553 * * * [progress]: picking best candidate
4.617 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))>
4.617 * * * [progress]: localizing error
4.647 * * * [progress]: generating rewritten candidates
4.647 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
4.690 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
4.730 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
4.926 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
4.997 * * * [progress]: generating series expansions
4.997 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
4.997 * [approximate]: Taking taylor expansion of (- (sqrt (+ y 1.0)) (sqrt y)) in (y) around 0
4.997 * [taylor]: Taking taylor expansion of (- (sqrt (+ y 1.0)) (sqrt y)) in y
4.997 * [taylor]: Taking taylor expansion of (sqrt (+ y 1.0)) in y
4.997 * [taylor]: Taking taylor expansion of (+ y 1.0) in y
4.997 * [taylor]: Taking taylor expansion of y in y
4.997 * [taylor]: Taking taylor expansion of 1.0 in y
4.999 * [taylor]: Taking taylor expansion of (sqrt y) in y
4.999 * [taylor]: Taking taylor expansion of y in y
5.001 * [taylor]: Taking taylor expansion of (- (sqrt (+ y 1.0)) (sqrt y)) in y
5.001 * [taylor]: Taking taylor expansion of (sqrt (+ y 1.0)) in y
5.001 * [taylor]: Taking taylor expansion of (+ y 1.0) in y
5.001 * [taylor]: Taking taylor expansion of y in y
5.001 * [taylor]: Taking taylor expansion of 1.0 in y
5.002 * [taylor]: Taking taylor expansion of (sqrt y) in y
5.002 * [taylor]: Taking taylor expansion of y in y
5.026 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 y) 1.0)) (sqrt (/ 1 y))) in (y) around 0
5.026 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 y) 1.0)) (sqrt (/ 1 y))) in y
5.026 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in y
5.026 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
5.026 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.026 * [taylor]: Taking taylor expansion of y in y
5.027 * [taylor]: Taking taylor expansion of 1.0 in y
5.028 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
5.028 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.028 * [taylor]: Taking taylor expansion of y in y
5.029 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 y) 1.0)) (sqrt (/ 1 y))) in y
5.029 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in y
5.029 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
5.029 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.029 * [taylor]: Taking taylor expansion of y in y
5.029 * [taylor]: Taking taylor expansion of 1.0 in y
5.030 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
5.030 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.030 * [taylor]: Taking taylor expansion of y in y
5.045 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 y))) (sqrt (/ -1 y))) in (y) around 0
5.045 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 y))) (sqrt (/ -1 y))) in y
5.045 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in y
5.045 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
5.045 * [taylor]: Taking taylor expansion of 1.0 in y
5.045 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.045 * [taylor]: Taking taylor expansion of y in y
5.047 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
5.047 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.047 * [taylor]: Taking taylor expansion of -1 in y
5.047 * [taylor]: Taking taylor expansion of y in y
5.048 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 y))) (sqrt (/ -1 y))) in y
5.048 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in y
5.048 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
5.048 * [taylor]: Taking taylor expansion of 1.0 in y
5.048 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.048 * [taylor]: Taking taylor expansion of y in y
5.050 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
5.050 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.050 * [taylor]: Taking taylor expansion of -1 in y
5.050 * [taylor]: Taking taylor expansion of y in y
5.065 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
5.065 * [approximate]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in (x) around 0
5.065 * [taylor]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in x
5.065 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
5.065 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
5.065 * [taylor]: Taking taylor expansion of x in x
5.065 * [taylor]: Taking taylor expansion of 1.0 in x
5.067 * [taylor]: Taking taylor expansion of (sqrt x) in x
5.067 * [taylor]: Taking taylor expansion of x in x
5.068 * [taylor]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in x
5.068 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
5.068 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
5.068 * [taylor]: Taking taylor expansion of x in x
5.068 * [taylor]: Taking taylor expansion of 1.0 in x
5.069 * [taylor]: Taking taylor expansion of (sqrt x) in x
5.069 * [taylor]: Taking taylor expansion of x in x
5.088 * [approximate]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in (x) around 0
5.088 * [taylor]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in x
5.088 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
5.088 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
5.088 * [taylor]: Taking taylor expansion of 1.0 in x
5.088 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.089 * [taylor]: Taking taylor expansion of x in x
5.090 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
5.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.090 * [taylor]: Taking taylor expansion of x in x
5.091 * [taylor]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in x
5.091 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
5.091 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
5.091 * [taylor]: Taking taylor expansion of 1.0 in x
5.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.091 * [taylor]: Taking taylor expansion of x in x
5.092 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
5.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.092 * [taylor]: Taking taylor expansion of x in x
5.114 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in (x) around 0
5.114 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x
5.114 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
5.114 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
5.114 * [taylor]: Taking taylor expansion of 1.0 in x
5.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.114 * [taylor]: Taking taylor expansion of x in x
5.116 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
5.116 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.116 * [taylor]: Taking taylor expansion of -1 in x
5.116 * [taylor]: Taking taylor expansion of x in x
5.117 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x
5.117 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
5.117 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
5.117 * [taylor]: Taking taylor expansion of 1.0 in x
5.117 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.117 * [taylor]: Taking taylor expansion of x in x
5.118 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
5.119 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.119 * [taylor]: Taking taylor expansion of -1 in x
5.119 * [taylor]: Taking taylor expansion of x in x
5.133 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
5.134 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (+ (sqrt (+ t 1.0)) (sqrt t))) in (t) around 0
5.134 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (+ (sqrt (+ t 1.0)) (sqrt t))) in t
5.134 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in t
5.134 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t
5.134 * [taylor]: Taking taylor expansion of 1.0 in t
5.134 * [taylor]: Taking taylor expansion of (+ (sqrt (+ t 1.0)) (sqrt t)) in t
5.134 * [taylor]: Taking taylor expansion of (sqrt (+ t 1.0)) in t
5.134 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
5.134 * [taylor]: Taking taylor expansion of t in t
5.134 * [taylor]: Taking taylor expansion of 1.0 in t
5.136 * [taylor]: Taking taylor expansion of (sqrt t) in t
5.136 * [taylor]: Taking taylor expansion of t in t
5.139 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (+ (sqrt (+ t 1.0)) (sqrt t))) in t
5.139 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in t
5.139 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t
5.139 * [taylor]: Taking taylor expansion of 1.0 in t
5.140 * [taylor]: Taking taylor expansion of (+ (sqrt (+ t 1.0)) (sqrt t)) in t
5.140 * [taylor]: Taking taylor expansion of (sqrt (+ t 1.0)) in t
5.140 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
5.140 * [taylor]: Taking taylor expansion of t in t
5.140 * [taylor]: Taking taylor expansion of 1.0 in t
5.141 * [taylor]: Taking taylor expansion of (sqrt t) in t
5.141 * [taylor]: Taking taylor expansion of t in t
5.201 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (+ (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t)))) in (t) around 0
5.201 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (+ (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t)))) in t
5.201 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in t
5.201 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t
5.201 * [taylor]: Taking taylor expansion of 1.0 in t
5.201 * [taylor]: Taking taylor expansion of (+ (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t))) in t
5.201 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 t) 1.0)) in t
5.201 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
5.201 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.201 * [taylor]: Taking taylor expansion of t in t
5.202 * [taylor]: Taking taylor expansion of 1.0 in t
5.203 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
5.203 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.203 * [taylor]: Taking taylor expansion of t in t
5.206 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (+ (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t)))) in t
5.206 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in t
5.206 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t
5.206 * [taylor]: Taking taylor expansion of 1.0 in t
5.207 * [taylor]: Taking taylor expansion of (+ (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t))) in t
5.207 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 t) 1.0)) in t
5.207 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
5.207 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.207 * [taylor]: Taking taylor expansion of t in t
5.207 * [taylor]: Taking taylor expansion of 1.0 in t
5.208 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
5.208 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.208 * [taylor]: Taking taylor expansion of t in t
5.241 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (+ (sqrt (/ -1 t)) (sqrt (- 1.0 (/ 1 t))))) in (t) around 0
5.242 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (+ (sqrt (/ -1 t)) (sqrt (- 1.0 (/ 1 t))))) in t
5.242 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in t
5.242 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t
5.242 * [taylor]: Taking taylor expansion of 1.0 in t
5.242 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 t)) (sqrt (- 1.0 (/ 1 t)))) in t
5.242 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
5.242 * [taylor]: Taking taylor expansion of (/ -1 t) in t
5.242 * [taylor]: Taking taylor expansion of -1 in t
5.242 * [taylor]: Taking taylor expansion of t in t
5.243 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 t))) in t
5.243 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
5.243 * [taylor]: Taking taylor expansion of 1.0 in t
5.244 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.244 * [taylor]: Taking taylor expansion of t in t
5.247 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (+ (sqrt (/ -1 t)) (sqrt (- 1.0 (/ 1 t))))) in t
5.247 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in t
5.247 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t
5.247 * [taylor]: Taking taylor expansion of 1.0 in t
5.248 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 t)) (sqrt (- 1.0 (/ 1 t)))) in t
5.248 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
5.248 * [taylor]: Taking taylor expansion of (/ -1 t) in t
5.248 * [taylor]: Taking taylor expansion of -1 in t
5.248 * [taylor]: Taking taylor expansion of t in t
5.249 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 t))) in t
5.249 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
5.249 * [taylor]: Taking taylor expansion of 1.0 in t
5.249 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.249 * [taylor]: Taking taylor expansion of t in t
5.290 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
5.290 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z))) in (z) around 0
5.291 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z))) in z
5.291 * [taylor]: Taking taylor expansion of 1.0 in z
5.291 * [taylor]: Taking taylor expansion of (+ (sqrt (+ z 1.0)) (sqrt z)) in z
5.291 * [taylor]: Taking taylor expansion of (sqrt (+ z 1.0)) in z
5.291 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
5.291 * [taylor]: Taking taylor expansion of z in z
5.291 * [taylor]: Taking taylor expansion of 1.0 in z
5.293 * [taylor]: Taking taylor expansion of (sqrt z) in z
5.293 * [taylor]: Taking taylor expansion of z in z
5.294 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z))) in z
5.294 * [taylor]: Taking taylor expansion of 1.0 in z
5.294 * [taylor]: Taking taylor expansion of (+ (sqrt (+ z 1.0)) (sqrt z)) in z
5.294 * [taylor]: Taking taylor expansion of (sqrt (+ z 1.0)) in z
5.294 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
5.295 * [taylor]: Taking taylor expansion of z in z
5.295 * [taylor]: Taking taylor expansion of 1.0 in z
5.296 * [taylor]: Taking taylor expansion of (sqrt z) in z
5.296 * [taylor]: Taking taylor expansion of z in z
5.372 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ 1 z)) (sqrt (+ (/ 1 z) 1.0)))) in (z) around 0
5.372 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ 1 z)) (sqrt (+ (/ 1 z) 1.0)))) in z
5.372 * [taylor]: Taking taylor expansion of 1.0 in z
5.373 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 z)) (sqrt (+ (/ 1 z) 1.0))) in z
5.373 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
5.373 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.373 * [taylor]: Taking taylor expansion of z in z
5.374 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z
5.374 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
5.374 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.374 * [taylor]: Taking taylor expansion of z in z
5.374 * [taylor]: Taking taylor expansion of 1.0 in z
5.376 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ 1 z)) (sqrt (+ (/ 1 z) 1.0)))) in z
5.376 * [taylor]: Taking taylor expansion of 1.0 in z
5.376 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 z)) (sqrt (+ (/ 1 z) 1.0))) in z
5.376 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
5.376 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.376 * [taylor]: Taking taylor expansion of z in z
5.377 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z
5.377 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
5.377 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.377 * [taylor]: Taking taylor expansion of z in z
5.378 * [taylor]: Taking taylor expansion of 1.0 in z
5.395 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z)))) in (z) around 0
5.396 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z)))) in z
5.396 * [taylor]: Taking taylor expansion of 1.0 in z
5.396 * [taylor]: Taking taylor expansion of (+ (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z))) in z
5.396 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z
5.396 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
5.396 * [taylor]: Taking taylor expansion of 1.0 in z
5.396 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.396 * [taylor]: Taking taylor expansion of z in z
5.398 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
5.398 * [taylor]: Taking taylor expansion of (/ -1 z) in z
5.398 * [taylor]: Taking taylor expansion of -1 in z
5.398 * [taylor]: Taking taylor expansion of z in z
5.400 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z)))) in z
5.400 * [taylor]: Taking taylor expansion of 1.0 in z
5.400 * [taylor]: Taking taylor expansion of (+ (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z))) in z
5.400 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z
5.400 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
5.400 * [taylor]: Taking taylor expansion of 1.0 in z
5.400 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.400 * [taylor]: Taking taylor expansion of z in z
5.401 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
5.401 * [taylor]: Taking taylor expansion of (/ -1 z) in z
5.401 * [taylor]: Taking taylor expansion of -1 in z
5.401 * [taylor]: Taking taylor expansion of z in z
5.420 * * * [progress]: simplifying candidates
5.425 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (sqrt (+ y 1.0))) (exp (sqrt y)))
  (log (- (sqrt (+ y 1.0)) (sqrt y)))
  (exp (- (sqrt (+ y 1.0)) (sqrt y)))
  (* (cbrt (- (sqrt (+ y 1.0)) (sqrt y))) (cbrt (- (sqrt (+ y 1.0)) (sqrt y))))
  (cbrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (* (* (- (sqrt (+ y 1.0)) (sqrt y)) (- (sqrt (+ y 1.0)) (sqrt y))) (- (sqrt (+ y 1.0)) (sqrt y)))
  (sqrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (sqrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (- (pow (sqrt (+ y 1.0)) 3) (pow (sqrt y) 3))
  (+ (* (sqrt (+ y 1.0)) (sqrt (+ y 1.0))) (+ (* (sqrt y) (sqrt y)) (* (sqrt (+ y 1.0)) (sqrt y))))
  (- (sqrt y))
  (- (* (sqrt (+ y 1.0)) (sqrt (+ y 1.0))) (* (sqrt y) (sqrt y)))
  (+ (sqrt (+ y 1.0)) (sqrt y))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt y))
  (/ (exp (sqrt (+ x 1.0))) (exp (sqrt x)))
  (log (- (sqrt (+ x 1.0)) (sqrt x)))
  (exp (- (sqrt (+ x 1.0)) (sqrt x)))
  (* (cbrt (- (sqrt (+ x 1.0)) (sqrt x))) (cbrt (- (sqrt (+ x 1.0)) (sqrt x))))
  (cbrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (* (* (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (- (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3))
  (+ (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (+ (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1.0)) (sqrt x))))
  (- (sqrt x))
  (- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (sqrt x) (sqrt x)))
  (+ (sqrt (+ x 1.0)) (sqrt x))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt x))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))) (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))) (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (+ 1 1)
  (+ (log (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (log (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (log (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (exp (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (* (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (* (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (cbrt (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))) (cbrt (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))
  (cbrt (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (* (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))) (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))) (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (sqrt (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt 1.0) (sqrt 1.0))
  (* (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (* (* (cbrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (cbrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))) (* (cbrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (cbrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))
  (* (cbrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (cbrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (* (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))) (sqrt (* (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))
  (* (sqrt (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))))
  (* (sqrt (/ (cbrt 1.0) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (cbrt 1.0) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ (cbrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (cbrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1)) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1)))
  (* (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1)) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1)))
  (* (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 1))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 1))))
  (* (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 1))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 1))))
  (* (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 1))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 1))))
  (* (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 1))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 1))))
  (* (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1)) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1)))
  (* (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1)) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1)))
  (* (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (sqrt 1.0) (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))) (sqrt (/ (sqrt 1.0) (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))))
  (* (sqrt (/ (sqrt 1.0) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (sqrt 1.0) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ (sqrt 1.0) 1)) (sqrt (/ (sqrt 1.0) 1)))
  (* (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (sqrt 1.0) 1)) (sqrt (/ (sqrt 1.0) 1)))
  (* (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (sqrt 1.0) (sqrt 1))) (sqrt (/ (sqrt 1.0) (sqrt 1))))
  (* (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (sqrt 1.0) (sqrt 1))) (sqrt (/ (sqrt 1.0) (sqrt 1))))
  (* (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (sqrt 1.0) (sqrt 1))) (sqrt (/ (sqrt 1.0) (sqrt 1))))
  (* (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (sqrt 1.0) (sqrt 1))) (sqrt (/ (sqrt 1.0) (sqrt 1))))
  (* (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (sqrt 1.0) 1)) (sqrt (/ (sqrt 1.0) 1)))
  (* (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (sqrt 1.0) 1)) (sqrt (/ (sqrt 1.0) 1)))
  (* (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1 (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))) (sqrt (/ 1 (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))))
  (* (sqrt (/ 1.0 (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ 1 (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1 (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ 1.0 (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1 (sqrt 1))) (sqrt (/ 1 (sqrt 1))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1 (sqrt 1))) (sqrt (/ 1 (sqrt 1))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1 (sqrt 1))) (sqrt (/ 1 (sqrt 1))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1 (sqrt 1))) (sqrt (/ 1 (sqrt 1))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt 1.0) (sqrt 1.0))
  (* (sqrt (/ 1 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 (+ (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3)))) (sqrt (/ 1.0 (+ (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3)))))
  (* (sqrt (+ (* (sqrt (+ t 1.0)) (sqrt (+ t 1.0))) (- (* (sqrt t) (sqrt t)) (* (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (+ (* (sqrt (+ t 1.0)) (sqrt (+ t 1.0))) (- (* (sqrt t) (sqrt t)) (* (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ 1.0 (- (* (sqrt (+ t 1.0)) (sqrt (+ t 1.0))) (* (sqrt t) (sqrt t))))) (sqrt (/ 1.0 (- (* (sqrt (+ t 1.0)) (sqrt (+ t 1.0))) (* (sqrt t) (sqrt t))))))
  (* (sqrt (- (sqrt (+ t 1.0)) (sqrt t))) (sqrt (- (sqrt (+ t 1.0)) (sqrt t))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* 1 1)
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (* (cbrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (cbrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (* (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1)))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 1))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 1))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1)))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) 1)))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) (sqrt 1))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) (sqrt 1))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) 1)))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1 (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1 (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1 1)))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1 (sqrt 1))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1 (sqrt 1))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1 1)))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt 1))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt 1.0))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3)))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (- (* (sqrt (+ t 1.0)) (sqrt (+ t 1.0))) (* (sqrt t) (sqrt t))))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) 1)
  (* (cbrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (cbrt 1.0) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (cbrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (sqrt 1.0) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (+ (* (sqrt (+ t 1.0)) (sqrt (+ t 1.0))) (- (* (sqrt t) (sqrt t)) (* (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (- (sqrt (+ t 1.0)) (sqrt t))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt 1.0))
  (* (sqrt 1.0) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (- (log (+ 1.0 0)) (log (+ (sqrt (+ z 1.0)) (sqrt z))))
  (log (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (exp (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (* (* (+ 1.0 0) (+ 1.0 0)) (+ 1.0 0)) (* (* (+ (sqrt (+ z 1.0)) (sqrt z)) (+ (sqrt (+ z 1.0)) (sqrt z))) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (* (cbrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (cbrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (cbrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (* (* (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (- (+ 1.0 0))
  (- (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (cbrt (+ 1.0 0)) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (cbrt (+ 1.0 0)) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) 1)
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (sqrt 1))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (sqrt 1))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) 1)
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (sqrt (+ 1.0 0)) (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (sqrt (+ 1.0 0)) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (sqrt (+ 1.0 0)) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (sqrt (+ 1.0 0)) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (sqrt (+ 1.0 0)) 1)
  (/ (sqrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (sqrt (+ 1.0 0)) (sqrt 1))
  (/ (sqrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (sqrt (+ 1.0 0)) (sqrt 1))
  (/ (sqrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (sqrt (+ 1.0 0)) 1)
  (/ (sqrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (+ 1.0 0) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1 (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (+ 1.0 0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1 1)
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (sqrt 1))
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (sqrt 1))
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 1)
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (+ 1.0 0) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1 (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (+ 1.0 0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1 1)
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (sqrt 1))
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (sqrt 1))
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 1)
  (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (+ 1.0 0))
  (/ (+ 1.0 0) (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ (+ 1.0 0) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (+ 1.0 0) 1)
  (/ (+ 1.0 0) (sqrt 1))
  (/ (+ 1.0 0) (sqrt 1))
  (/ (+ 1.0 0) 1)
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (cbrt (+ 1.0 0)))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (sqrt (+ 1.0 0)))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (+ 1.0 0))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (+ 1.0 0))
  (/ (+ 1.0 0) (+ (pow (sqrt (+ z 1.0)) 3) (pow (sqrt z) 3)))
  (/ (+ 1.0 0) (- (* (sqrt (+ z 1.0)) (sqrt (+ z 1.0))) (* (sqrt z) (sqrt z))))
  (* (+ (sqrt (+ z 1.0)) (sqrt z)) (+ (* 1.0 1.0) (- (* 0 0) (* 1.0 0))))
  (* (+ (sqrt (+ z 1.0)) (sqrt z)) (- 1.0 0))
  (- (+ (* 1/2 (/ y (sqrt 1.0))) (sqrt 1.0)) (+ (* +nan.0 (pow y 2)) (- (* 1/8 (/ (pow y 2) (pow (sqrt 1.0) 3))) (* +nan.0 y))))
  (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))
  (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (+ (* +nan.0 (pow x 2)) (- (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* +nan.0 x))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (sqrt 1.0) (* 3/8 (/ (pow t 2) (pow (sqrt 1.0) 3)))) (+ (* +nan.0 (/ (pow t 2) (pow (sqrt 1.0) 2))) (- (* 1/2 (/ t (sqrt 1.0))) (+ (* +nan.0 (/ (pow t 2) (sqrt 1.0))) (- (+ (* +nan.0 t) (- (* +nan.0 (pow t 2)))))))))
  (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- (+ (* +nan.0 (/ (pow (sqrt 1.0) 2) t)) (- (* +nan.0 (/ (pow (sqrt 1.0) 2) (pow t 2))))))))
  (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- (+ (* +nan.0 (/ (pow (sqrt 1.0) 2) t)) (- (* +nan.0 (/ (pow (sqrt 1.0) 2) (pow t 2))))))))
  (- (+ (* 1.0 (/ 1 (sqrt 1.0))) (* 0.375 (/ (pow z 2) (pow (sqrt 1.0) 5)))) (+ (* +nan.0 (/ (pow z 2) (pow (sqrt 1.0) 3))) (- (* 0.5 (/ z (pow (sqrt 1.0) 3))) (+ (* +nan.0 (/ (pow z 2) (pow (sqrt 1.0) 4))) (- (+ (* +nan.0 (/ z (pow (sqrt 1.0) 2))) (- (* +nan.0 (/ (pow z 2) (pow (sqrt 1.0) 2))))))))))
  (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0)))))
5.439 * * [simplify]: iteration  0 :  863  enodes  (cost  2448 )
5.458 * * [simplify]: iteration  1 :  4059  enodes  (cost  2159 )
5.535 * * [simplify]: iteration  2 :  5002  enodes  (cost  2124 )
5.544 * [simplify]: Simplified to:
   (exp (- (sqrt (+ y 1.0)) (sqrt y)))
  (log (- (sqrt (+ y 1.0)) (sqrt y)))
  (exp (- (sqrt (+ y 1.0)) (sqrt y)))
  (* (cbrt (- (sqrt (+ y 1.0)) (sqrt y))) (cbrt (- (sqrt (+ y 1.0)) (sqrt y))))
  (cbrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (pow (- (sqrt (+ y 1.0)) (sqrt y)) 3)
  (sqrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (sqrt (- (sqrt (+ y 1.0)) (sqrt y)))
  (- (pow (sqrt (+ y 1.0)) 3) (pow (sqrt y) 3))
  (+ (+ (+ y 1.0) y) (* (sqrt (+ y 1.0)) (sqrt y)))
  (- (sqrt y))
  (+ y (- 1.0 y))
  (+ (sqrt (+ y 1.0)) (sqrt y))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y)))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt (+ y 1.0)) (sqrt y))
  (- (sqrt y))
  (exp (- (sqrt (+ x 1.0)) (sqrt x)))
  (log (- (sqrt (+ x 1.0)) (sqrt x)))
  (exp (- (sqrt (+ x 1.0)) (sqrt x)))
  (* (cbrt (- (sqrt (+ x 1.0)) (sqrt x))) (cbrt (- (sqrt (+ x 1.0)) (sqrt x))))
  (cbrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (pow (- (sqrt (+ x 1.0)) (sqrt x)) 3)
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (- (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3))
  (+ (+ (+ x 1.0) x) (* (sqrt (+ x 1.0)) (sqrt x)))
  (- (sqrt x))
  (+ x (- 1.0 x))
  (+ (sqrt (+ x 1.0)) (sqrt x))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x)))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt x))
  1
  1
  2
  1
  1
  (pow (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) 4)
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  (pow (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) 4)
  2
  (- (log 1.0) (log (+ (sqrt (+ t 1.0)) (sqrt t))))
  (- (log 1.0) (log (+ (sqrt (+ t 1.0)) (sqrt t))))
  (pow (exp 1) (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (pow (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))) 3)
  (* (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (pow (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))) 3)
  (pow (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) 4)
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  1.0
  (+ (sqrt (+ t 1.0)) (sqrt t))
  (pow (cbrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) 4)
  (* (cbrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (cbrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (/ (cbrt 1.0) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ (cbrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ (sqrt 1.0) (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (/ (sqrt 1.0) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ 1 (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (/ 1.0 (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ 1 (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ 1.0 (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  1
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  1
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  1
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  1
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  1
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  1
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  1
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  1
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  1
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  1.0
  (/ 1 (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ 1.0 (+ (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3)))
  (- (+ (+ t 1.0) t) (* (sqrt (+ t 1.0)) (sqrt t)))
  (/ 1.0 (* (+ t (- 1.0 t)) 1))
  (- (sqrt (+ t 1.0)) (sqrt t))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  1
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  1
  2
  1
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (* (cbrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (cbrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))
  (* (fabs (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (pow (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) 3)
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (fabs (/ (cbrt 1.0) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (fabs (cbrt 1.0)))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (fabs (cbrt 1.0)))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (fabs (cbrt 1.0)))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (fabs (cbrt 1.0)))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) 1)))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) 1)))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) 1)))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) 1)))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1 (* (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t)))))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1 (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt 1.0))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3)))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (- (* (sqrt (+ t 1.0)) (sqrt (+ t 1.0))) (* (sqrt t) (sqrt t))))))
  (pow (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) 3)
  (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))
  (pow (cbrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) 4)
  (* (sqrt (cbrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (pow (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) 3)
  (* (sqrt (/ (cbrt 1.0) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (cbrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (cbrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (sqrt 1.0) (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))))
  (* (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ (sqrt 1.0) (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 (cbrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 (sqrt (+ (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  (* (sqrt (/ 1 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (+ (* (sqrt (+ t 1.0)) (sqrt (+ t 1.0))) (- (* (sqrt t) (sqrt t)) (* (sqrt (+ t 1.0)) (sqrt t))))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (* (sqrt (- (sqrt (+ t 1.0)) (sqrt t))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))
  (pow (sqrt (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))) 3)
  (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt 1.0))
  (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt 1.0))
  (log (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (log (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (exp (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (pow (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z))) 3)
  (* (cbrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (cbrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (cbrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (pow (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z))) 3)
  (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z))))
  (- 1.0)
  (- (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (cbrt (+ 1.0 0)) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (* (/ (cbrt (+ 1.0 0)) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z)))) (cbrt 1.0))
  (/ (cbrt (+ 1.0 0)) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (/ (sqrt 1.0) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (sqrt 1.0) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (sqrt (+ 1.0 0)) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ (sqrt (+ 1.0 0)) (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ 1.0 (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1 (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1.0 (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  1
  (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z)))
  1
  (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z)))
  1
  (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z)))
  1
  (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (* (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))))
  (/ 1.0 (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1 (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1.0 (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  1
  (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z)))
  1
  (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z)))
  1
  (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z)))
  1
  (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ 1 (+ (sqrt (+ z 1.0)) (sqrt z)))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) 1.0)
  (/ (/ 1.0 (cbrt (+ (sqrt (+ z 1.0)) (sqrt z)))) (cbrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  (/ 1.0 (sqrt (+ (sqrt (+ z 1.0)) (sqrt z))))
  1.0
  1.0
  1.0
  1.0
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (cbrt (+ 1.0 0)))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) (sqrt 1.0))
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) 1.0)
  (/ (+ (sqrt (+ z 1.0)) (sqrt z)) 1.0)
  (/ 1.0 (+ (pow (sqrt (+ z 1.0)) 3) (pow (sqrt z) 3)))
  (/ 1.0 (* (+ z (- 1.0 z)) 1))
  (* (+ (sqrt (+ z 1.0)) (sqrt z)) (* 1.0 1.0))
  (* 1.0 (+ (sqrt (+ z 1.0)) (sqrt z)))
  (- (+ (* 1/2 (/ y (sqrt 1.0))) (sqrt 1.0)) (+ (* +nan.0 (pow y 2)) (- (* 1/8 (/ (pow y 2) (pow (sqrt 1.0) 3))) (* +nan.0 y))))
  (+ (- (* +nan.0 (/ 1 (pow y 2))) +nan.0) (/ (- +nan.0) y))
  (+ (- (* +nan.0 (/ 1 (pow y 2))) +nan.0) (/ (- +nan.0) y))
  (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (+ (* +nan.0 (pow x 2)) (- (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* +nan.0 x))))
  (+ (- (* +nan.0 (/ 1 x)) +nan.0) (/ (- +nan.0) (pow x 2)))
  (+ (- (* +nan.0 (/ 1 x)) +nan.0) (/ (- +nan.0) (pow x 2)))
  (+ (* 3/8 (/ (pow t 2) (pow (sqrt 1.0) 3))) (- (sqrt 1.0) (- (* 1/2 (/ t (sqrt 1.0))) (- (- (* +nan.0 (/ (pow t 2) (sqrt 1.0))) (- (* +nan.0 t) (* +nan.0 (pow t 2)))) (/ (* +nan.0 (pow t 2)) 1.0)))))
  (- (* (- 0 1.0) +nan.0) (- (/ (* (- 0 1.0) +nan.0) t) (/ (* (- 0 1.0) +nan.0) (pow t 2))))
  (- (* (- 0 1.0) +nan.0) (- (/ (* (- 0 1.0) +nan.0) t) (/ (* (- 0 1.0) +nan.0) (pow t 2))))
  (+ (* 0.375 (/ (pow z 2) (pow (sqrt 1.0) 5))) (- (* 1.0 (/ 1 (sqrt 1.0))) (- (* 0.5 (/ z (pow (sqrt 1.0) 3))) (- (- (* +nan.0 (/ (pow z 2) (pow (sqrt 1.0) 4))) (- (/ (* +nan.0 z) 1.0) (/ (* +nan.0 (pow z 2)) 1.0))) (* +nan.0 (/ (pow z 2) (pow (sqrt 1.0) 3)))))))
  (+ (- (* +nan.0 (/ 1 (pow z 2))) +nan.0) (/ (- +nan.0) z))
  (+ (- (* +nan.0 (/ 1 (pow z 2))) +nan.0) (/ (- +nan.0) z))
5.553 * * * [progress]: adding candidates to table
7.406 * [progress]: [Phase 3 of 3] Extracting.
7.406 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ (+ (+ (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ (+ 1.0 0) (+ (sqrt (+ y 1.0)) (sqrt y)))) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (* (/ 1.0 (+ (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3))) (- (+ (+ t 1.0) t) (* (sqrt (+ t 1.0)) (sqrt t))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))))) (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (log (pow (exp 1) (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))>)
7.413 * * * [regime-changes]: Trying 9 branch expressions: ((- (sqrt (+ t 1.0)) (sqrt t)) (- (sqrt (+ z 1.0)) (sqrt z)) (- (sqrt (+ y 1.0)) (sqrt y)) (- (sqrt (+ x 1.0)) (sqrt x)) (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) t z y x)
7.413 * * * * [regimes]: Trying to branch on (- (sqrt (+ t 1.0)) (sqrt t)) from (#<alt (λ (x y z t) (+ (+ (+ (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ (+ 1.0 0) (+ (sqrt (+ y 1.0)) (sqrt y)))) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (* (/ 1.0 (+ (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3))) (- (+ (+ t 1.0) t) (* (sqrt (+ t 1.0)) (sqrt t))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))))) (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (log (pow (exp 1) (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))>)
7.488 * * * * [regimes]: Trying to branch on (- (sqrt (+ t 1.0)) (sqrt t)) from (#<alt (λ (x y z t) (+ (+ (+ (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ (+ 1.0 0) (+ (sqrt (+ y 1.0)) (sqrt y)))) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))>)
7.525 * * * * [regimes]: Trying to branch on (- (sqrt (+ z 1.0)) (sqrt z)) from (#<alt (λ (x y z t) (+ (+ (+ (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ (+ 1.0 0) (+ (sqrt (+ y 1.0)) (sqrt y)))) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (* (/ 1.0 (+ (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3))) (- (+ (+ t 1.0) t) (* (sqrt (+ t 1.0)) (sqrt t))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))))) (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (log (pow (exp 1) (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))>)
7.597 * * * * [regimes]: Trying to branch on (- (sqrt (+ y 1.0)) (sqrt y)) from (#<alt (λ (x y z t) (+ (+ (+ (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ (+ 1.0 0) (+ (sqrt (+ y 1.0)) (sqrt y)))) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (* (/ 1.0 (+ (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3))) (- (+ (+ t 1.0) t) (* (sqrt (+ t 1.0)) (sqrt t))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))))) (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (log (pow (exp 1) (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))>)
7.670 * * * * [regimes]: Trying to branch on (- (sqrt (+ x 1.0)) (sqrt x)) from (#<alt (λ (x y z t) (+ (+ (+ (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ (+ 1.0 0) (+ (sqrt (+ y 1.0)) (sqrt y)))) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (* (/ 1.0 (+ (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3))) (- (+ (+ t 1.0) t) (* (sqrt (+ t 1.0)) (sqrt t))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))))) (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (log (pow (exp 1) (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))>)
7.742 * * * * [regimes]: Trying to branch on (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) from (#<alt (λ (x y z t) (+ (+ (+ (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ (+ 1.0 0) (+ (sqrt (+ y 1.0)) (sqrt y)))) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (* (/ 1.0 (+ (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3))) (- (+ (+ t 1.0) t) (* (sqrt (+ t 1.0)) (sqrt t))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))))) (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (log (pow (exp 1) (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))>)
7.823 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ (+ (+ (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ (+ 1.0 0) (+ (sqrt (+ y 1.0)) (sqrt y)))) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (* (/ 1.0 (+ (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3))) (- (+ (+ t 1.0) t) (* (sqrt (+ t 1.0)) (sqrt t))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))))) (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (log (pow (exp 1) (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))>)
7.887 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ (+ (+ (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ (+ 1.0 0) (+ (sqrt (+ y 1.0)) (sqrt y)))) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (* (/ 1.0 (+ (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3))) (- (+ (+ t 1.0) t) (* (sqrt (+ t 1.0)) (sqrt t))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))))) (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (log (pow (exp 1) (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))>)
7.951 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ (+ (+ (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ (+ 1.0 0) (+ (sqrt (+ y 1.0)) (sqrt y)))) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (* (/ 1.0 (+ (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3))) (- (+ (+ t 1.0) t) (* (sqrt (+ t 1.0)) (sqrt t))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))))) (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (log (pow (exp 1) (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))>)
8.020 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ (+ (+ (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ (+ 1.0 0) (+ (sqrt (+ y 1.0)) (sqrt y)))) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (* (/ 1.0 (+ (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3))) (- (+ (+ t 1.0) t) (* (sqrt (+ t 1.0)) (sqrt t))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))))) (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t))))> #<alt (λ (x y z t) (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (log (pow (exp 1) (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))))))>)
8.085 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
8.085 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))))) (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))
8.086 * * [simplify]: iteration  0 :  42  enodes  (cost  39 )
8.086 * * [simplify]: iteration  1 :  52  enodes  (cost  39 )
8.086 * * [simplify]: iteration  2 :  52  enodes  (cost  39 )
8.087 * [simplify]: Simplified to:
   (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ z 1.0)) (sqrt z)))))) (* (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))) (sqrt (/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t))))))