Define the pi constant based on inverse trigonometric functions.