Formula for isosceles right triangle