#include <math.h>
#include <stdio.h>
int main (void) {
	static volatile double x, y, z;
	double t264, t265, t266;
	x = 0x3.bd5b7dde5fddap-496;
	y = 0x3.bd5b7dde5fddap-496;
	z = -0xd.fc352bc352bap-992;
	t264 = fma(x, y, z);
	x = 0x3.bd5b7dde5fddap-504;
	y = 0x3.bd5b7dde5fddap-504;
	z = -0xd.fc352bc352bap-1008;
	t265 = fma(x, y, z);
	x = 0x8p-540;
	y = 0x4p-540;
	z = 0x4p-1076;
	t266 = fma(x, y, z);
	printf("t264| ans: %a   accept: %a %a %a\nt264| pass?: %d\n", 
			t264, 
			0x1.0989687cp-1044, 
			0x0.000004277ca1fp-1022,
			0x0.00000428p-1022,
			t264 == 0x1.0989687cp-1044 ||
			t264 == 0x0.000004277ca1fp-1022 ||
			t264 == 0x0.00000428p-1022
		);
	printf("t265| ans: %a   accept: %a %a %a\nt265| pass?: %d\n", 
			t265,
			0x1.0988p-1060,
			0x0.0000000004278p-1022,
			0x0.000000000428p-1022,
			t265 == 0x1.0988p-1060 ||
			t265 == 0x0.0000000004278p-1022 ||
			t265 == 0x0.000000000428p-1022
		);
	printf("t266| ans: %a   accept: %a\nt266| pass?: %d\n", 
			t266,
			0x8p-1076,
			t266 == 0x8p-1076
		);
	return 0;
}