Isosceles right triangle volume formula