#include #include void main() { printf( "%f\n", asinh( 0.5 ) ); }