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