0.113 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.429 * * * [progress]: [2/2] Setting up program.
0.435 * [progress]: [Phase 2 of 3] Improving.
0.435 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ (+ (- (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.436 * * [simplify]: iteration  0 :  24  enodes  (cost  31 )
0.441 * * [simplify]: iteration  1 :  51  enodes  (cost  31 )
0.447 * * [simplify]: iteration  2 :  154  enodes  (cost  31 )
0.475 * * [simplify]: iteration  3 :  879  enodes  (cost  31 )
0.679 * * [simplify]: iteration  done :  5000  enodes  (cost  31 )
0.679 * [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.680 * * [progress]: iteration 1 / 4
0.680 * * * [progress]: picking best candidate
0.684 * * * * [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.685 * * * [progress]: localizing error
0.706 * * * [progress]: generating rewritten candidates
0.706 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
0.728 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.751 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
0.772 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.796 * * * [progress]: generating series expansions
0.796 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
0.796 * [approximate]: Taking taylor expansion of (- (sqrt (+ y 1.0)) (sqrt y)) in (y) around 0
0.796 * [taylor]: Taking taylor expansion of (- (sqrt (+ y 1.0)) (sqrt y)) in y
0.796 * [taylor]: Taking taylor expansion of (sqrt (+ y 1.0)) in y
0.796 * [taylor]: Taking taylor expansion of (+ y 1.0) in y
0.796 * [taylor]: Taking taylor expansion of y in y
0.796 * [taylor]: Taking taylor expansion of 1.0 in y
0.798 * [taylor]: Taking taylor expansion of (sqrt y) in y
0.798 * [taylor]: Taking taylor expansion of y in y
0.799 * [taylor]: Taking taylor expansion of (- (sqrt (+ y 1.0)) (sqrt y)) in y
0.799 * [taylor]: Taking taylor expansion of (sqrt (+ y 1.0)) in y
0.799 * [taylor]: Taking taylor expansion of (+ y 1.0) in y
0.800 * [taylor]: Taking taylor expansion of y in y
0.800 * [taylor]: Taking taylor expansion of 1.0 in y
0.801 * [taylor]: Taking taylor expansion of (sqrt y) in y
0.801 * [taylor]: Taking taylor expansion of y in y
0.821 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 y) 1.0)) (sqrt (/ 1 y))) in (y) around 0
0.821 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 y) 1.0)) (sqrt (/ 1 y))) in y
0.821 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in y
0.821 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
0.821 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.821 * [taylor]: Taking taylor expansion of y in y
0.821 * [taylor]: Taking taylor expansion of 1.0 in y
0.823 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
0.823 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.823 * [taylor]: Taking taylor expansion of y in y
0.827 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 y) 1.0)) (sqrt (/ 1 y))) in y
0.828 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in y
0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
0.828 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.828 * [taylor]: Taking taylor expansion of y in y
0.828 * [taylor]: Taking taylor expansion of 1.0 in y
0.829 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
0.829 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.829 * [taylor]: Taking taylor expansion of y in y
0.845 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 y))) (sqrt (/ -1 y))) in (y) around 0
0.845 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 y))) (sqrt (/ -1 y))) in y
0.845 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in y
0.845 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
0.845 * [taylor]: Taking taylor expansion of 1.0 in y
0.845 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.845 * [taylor]: Taking taylor expansion of y 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 -1 in y
0.847 * [taylor]: Taking taylor expansion of y in y
0.848 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 y))) (sqrt (/ -1 y))) in y
0.848 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in y
0.848 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
0.848 * [taylor]: Taking taylor expansion of 1.0 in y
0.848 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.848 * [taylor]: Taking taylor expansion of y 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 -1 in y
0.850 * [taylor]: Taking taylor expansion of y in y
0.866 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.866 * [approximate]: Taking taylor expansion of (- (sqrt (+ t 1.0)) (sqrt t)) in (t) around 0
0.866 * [taylor]: Taking taylor expansion of (- (sqrt (+ t 1.0)) (sqrt t)) in t
0.866 * [taylor]: Taking taylor expansion of (sqrt (+ t 1.0)) in t
0.866 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
0.866 * [taylor]: Taking taylor expansion of t in t
0.866 * [taylor]: Taking taylor expansion of 1.0 in t
0.868 * [taylor]: Taking taylor expansion of (sqrt t) in t
0.868 * [taylor]: Taking taylor expansion of t in t
0.869 * [taylor]: Taking taylor expansion of (- (sqrt (+ t 1.0)) (sqrt t)) in t
0.869 * [taylor]: Taking taylor expansion of (sqrt (+ t 1.0)) in t
0.869 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
0.869 * [taylor]: Taking taylor expansion of t in t
0.869 * [taylor]: Taking taylor expansion of 1.0 in t
0.871 * [taylor]: Taking taylor expansion of (sqrt t) in t
0.871 * [taylor]: Taking taylor expansion of t in t
0.890 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t))) in (t) around 0
0.890 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t))) in t
0.890 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 t) 1.0)) in t
0.890 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
0.890 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.890 * [taylor]: Taking taylor expansion of t in t
0.891 * [taylor]: Taking taylor expansion of 1.0 in t
0.892 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
0.892 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.892 * [taylor]: Taking taylor expansion of t in t
0.893 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t))) in t
0.893 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 t) 1.0)) in t
0.893 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
0.893 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.893 * [taylor]: Taking taylor expansion of t in t
0.894 * [taylor]: Taking taylor expansion of 1.0 in t
0.895 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
0.895 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.895 * [taylor]: Taking taylor expansion of t in t
0.915 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 t))) (sqrt (/ -1 t))) in (t) around 0
0.915 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 t))) (sqrt (/ -1 t))) in t
0.915 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 t))) in t
0.915 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
0.915 * [taylor]: Taking taylor expansion of 1.0 in t
0.915 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.915 * [taylor]: Taking taylor expansion of t in t
0.917 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
0.917 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.917 * [taylor]: Taking taylor expansion of -1 in t
0.917 * [taylor]: Taking taylor expansion of t in t
0.918 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 t))) (sqrt (/ -1 t))) in t
0.918 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 t))) in t
0.918 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
0.918 * [taylor]: Taking taylor expansion of 1.0 in t
0.918 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.919 * [taylor]: Taking taylor expansion of t in t
0.920 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
0.920 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.920 * [taylor]: Taking taylor expansion of -1 in t
0.920 * [taylor]: Taking taylor expansion of t in t
0.936 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
0.936 * [approximate]: Taking taylor expansion of (- (sqrt (+ z 1.0)) (sqrt z)) in (z) around 0
0.937 * [taylor]: Taking taylor expansion of (- (sqrt (+ z 1.0)) (sqrt z)) in z
0.937 * [taylor]: Taking taylor expansion of (sqrt (+ z 1.0)) in z
0.937 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
0.937 * [taylor]: Taking taylor expansion of z in z
0.937 * [taylor]: Taking taylor expansion of 1.0 in z
0.938 * [taylor]: Taking taylor expansion of (sqrt z) in z
0.938 * [taylor]: Taking taylor expansion of z in z
0.939 * [taylor]: Taking taylor expansion of (- (sqrt (+ z 1.0)) (sqrt z)) in z
0.939 * [taylor]: Taking taylor expansion of (sqrt (+ z 1.0)) in z
0.939 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
0.939 * [taylor]: Taking taylor expansion of z in z
0.940 * [taylor]: Taking taylor expansion of 1.0 in z
0.941 * [taylor]: Taking taylor expansion of (sqrt z) in z
0.941 * [taylor]: Taking taylor expansion of z in z
0.961 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt (/ 1 z))) in (z) around 0
0.961 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt (/ 1 z))) in z
0.961 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z
0.961 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
0.961 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.961 * [taylor]: Taking taylor expansion of z in z
0.961 * [taylor]: Taking taylor expansion of 1.0 in z
0.962 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
0.962 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.962 * [taylor]: Taking taylor expansion of z in z
0.964 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt (/ 1 z))) in z
0.964 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z
0.964 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
0.964 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.964 * [taylor]: Taking taylor expansion of z in z
0.964 * [taylor]: Taking taylor expansion of 1.0 in z
0.965 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
0.965 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.965 * [taylor]: Taking taylor expansion of z in z
0.981 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z))) in (z) around 0
0.981 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z))) in z
0.981 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z
0.981 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
0.981 * [taylor]: Taking taylor expansion of 1.0 in z
0.981 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.981 * [taylor]: Taking taylor expansion of z in z
0.983 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
0.983 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.983 * [taylor]: Taking taylor expansion of -1 in z
0.983 * [taylor]: Taking taylor expansion of z in z
0.984 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z))) in z
0.984 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z
0.984 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
0.984 * [taylor]: Taking taylor expansion of 1.0 in z
0.984 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.984 * [taylor]: Taking taylor expansion of z in z
0.986 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
0.986 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.986 * [taylor]: Taking taylor expansion of -1 in z
0.986 * [taylor]: Taking taylor expansion of z in z
1.007 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.008 * [approximate]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in (x) around 0
1.008 * [taylor]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in x
1.008 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
1.008 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.008 * [taylor]: Taking taylor expansion of x in x
1.008 * [taylor]: Taking taylor expansion of 1.0 in x
1.009 * [taylor]: Taking taylor expansion of (sqrt x) in x
1.009 * [taylor]: Taking taylor expansion of x in x
1.010 * [taylor]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in x
1.010 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
1.010 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.010 * [taylor]: Taking taylor expansion of x in x
1.010 * [taylor]: Taking taylor expansion of 1.0 in x
1.012 * [taylor]: Taking taylor expansion of (sqrt x) in x
1.012 * [taylor]: Taking taylor expansion of x in x
1.033 * [approximate]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in (x) around 0
1.033 * [taylor]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in x
1.033 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
1.033 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.033 * [taylor]: Taking taylor expansion of 1.0 in x
1.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.033 * [taylor]: Taking taylor expansion of x in x
1.034 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
1.034 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.034 * [taylor]: Taking taylor expansion of x in x
1.036 * [taylor]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in x
1.036 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
1.036 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.036 * [taylor]: Taking taylor expansion of 1.0 in x
1.036 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.036 * [taylor]: Taking taylor expansion of x in x
1.038 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
1.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.038 * [taylor]: Taking taylor expansion of x in x
1.054 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in (x) around 0
1.054 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x
1.054 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
1.054 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.054 * [taylor]: Taking taylor expansion of 1.0 in x
1.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.054 * [taylor]: Taking taylor expansion of x in x
1.056 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.056 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.056 * [taylor]: Taking taylor expansion of -1 in x
1.056 * [taylor]: Taking taylor expansion of x in x
1.057 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x
1.057 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
1.057 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.057 * [taylor]: Taking taylor expansion of 1.0 in x
1.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.057 * [taylor]: Taking taylor expansion of x in x
1.059 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.059 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.059 * [taylor]: Taking taylor expansion of -1 in x
1.059 * [taylor]: Taking taylor expansion of x in x
1.080 * * * [progress]: simplifying candidates
1.082 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (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 (+ 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 (+ 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 (+ 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 (/ 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 (/ 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 (/ 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 (/ 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.087 * * [simplify]: iteration  0 :  208  enodes  (cost  1242 )
1.116 * * [simplify]: iteration  1 :  473  enodes  (cost  1140 )
1.194 * * [simplify]: iteration  2 :  1338  enodes  (cost  1050 )