User blog comment:Googleaarex/SGH Functions/@comment-25418284-20130404163840/@comment-5150073-20130404183131

I need a more detailed analysis on SGH before making that claim. For example, I get that

n^^^(n^^^n) ~ f_e_(z_0^2)(n) instead of expected n^^^(n^^^n) ~ f_z_(z_0)(n).