1#define __mplog __mplog_avx
2#define __add __add_avx
3#define __mpexp __mpexp_avx
4#define __mul __mul_avx
5#define __sub __sub_avx
6#define SECTION __attribute__ ((section (".text.avx")))
7
8#include <sysdeps/ieee754/dbl-64/mplog.c>
9