(sqrt(7)+3)^2-3*(2*sqrt(7)+3)