#include #include void main() { printf( "%f\n", atan2( .5, 1. ) ); }