Square based pyramid trigonometry