((x >= y) def (1 if(x > y) (x == y)));
((x <= y) def ((x == y) if(x < y) 1));
((x ^ y) def ((x * (x ^ (y - 1))) if(y > 0) 1));
((x = y) def (x def y));


((x SumOf1~x y) def ((x + ((x - 1) SumOf1~x y)) if(x > 0) 0));

((i PI/2 limit) def (
	(((4 * (i * i)) / 
	(((2 * i) - 1) * ((2 * i) + 1))) * ((i + 1) PI/2 limit)) 
	if(i < limit) 
	1));

((n fib y) def ((((n - 1) fib y) + ((n - 2) fib y)) 
		if(n > 2) 
		(2 if(n == 2) (1 if(n == 1) 0))));


(PI? = ((1 PI/2 8100) * 2));

(FIB5? = (5 fib 0));


((xn xn+1 a) = ((1 / 2) * (xn + (a / xn))));

((limit sqrt2 expr) def (((limit - 1) sqrt2 (expr xn+1 2)) if(limit > 0) expr));

(SQRT2? = (5 sqrt2 1));


(1+..+100 = (100 SumOf1~x 0));

1+..+100;

FIB5?;

SQRT2?;

PI?;