Metrics for 2atan (example 3.5)

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze1.0ms (0.1%)

Memory

2.0MiB live, 2.0MiB allocated; 0ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	8.1%	91.9%	0%	0%	0%	0
0%	0%	8.1%	91.9%	0%	0%	0%	1
50%	4.1%	4.1%	91.9%	0%	0%	0%	2
75%	6.1%	2%	91.9%	0%	0%	0%	3
87.5%	7.1%	1%	91.9%	0%	0%	0%	4
93.8%	7.6%	0.5%	91.9%	0%	0%	0%	5
96.9%	7.9%	0.3%	91.9%	0%	0%	0%	6
98.4%	8%	0.1%	91.9%	0%	0%	0%	7
99.2%	8%	0.1%	91.9%	0%	0%	0%	8
99.6%	8.1%	0%	91.9%	0%	0%	0%	9
99.8%	8.1%	0%	91.9%	0%	0%	0%	10
99.9%	8.1%	0%	91.9%	0%	0%	0%	11
100%	8.1%	0%	91.9%	0%	0%	0%	12

Compiler

Compiled 15 to 11 computations (26.7% saved)

sample1.5s (55.7%)

Memory

24.7MiB live, 1 413.6MiB allocated; 543ms collecting garbage

Samples

894.0ms	7 253×	1	valid
150.0ms	807×	2	valid
9.0ms	196×	0	valid

Precisions

Click to see histograms. Total time spent on operations: 795.0ms

ival-atan: 403.0ms (50.7% of total)

adjust: 300.0ms (37.8% of total)

ival-add!: 51.0ms (6.4% of total)

ival-sub!: 40.0ms (5% of total)

ival-assert: 0.0ms (0% of total)

ival-and: 0.0ms (0% of total)

ival-<: 0.0ms (0% of total)

Bogosity

preprocess63.0ms (2.4%)

Memory

-15.5MiB live, 44.8MiB allocated; 14ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	25
1	37	22
2	115	21
3	332	21
4	1781	21

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	8.7%	(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))

Compiler

Compiled 12 to 12 computations (0% saved)

series2.0ms (0.1%)

Memory

1.8MiB live, 1.8MiB allocated; 0ms collecting garbage

Counts

6 → 9

Calls

Call 1

Inputs
(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))
(atan.f64 (+.f64 N #s(literal 1 binary64)))
(+.f64 N #s(literal 1 binary64))
N
#s(literal 1 binary64)
(atan.f64 N)

Outputs
#s(approx (- (atan (+ N 1)) (atan N)) #s(hole binary64 (- (atan (+ 1 N)) (atan N))))
#s(approx (atan (+ N 1)) #s(hole binary64 (atan (+ 1 N))))
#s(approx (+ N 1) #s(hole binary64 1))
#s(approx (+ N 1) #s(hole binary64 (+ 1 N)))
#s(approx N #s(hole binary64 N))
#s(approx (atan N) #s(hole binary64 (atan N)))
#s(approx (+ N 1) #s(hole binary64 (* N (+ 1 (/ 1 N)))))
#s(approx (- (atan (+ N 1)) (atan N)) #s(hole binary64 (- (atan (- 1 (* -1 N))) (atan N))))
#s(approx (atan (+ N 1)) #s(hole binary64 (atan (- 1 (* -1 N)))))

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	N	@	-inf	((- (atan (+ N 1)) (atan N)) (atan (+ N 1)) (+ N 1) N 1 (atan N))
0.0ms	N	@	inf	((- (atan (+ N 1)) (atan N)) (atan (+ N 1)) (+ N 1) N 1 (atan N))
0.0ms	N	@	0	((- (atan (+ N 1)) (atan N)) (atan (+ N 1)) (+ N 1) N 1 (atan N))

rewrite57.0ms (2.2%)

Memory

32.1MiB live, 76.9MiB allocated; 10ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	101
0	35	93
1	169	93
0	866	93
1	2116	93

Stop Event

1×	saturated
1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

15 → 32

Calls

Call 1

Inputs
(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))
(atan.f64 (+.f64 N #s(literal 1 binary64)))
(+.f64 N #s(literal 1 binary64))
N
#s(literal 1 binary64)
(atan.f64 N)
#s(approx (- (atan (+ N 1)) (atan N)) #s(hole binary64 (- (atan (+ 1 N)) (atan N))))
#s(approx (atan (+ N 1)) #s(hole binary64 (atan (+ 1 N))))
#s(approx (+ N 1) #s(hole binary64 1))
#s(approx (+ N 1) #s(hole binary64 (+ 1 N)))
#s(approx N #s(hole binary64 N))
#s(approx (atan N) #s(hole binary64 (atan N)))
#s(approx (+ N 1) #s(hole binary64 (* N (+ 1 (/ 1 N)))))
#s(approx (- (atan (+ N 1)) (atan N)) #s(hole binary64 (- (atan (- 1 (* -1 N))) (atan N))))
#s(approx (atan (+ N 1)) #s(hole binary64 (atan (- 1 (* -1 N)))))

Outputs
(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
(neg.f64 (-.f64 (atan.f64 N) (atan.f64 (-.f64 N #s(literal -1 binary64)))))
(-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (neg.f64 (neg.f64 (atan.f64 N))))
(-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N))
(+.f64 (neg.f64 (atan.f64 N)) (atan.f64 (-.f64 N #s(literal -1 binary64))))
(+.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (neg.f64 (atan.f64 N)))
(neg.f64 (atan.f64 (-.f64 (neg.f64 N) #s(literal 1 binary64))))
(atan.f64 (-.f64 N #s(literal -1 binary64)))
(*.f64 (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) N)
(*.f64 #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)))
(*.f64 N (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)))
(neg.f64 (-.f64 #s(literal -1 binary64) N))
(neg.f64 (+.f64 #s(literal -1 binary64) (neg.f64 N)))
(neg.f64 (-.f64 (neg.f64 N) #s(literal 1 binary64)))
(-.f64 #s(literal 1 binary64) (neg.f64 N))
(-.f64 N (*.f64 (neg.f64 N) (/.f64 #s(literal 1 binary64) N)))
(-.f64 N (*.f64 (/.f64 #s(literal -1 binary64) N) N))
(-.f64 N #s(literal -1 binary64))
(+.f64 #s(literal 1 binary64) N)
(+.f64 N #s(literal 1 binary64))
N
#s(literal 1 binary64)
(atan.f64 N)
#s(approx (- (atan (+ N 1)) (atan N)) (-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N)))
#s(approx (atan (+ N 1)) (atan.f64 (-.f64 N #s(literal -1 binary64))))
#s(approx (+ N 1) #s(literal 1 binary64))
#s(approx (+ N 1) (-.f64 N #s(literal -1 binary64)))
#s(approx N N)
#s(approx (atan N) (atan.f64 N))
#s(approx (+ N 1) (-.f64 N #s(literal -1 binary64)))
#s(approx (- (atan (+ N 1)) (atan N)) (-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N)))
#s(approx (atan (+ N 1)) (atan.f64 (-.f64 N #s(literal -1 binary64))))

eval2.0ms (0.1%)

Memory: 6.4MiB live, 6.4MiB allocated; 0ms collecting garbage
Compiler: Compiled 128 to 82 computations (35.9% saved)

prune2.0ms (0.1%)

Memory

4.9MiB live, 4.9MiB allocated; 0ms collecting garbage

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	22	3	25
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	23	3	26

Accuracy

19.9%

Counts

26 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	19.9%	(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
▶	8.7%	(-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N))
▶	2.0%	(-.f64 (atan.f64 #s(approx (+ N 1) #s(literal 1 binary64))) (atan.f64 N))

Status

Accuracy

Program

▶

19.9%

(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))

▶

8.7%

(-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N))

▶

2.0%

(-.f64 (atan.f64 #s(approx (+ N 1) #s(literal 1 binary64))) (atan.f64 N))

Compiler

Compiled 22 to 21 computations (4.5% saved)

series7.0ms (0.3%)

Memory

-37.6MiB live, 7.8MiB allocated; 6ms collecting garbage

Counts

13 → 16

Calls

Call 1

Inputs
(-.f64 (atan.f64 #s(approx (+ N 1) #s(literal 1 binary64))) (atan.f64 N))
(atan.f64 #s(approx (+ N 1) #s(literal 1 binary64)))
#s(approx (+ N 1) #s(literal 1 binary64))
#s(literal 1 binary64)
(atan.f64 N)
N
(-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N))
(atan.f64 (-.f64 N #s(literal -1 binary64)))
(-.f64 N #s(literal -1 binary64))
#s(literal -1 binary64)
(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
(-.f64 (-.f64 N #s(literal -1 binary64)) N)
(fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))

Outputs
#s(approx (- (atan (+ N 1)) (atan N)) #s(hole binary64 (- (atan (+ 1 N)) (atan N))))
#s(approx (atan (+ N 1)) #s(hole binary64 (atan (+ 1 N))))
#s(approx (+ N 1) #s(hole binary64 1))
#s(approx (+ N 1) #s(hole binary64 (+ 1 N)))
#s(approx (atan N) #s(hole binary64 (atan N)))
#s(approx N #s(hole binary64 N))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (* N (+ 1 N))))))
#s(approx (+ (* (- N -1) N) 1) #s(hole binary64 (+ 1 (* N (+ 1 N)))))
#s(approx (+ N 1) #s(hole binary64 (* N (+ 1 (/ 1 N)))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (+ N (pow N 2))))))
#s(approx (+ (* (- N -1) N) 1) #s(hole binary64 (pow N 2)))
#s(approx (+ (* (- N -1) N) 1) #s(hole binary64 (* (pow N 2) (+ 1 (/ 1 N)))))
#s(approx (+ (* (- N -1) N) 1) #s(hole binary64 (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))))
#s(approx (- (atan (+ N 1)) (atan N)) #s(hole binary64 (- (atan (- 1 (* -1 N))) (atan N))))
#s(approx (atan (+ N 1)) #s(hole binary64 (atan (- 1 (* -1 N)))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (* N (- 1 (* -1 N)))))))

Calls

3 calls:

Time	Variable		Point	Expression
5.0ms	N	@	-inf	((- (atan (+ N 1)) (atan N)) (atan (+ N 1)) (+ N 1) 1 (atan N) N (- (atan (- N -1)) (atan N)) (atan (- N -1)) (- N -1) -1 (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (- (- N -1) N) (+ (* (- N -1) N) 1))
1.0ms	N	@	inf	((- (atan (+ N 1)) (atan N)) (atan (+ N 1)) (+ N 1) 1 (atan N) N (- (atan (- N -1)) (atan N)) (atan (- N -1)) (- N -1) -1 (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (- (- N -1) N) (+ (* (- N -1) N) 1))
0.0ms	N	@	0	((- (atan (+ N 1)) (atan N)) (atan (+ N 1)) (+ N 1) 1 (atan N) N (- (atan (- N -1)) (atan N)) (atan (- N -1)) (- N -1) -1 (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (- (- N -1) N) (+ (* (- N -1) N) 1))

Time

Variable

Point

Expression

5.0ms

-inf

((- (atan (+ N 1)) (atan N)) (atan (+ N 1)) (+ N 1) 1 (atan N) N (- (atan (- N -1)) (atan N)) (atan (- N -1)) (- N -1) -1 (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (- (- N -1) N) (+ (* (- N -1) N) 1))

1.0ms

inf

((- (atan (+ N 1)) (atan N)) (atan (+ N 1)) (+ N 1) 1 (atan N) N (- (atan (- N -1)) (atan N)) (atan (- N -1)) (- N -1) -1 (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (- (- N -1) N) (+ (* (- N -1) N) 1))

0.0ms

((- (atan (+ N 1)) (atan N)) (atan (+ N 1)) (+ N 1) 1 (atan N) N (- (atan (- N -1)) (atan N)) (atan (- N -1)) (- N -1) -1 (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (- (- N -1) N) (+ (* (- N -1) N) 1))

rewrite141.0ms (5.4%)

Memory

19.5MiB live, 121.4MiB allocated; 62ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	63	275
0	77	239
1	423	235
0	2763	232
1	8208	232

Stop Event

1×	saturated
1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

29 → 110

Calls

Call 1

Inputs
(-.f64 (atan.f64 #s(approx (+ N 1) #s(literal 1 binary64))) (atan.f64 N))
(atan.f64 #s(approx (+ N 1) #s(literal 1 binary64)))
#s(approx (+ N 1) #s(literal 1 binary64))
#s(literal 1 binary64)
(atan.f64 N)
N
(-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N))
(atan.f64 (-.f64 N #s(literal -1 binary64)))
(-.f64 N #s(literal -1 binary64))
#s(literal -1 binary64)
(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
(-.f64 (-.f64 N #s(literal -1 binary64)) N)
(fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))
#s(approx (- (atan (+ N 1)) (atan N)) #s(hole binary64 (- (atan (+ 1 N)) (atan N))))
#s(approx (atan (+ N 1)) #s(hole binary64 (atan (+ 1 N))))
#s(approx (+ N 1) #s(hole binary64 1))
#s(approx (+ N 1) #s(hole binary64 (+ 1 N)))
#s(approx (atan N) #s(hole binary64 (atan N)))
#s(approx N #s(hole binary64 N))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (* N (+ 1 N))))))
#s(approx (+ (* (- N -1) N) 1) #s(hole binary64 (+ 1 (* N (+ 1 N)))))
#s(approx (+ N 1) #s(hole binary64 (* N (+ 1 (/ 1 N)))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (+ N (pow N 2))))))
#s(approx (+ (* (- N -1) N) 1) #s(hole binary64 (pow N 2)))
#s(approx (+ (* (- N -1) N) 1) #s(hole binary64 (* (pow N 2) (+ 1 (/ 1 N)))))
#s(approx (+ (* (- N -1) N) 1) #s(hole binary64 (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))))
#s(approx (- (atan (+ N 1)) (atan N)) #s(hole binary64 (- (atan (- 1 (* -1 N))) (atan N))))
#s(approx (atan (+ N 1)) #s(hole binary64 (atan (- 1 (* -1 N)))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (* N (- 1 (* -1 N)))))))

Outputs
(atan2.f64 (-.f64 #s(approx (+ N 1) #s(literal 1 binary64)) N) (fma.f64 #s(approx (+ N 1) #s(literal 1 binary64)) N #s(literal 1 binary64)))
(neg.f64 (-.f64 (atan.f64 N) (atan.f64 #s(approx (+ N 1) #s(literal 1 binary64)))))
(-.f64 (atan.f64 #s(approx (+ N 1) #s(literal 1 binary64))) (neg.f64 (neg.f64 (atan.f64 N))))
(-.f64 (atan.f64 #s(approx (+ N 1) #s(literal 1 binary64))) (atan.f64 N))
(+.f64 (neg.f64 (atan.f64 N)) (atan.f64 #s(approx (+ N 1) #s(literal 1 binary64))))
(+.f64 (atan.f64 #s(approx (+ N 1) #s(literal 1 binary64))) (neg.f64 (atan.f64 N)))
(atan.f64 #s(approx (+ N 1) #s(literal 1 binary64)))
#s(approx (+ N 1) #s(literal 1 binary64))
#s(literal 1 binary64)
(atan.f64 N)
N
(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
(neg.f64 (-.f64 (atan.f64 N) (atan.f64 (-.f64 N #s(literal -1 binary64)))))
(-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (neg.f64 (neg.f64 (atan.f64 N))))
(-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N))
(+.f64 (neg.f64 (atan.f64 N)) (atan.f64 (-.f64 N #s(literal -1 binary64))))
(+.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (neg.f64 (atan.f64 N)))
(neg.f64 (atan.f64 (-.f64 #s(literal -1 binary64) N)))
(atan.f64 (-.f64 N #s(literal -1 binary64)))
(*.f64 (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) N)
(*.f64 #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) N))
(*.f64 #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)))
(*.f64 N (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)))
(neg.f64 (-.f64 #s(literal -1 binary64) N))
(-.f64 #s(literal 1 binary64) (neg.f64 N))
(-.f64 N (*.f64 (/.f64 #s(literal -1 binary64) N) N))
(-.f64 N (*.f64 (neg.f64 N) (/.f64 #s(literal 1 binary64) N)))
(-.f64 N #s(literal -1 binary64))
(+.f64 #s(literal 1 binary64) N)
(+.f64 N #s(literal 1 binary64))
#s(literal -1 binary64)
(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
(neg.f64 (-.f64 (atan.f64 N) (atan.f64 (-.f64 N #s(literal -1 binary64)))))
(-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (neg.f64 (neg.f64 (atan.f64 N))))
(-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N))
(+.f64 (neg.f64 (atan.f64 N)) (atan.f64 (-.f64 N #s(literal -1 binary64))))
(+.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (neg.f64 (atan.f64 N)))
(neg.f64 (+.f64 (-.f64 #s(literal -1 binary64) N) N))
(neg.f64 (-.f64 N (-.f64 N #s(literal -1 binary64))))
(fma.f64 (neg.f64 N) #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) N (neg.f64 N))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) N) (neg.f64 N))
(fma.f64 #s(literal -1 binary64) N (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (neg.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)) (neg.f64 N))
(fma.f64 N (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) (neg.f64 N))
(fma.f64 N #s(literal -1 binary64) (-.f64 N #s(literal -1 binary64)))
(-.f64 (-.f64 N #s(literal -1 binary64)) N)
(-.f64 #s(literal 1 binary64) (-.f64 (neg.f64 N) (neg.f64 N)))
(-.f64 #s(literal 1 binary64) (+.f64 (neg.f64 N) N))
(-.f64 N (-.f64 N #s(literal 1 binary64)))
(+.f64 (neg.f64 N) (-.f64 N #s(literal -1 binary64)))
(+.f64 (-.f64 N #s(literal -1 binary64)) (neg.f64 N))
(+.f64 #s(literal 1 binary64) (+.f64 N (neg.f64 N)))
(+.f64 #s(literal 1 binary64) (-.f64 N N))
(+.f64 N (-.f64 #s(literal 1 binary64) N))
(neg.f64 (-.f64 (*.f64 (-.f64 #s(literal -1 binary64) N) N) #s(literal 1 binary64)))
(neg.f64 (+.f64 #s(literal -1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N)))
(neg.f64 (-.f64 #s(literal -1 binary64) (fma.f64 N N N)))
(fma.f64 (*.f64 (fma.f64 N N N) #s(literal -1 binary64)) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 (.f64 (.f64 N N) #s(literal -1 binary64)) #s(literal -1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (*.f64 (neg.f64 N) N) #s(literal -1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (fabs.f64 N) (fabs.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (fma.f64 N N N) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 (neg.f64 N) (neg.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (*.f64 N N) (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) #s(literal 1 binary64))
(fma.f64 (*.f64 N N) #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) (*.f64 N N) #s(literal 1 binary64))
(fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) N (*.f64 N N))
(fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (.f64 N N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) N) (*.f64 N N))
(fma.f64 #s(literal -1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 (neg.f64 N) N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (fma.f64 N N N) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (*.f64 N N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)) (*.f64 N N))
(fma.f64 N (*.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 N (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) (*.f64 N N))
(fma.f64 N (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64))
(fma.f64 N N (-.f64 N #s(literal -1 binary64)))
(-.f64 (fma.f64 N N N) #s(literal -1 binary64))
(-.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 (neg.f64 N) N))
(-.f64 #s(literal 1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N))
(-.f64 N (-.f64 (*.f64 (neg.f64 N) N) #s(literal 1 binary64)))
(-.f64 N (-.f64 #s(literal -1 binary64) (*.f64 N N)))
(+.f64 (+.f64 #s(literal 1 binary64) (*.f64 N N)) N)
(+.f64 (fma.f64 N N N) #s(literal 1 binary64))
(+.f64 (*.f64 N N) (-.f64 N #s(literal -1 binary64)))
(+.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N))
(+.f64 #s(literal 1 binary64) (fma.f64 N N N))
(+.f64 N (-.f64 (*.f64 N N) #s(literal -1 binary64)))
(+.f64 N (fma.f64 N N #s(literal 1 binary64)))
(+.f64 N (+.f64 #s(literal 1 binary64) (*.f64 N N)))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N)))
#s(approx (atan (+ N 1)) (atan.f64 (-.f64 N #s(literal -1 binary64))))
#s(approx (+ N 1) #s(literal 1 binary64))
#s(approx (+ N 1) (-.f64 N #s(literal -1 binary64)))
#s(approx (atan N) (atan.f64 N))
#s(approx N N)
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
#s(approx (+ (* (- N -1) N) 1) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
#s(approx (+ N 1) (-.f64 N #s(literal -1 binary64)))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
#s(approx (+ (* (- N -1) N) 1) (*.f64 N N))
#s(approx (+ (* (- N -1) N) 1) (fma.f64 N N N))
#s(approx (+ (* (- N -1) N) 1) (fma.f64 N N (fma.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (.f64 N N) N)))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N)))
#s(approx (atan (+ N 1)) (atan.f64 (-.f64 N #s(literal -1 binary64))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))

eval9.0ms (0.4%)

Memory: 16.0MiB live, 16.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 503 to 272 computations (45.9% saved)

prune10.0ms (0.4%)

Memory

-40.4MiB live, 7.2MiB allocated; 10ms collecting garbage

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	94	4	98
Fresh	0	0	0
Picked	2	1	3
Done	0	0	0
Total	96	5	101

Accuracy

99.6%

Counts

101 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	13.5%	(atan2.f64 (fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) N (neg.f64 N)) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
▶	19.9%	(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) (*.f64 N N) #s(literal 1 binary64)))
▶	19.9%	(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (+.f64 N (fma.f64 N N #s(literal 1 binary64))))
✓	2.0%	(-.f64 (atan.f64 #s(approx (+ N 1) #s(literal 1 binary64))) (atan.f64 N))
▶	99.6%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))

Compiler

Compiled 51 to 50 computations (2% saved)

series5.0ms (0.2%)

Memory

8.1MiB live, 8.1MiB allocated; 0ms collecting garbage

Counts

19 → 21

Calls

Call 1

Inputs
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
(atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
#s(literal 1 binary64)
(fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))
(-.f64 N #s(literal -1 binary64))
N
#s(literal -1 binary64)
(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (+.f64 N (fma.f64 N N #s(literal 1 binary64))))
(-.f64 (-.f64 N #s(literal -1 binary64)) N)
(+.f64 N (fma.f64 N N #s(literal 1 binary64)))
(fma.f64 N N #s(literal 1 binary64))
(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) (*.f64 N N) #s(literal 1 binary64)))
(fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) (*.f64 N N) #s(literal 1 binary64))
(-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) N)
(*.f64 N N)
(atan2.f64 (fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) N (neg.f64 N)) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
(fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) N (neg.f64 N))
(neg.f64 N)

Outputs
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (* N (+ 1 N))))))
#s(approx (+ (* (- N -1) N) 1) #s(hole binary64 1))
#s(approx (+ (* (- N -1) N) 1) #s(hole binary64 (+ 1 N)))
#s(approx (+ (* (- N -1) N) 1) #s(hole binary64 (+ 1 (* N (+ 1 N)))))
#s(approx N #s(hole binary64 N))
#s(approx (atan2 (- (- N -1) N) (+ N (+ (* N N) 1))) #s(hole binary64 (atan2 1 (+ 1 (+ N (pow N 2))))))
#s(approx (+ (* N N) 1) #s(hole binary64 (+ 1 (pow N 2))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- (/ 1 N) -1) (* N N)) 1)) #s(hole binary64 (atan2 1 (+ 1 (* (pow N 2) (+ 1 (/ 1 N)))))))
#s(approx (- (/ 1 N) -1) #s(hole binary64 (/ 1 N)))
#s(approx (- (/ 1 N) -1) #s(hole binary64 (/ (+ 1 N) N)))
#s(approx (* N N) #s(hole binary64 (pow N 2)))
#s(approx (atan2 (+ (* (- (/ 1 N) -1) N) (neg N)) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 (- (* N (+ 1 (/ 1 N))) N) (+ 1 (* N (+ 1 N))))))
#s(approx (neg N) #s(hole binary64 (* -1 N)))
#s(approx (+ (* (- N -1) N) 1) #s(hole binary64 (* (pow N 2) (+ 1 (/ 1 N)))))
#s(approx (+ (* (- N -1) N) 1) #s(hole binary64 (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))))
#s(approx (- N -1) #s(hole binary64 (* N (+ 1 (/ 1 N)))))
#s(approx (+ (* N N) 1) #s(hole binary64 (* (pow N 2) (+ 1 (/ 1 (pow N 2))))))
#s(approx (- (/ 1 N) -1) #s(hole binary64 (+ 1 (/ 1 N))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (* N (- 1 (* -1 N)))))))
#s(approx (atan2 (- (- N -1) N) (+ N (+ (* N N) 1))) #s(hole binary64 (atan2 1 (- (+ 1 (pow N 2)) (* -1 N)))))
#s(approx (atan2 (+ (* (- (/ 1 N) -1) N) (neg N)) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 (+ (* -1 N) (* N (+ 1 (/ 1 N)))) (+ 1 (* N (- 1 (* -1 N)))))))

Calls

3 calls:

Time	Variable		Point	Expression
3.0ms	N	@	-inf	((atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (- N -1) N) 1)) 1 (+ (* (- N -1) N) 1) (- N -1) N -1 (atan2 (- (- N -1) N) (+ N (+ (* N N) 1))) (- (- N -1) N) (+ N (+ (* N N) 1)) (+ (* N N) 1) (atan2 (- (- N -1) N) (+ (* (- (/ 1 N) -1) (* N N)) 1)) (+ (* (- (/ 1 N) -1) (* N N)) 1) (- (/ 1 N) -1) (/ 1 N) (* N N) (atan2 (+ (* (- (/ 1 N) -1) N) (neg N)) (+ (* (- N -1) N) 1)) (+ (* (- (/ 1 N) -1) N) (neg N)) (neg N))
1.0ms	N	@	0	((atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (- N -1) N) 1)) 1 (+ (* (- N -1) N) 1) (- N -1) N -1 (atan2 (- (- N -1) N) (+ N (+ (* N N) 1))) (- (- N -1) N) (+ N (+ (* N N) 1)) (+ (* N N) 1) (atan2 (- (- N -1) N) (+ (* (- (/ 1 N) -1) (* N N)) 1)) (+ (* (- (/ 1 N) -1) (* N N)) 1) (- (/ 1 N) -1) (/ 1 N) (* N N) (atan2 (+ (* (- (/ 1 N) -1) N) (neg N)) (+ (* (- N -1) N) 1)) (+ (* (- (/ 1 N) -1) N) (neg N)) (neg N))
1.0ms	N	@	inf	((atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (- N -1) N) 1)) 1 (+ (* (- N -1) N) 1) (- N -1) N -1 (atan2 (- (- N -1) N) (+ N (+ (* N N) 1))) (- (- N -1) N) (+ N (+ (* N N) 1)) (+ (* N N) 1) (atan2 (- (- N -1) N) (+ (* (- (/ 1 N) -1) (* N N)) 1)) (+ (* (- (/ 1 N) -1) (* N N)) 1) (- (/ 1 N) -1) (/ 1 N) (* N N) (atan2 (+ (* (- (/ 1 N) -1) N) (neg N)) (+ (* (- N -1) N) 1)) (+ (* (- (/ 1 N) -1) N) (neg N)) (neg N))

Time

Variable

Point

Expression

3.0ms

-inf

((atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (- N -1) N) 1)) 1 (+ (* (- N -1) N) 1) (- N -1) N -1 (atan2 (- (- N -1) N) (+ N (+ (* N N) 1))) (- (- N -1) N) (+ N (+ (* N N) 1)) (+ (* N N) 1) (atan2 (- (- N -1) N) (+ (* (- (/ 1 N) -1) (* N N)) 1)) (+ (* (- (/ 1 N) -1) (* N N)) 1) (- (/ 1 N) -1) (/ 1 N) (* N N) (atan2 (+ (* (- (/ 1 N) -1) N) (neg N)) (+ (* (- N -1) N) 1)) (+ (* (- (/ 1 N) -1) N) (neg N)) (neg N))

1.0ms

((atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (- N -1) N) 1)) 1 (+ (* (- N -1) N) 1) (- N -1) N -1 (atan2 (- (- N -1) N) (+ N (+ (* N N) 1))) (- (- N -1) N) (+ N (+ (* N N) 1)) (+ (* N N) 1) (atan2 (- (- N -1) N) (+ (* (- (/ 1 N) -1) (* N N)) 1)) (+ (* (- (/ 1 N) -1) (* N N)) 1) (- (/ 1 N) -1) (/ 1 N) (* N N) (atan2 (+ (* (- (/ 1 N) -1) N) (neg N)) (+ (* (- N -1) N) 1)) (+ (* (- (/ 1 N) -1) N) (neg N)) (neg N))

1.0ms

inf

((atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (- N -1) N) 1)) 1 (+ (* (- N -1) N) 1) (- N -1) N -1 (atan2 (- (- N -1) N) (+ N (+ (* N N) 1))) (- (- N -1) N) (+ N (+ (* N N) 1)) (+ (* N N) 1) (atan2 (- (- N -1) N) (+ (* (- (/ 1 N) -1) (* N N)) 1)) (+ (* (- (/ 1 N) -1) (* N N)) 1) (- (/ 1 N) -1) (/ 1 N) (* N N) (atan2 (+ (* (- (/ 1 N) -1) N) (neg N)) (+ (* (- N -1) N) 1)) (+ (* (- (/ 1 N) -1) N) (neg N)) (neg N))

rewrite142.0ms (5.4%)

Memory

34.0MiB live, 122.1MiB allocated; 17ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	91	480
0	117	422
1	559	333
0	4131	332
1	13470	332

Stop Event

1×	saturated
1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

40 → 457

Calls

Call 1

Inputs
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
(atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
#s(literal 1 binary64)
(fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))
(-.f64 N #s(literal -1 binary64))
N
#s(literal -1 binary64)
(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (+.f64 N (fma.f64 N N #s(literal 1 binary64))))
(-.f64 (-.f64 N #s(literal -1 binary64)) N)
(+.f64 N (fma.f64 N N #s(literal 1 binary64)))
(fma.f64 N N #s(literal 1 binary64))
(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) (*.f64 N N) #s(literal 1 binary64)))
(fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) (*.f64 N N) #s(literal 1 binary64))
(-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) N)
(*.f64 N N)
(atan2.f64 (fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) N (neg.f64 N)) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
(fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) N (neg.f64 N))
(neg.f64 N)
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (* N (+ 1 N))))))
#s(approx (+ (* (- N -1) N) 1) #s(hole binary64 1))
#s(approx (+ (* (- N -1) N) 1) #s(hole binary64 (+ 1 N)))
#s(approx (+ (* (- N -1) N) 1) #s(hole binary64 (+ 1 (* N (+ 1 N)))))
#s(approx N #s(hole binary64 N))
#s(approx (atan2 (- (- N -1) N) (+ N (+ (* N N) 1))) #s(hole binary64 (atan2 1 (+ 1 (+ N (pow N 2))))))
#s(approx (+ (* N N) 1) #s(hole binary64 (+ 1 (pow N 2))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- (/ 1 N) -1) (* N N)) 1)) #s(hole binary64 (atan2 1 (+ 1 (* (pow N 2) (+ 1 (/ 1 N)))))))
#s(approx (- (/ 1 N) -1) #s(hole binary64 (/ 1 N)))
#s(approx (- (/ 1 N) -1) #s(hole binary64 (/ (+ 1 N) N)))
#s(approx (* N N) #s(hole binary64 (pow N 2)))
#s(approx (atan2 (+ (* (- (/ 1 N) -1) N) (neg N)) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 (- (* N (+ 1 (/ 1 N))) N) (+ 1 (* N (+ 1 N))))))
#s(approx (neg N) #s(hole binary64 (* -1 N)))
#s(approx (+ (* (- N -1) N) 1) #s(hole binary64 (* (pow N 2) (+ 1 (/ 1 N)))))
#s(approx (+ (* (- N -1) N) 1) #s(hole binary64 (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))))
#s(approx (- N -1) #s(hole binary64 (* N (+ 1 (/ 1 N)))))
#s(approx (+ (* N N) 1) #s(hole binary64 (* (pow N 2) (+ 1 (/ 1 (pow N 2))))))
#s(approx (- (/ 1 N) -1) #s(hole binary64 (+ 1 (/ 1 N))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (* N (- 1 (* -1 N)))))))
#s(approx (atan2 (- (- N -1) N) (+ N (+ (* N N) 1))) #s(hole binary64 (atan2 1 (- (+ 1 (pow N 2)) (* -1 N)))))
#s(approx (atan2 (+ (* (- (/ 1 N) -1) N) (neg N)) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 (+ (* -1 N) (* N (+ 1 (/ 1 N)))) (+ 1 (* N (- 1 (* -1 N)))))))

Outputs
#s(approx (atan2 (+ (* (- (/ 1 N) -1) N) (neg N)) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
(atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
#s(literal 1 binary64)
(.f64 (.f64 (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)) (fabs.f64 N)) (fabs.f64 N))
(.f64 (.f64 (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)) (neg.f64 N)) (neg.f64 N))
(.f64 (.f64 (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)) N) N)
(.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64))))
(.f64 (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)) (*.f64 N N))
(.f64 (.f64 N N) (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)))
(.f64 (neg.f64 N) (.f64 (neg.f64 N) (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64))))
(.f64 N (.f64 N (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64))))
(neg.f64 (-.f64 (-.f64 #s(literal -1 binary64) (*.f64 N N)) N))
(neg.f64 (+.f64 #s(literal -1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N)))
(neg.f64 (-.f64 #s(literal -1 binary64) (fma.f64 N N N)))
(neg.f64 (fma.f64 (-.f64 #s(literal -1 binary64) N) N #s(literal -1 binary64)))
(fma.f64 (*.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (fabs.f64 N)) (fabs.f64 N) #s(literal 1 binary64))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (fabs.f64 N)) (fabs.f64 N) (*.f64 N N))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (neg.f64 N)) (neg.f64 N) (*.f64 N N))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) N) N (*.f64 N N))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) (fabs.f64 N)) (fabs.f64 N) N)
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) (neg.f64 N)) (neg.f64 N) N)
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N) N N)
(fma.f64 (.f64 (fabs.f64 N) #s(literal 1 binary64)) (.f64 (fabs.f64 N) #s(literal 1 binary64)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 (fabs.f64 N) #s(literal -1 binary64)) (.f64 (fabs.f64 N) #s(literal -1 binary64)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 N)) (.f64 #s(literal 1 binary64) (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 N)) (fabs.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 #s(literal -1 binary64) (fabs.f64 N)) (.f64 #s(literal -1 binary64) (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 (.f64 N N) #s(literal -1 binary64)) #s(literal -1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (fabs.f64 (fabs.f64 N)) (fabs.f64 (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (neg.f64 (fabs.f64 N)) (neg.f64 (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (-.f64 #s(literal -1 binary64) N) (neg.f64 N) #s(literal 1 binary64))
(fma.f64 (*.f64 (-.f64 #s(literal -1 binary64) N) N) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 (*.f64 (neg.f64 N) N) #s(literal -1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (fabs.f64 N) (*.f64 (fabs.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) N)) #s(literal 1 binary64))
(fma.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N))) (*.f64 N N))
(fma.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64))) N)
(fma.f64 (fabs.f64 N) (*.f64 (fabs.f64 N) #s(literal 1 binary64)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (fabs.f64 N) (fabs.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) (.f64 N N) N)
(fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (.f64 N N) (*.f64 N N))
(fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N) #s(literal 1 binary64))
(fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) N (*.f64 N N))
(fma.f64 (.f64 N N) (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 (.f64 N N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N)
(fma.f64 (.f64 N N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (*.f64 N N))
(fma.f64 (*.f64 N N) (/.f64 (-.f64 N #s(literal -1 binary64)) N) #s(literal 1 binary64))
(fma.f64 (*.f64 N N) #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (neg.f64 N) (.f64 (neg.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N))) (*.f64 N N))
(fma.f64 (neg.f64 N) (.f64 (neg.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64))) N)
(fma.f64 (neg.f64 N) (-.f64 #s(literal -1 binary64) N) #s(literal 1 binary64))
(fma.f64 (neg.f64 N) (neg.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (*.f64 N N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (fma.f64 N N N) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)) (*.f64 N N))
(fma.f64 (fma.f64 N N N) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (.f64 N N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) N) (*.f64 N N))
(fma.f64 #s(literal -1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 (neg.f64 N) N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 N (.f64 N (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N))) (*.f64 N N))
(fma.f64 N (.f64 N (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64))) N)
(fma.f64 N (*.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 N (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N))
(fma.f64 N (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64))
(fma.f64 N N (-.f64 N #s(literal -1 binary64)))
(-.f64 (fma.f64 N N #s(literal 1 binary64)) (neg.f64 N))
(-.f64 (.f64 N N) (.f64 (.f64 (neg.f64 N) N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N))))
(-.f64 (.f64 N N) (.f64 (-.f64 (/.f64 #s(literal -1 binary64) N) (/.f64 #s(literal 1 binary64) (.f64 N N))) (.f64 N N)))
(-.f64 (*.f64 N N) (-.f64 #s(literal -1 binary64) N))
(-.f64 #s(literal 1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N))
(-.f64 (fma.f64 N N N) #s(literal -1 binary64))
(-.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 (neg.f64 N) N))
(-.f64 N (-.f64 #s(literal -1 binary64) (*.f64 N N)))
(+.f64 (fma.f64 N N #s(literal 1 binary64)) N)
(+.f64 (*.f64 N N) (-.f64 N #s(literal -1 binary64)))
(+.f64 #s(literal 1 binary64) (fma.f64 N N N))
(+.f64 (fma.f64 N N N) #s(literal 1 binary64))
(+.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N))
(+.f64 N (fma.f64 N N #s(literal 1 binary64)))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (fabs.f64 N)) (fabs.f64 N))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (neg.f64 N)) (neg.f64 N))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) N) N)
(.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N))))
(.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (*.f64 N N))
(*.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) N)
(.f64 (.f64 N N) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)))
(.f64 (neg.f64 N) (.f64 (neg.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N))))
(*.f64 #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)))
(*.f64 #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) N))
(.f64 N (.f64 N (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N))))
(*.f64 N (/.f64 (-.f64 N #s(literal -1 binary64)) N))
(/.f64 (.f64 (fma.f64 N N N) (.f64 N N)) (.f64 (.f64 N N) N))
(/.f64 (.f64 (.f64 N N) (fma.f64 N N N)) (.f64 (.f64 N N) N))
(neg.f64 (-.f64 #s(literal -1 binary64) N))
(-.f64 #s(literal 1 binary64) (neg.f64 N))
(-.f64 N (*.f64 (/.f64 #s(literal -1 binary64) N) N))
(-.f64 N (*.f64 (neg.f64 N) (/.f64 #s(literal 1 binary64) N)))
(-.f64 N #s(literal -1 binary64))
(+.f64 #s(literal 1 binary64) N)
(+.f64 N #s(literal 1 binary64))
N
#s(literal -1 binary64)
(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
(-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N))
(*.f64 N (+.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) #s(literal -1 binary64)))
(*.f64 N (+.f64 #s(literal -1 binary64) (/.f64 (-.f64 N #s(literal -1 binary64)) N)))
(neg.f64 (-.f64 (-.f64 #s(literal -1 binary64) N) (neg.f64 N)))
(neg.f64 (+.f64 (-.f64 #s(literal -1 binary64) N) N))
(neg.f64 (-.f64 N (-.f64 N #s(literal -1 binary64))))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (fabs.f64 N)) (fabs.f64 N) (neg.f64 N))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (neg.f64 N)) (neg.f64 N) (neg.f64 N))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) N) N (neg.f64 N))
(fma.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N))) (neg.f64 N))
(fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (.f64 N N) (neg.f64 N))
(fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) N (neg.f64 N))
(fma.f64 (.f64 N N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (neg.f64 N))
(fma.f64 (neg.f64 N) (.f64 (neg.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N))) (neg.f64 N))
(fma.f64 (neg.f64 N) #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (neg.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)) (neg.f64 N))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) N) (neg.f64 N))
(fma.f64 #s(literal -1 binary64) N (-.f64 N #s(literal -1 binary64)))
(fma.f64 N (.f64 N (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N))) (neg.f64 N))
(fma.f64 N (/.f64 (-.f64 N #s(literal -1 binary64)) N) (neg.f64 N))
(fma.f64 N #s(literal -1 binary64) (-.f64 N #s(literal -1 binary64)))
(-.f64 (neg.f64 N) (-.f64 #s(literal -1 binary64) N))
(-.f64 #s(literal 1 binary64) (-.f64 (neg.f64 N) (neg.f64 N)))
(-.f64 #s(literal 1 binary64) (+.f64 (neg.f64 N) N))
(-.f64 (-.f64 N #s(literal -1 binary64)) N)
(-.f64 N (-.f64 N #s(literal 1 binary64)))
(+.f64 (+.f64 (neg.f64 N) N) #s(literal 1 binary64))
(+.f64 (neg.f64 N) (-.f64 N #s(literal -1 binary64)))
(+.f64 #s(literal 1 binary64) (+.f64 N (neg.f64 N)))
(+.f64 #s(literal 1 binary64) (-.f64 N N))
(+.f64 (-.f64 N #s(literal -1 binary64)) (neg.f64 N))
(+.f64 N (-.f64 #s(literal 1 binary64) N))
(.f64 (.f64 (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)) (fabs.f64 N)) (fabs.f64 N))
(.f64 (.f64 (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)) (neg.f64 N)) (neg.f64 N))
(.f64 (.f64 (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)) N) N)
(.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64))))
(.f64 (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)) (*.f64 N N))
(.f64 (.f64 N N) (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)))
(.f64 (neg.f64 N) (.f64 (neg.f64 N) (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64))))
(.f64 N (.f64 N (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64))))
(neg.f64 (-.f64 (-.f64 #s(literal -1 binary64) (*.f64 N N)) N))
(neg.f64 (+.f64 #s(literal -1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N)))
(neg.f64 (-.f64 #s(literal -1 binary64) (fma.f64 N N N)))
(neg.f64 (fma.f64 (-.f64 #s(literal -1 binary64) N) N #s(literal -1 binary64)))
(fma.f64 (*.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (fabs.f64 N)) (fabs.f64 N) #s(literal 1 binary64))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (fabs.f64 N)) (fabs.f64 N) (*.f64 N N))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (neg.f64 N)) (neg.f64 N) (*.f64 N N))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) N) N (*.f64 N N))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) (fabs.f64 N)) (fabs.f64 N) N)
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) (neg.f64 N)) (neg.f64 N) N)
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N) N N)
(fma.f64 (.f64 (fabs.f64 N) #s(literal 1 binary64)) (.f64 (fabs.f64 N) #s(literal 1 binary64)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 (fabs.f64 N) #s(literal -1 binary64)) (.f64 (fabs.f64 N) #s(literal -1 binary64)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 N)) (.f64 #s(literal 1 binary64) (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 N)) (fabs.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 #s(literal -1 binary64) (fabs.f64 N)) (.f64 #s(literal -1 binary64) (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 (.f64 N N) #s(literal -1 binary64)) #s(literal -1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (fabs.f64 (fabs.f64 N)) (fabs.f64 (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (neg.f64 (fabs.f64 N)) (neg.f64 (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (-.f64 #s(literal -1 binary64) N) (neg.f64 N) #s(literal 1 binary64))
(fma.f64 (*.f64 (-.f64 #s(literal -1 binary64) N) N) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 (*.f64 (neg.f64 N) N) #s(literal -1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (fabs.f64 N) (*.f64 (fabs.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) N)) #s(literal 1 binary64))
(fma.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N))) (*.f64 N N))
(fma.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64))) N)
(fma.f64 (fabs.f64 N) (*.f64 (fabs.f64 N) #s(literal 1 binary64)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (fabs.f64 N) (fabs.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) (.f64 N N) N)
(fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (.f64 N N) (*.f64 N N))
(fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N) #s(literal 1 binary64))
(fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) N (*.f64 N N))
(fma.f64 (.f64 N N) (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 (.f64 N N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N)
(fma.f64 (.f64 N N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (*.f64 N N))
(fma.f64 (*.f64 N N) (/.f64 (-.f64 N #s(literal -1 binary64)) N) #s(literal 1 binary64))
(fma.f64 (*.f64 N N) #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (neg.f64 N) (.f64 (neg.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N))) (*.f64 N N))
(fma.f64 (neg.f64 N) (.f64 (neg.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64))) N)
(fma.f64 (neg.f64 N) (-.f64 #s(literal -1 binary64) N) #s(literal 1 binary64))
(fma.f64 (neg.f64 N) (neg.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (*.f64 N N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (fma.f64 N N N) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)) (*.f64 N N))
(fma.f64 (fma.f64 N N N) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (.f64 N N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) N) (*.f64 N N))
(fma.f64 #s(literal -1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 (neg.f64 N) N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 N (.f64 N (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N))) (*.f64 N N))
(fma.f64 N (.f64 N (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64))) N)
(fma.f64 N (*.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 N (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N))
(fma.f64 N (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64))
(fma.f64 N N (-.f64 N #s(literal -1 binary64)))
(-.f64 (fma.f64 N N #s(literal 1 binary64)) (neg.f64 N))
(-.f64 (.f64 N N) (.f64 (.f64 (neg.f64 N) N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N))))
(-.f64 (.f64 N N) (.f64 (-.f64 (/.f64 #s(literal -1 binary64) N) (/.f64 #s(literal 1 binary64) (.f64 N N))) (.f64 N N)))
(-.f64 (*.f64 N N) (-.f64 #s(literal -1 binary64) N))
(-.f64 #s(literal 1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N))
(-.f64 (fma.f64 N N N) #s(literal -1 binary64))
(-.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 (neg.f64 N) N))
(-.f64 N (-.f64 #s(literal -1 binary64) (*.f64 N N)))
(+.f64 (fma.f64 N N #s(literal 1 binary64)) N)
(+.f64 (*.f64 N N) (-.f64 N #s(literal -1 binary64)))
(+.f64 #s(literal 1 binary64) (fma.f64 N N N))
(+.f64 (fma.f64 N N N) #s(literal 1 binary64))
(+.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N))
(+.f64 N (fma.f64 N N #s(literal 1 binary64)))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) #s(literal -1 binary64)) (fabs.f64 N)) (fabs.f64 N))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) #s(literal -1 binary64)) (neg.f64 N)) (neg.f64 N))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) #s(literal -1 binary64)) N) N)
(.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) #s(literal -1 binary64))))
(.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) (*.f64 N N))
(.f64 (.f64 N N) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) #s(literal -1 binary64)))
(.f64 (neg.f64 N) (.f64 (neg.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) #s(literal -1 binary64))))
(.f64 N (.f64 N (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) #s(literal -1 binary64))))
(neg.f64 (-.f64 #s(literal -1 binary64) (*.f64 N N)))
(fma.f64 (.f64 (fabs.f64 N) #s(literal 1 binary64)) (.f64 (fabs.f64 N) #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 (.f64 (fabs.f64 N) #s(literal -1 binary64)) (.f64 (fabs.f64 N) #s(literal -1 binary64)) #s(literal 1 binary64))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 N)) (.f64 #s(literal 1 binary64) (fabs.f64 N)) #s(literal 1 binary64))
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 N)) (fabs.f64 N) #s(literal 1 binary64))
(fma.f64 (.f64 #s(literal -1 binary64) (fabs.f64 N)) (.f64 #s(literal -1 binary64) (fabs.f64 N)) #s(literal 1 binary64))
(fma.f64 (.f64 (.f64 N N) #s(literal -1 binary64)) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 (fabs.f64 (fabs.f64 N)) (fabs.f64 (fabs.f64 N)) #s(literal 1 binary64))
(fma.f64 (neg.f64 (fabs.f64 N)) (neg.f64 (fabs.f64 N)) #s(literal 1 binary64))
(fma.f64 (*.f64 (neg.f64 N) N) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 (fabs.f64 N) (*.f64 (fabs.f64 N) #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 (fabs.f64 N) (fabs.f64 N) #s(literal 1 binary64))
(fma.f64 (*.f64 N N) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 (neg.f64 N) (neg.f64 N) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (*.f64 N N) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (.f64 N N)) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 (neg.f64 N) N) #s(literal 1 binary64))
(fma.f64 N N #s(literal 1 binary64))
(-.f64 (.f64 N N) (.f64 (.f64 (neg.f64 N) N) (/.f64 #s(literal 1 binary64) (.f64 N N))))
(-.f64 (.f64 N N) (.f64 (/.f64 #s(literal -1 binary64) (.f64 N N)) (.f64 N N)))
(-.f64 (*.f64 N N) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (*.f64 (neg.f64 N) N))
(+.f64 (*.f64 N N) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (*.f64 N N))
(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
(-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N))
(.f64 (.f64 (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)) (fabs.f64 N)) (fabs.f64 N))
(.f64 (.f64 (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)) (neg.f64 N)) (neg.f64 N))
(.f64 (.f64 (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)) N) N)
(.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64))))
(.f64 (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)) (*.f64 N N))
(.f64 (.f64 N N) (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)))
(.f64 (neg.f64 N) (.f64 (neg.f64 N) (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64))))
(.f64 N (.f64 N (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64))))
(neg.f64 (-.f64 (-.f64 #s(literal -1 binary64) (*.f64 N N)) N))
(neg.f64 (+.f64 #s(literal -1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N)))
(neg.f64 (-.f64 #s(literal -1 binary64) (fma.f64 N N N)))
(neg.f64 (fma.f64 (-.f64 #s(literal -1 binary64) N) N #s(literal -1 binary64)))
(fma.f64 (*.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (fabs.f64 N)) (fabs.f64 N) #s(literal 1 binary64))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (fabs.f64 N)) (fabs.f64 N) (*.f64 N N))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (neg.f64 N)) (neg.f64 N) (*.f64 N N))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) N) N (*.f64 N N))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) (fabs.f64 N)) (fabs.f64 N) N)
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) (neg.f64 N)) (neg.f64 N) N)
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N) N N)
(fma.f64 (.f64 (fabs.f64 N) #s(literal 1 binary64)) (.f64 (fabs.f64 N) #s(literal 1 binary64)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 (fabs.f64 N) #s(literal -1 binary64)) (.f64 (fabs.f64 N) #s(literal -1 binary64)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 N)) (.f64 #s(literal 1 binary64) (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 N)) (fabs.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 #s(literal -1 binary64) (fabs.f64 N)) (.f64 #s(literal -1 binary64) (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 (.f64 N N) #s(literal -1 binary64)) #s(literal -1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (fabs.f64 (fabs.f64 N)) (fabs.f64 (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (neg.f64 (fabs.f64 N)) (neg.f64 (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (-.f64 #s(literal -1 binary64) N) (neg.f64 N) #s(literal 1 binary64))
(fma.f64 (*.f64 (-.f64 #s(literal -1 binary64) N) N) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 (*.f64 (neg.f64 N) N) #s(literal -1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (fabs.f64 N) (*.f64 (fabs.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) N)) #s(literal 1 binary64))
(fma.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N))) (*.f64 N N))
(fma.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64))) N)
(fma.f64 (fabs.f64 N) (*.f64 (fabs.f64 N) #s(literal 1 binary64)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (fabs.f64 N) (fabs.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) (.f64 N N) N)
(fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (.f64 N N) (*.f64 N N))
(fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N) #s(literal 1 binary64))
(fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) N (*.f64 N N))
(fma.f64 (.f64 N N) (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 (.f64 N N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N)
(fma.f64 (.f64 N N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (*.f64 N N))
(fma.f64 (*.f64 N N) (/.f64 (-.f64 N #s(literal -1 binary64)) N) #s(literal 1 binary64))
(fma.f64 (*.f64 N N) #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (neg.f64 N) (.f64 (neg.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N))) (*.f64 N N))
(fma.f64 (neg.f64 N) (.f64 (neg.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64))) N)
(fma.f64 (neg.f64 N) (-.f64 #s(literal -1 binary64) N) #s(literal 1 binary64))
(fma.f64 (neg.f64 N) (neg.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (*.f64 N N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (fma.f64 N N N) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)) (*.f64 N N))
(fma.f64 (fma.f64 N N N) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (.f64 N N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) N) (*.f64 N N))
(fma.f64 #s(literal -1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 (neg.f64 N) N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 N (.f64 N (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N))) (*.f64 N N))
(fma.f64 N (.f64 N (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64))) N)
(fma.f64 N (*.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 N (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N))
(fma.f64 N (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64))
(fma.f64 N N (-.f64 N #s(literal -1 binary64)))
(-.f64 (fma.f64 N N #s(literal 1 binary64)) (neg.f64 N))
(-.f64 (.f64 N N) (.f64 (.f64 (neg.f64 N) N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N))))
(-.f64 (.f64 N N) (.f64 (-.f64 (/.f64 #s(literal -1 binary64) N) (/.f64 #s(literal 1 binary64) (.f64 N N))) (.f64 N N)))
(-.f64 (*.f64 N N) (-.f64 #s(literal -1 binary64) N))
(-.f64 #s(literal 1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N))
(-.f64 (fma.f64 N N N) #s(literal -1 binary64))
(-.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 (neg.f64 N) N))
(-.f64 N (-.f64 #s(literal -1 binary64) (*.f64 N N)))
(+.f64 (fma.f64 N N #s(literal 1 binary64)) N)
(+.f64 (*.f64 N N) (-.f64 N #s(literal -1 binary64)))
(+.f64 #s(literal 1 binary64) (fma.f64 N N N))
(+.f64 (fma.f64 N N N) #s(literal 1 binary64))
(+.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N))
(+.f64 N (fma.f64 N N #s(literal 1 binary64)))
(.f64 (.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) N))
(*.f64 (-.f64 #s(literal -1 binary64) N) (/.f64 #s(literal -1 binary64) N))
(*.f64 (/.f64 #s(literal 1 binary64) N) (-.f64 N #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) (/.f64 (-.f64 N #s(literal -1 binary64)) N))
(*.f64 (-.f64 N #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) N))
(/.f64 (*.f64 (-.f64 N #s(literal -1 binary64)) #s(literal -1 binary64)) (neg.f64 N))
(/.f64 (/.f64 (-.f64 #s(literal -1 binary64) N) #s(literal -1 binary64)) N)
(/.f64 (*.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64)) N)
(/.f64 (/.f64 (-.f64 #s(literal -1 binary64) N) N) #s(literal -1 binary64))
(/.f64 (+.f64 #s(literal 2 binary64) (.f64 N #s(literal 2 binary64))) (.f64 N #s(literal 2 binary64)))
(/.f64 (+.f64 #s(literal -2 binary64) (.f64 (neg.f64 N) #s(literal 2 binary64))) (.f64 (neg.f64 N) #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal 2 binary64) N #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) N))
(/.f64 (fma.f64 #s(literal 2 binary64) (neg.f64 N) #s(literal -2 binary64)) (*.f64 #s(literal 2 binary64) (neg.f64 N)))
(/.f64 (-.f64 #s(literal -1 binary64) N) (neg.f64 N))
(/.f64 (.f64 (-.f64 #s(literal -1 binary64) N) N) (.f64 (neg.f64 N) N))
(/.f64 (fma.f64 N N N) (*.f64 N N))
(/.f64 (-.f64 N #s(literal -1 binary64)) N)
(neg.f64 (*.f64 (-.f64 #s(literal -1 binary64) N) (/.f64 #s(literal 1 binary64) N)))
(neg.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (neg.f64 N)))
(neg.f64 (/.f64 (-.f64 #s(literal -1 binary64) N) N))
(neg.f64 (-.f64 (/.f64 #s(literal -1 binary64) N) #s(literal 1 binary64)))
(neg.f64 (-.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) N)))
(fma.f64 (/.f64 #s(literal 1 binary64) N) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) N) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) N) #s(literal 1 binary64))
(-.f64 (/.f64 #s(literal 1 binary64) N) (/.f64 (neg.f64 N) N))
(-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) N))
(+.f64 (/.f64 #s(literal 1 binary64) N) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) N))
(*.f64 (/.f64 #s(literal 1 binary64) N) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) N))
(*.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) N))
(pow.f64 N #s(literal -1 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) N)) #s(literal 2 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) N) #s(literal -1 binary64))
(/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) (neg.f64 N)))
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) N))
(/.f64 #s(literal 1 binary64) N)
(/.f64 #s(literal -1 binary64) (neg.f64 N))
(neg.f64 (/.f64 #s(literal -1 binary64) N))
(.f64 (.f64 (fabs.f64 N) #s(literal 1 binary64)) (*.f64 (fabs.f64 N) #s(literal 1 binary64)))
(.f64 (.f64 (fabs.f64 N) #s(literal -1 binary64)) (*.f64 (fabs.f64 N) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 N)) (*.f64 #s(literal 1 binary64) (fabs.f64 N)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 N)) (fabs.f64 N))
(.f64 (.f64 #s(literal -1 binary64) (fabs.f64 N)) (*.f64 #s(literal -1 binary64) (fabs.f64 N)))
(.f64 (.f64 (*.f64 N N) #s(literal -1 binary64)) #s(literal -1 binary64))
(*.f64 (fabs.f64 (fabs.f64 N)) (fabs.f64 (fabs.f64 N)))
(*.f64 (neg.f64 (fabs.f64 N)) (neg.f64 (fabs.f64 N)))
(.f64 (.f64 (neg.f64 N) N) #s(literal -1 binary64))
(.f64 (fabs.f64 N) (.f64 (fabs.f64 N) #s(literal 1 binary64)))
(*.f64 (fabs.f64 N) (fabs.f64 N))
(.f64 (.f64 N N) #s(literal 1 binary64))
(*.f64 (neg.f64 N) (neg.f64 N))
(.f64 #s(literal 1 binary64) (.f64 N N))
(.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (*.f64 N N)))
(.f64 #s(literal -1 binary64) (.f64 (neg.f64 N) N))
(*.f64 N N)
(pow.f64 (fabs.f64 (fabs.f64 N)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (fabs.f64 N)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 N) #s(literal 2 binary64))
(pow.f64 (neg.f64 N) #s(literal 2 binary64))
(pow.f64 N #s(literal 2 binary64))
(/.f64 (.f64 (.f64 N N) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 N N)) #s(literal 2 binary64))
(neg.f64 (.f64 (.f64 N N) #s(literal -1 binary64)))
(neg.f64 (.f64 #s(literal -1 binary64) (.f64 N N)))
(neg.f64 (*.f64 (neg.f64 N) N))
(sqrt.f64 (.f64 (.f64 (*.f64 N N) N) N))
(fabs.f64 (*.f64 (neg.f64 N) N))
(fabs.f64 (*.f64 N N))
(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
(-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N))
(*.f64 N (+.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) #s(literal -1 binary64)))
(*.f64 N (+.f64 #s(literal -1 binary64) (/.f64 (-.f64 N #s(literal -1 binary64)) N)))
(neg.f64 (-.f64 (-.f64 #s(literal -1 binary64) N) (neg.f64 N)))
(neg.f64 (+.f64 (-.f64 #s(literal -1 binary64) N) N))
(neg.f64 (-.f64 N (-.f64 N #s(literal -1 binary64))))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (fabs.f64 N)) (fabs.f64 N) (neg.f64 N))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (neg.f64 N)) (neg.f64 N) (neg.f64 N))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) N) N (neg.f64 N))
(fma.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N))) (neg.f64 N))
(fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (.f64 N N) (neg.f64 N))
(fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) N (neg.f64 N))
(fma.f64 (.f64 N N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N)) (neg.f64 N))
(fma.f64 (neg.f64 N) (.f64 (neg.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N))) (neg.f64 N))
(fma.f64 (neg.f64 N) #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (neg.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)) (neg.f64 N))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) N) (neg.f64 N))
(fma.f64 #s(literal -1 binary64) N (-.f64 N #s(literal -1 binary64)))
(fma.f64 N (.f64 N (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N))) (neg.f64 N))
(fma.f64 N (/.f64 (-.f64 N #s(literal -1 binary64)) N) (neg.f64 N))
(fma.f64 N #s(literal -1 binary64) (-.f64 N #s(literal -1 binary64)))
(-.f64 (neg.f64 N) (-.f64 #s(literal -1 binary64) N))
(-.f64 #s(literal 1 binary64) (-.f64 (neg.f64 N) (neg.f64 N)))
(-.f64 #s(literal 1 binary64) (+.f64 (neg.f64 N) N))
(-.f64 (-.f64 N #s(literal -1 binary64)) N)
(-.f64 N (-.f64 N #s(literal 1 binary64)))
(+.f64 (+.f64 (neg.f64 N) N) #s(literal 1 binary64))
(+.f64 (neg.f64 N) (-.f64 N #s(literal -1 binary64)))
(+.f64 #s(literal 1 binary64) (+.f64 N (neg.f64 N)))
(+.f64 #s(literal 1 binary64) (-.f64 N N))
(+.f64 (-.f64 N #s(literal -1 binary64)) (neg.f64 N))
(+.f64 N (-.f64 #s(literal 1 binary64) N))
(*.f64 (neg.f64 N) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (neg.f64 N))
(*.f64 #s(literal -1 binary64) N)
(*.f64 N #s(literal -1 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (neg.f64 N)) #s(literal 2 binary64))
(neg.f64 N)
#s(approx (atan2 (+ (* (- (/ 1 N) -1) N) (neg N)) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
#s(approx (+ (* (- N -1) N) 1) #s(literal 1 binary64))
#s(approx (+ (* (- N -1) N) 1) (-.f64 N #s(literal -1 binary64)))
#s(approx (+ (* (- N -1) N) 1) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
#s(approx N N)
#s(approx (atan2 (+ (* (- (/ 1 N) -1) N) (neg N)) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
#s(approx (+ (* N N) 1) (fma.f64 N N #s(literal 1 binary64)))
#s(approx (atan2 (+ (* (- (/ 1 N) -1) N) (neg N)) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
#s(approx (- (/ 1 N) -1) (/.f64 #s(literal 1 binary64) N))
#s(approx (- (/ 1 N) -1) (/.f64 (-.f64 N #s(literal -1 binary64)) N))
#s(approx (* N N) (*.f64 N N))
#s(approx (atan2 (+ (* (- (/ 1 N) -1) N) (neg N)) (+ (* (- N -1) N) 1)) (-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N)))
#s(approx (neg N) (neg.f64 N))
#s(approx (+ (* (- N -1) N) 1) (fma.f64 N N N))
#s(approx (+ (* (- N -1) N) 1) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
#s(approx (- N -1) (-.f64 N #s(literal -1 binary64)))
#s(approx (+ (* N N) 1) (fma.f64 N N #s(literal 1 binary64)))
#s(approx (- (/ 1 N) -1) (/.f64 (-.f64 N #s(literal -1 binary64)) N))
#s(approx (atan2 (+ (* (- (/ 1 N) -1) N) (neg N)) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
#s(approx (atan2 (+ (* (- (/ 1 N) -1) N) (neg N)) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
#s(approx (atan2 (+ (* (- (/ 1 N) -1) N) (neg N)) (+ (* (- N -1) N) 1)) (-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N)))

eval68.0ms (2.6%)

Memory: -21.0MiB live, 78.0MiB allocated; 40ms collecting garbage
Compiler: Compiled 2 845 to 1 139 computations (60% saved)

prune12.0ms (0.5%)

Memory

22.8MiB live, 22.8MiB allocated; 0ms collecting garbage

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	456	8	464
Fresh	0	0	0
Picked	3	1	4
Done	1	0	1
Total	460	9	469

Accuracy

99.6%

Counts

469 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.5%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N) #s(literal 1 binary64))))
▶	78.3%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (/.f64 (.f64 (fma.f64 N N N) (.f64 N N)) (.f64 (.f64 N N) N)) N #s(literal 1 binary64))))
✓	99.6%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
▶	99.6%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N) N N)))
	99.4%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) N) N) N #s(literal 1 binary64))))
	99.6%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (+.f64 (fma.f64 N N #s(literal 1 binary64)) N)))
▶	96.3%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (fma.f64 N N N))))
	7.9%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (-.f64 N #s(literal -1 binary64)))))
▶	6.4%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) #s(literal 1 binary64))))

Compiler

Compiled 293 to 256 computations (12.6% saved)

series12.0ms (0.5%)

Memory

-33.9MiB live, 12.0MiB allocated; 6ms collecting garbage

Counts

28 → 26

Calls

Call 1

Inputs
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N) N N)))
(atan2.f64 #s(literal 1 binary64) (fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N) N N))
#s(literal 1 binary64)
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N) N N)
(.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N)
(-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (*.f64 N N))
(*.f64 N N)
N
#s(literal -1 binary64)
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) #s(literal 1 binary64))))
(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) #s(literal 1 binary64)))
#s(approx (+ (* (- N -1) N) 1) #s(literal 1 binary64))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (fma.f64 N N N))))
(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (fma.f64 N N N)))
#s(approx (+ (* (- N -1) N) 1) (fma.f64 N N N))
(fma.f64 N N N)
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N) #s(literal 1 binary64))))
(atan2.f64 #s(literal 1 binary64) (fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N) #s(literal 1 binary64)))
(fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N) #s(literal 1 binary64))
(/.f64 (-.f64 N #s(literal -1 binary64)) N)
(-.f64 N #s(literal -1 binary64))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (/.f64 (.f64 (fma.f64 N N N) (.f64 N N)) (.f64 (.f64 N N) N)) N #s(literal 1 binary64))))
(atan2.f64 #s(literal 1 binary64) (fma.f64 (/.f64 (.f64 (fma.f64 N N N) (.f64 N N)) (.f64 (.f64 N N) N)) N #s(literal 1 binary64)))
(fma.f64 (/.f64 (.f64 (fma.f64 N N N) (.f64 N N)) (.f64 (.f64 N N) N)) N #s(literal 1 binary64))
(/.f64 (.f64 (fma.f64 N N N) (.f64 N N)) (.f64 (.f64 N N) N))
(.f64 (fma.f64 N N N) (.f64 N N))
(.f64 (.f64 N N) N)

Outputs
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (* N (+ 1 N))))))
#s(approx (atan2 1 (+ (* (* (- (/ 1 (* N N)) -1) N) N) N)) #s(hole binary64 (atan2 1 (+ N (* (pow N 2) (+ 1 (/ 1 (pow N 2))))))))
#s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) #s(hole binary64 1))
#s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) #s(hole binary64 (+ 1 N)))
#s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) #s(hole binary64 (+ 1 (* N (+ 1 N)))))
#s(approx (* (- (/ 1 (* N N)) -1) N) #s(hole binary64 (/ 1 N)))
#s(approx (* (- (/ 1 (* N N)) -1) N) #s(hole binary64 (/ (+ 1 (pow N 2)) N)))
#s(approx (- (/ 1 (* N N)) -1) #s(hole binary64 (/ 1 (pow N 2))))
#s(approx (- (/ 1 (* N N)) -1) #s(hole binary64 (/ (+ 1 (pow N 2)) (pow N 2))))
#s(approx (* N N) #s(hole binary64 (pow N 2)))
#s(approx N #s(hole binary64 N))
#s(approx (+ (* N N) N) #s(hole binary64 (* N (+ 1 N))))
#s(approx (/ (- N -1) N) #s(hole binary64 (/ (+ 1 N) N)))
#s(approx (atan2 1 (+ (* (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (+ N (pow N 2))))))
#s(approx (* (+ (* N N) N) (* N N)) #s(hole binary64 (pow N 3)))
#s(approx (* (+ (* N N) N) (* N N)) #s(hole binary64 (* (pow N 3) (+ 1 N))))
#s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) #s(hole binary64 (* (pow N 2) (+ 1 (/ 1 N)))))
#s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) #s(hole binary64 (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))))
#s(approx (* (- (/ 1 (* N N)) -1) N) #s(hole binary64 (* N (+ 1 (/ 1 (pow N 2))))))
#s(approx (- (/ 1 (* N N)) -1) #s(hole binary64 (+ 1 (/ 1 (pow N 2)))))
#s(approx (/ (- N -1) N) #s(hole binary64 (+ 1 (/ 1 N))))
#s(approx (- N -1) #s(hole binary64 (* N (+ 1 (/ 1 N)))))
#s(approx (* (+ (* N N) N) (* N N)) #s(hole binary64 (pow N 4)))
#s(approx (* (+ (* N N) N) (* N N)) #s(hole binary64 (* (pow N 4) (+ 1 (/ 1 N)))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (* N (- 1 (* -1 N)))))))
#s(approx (atan2 1 (+ (* (* (- (/ 1 (* N N)) -1) N) N) N)) #s(hole binary64 (atan2 1 (- (+ 1 (pow N 2)) (* -1 N)))))

Calls

3 calls:

Time	Variable		Point	Expression
6.0ms	N	@	inf	((atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (* (- (/ 1 (* N N)) -1) N) N) N)) 1 (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) (* (- (/ 1 (* N N)) -1) N) (- (/ 1 (* N N)) -1) (/ 1 (* N N)) (* N N) N -1 (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (- N -1) N) 1)) (+ (* (- N -1) N) 1) (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (- N -1) N) 1)) (+ (* (- N -1) N) 1) (+ (* N N) N) (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (/ (- N -1) N) (* N N)) 1)) (+ (* (/ (- N -1) N) (* N N)) 1) (/ (- N -1) N) (- N -1) (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) N) 1)) (+ (* (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) N) 1) (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) (* (+ (* N N) N) (* N N)) (* (* N N) N))
3.0ms	N	@	-inf	((atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (* (- (/ 1 (* N N)) -1) N) N) N)) 1 (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) (* (- (/ 1 (* N N)) -1) N) (- (/ 1 (* N N)) -1) (/ 1 (* N N)) (* N N) N -1 (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (- N -1) N) 1)) (+ (* (- N -1) N) 1) (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (- N -1) N) 1)) (+ (* (- N -1) N) 1) (+ (* N N) N) (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (/ (- N -1) N) (* N N)) 1)) (+ (* (/ (- N -1) N) (* N N)) 1) (/ (- N -1) N) (- N -1) (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) N) 1)) (+ (* (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) N) 1) (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) (* (+ (* N N) N) (* N N)) (* (* N N) N))
2.0ms	N	@	0	((atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (* (- (/ 1 (* N N)) -1) N) N) N)) 1 (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) (* (- (/ 1 (* N N)) -1) N) (- (/ 1 (* N N)) -1) (/ 1 (* N N)) (* N N) N -1 (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (- N -1) N) 1)) (+ (* (- N -1) N) 1) (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (- N -1) N) 1)) (+ (* (- N -1) N) 1) (+ (* N N) N) (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (/ (- N -1) N) (* N N)) 1)) (+ (* (/ (- N -1) N) (* N N)) 1) (/ (- N -1) N) (- N -1) (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) N) 1)) (+ (* (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) N) 1) (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) (* (+ (* N N) N) (* N N)) (* (* N N) N))

Time

Variable

Point

Expression

6.0ms

inf

((atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (* (- (/ 1 (* N N)) -1) N) N) N)) 1 (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) (* (- (/ 1 (* N N)) -1) N) (- (/ 1 (* N N)) -1) (/ 1 (* N N)) (* N N) N -1 (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (- N -1) N) 1)) (+ (* (- N -1) N) 1) (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (- N -1) N) 1)) (+ (* (- N -1) N) 1) (+ (* N N) N) (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (/ (- N -1) N) (* N N)) 1)) (+ (* (/ (- N -1) N) (* N N)) 1) (/ (- N -1) N) (- N -1) (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) N) 1)) (+ (* (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) N) 1) (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) (* (+ (* N N) N) (* N N)) (* (* N N) N))

3.0ms

-inf

((atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (* (- (/ 1 (* N N)) -1) N) N) N)) 1 (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) (* (- (/ 1 (* N N)) -1) N) (- (/ 1 (* N N)) -1) (/ 1 (* N N)) (* N N) N -1 (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (- N -1) N) 1)) (+ (* (- N -1) N) 1) (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (- N -1) N) 1)) (+ (* (- N -1) N) 1) (+ (* N N) N) (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (/ (- N -1) N) (* N N)) 1)) (+ (* (/ (- N -1) N) (* N N)) 1) (/ (- N -1) N) (- N -1) (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) N) 1)) (+ (* (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) N) 1) (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) (* (+ (* N N) N) (* N N)) (* (* N N) N))

2.0ms

((atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (* (- (/ 1 (* N N)) -1) N) N) N)) 1 (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) (* (- (/ 1 (* N N)) -1) N) (- (/ 1 (* N N)) -1) (/ 1 (* N N)) (* N N) N -1 (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (- N -1) N) 1)) (+ (* (- N -1) N) 1) (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (- N -1) N) 1)) (+ (* (- N -1) N) 1) (+ (* N N) N) (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (/ (- N -1) N) (* N N)) 1)) (+ (* (/ (- N -1) N) (* N N)) 1) (/ (- N -1) N) (- N -1) (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2 1 (+ (* (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) N) 1)) (+ (* (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) N) 1) (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) (* (+ (* N N) N) (* N N)) (* (* N N) N))

rewrite187.0ms (7.2%)

Memory

14.7MiB live, 159.1MiB allocated; 21ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	113	774
0	143	659
1	636	515
2	4739	515
0	8152	515
1	24108	515

Stop Event

1×	saturated
1×	node-limit
1×	iter-limit

Counts

54 → 777

Calls

Call 1

Inputs
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N) N N)))
(atan2.f64 #s(literal 1 binary64) (fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N) N N))
#s(literal 1 binary64)
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N) N N)
(.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N)
(-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (*.f64 N N))
(*.f64 N N)
N
#s(literal -1 binary64)
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) #s(literal 1 binary64))))
(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) #s(literal 1 binary64)))
#s(approx (+ (* (- N -1) N) 1) #s(literal 1 binary64))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (fma.f64 N N N))))
(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (fma.f64 N N N)))
#s(approx (+ (* (- N -1) N) 1) (fma.f64 N N N))
(fma.f64 N N N)
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N) #s(literal 1 binary64))))
(atan2.f64 #s(literal 1 binary64) (fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N) #s(literal 1 binary64)))
(fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N) #s(literal 1 binary64))
(/.f64 (-.f64 N #s(literal -1 binary64)) N)
(-.f64 N #s(literal -1 binary64))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (/.f64 (.f64 (fma.f64 N N N) (.f64 N N)) (.f64 (.f64 N N) N)) N #s(literal 1 binary64))))
(atan2.f64 #s(literal 1 binary64) (fma.f64 (/.f64 (.f64 (fma.f64 N N N) (.f64 N N)) (.f64 (.f64 N N) N)) N #s(literal 1 binary64)))
(fma.f64 (/.f64 (.f64 (fma.f64 N N N) (.f64 N N)) (.f64 (.f64 N N) N)) N #s(literal 1 binary64))
(/.f64 (.f64 (fma.f64 N N N) (.f64 N N)) (.f64 (.f64 N N) N))
(.f64 (fma.f64 N N N) (.f64 N N))
(.f64 (.f64 N N) N)
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (* N (+ 1 N))))))
#s(approx (atan2 1 (+ (* (* (- (/ 1 (* N N)) -1) N) N) N)) #s(hole binary64 (atan2 1 (+ N (* (pow N 2) (+ 1 (/ 1 (pow N 2))))))))
#s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) #s(hole binary64 1))
#s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) #s(hole binary64 (+ 1 N)))
#s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) #s(hole binary64 (+ 1 (* N (+ 1 N)))))
#s(approx (* (- (/ 1 (* N N)) -1) N) #s(hole binary64 (/ 1 N)))
#s(approx (* (- (/ 1 (* N N)) -1) N) #s(hole binary64 (/ (+ 1 (pow N 2)) N)))
#s(approx (- (/ 1 (* N N)) -1) #s(hole binary64 (/ 1 (pow N 2))))
#s(approx (- (/ 1 (* N N)) -1) #s(hole binary64 (/ (+ 1 (pow N 2)) (pow N 2))))
#s(approx (* N N) #s(hole binary64 (pow N 2)))
#s(approx N #s(hole binary64 N))
#s(approx (+ (* N N) N) #s(hole binary64 (* N (+ 1 N))))
#s(approx (/ (- N -1) N) #s(hole binary64 (/ (+ 1 N) N)))
#s(approx (atan2 1 (+ (* (/ (* (+ (* N N) N) (* N N)) (* (* N N) N)) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (+ N (pow N 2))))))
#s(approx (* (+ (* N N) N) (* N N)) #s(hole binary64 (pow N 3)))
#s(approx (* (+ (* N N) N) (* N N)) #s(hole binary64 (* (pow N 3) (+ 1 N))))
#s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) #s(hole binary64 (* (pow N 2) (+ 1 (/ 1 N)))))
#s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) #s(hole binary64 (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))))
#s(approx (* (- (/ 1 (* N N)) -1) N) #s(hole binary64 (* N (+ 1 (/ 1 (pow N 2))))))
#s(approx (- (/ 1 (* N N)) -1) #s(hole binary64 (+ 1 (/ 1 (pow N 2)))))
#s(approx (/ (- N -1) N) #s(hole binary64 (+ 1 (/ 1 N))))
#s(approx (- N -1) #s(hole binary64 (* N (+ 1 (/ 1 N)))))
#s(approx (* (+ (* N N) N) (* N N)) #s(hole binary64 (pow N 4)))
#s(approx (* (+ (* N N) N) (* N N)) #s(hole binary64 (* (pow N 4) (+ 1 (/ 1 N)))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (* N (- 1 (* -1 N)))))))
#s(approx (atan2 1 (+ (* (* (- (/ 1 (* N N)) -1) N) N) N)) #s(hole binary64 (atan2 1 (- (+ 1 (pow N 2)) (* -1 N)))))

Outputs
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
(atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
#s(literal 1 binary64)
(.f64 (.f64 (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64)) (fabs.f64 N)) (fabs.f64 N))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64)) (neg.f64 N)) (neg.f64 N))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64)) N) N)
(*.f64 (-.f64 (-.f64 N (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)) N)
(.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64))))
(.f64 (neg.f64 N) (.f64 (neg.f64 N) (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64))))
(.f64 (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) #s(literal -1 binary64)) (*.f64 N N))
(.f64 (.f64 N N) (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64)))
(.f64 N (.f64 N (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64))))
(*.f64 N (-.f64 (-.f64 N (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)))
(/.f64 (fma.f64 (.f64 (fma.f64 N N N) N) #s(literal 2 binary64) (.f64 N #s(literal 2 binary64))) (*.f64 N #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal 2 binary64) N (.f64 #s(literal 2 binary64) (.f64 (fma.f64 N N N) N))) (*.f64 #s(literal 2 binary64) N))
(/.f64 (fma.f64 (.f64 (.f64 (fma.f64 N N N) N) (.f64 N N)) #s(literal 2 binary64) (.f64 (.f64 (.f64 N N) N) #s(literal 2 binary64))) (.f64 (.f64 (*.f64 N N) N) #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal 2 binary64) (.f64 (.f64 N N) N) (.f64 #s(literal 2 binary64) (.f64 (.f64 (fma.f64 N N N) N) (.f64 N N)))) (.f64 #s(literal 2 binary64) (.f64 (*.f64 N N) N)))
(neg.f64 (-.f64 (-.f64 #s(literal -1 binary64) (*.f64 N N)) N))
(neg.f64 (+.f64 #s(literal -1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N)))
(neg.f64 (-.f64 #s(literal -1 binary64) (fma.f64 N N N)))
(neg.f64 (-.f64 (*.f64 (-.f64 #s(literal -1 binary64) N) N) #s(literal 1 binary64)))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) (fabs.f64 N)) (fabs.f64 N) N)
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) (neg.f64 N)) (neg.f64 N) N)
(fma.f64 (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) N) N (*.f64 N N))
(fma.f64 (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) (fabs.f64 N)) (fabs.f64 N) (*.f64 N N))
(fma.f64 (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) (neg.f64 N)) (neg.f64 N) (*.f64 N N))
(fma.f64 (*.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (fabs.f64 N)) (fabs.f64 N) #s(literal 1 binary64))
(fma.f64 (*.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (neg.f64 N)) (neg.f64 N) #s(literal 1 binary64))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 N)) (.f64 #s(literal 1 binary64) (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 N)) (fabs.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 #s(literal -1 binary64) (fabs.f64 N)) (.f64 #s(literal -1 binary64) (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 (fabs.f64 N) #s(literal 1 binary64)) (.f64 (fabs.f64 N) #s(literal 1 binary64)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 (fabs.f64 N) #s(literal -1 binary64)) (.f64 (fabs.f64 N) #s(literal -1 binary64)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (*.f64 (fma.f64 N N N) #s(literal -1 binary64)) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 (/.f64 (*.f64 (fma.f64 N N N) N) (fabs.f64 N)) (/.f64 N (fabs.f64 N)) #s(literal 1 binary64))
(fma.f64 (/.f64 (*.f64 (fma.f64 N N N) N) (neg.f64 N)) (/.f64 N (neg.f64 N)) #s(literal 1 binary64))
(fma.f64 (/.f64 (*.f64 N N) (fabs.f64 N)) (/.f64 (fma.f64 N N N) (fabs.f64 N)) #s(literal 1 binary64))
(fma.f64 (/.f64 (fma.f64 N N N) (fabs.f64 N)) (/.f64 (*.f64 N N) (fabs.f64 N)) #s(literal 1 binary64))
(fma.f64 (/.f64 (*.f64 N N) (neg.f64 N)) (/.f64 (fma.f64 N N N) (neg.f64 N)) #s(literal 1 binary64))
(fma.f64 (/.f64 (fma.f64 N N N) (neg.f64 N)) (/.f64 (*.f64 N N) (neg.f64 N)) #s(literal 1 binary64))
(fma.f64 (/.f64 (.f64 (.f64 (fma.f64 N N N) N) N) N) (/.f64 #s(literal 1 binary64) N) #s(literal 1 binary64))
(fma.f64 (.f64 (.f64 N N) #s(literal -1 binary64)) #s(literal -1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (fabs.f64 (fabs.f64 N)) (fabs.f64 (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (neg.f64 (fabs.f64 N)) (neg.f64 (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (*.f64 (fma.f64 N N N) N) (/.f64 #s(literal 1 binary64) N) #s(literal 1 binary64))
(fma.f64 (.f64 (fma.f64 N N N) N) (/.f64 #s(literal 1 binary64) (.f64 N N)) (*.f64 N N))
(fma.f64 (.f64 (.f64 (fma.f64 N N N) N) (.f64 N N)) (/.f64 #s(literal 1 binary64) (.f64 (*.f64 N N) N)) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 N N) N)) (.f64 (.f64 (fma.f64 N N N) N) N) (*.f64 N N))
(fma.f64 (*.f64 (neg.f64 N) N) #s(literal -1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 (.f64 (-.f64 #s(literal -1 binary64) N) N) (.f64 N N)) (/.f64 #s(literal -1 binary64) (.f64 (.f64 N N) N)) (.f64 N N))
(fma.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64))) N)
(fma.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))) (*.f64 N N))
(fma.f64 (fabs.f64 N) (*.f64 (fabs.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) N)) #s(literal 1 binary64))
(fma.f64 (fabs.f64 N) (*.f64 (fabs.f64 N) #s(literal 1 binary64)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (fabs.f64 N) (fabs.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (neg.f64 N) (.f64 (neg.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64))) N)
(fma.f64 (neg.f64 N) (.f64 (neg.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))) (*.f64 N N))
(fma.f64 (neg.f64 N) (*.f64 (neg.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) N)) #s(literal 1 binary64))
(fma.f64 (neg.f64 N) (neg.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) (.f64 N N) (*.f64 N N))
(fma.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (/.f64 #s(literal 1 binary64) (.f64 (.f64 N N) N)) (*.f64 N N))
(fma.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (/.f64 #s(literal 1 binary64) (*.f64 N N)) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) N) (fma.f64 N N N) (*.f64 N N))
(fma.f64 (-.f64 N (/.f64 #s(literal -1 binary64) N)) N N)
(fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) (.f64 N N) N)
(fma.f64 (.f64 N N) (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) (*.f64 N N))
(fma.f64 (.f64 N N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N)
(fma.f64 (*.f64 N N) (/.f64 (-.f64 N #s(literal -1 binary64)) N) #s(literal 1 binary64))
(fma.f64 (*.f64 N N) #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N) #s(literal 1 binary64))
(fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) N (*.f64 N N))
(fma.f64 #s(literal 1 binary64) (*.f64 N N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (fma.f64 N N N) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)) (*.f64 N N))
(fma.f64 (fma.f64 N N N) (/.f64 #s(literal 1 binary64) N) (*.f64 N N))
(fma.f64 (fma.f64 N N N) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64) (*.f64 N N))
(fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (.f64 N N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal -1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 (neg.f64 N) N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) N) (*.f64 N N))
(fma.f64 N (-.f64 N (/.f64 #s(literal -1 binary64) N)) N)
(fma.f64 N (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N))
(fma.f64 N (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64))
(fma.f64 N N (-.f64 N #s(literal -1 binary64)))
(-.f64 (fma.f64 N N #s(literal 1 binary64)) (neg.f64 N))
(-.f64 (.f64 N N) (.f64 (.f64 (neg.f64 N) N) (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))))
(-.f64 (.f64 N N) (.f64 (neg.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))) (.f64 N N)))
(-.f64 (*.f64 N N) (-.f64 #s(literal -1 binary64) N))
(-.f64 #s(literal 1 binary64) (.f64 (.f64 (neg.f64 N) N) (/.f64 (-.f64 N #s(literal -1 binary64)) N)))
(-.f64 #s(literal 1 binary64) (.f64 (neg.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N)) (.f64 N N)))
(-.f64 #s(literal 1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N))
(-.f64 (fma.f64 N N N) #s(literal -1 binary64))
(-.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 (neg.f64 N) N))
(-.f64 N (-.f64 #s(literal -1 binary64) (*.f64 N N)))
(+.f64 (fma.f64 N N #s(literal 1 binary64)) N)
(+.f64 (*.f64 N N) (-.f64 N #s(literal -1 binary64)))
(+.f64 #s(literal 1 binary64) (fma.f64 N N N))
(+.f64 (fma.f64 N N N) #s(literal 1 binary64))
(+.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N))
(+.f64 N (fma.f64 N N #s(literal 1 binary64)))
(.f64 (.f64 (fma.f64 N N #s(literal 1 binary64)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) N))
(.f64 (-.f64 #s(literal -1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) N))
(*.f64 (fma.f64 N N #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) N))
(*.f64 (/.f64 #s(literal 1 binary64) N) (fma.f64 N N #s(literal 1 binary64)))
(.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N)
(*.f64 #s(literal 1 binary64) (-.f64 N (/.f64 #s(literal -1 binary64) N)))
(.f64 N (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)))
(/.f64 (*.f64 (fma.f64 N N #s(literal 1 binary64)) #s(literal -1 binary64)) (neg.f64 N))
(/.f64 (/.f64 (-.f64 #s(literal -1 binary64) (*.f64 N N)) #s(literal -1 binary64)) N)
(/.f64 (*.f64 (fma.f64 N N #s(literal 1 binary64)) #s(literal 1 binary64)) N)
(/.f64 (/.f64 (-.f64 #s(literal -1 binary64) (*.f64 N N)) N) #s(literal -1 binary64))
(/.f64 (+.f64 (neg.f64 N) (.f64 (.f64 (neg.f64 N) N) N)) (*.f64 (neg.f64 N) N))
(/.f64 (+.f64 N (.f64 (.f64 N N) N)) (*.f64 N N))
(/.f64 (-.f64 #s(literal -1 binary64) (*.f64 N N)) (neg.f64 N))
(/.f64 (fma.f64 N N #s(literal 1 binary64)) N)
(neg.f64 (.f64 (-.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (.f64 N N))) N))
(neg.f64 (.f64 N (-.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (.f64 N N)))))
(neg.f64 (/.f64 (fma.f64 N N #s(literal 1 binary64)) (neg.f64 N)))
(neg.f64 (/.f64 (-.f64 #s(literal -1 binary64) (*.f64 N N)) N))
(fma.f64 (/.f64 (fabs.f64 N) (*.f64 N N)) (/.f64 (fabs.f64 N) N) N)
(fma.f64 (/.f64 (neg.f64 N) (*.f64 N N)) (/.f64 (neg.f64 N) N) N)
(fma.f64 (/.f64 (fabs.f64 N) N) (/.f64 (fabs.f64 N) (*.f64 N N)) N)
(fma.f64 (/.f64 (neg.f64 N) N) (/.f64 (neg.f64 N) (*.f64 N N)) N)
(fma.f64 (fabs.f64 N) (/.f64 (fabs.f64 N) (.f64 (.f64 N N) N)) N)
(fma.f64 (neg.f64 N) (/.f64 (neg.f64 N) (.f64 (.f64 N N) N)) N)
(fma.f64 (/.f64 #s(literal 1 binary64) N) #s(literal 1 binary64) N)
(fma.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) N N)
(fma.f64 (.f64 N N) (/.f64 #s(literal 1 binary64) (.f64 (*.f64 N N) N)) N)
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) N) N)
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) N) N)
(fma.f64 N (/.f64 #s(literal 1 binary64) (*.f64 N N)) N)
(-.f64 (/.f64 #s(literal 1 binary64) N) (/.f64 (*.f64 (neg.f64 N) N) N))
(-.f64 (/.f64 #s(literal 1 binary64) N) (neg.f64 N))
(-.f64 N (.f64 (/.f64 #s(literal -1 binary64) (.f64 N N)) N))
(-.f64 N (.f64 (neg.f64 N) (/.f64 #s(literal 1 binary64) (.f64 N N))))
(-.f64 N (/.f64 #s(literal -1 binary64) N))
(+.f64 (/.f64 #s(literal 1 binary64) N) N)
(+.f64 N (/.f64 #s(literal 1 binary64) N))
(.f64 (.f64 (fma.f64 N N #s(literal 1 binary64)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 N N)))
(.f64 (-.f64 #s(literal -1 binary64) (.f64 N N)) (/.f64 #s(literal -1 binary64) (*.f64 N N)))
(.f64 (fma.f64 N N #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (.f64 N N)))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (fma.f64 N N #s(literal 1 binary64)))
(.f64 #s(literal 1 binary64) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)))
(/.f64 (.f64 (fma.f64 N N #s(literal 1 binary64)) #s(literal -1 binary64)) (.f64 (neg.f64 N) N))
(/.f64 (/.f64 (fma.f64 N N #s(literal 1 binary64)) (fabs.f64 N)) (fabs.f64 N))
(/.f64 (.f64 (fma.f64 N N #s(literal 1 binary64)) #s(literal 1 binary64)) (.f64 N N))
(/.f64 (/.f64 (fma.f64 N N #s(literal 1 binary64)) (neg.f64 N)) (neg.f64 N))
(/.f64 (fma.f64 N N (.f64 (.f64 N N) (.f64 N N))) (.f64 (.f64 N N) (.f64 N N)))
(/.f64 (fma.f64 (/.f64 #s(literal 1 binary64) N) #s(literal 2 binary64) (.f64 N #s(literal 2 binary64))) (.f64 N #s(literal 2 binary64)))
(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 N N) #s(literal 2 binary64))) (.f64 (.f64 N N) #s(literal 2 binary64)))
(/.f64 (+.f64 #s(literal -2 binary64) (.f64 (.f64 (neg.f64 N) N) #s(literal 2 binary64))) (.f64 (.f64 (neg.f64 N) N) #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal 2 binary64) N (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) N))) (.f64 #s(literal 2 binary64) N))
(/.f64 (fma.f64 #s(literal 2 binary64) (.f64 N N) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (*.f64 N N)))
(/.f64 (fma.f64 #s(literal 2 binary64) (.f64 (neg.f64 N) N) #s(literal -2 binary64)) (.f64 #s(literal 2 binary64) (*.f64 (neg.f64 N) N)))
(/.f64 (+.f64 N (.f64 (.f64 N N) N)) (.f64 (.f64 N N) N))
(/.f64 (fma.f64 #s(literal -1 binary64) (.f64 N N) (.f64 (.f64 (neg.f64 N) N) (.f64 N N))) (.f64 (.f64 (neg.f64 N) N) (*.f64 N N)))
(/.f64 (-.f64 #s(literal -1 binary64) (.f64 N N)) (.f64 (neg.f64 N) N))
(/.f64 (fma.f64 N N #s(literal 1 binary64)) (*.f64 N N))
(/.f64 (-.f64 N (/.f64 #s(literal -1 binary64) N)) N)
(neg.f64 (/.f64 (fma.f64 N N #s(literal 1 binary64)) (*.f64 (neg.f64 N) N)))
(neg.f64 (/.f64 (-.f64 #s(literal -1 binary64) (.f64 N N)) (.f64 N N)))
(neg.f64 (-.f64 (/.f64 #s(literal -1 binary64) (*.f64 N N)) #s(literal 1 binary64)))
(neg.f64 (-.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 N N))))
(fma.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 N)) (/.f64 #s(literal 1 binary64) (fabs.f64 N)) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal -1 binary64) (fabs.f64 N)) (/.f64 #s(literal -1 binary64) (fabs.f64 N)) #s(literal 1 binary64))
(fma.f64 (fabs.f64 (/.f64 #s(literal 1 binary64) N)) (fabs.f64 (/.f64 #s(literal 1 binary64) N)) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal -1 binary64) N) (/.f64 #s(literal -1 binary64) N) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 N N) N)) N #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 N N) (.f64 N N))) (.f64 N N) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) N) (/.f64 #s(literal 1 binary64) N) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 N N)) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (*.f64 N N)) #s(literal 1 binary64))
(fma.f64 N (/.f64 #s(literal 1 binary64) (.f64 (.f64 N N) N)) #s(literal 1 binary64))
(-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) (/.f64 (.f64 (neg.f64 N) N) (*.f64 N N)))
(-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) (*.f64 N N)))
(+.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 N N)))
(*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 N)) (/.f64 #s(literal 1 binary64) (fabs.f64 N)))
(*.f64 (/.f64 #s(literal -1 binary64) (fabs.f64 N)) (/.f64 #s(literal -1 binary64) (fabs.f64 N)))
(*.f64 (fabs.f64 (/.f64 #s(literal 1 binary64) N)) (fabs.f64 (/.f64 #s(literal 1 binary64) N)))
(*.f64 (/.f64 #s(literal -1 binary64) N) (/.f64 #s(literal -1 binary64) N))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 (*.f64 N N) N)) N)
(.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 N N) (.f64 N N))) (*.f64 N N))
(*.f64 (/.f64 #s(literal 1 binary64) N) (/.f64 #s(literal 1 binary64) N))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 N N)))
(.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (.f64 N N)))
(.f64 N (/.f64 #s(literal 1 binary64) (.f64 (*.f64 N N) N)))
(pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 N)) #s(literal 2 binary64))
(pow.f64 (/.f64 #s(literal -1 binary64) (fabs.f64 N)) #s(literal 2 binary64))
(pow.f64 (*.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 (/.f64 #s(literal 1 binary64) N)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 (fabs.f64 N)) #s(literal -2 binary64))
(pow.f64 (neg.f64 (fabs.f64 N)) #s(literal -2 binary64))
(pow.f64 (/.f64 #s(literal -1 binary64) N) #s(literal 2 binary64))
(pow.f64 (fabs.f64 N) #s(literal -2 binary64))
(pow.f64 (neg.f64 N) #s(literal -2 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) N) #s(literal 2 binary64))
(pow.f64 (*.f64 N N) #s(literal -1 binary64))
(pow.f64 N #s(literal -2 binary64))
(/.f64 (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (.f64 N N))) #s(literal 2 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 N)) (fabs.f64 N))
(/.f64 (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) N)) (.f64 #s(literal 2 binary64) N))
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) (neg.f64 N))
(/.f64 (/.f64 #s(literal -1 binary64) N) (neg.f64 N))
(/.f64 #s(literal -2 binary64) (.f64 #s(literal 2 binary64) (.f64 (neg.f64 N) N)))
(/.f64 (/.f64 #s(literal 1 binary64) N) N)
(/.f64 #s(literal 2 binary64) (.f64 #s(literal 2 binary64) (.f64 N N)))
(/.f64 #s(literal 1 binary64) (*.f64 N N))
(/.f64 #s(literal -1 binary64) (*.f64 (neg.f64 N) N))
(/.f64 N (.f64 (.f64 N N) N))
(neg.f64 (/.f64 #s(literal -1 binary64) (*.f64 N N)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 N)) (*.f64 #s(literal 1 binary64) (fabs.f64 N)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 N)) (fabs.f64 N))
(.f64 (.f64 #s(literal -1 binary64) (fabs.f64 N)) (*.f64 #s(literal -1 binary64) (fabs.f64 N)))
(.f64 (.f64 (fabs.f64 N) #s(literal 1 binary64)) (*.f64 (fabs.f64 N) #s(literal 1 binary64)))
(.f64 (.f64 (fabs.f64 N) #s(literal -1 binary64)) (*.f64 (fabs.f64 N) #s(literal -1 binary64)))
(.f64 (.f64 (*.f64 N N) #s(literal -1 binary64)) #s(literal -1 binary64))
(*.f64 (fabs.f64 (fabs.f64 N)) (fabs.f64 (fabs.f64 N)))
(*.f64 (neg.f64 (fabs.f64 N)) (neg.f64 (fabs.f64 N)))
(.f64 (.f64 (neg.f64 N) N) #s(literal -1 binary64))
(.f64 (fabs.f64 N) (.f64 (fabs.f64 N) #s(literal 1 binary64)))
(*.f64 (fabs.f64 N) (fabs.f64 N))
(*.f64 (neg.f64 N) (neg.f64 N))
(.f64 (.f64 N N) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 N N))
(.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (*.f64 N N)))
(.f64 #s(literal -1 binary64) (.f64 (neg.f64 N) N))
(*.f64 N N)
(pow.f64 (neg.f64 (fabs.f64 (fabs.f64 N))) #s(literal 2 binary64))
(pow.f64 (neg.f64 (neg.f64 (fabs.f64 N))) #s(literal 2 binary64))
(pow.f64 (*.f64 (fabs.f64 (fabs.f64 N)) #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (neg.f64 (fabs.f64 N)) #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (fabs.f64 (fabs.f64 N)) #s(literal -1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (neg.f64 (fabs.f64 N)) #s(literal -1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 (fabs.f64 N))) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal -1 binary64) (fabs.f64 (fabs.f64 N))) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (fabs.f64 N))) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (fabs.f64 N))) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 N)) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal -1 binary64) (fabs.f64 N)) #s(literal 2 binary64))
(pow.f64 (*.f64 (fabs.f64 N) #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (fabs.f64 N) #s(literal -1 binary64)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 (fabs.f64 N)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (fabs.f64 N)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 N) #s(literal 2 binary64))
(pow.f64 (neg.f64 N) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 N N) (*.f64 N N)) #s(literal 1/2 binary64))
(pow.f64 (*.f64 N N) #s(literal 1 binary64))
(pow.f64 N #s(literal 2 binary64))
(/.f64 (.f64 (.f64 N N) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 N N)) #s(literal 2 binary64))
(neg.f64 (.f64 (.f64 N N) #s(literal -1 binary64)))
(neg.f64 (.f64 #s(literal -1 binary64) (.f64 N N)))
(neg.f64 (*.f64 (neg.f64 N) N))
(sqrt.f64 (.f64 (.f64 N N) (*.f64 N N)))
(fabs.f64 (*.f64 (neg.f64 N) N))
(fabs.f64 (*.f64 N N))
N
#s(literal -1 binary64)
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) #s(literal 1 binary64))))
(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) #s(literal 1 binary64)))
#s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) #s(literal 1 binary64))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) (fma.f64 N N N))))
(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) (fma.f64 N N N)))
#s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) (fma.f64 N N N))
(.f64 (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (fabs.f64 N)) (fabs.f64 N))
(.f64 (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (neg.f64 N)) (neg.f64 N))
(.f64 (.f64 (fma.f64 N N N) #s(literal -1 binary64)) #s(literal -1 binary64))
(.f64 (/.f64 (.f64 (fma.f64 N N N) N) (fabs.f64 N)) (/.f64 N (fabs.f64 N)))
(.f64 (/.f64 (.f64 (fma.f64 N N N) N) (neg.f64 N)) (/.f64 N (neg.f64 N)))
(.f64 (/.f64 (.f64 N N) (fabs.f64 N)) (/.f64 (fma.f64 N N N) (fabs.f64 N)))
(.f64 (/.f64 (fma.f64 N N N) (fabs.f64 N)) (/.f64 (.f64 N N) (fabs.f64 N)))
(.f64 (/.f64 (.f64 N N) (neg.f64 N)) (/.f64 (fma.f64 N N N) (neg.f64 N)))
(.f64 (/.f64 (fma.f64 N N N) (neg.f64 N)) (/.f64 (.f64 N N) (neg.f64 N)))
(.f64 (/.f64 (.f64 (*.f64 (fma.f64 N N N) N) N) N) (/.f64 #s(literal 1 binary64) N))
(.f64 (.f64 (fma.f64 N N N) N) (/.f64 #s(literal 1 binary64) N))
(.f64 (.f64 (.f64 (fma.f64 N N N) N) (.f64 N N)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 N N) N)))
(.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) N)))
(.f64 (neg.f64 N) (.f64 (neg.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) N)))
(.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (/.f64 #s(literal 1 binary64) (.f64 N N)))
(.f64 (.f64 N N) (/.f64 (-.f64 N #s(literal -1 binary64)) N))
(.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (.f64 N N))
(*.f64 #s(literal 1 binary64) (fma.f64 N N N))
(*.f64 (fma.f64 N N N) #s(literal 1 binary64))
(*.f64 (-.f64 N #s(literal -1 binary64)) N)
(.f64 #s(literal -1 binary64) (.f64 (-.f64 #s(literal -1 binary64) N) N))
(*.f64 N (-.f64 N #s(literal -1 binary64)))
(/.f64 (.f64 N (.f64 (.f64 (-.f64 #s(literal -1 binary64) N) N) (.f64 N N))) (.f64 (.f64 (neg.f64 N) N) N))
(/.f64 (*.f64 (fma.f64 N N N) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (.f64 (.f64 N N) (-.f64 #s(literal -1 binary64) N)) (neg.f64 N))
(/.f64 (.f64 (.f64 (.f64 (-.f64 #s(literal -1 binary64) N) N) (.f64 N N)) N) (.f64 (.f64 (neg.f64 N) N) N))
(/.f64 (.f64 (.f64 (fma.f64 N N N) N) #s(literal 1 binary64)) N)
(/.f64 (.f64 (.f64 (.f64 (fma.f64 N N N) N) (.f64 N N)) #s(literal 1 binary64)) (.f64 (.f64 N N) N))
(/.f64 (/.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (fabs.f64 N)) (fabs.f64 N))
(/.f64 (/.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (neg.f64 N)) (neg.f64 N))
(/.f64 (/.f64 (.f64 (.f64 (fma.f64 N N N) N) (.f64 N N)) (.f64 N N)) N)
(/.f64 (/.f64 (.f64 (.f64 (fma.f64 N N N) N) (.f64 N N)) N) (.f64 N N))
(/.f64 (neg.f64 (*.f64 (fma.f64 N N N) N)) (neg.f64 N))
(/.f64 (.f64 (-.f64 #s(literal -1 binary64) N) (.f64 N N)) (neg.f64 N))
(/.f64 (/.f64 (.f64 (.f64 (fma.f64 N N N) N) N) N) N)
(/.f64 (*.f64 #s(literal 2 binary64) (fma.f64 N N N)) #s(literal 2 binary64))
(/.f64 (.f64 (.f64 (fma.f64 N N N) N) #s(literal 2 binary64)) (*.f64 N #s(literal 2 binary64)))
(/.f64 (.f64 (.f64 (.f64 (fma.f64 N N N) N) (.f64 N N)) #s(literal 2 binary64)) (.f64 (.f64 (*.f64 N N) N) #s(literal 2 binary64)))
(/.f64 (neg.f64 (.f64 (.f64 (fma.f64 N N N) N) (.f64 N N))) (.f64 (*.f64 (neg.f64 N) N) N))
(/.f64 (*.f64 (fma.f64 N N N) N) N)
(/.f64 (.f64 (.f64 (fma.f64 N N N) N) (.f64 N N)) (.f64 (*.f64 N N) N))
(/.f64 (.f64 (.f64 (-.f64 #s(literal -1 binary64) N) N) (.f64 N N)) (.f64 (neg.f64 N) N))
(/.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (*.f64 N N))
(neg.f64 (*.f64 (fma.f64 N N N) #s(literal -1 binary64)))
(neg.f64 (*.f64 (-.f64 #s(literal -1 binary64) N) N))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 N)) (.f64 #s(literal 1 binary64) (fabs.f64 N)) N)
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 N)) (fabs.f64 N) N)
(fma.f64 (.f64 #s(literal -1 binary64) (fabs.f64 N)) (.f64 #s(literal -1 binary64) (fabs.f64 N)) N)
(fma.f64 (.f64 (fabs.f64 N) #s(literal 1 binary64)) (.f64 (fabs.f64 N) #s(literal 1 binary64)) N)
(fma.f64 (.f64 (fabs.f64 N) #s(literal -1 binary64)) (.f64 (fabs.f64 N) #s(literal -1 binary64)) N)
(fma.f64 (.f64 (.f64 N N) #s(literal -1 binary64)) #s(literal -1 binary64) N)
(fma.f64 (fabs.f64 (fabs.f64 N)) (fabs.f64 (fabs.f64 N)) N)
(fma.f64 (neg.f64 (fabs.f64 N)) (neg.f64 (fabs.f64 N)) N)
(fma.f64 (*.f64 (neg.f64 N) N) #s(literal -1 binary64) N)
(fma.f64 (fabs.f64 N) (*.f64 (fabs.f64 N) #s(literal 1 binary64)) N)
(fma.f64 (fabs.f64 N) (fabs.f64 N) N)
(fma.f64 (neg.f64 N) (neg.f64 N) N)
(fma.f64 (*.f64 N N) #s(literal 1 binary64) N)
(fma.f64 #s(literal 1 binary64) (*.f64 N N) N)
(fma.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (.f64 N N)) N)
(fma.f64 #s(literal -1 binary64) (*.f64 (neg.f64 N) N) N)
(fma.f64 N N N)
(-.f64 (.f64 N N) (.f64 (*.f64 (neg.f64 N) N) (/.f64 #s(literal 1 binary64) N)))
(-.f64 (.f64 N N) (.f64 (/.f64 #s(literal -1 binary64) N) (*.f64 N N)))
(-.f64 (*.f64 N N) (neg.f64 N))
(-.f64 N (*.f64 (neg.f64 N) N))
(+.f64 (*.f64 N N) N)
(+.f64 N (*.f64 N N))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
(atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64)) (fabs.f64 N)) (fabs.f64 N))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64)) (neg.f64 N)) (neg.f64 N))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64)) N) N)
(*.f64 (-.f64 (-.f64 N (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)) N)
(.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64))))
(.f64 (neg.f64 N) (.f64 (neg.f64 N) (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64))))
(.f64 (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) #s(literal -1 binary64)) (*.f64 N N))
(.f64 (.f64 N N) (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64)))
(.f64 N (.f64 N (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64))))
(*.f64 N (-.f64 (-.f64 N (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)))
(/.f64 (fma.f64 (.f64 (fma.f64 N N N) N) #s(literal 2 binary64) (.f64 N #s(literal 2 binary64))) (*.f64 N #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal 2 binary64) N (.f64 #s(literal 2 binary64) (.f64 (fma.f64 N N N) N))) (*.f64 #s(literal 2 binary64) N))
(/.f64 (fma.f64 (.f64 (.f64 (fma.f64 N N N) N) (.f64 N N)) #s(literal 2 binary64) (.f64 (.f64 (.f64 N N) N) #s(literal 2 binary64))) (.f64 (.f64 (*.f64 N N) N) #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal 2 binary64) (.f64 (.f64 N N) N) (.f64 #s(literal 2 binary64) (.f64 (.f64 (fma.f64 N N N) N) (.f64 N N)))) (.f64 #s(literal 2 binary64) (.f64 (*.f64 N N) N)))
(neg.f64 (-.f64 (-.f64 #s(literal -1 binary64) (*.f64 N N)) N))
(neg.f64 (+.f64 #s(literal -1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N)))
(neg.f64 (-.f64 #s(literal -1 binary64) (fma.f64 N N N)))
(neg.f64 (-.f64 (*.f64 (-.f64 #s(literal -1 binary64) N) N) #s(literal 1 binary64)))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) (fabs.f64 N)) (fabs.f64 N) N)
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) (neg.f64 N)) (neg.f64 N) N)
(fma.f64 (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) N) N (*.f64 N N))
(fma.f64 (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) (fabs.f64 N)) (fabs.f64 N) (*.f64 N N))
(fma.f64 (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) (neg.f64 N)) (neg.f64 N) (*.f64 N N))
(fma.f64 (*.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (fabs.f64 N)) (fabs.f64 N) #s(literal 1 binary64))
(fma.f64 (*.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (neg.f64 N)) (neg.f64 N) #s(literal 1 binary64))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 N)) (.f64 #s(literal 1 binary64) (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 N)) (fabs.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 #s(literal -1 binary64) (fabs.f64 N)) (.f64 #s(literal -1 binary64) (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 (fabs.f64 N) #s(literal 1 binary64)) (.f64 (fabs.f64 N) #s(literal 1 binary64)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 (fabs.f64 N) #s(literal -1 binary64)) (.f64 (fabs.f64 N) #s(literal -1 binary64)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (*.f64 (fma.f64 N N N) #s(literal -1 binary64)) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 (/.f64 (*.f64 (fma.f64 N N N) N) (fabs.f64 N)) (/.f64 N (fabs.f64 N)) #s(literal 1 binary64))
(fma.f64 (/.f64 (*.f64 (fma.f64 N N N) N) (neg.f64 N)) (/.f64 N (neg.f64 N)) #s(literal 1 binary64))
(fma.f64 (/.f64 (*.f64 N N) (fabs.f64 N)) (/.f64 (fma.f64 N N N) (fabs.f64 N)) #s(literal 1 binary64))
(fma.f64 (/.f64 (fma.f64 N N N) (fabs.f64 N)) (/.f64 (*.f64 N N) (fabs.f64 N)) #s(literal 1 binary64))
(fma.f64 (/.f64 (*.f64 N N) (neg.f64 N)) (/.f64 (fma.f64 N N N) (neg.f64 N)) #s(literal 1 binary64))
(fma.f64 (/.f64 (fma.f64 N N N) (neg.f64 N)) (/.f64 (*.f64 N N) (neg.f64 N)) #s(literal 1 binary64))
(fma.f64 (/.f64 (.f64 (.f64 (fma.f64 N N N) N) N) N) (/.f64 #s(literal 1 binary64) N) #s(literal 1 binary64))
(fma.f64 (.f64 (.f64 N N) #s(literal -1 binary64)) #s(literal -1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (fabs.f64 (fabs.f64 N)) (fabs.f64 (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (neg.f64 (fabs.f64 N)) (neg.f64 (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (*.f64 (fma.f64 N N N) N) (/.f64 #s(literal 1 binary64) N) #s(literal 1 binary64))
(fma.f64 (.f64 (fma.f64 N N N) N) (/.f64 #s(literal 1 binary64) (.f64 N N)) (*.f64 N N))
(fma.f64 (.f64 (.f64 (fma.f64 N N N) N) (.f64 N N)) (/.f64 #s(literal 1 binary64) (.f64 (*.f64 N N) N)) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 N N) N)) (.f64 (.f64 (fma.f64 N N N) N) N) (*.f64 N N))
(fma.f64 (*.f64 (neg.f64 N) N) #s(literal -1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 (.f64 (-.f64 #s(literal -1 binary64) N) N) (.f64 N N)) (/.f64 #s(literal -1 binary64) (.f64 (.f64 N N) N)) (.f64 N N))
(fma.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64))) N)
(fma.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))) (*.f64 N N))
(fma.f64 (fabs.f64 N) (*.f64 (fabs.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) N)) #s(literal 1 binary64))
(fma.f64 (fabs.f64 N) (*.f64 (fabs.f64 N) #s(literal 1 binary64)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (fabs.f64 N) (fabs.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (neg.f64 N) (.f64 (neg.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64))) N)
(fma.f64 (neg.f64 N) (.f64 (neg.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))) (*.f64 N N))
(fma.f64 (neg.f64 N) (*.f64 (neg.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) N)) #s(literal 1 binary64))
(fma.f64 (neg.f64 N) (neg.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) (.f64 N N) (*.f64 N N))
(fma.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (/.f64 #s(literal 1 binary64) (.f64 (.f64 N N) N)) (*.f64 N N))
(fma.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (/.f64 #s(literal 1 binary64) (*.f64 N N)) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) N) (fma.f64 N N N) (*.f64 N N))
(fma.f64 (-.f64 N (/.f64 #s(literal -1 binary64) N)) N N)
(fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) (.f64 N N) N)
(fma.f64 (.f64 N N) (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) (*.f64 N N))
(fma.f64 (.f64 N N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N)
(fma.f64 (*.f64 N N) (/.f64 (-.f64 N #s(literal -1 binary64)) N) #s(literal 1 binary64))
(fma.f64 (*.f64 N N) #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N) #s(literal 1 binary64))
(fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) N (*.f64 N N))
(fma.f64 #s(literal 1 binary64) (*.f64 N N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (fma.f64 N N N) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)) (*.f64 N N))
(fma.f64 (fma.f64 N N N) (/.f64 #s(literal 1 binary64) N) (*.f64 N N))
(fma.f64 (fma.f64 N N N) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64) (*.f64 N N))
(fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (.f64 N N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal -1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 (neg.f64 N) N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) N) (*.f64 N N))
(fma.f64 N (-.f64 N (/.f64 #s(literal -1 binary64) N)) N)
(fma.f64 N (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N))
(fma.f64 N (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64))
(fma.f64 N N (-.f64 N #s(literal -1 binary64)))
(-.f64 (fma.f64 N N #s(literal 1 binary64)) (neg.f64 N))
(-.f64 (.f64 N N) (.f64 (.f64 (neg.f64 N) N) (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))))
(-.f64 (.f64 N N) (.f64 (neg.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))) (.f64 N N)))
(-.f64 (*.f64 N N) (-.f64 #s(literal -1 binary64) N))
(-.f64 #s(literal 1 binary64) (.f64 (.f64 (neg.f64 N) N) (/.f64 (-.f64 N #s(literal -1 binary64)) N)))
(-.f64 #s(literal 1 binary64) (.f64 (neg.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N)) (.f64 N N)))
(-.f64 #s(literal 1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N))
(-.f64 (fma.f64 N N N) #s(literal -1 binary64))
(-.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 (neg.f64 N) N))
(-.f64 N (-.f64 #s(literal -1 binary64) (*.f64 N N)))
(+.f64 (fma.f64 N N #s(literal 1 binary64)) N)
(+.f64 (*.f64 N N) (-.f64 N #s(literal -1 binary64)))
(+.f64 #s(literal 1 binary64) (fma.f64 N N N))
(+.f64 (fma.f64 N N N) #s(literal 1 binary64))
(+.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N))
(+.f64 N (fma.f64 N N #s(literal 1 binary64)))
(*.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (fabs.f64 N)) (/.f64 N (fabs.f64 N)))
(*.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (neg.f64 N)) (/.f64 N (neg.f64 N)))
(*.f64 (/.f64 N (fabs.f64 N)) (/.f64 (-.f64 N #s(literal -1 binary64)) (fabs.f64 N)))
(*.f64 (/.f64 N (neg.f64 N)) (/.f64 (-.f64 N #s(literal -1 binary64)) (neg.f64 N)))
(*.f64 (-.f64 #s(literal -1 binary64) N) (/.f64 #s(literal -1 binary64) N))
(*.f64 (/.f64 #s(literal 1 binary64) N) (-.f64 N #s(literal -1 binary64)))
(*.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 (-.f64 N #s(literal -1 binary64)) N))
(.f64 (fma.f64 N N N) (/.f64 #s(literal 1 binary64) (.f64 N N)))
(*.f64 (-.f64 N #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) N))
(.f64 N (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)))
(/.f64 (*.f64 (-.f64 N #s(literal -1 binary64)) #s(literal -1 binary64)) (neg.f64 N))
(/.f64 (/.f64 (-.f64 #s(literal -1 binary64) N) #s(literal -1 binary64)) N)
(/.f64 (/.f64 (-.f64 #s(literal -1 binary64) N) N) #s(literal -1 binary64))
(/.f64 (/.f64 (fma.f64 N N N) (fabs.f64 N)) (fabs.f64 N))
(/.f64 (/.f64 (fma.f64 N N N) (neg.f64 N)) (neg.f64 N))
(/.f64 (+.f64 #s(literal 2 binary64) (.f64 N #s(literal 2 binary64))) (.f64 N #s(literal 2 binary64)))
(/.f64 (+.f64 #s(literal -2 binary64) (.f64 (neg.f64 N) #s(literal 2 binary64))) (.f64 (neg.f64 N) #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal 2 binary64) N #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) N))
(/.f64 (fma.f64 #s(literal 2 binary64) (neg.f64 N) #s(literal -2 binary64)) (*.f64 #s(literal 2 binary64) (neg.f64 N)))
(/.f64 (.f64 (-.f64 #s(literal -1 binary64) N) N) (.f64 (neg.f64 N) N))
(/.f64 (-.f64 #s(literal -1 binary64) N) (neg.f64 N))
(/.f64 (fma.f64 N N N) (*.f64 N N))
(/.f64 (-.f64 N #s(literal -1 binary64)) N)
(neg.f64 (*.f64 (-.f64 #s(literal -1 binary64) N) (/.f64 #s(literal 1 binary64) N)))
(neg.f64 (/.f64 (-.f64 #s(literal -1 binary64) N) N))
(neg.f64 (-.f64 (/.f64 #s(literal -1 binary64) N) #s(literal 1 binary64)))
(neg.f64 (+.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) N)))
(neg.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (neg.f64 N)))
(fma.f64 (/.f64 (fabs.f64 N) (*.f64 N N)) (/.f64 (fabs.f64 N) N) #s(literal 1 binary64))
(fma.f64 (/.f64 (neg.f64 N) (*.f64 N N)) (/.f64 (neg.f64 N) N) #s(literal 1 binary64))
(fma.f64 (/.f64 (fabs.f64 N) N) (/.f64 (fabs.f64 N) (*.f64 N N)) #s(literal 1 binary64))
(fma.f64 (/.f64 (neg.f64 N) N) (/.f64 (neg.f64 N) (*.f64 N N)) #s(literal 1 binary64))
(fma.f64 (fabs.f64 N) (/.f64 (fabs.f64 N) (.f64 (.f64 N N) N)) #s(literal 1 binary64))
(fma.f64 (neg.f64 N) (/.f64 (neg.f64 N) (.f64 (.f64 N N) N)) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) N) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) N #s(literal 1 binary64))
(fma.f64 (.f64 N N) (/.f64 #s(literal 1 binary64) (.f64 (*.f64 N N) N)) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) N) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) N) #s(literal 1 binary64))
(fma.f64 N (/.f64 #s(literal 1 binary64) (*.f64 N N)) #s(literal 1 binary64))
(-.f64 (/.f64 #s(literal 1 binary64) N) (/.f64 (.f64 (neg.f64 N) N) (.f64 N N)))
(-.f64 (/.f64 #s(literal 1 binary64) N) (/.f64 (neg.f64 N) N))
(-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (/.f64 (neg.f64 N) (*.f64 N N)))
(-.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) N))
(+.f64 (/.f64 #s(literal 1 binary64) N) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) N))
(.f64 (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) N) N)
(.f64 (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) (fabs.f64 N)) (fabs.f64 N))
(.f64 (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) (neg.f64 N)) (neg.f64 N))
(.f64 (.f64 (fma.f64 N N N) N) (/.f64 #s(literal 1 binary64) (*.f64 N N)))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 N N) N)) (.f64 (*.f64 (fma.f64 N N N) N) N))
(.f64 (.f64 (.f64 (-.f64 #s(literal -1 binary64) N) N) (.f64 N N)) (/.f64 #s(literal -1 binary64) (.f64 (.f64 N N) N)))
(.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N))))
(.f64 (neg.f64 N) (.f64 (neg.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N))))
(.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) (*.f64 N N))
(.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (/.f64 #s(literal 1 binary64) (.f64 (*.f64 N N) N)))
(*.f64 (/.f64 #s(literal 1 binary64) N) (fma.f64 N N N))
(.f64 (.f64 N N) (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)))
(*.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) N)
(*.f64 #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)))
(*.f64 (fma.f64 N N N) (/.f64 #s(literal 1 binary64) N))
(*.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) N))
(*.f64 N (/.f64 (-.f64 N #s(literal -1 binary64)) N))
(/.f64 (.f64 (.f64 (.f64 (fma.f64 N N N) N) N) #s(literal 1 binary64)) (.f64 (*.f64 N N) N))
(/.f64 (/.f64 (.f64 (.f64 (fma.f64 N N N) N) N) N) (*.f64 N N))
(/.f64 (neg.f64 (.f64 (.f64 (-.f64 #s(literal -1 binary64) N) N) (.f64 N N))) (.f64 (*.f64 N N) N))
(/.f64 (.f64 (fma.f64 N N N) N) (.f64 N N))
(/.f64 (*.f64 (-.f64 #s(literal -1 binary64) N) N) (neg.f64 N))
(/.f64 (.f64 (.f64 (-.f64 #s(literal -1 binary64) N) N) (.f64 N N)) (.f64 (*.f64 (neg.f64 N) N) N))
(/.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (.f64 (.f64 N N) N))
(/.f64 (fma.f64 N N N) N)
(neg.f64 (/.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (.f64 (.f64 (neg.f64 N) N) N)))
(neg.f64 (/.f64 (.f64 (.f64 (-.f64 #s(literal -1 binary64) N) N) (.f64 N N)) (.f64 (*.f64 N N) N)))
(neg.f64 (-.f64 #s(literal -1 binary64) N))
(-.f64 #s(literal 1 binary64) (neg.f64 N))
(-.f64 N (*.f64 (/.f64 #s(literal -1 binary64) N) N))
(-.f64 N (*.f64 (neg.f64 N) (/.f64 #s(literal 1 binary64) N)))
(-.f64 N #s(literal -1 binary64))
(+.f64 #s(literal 1 binary64) N)
(+.f64 N #s(literal 1 binary64))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
(atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64)) (fabs.f64 N)) (fabs.f64 N))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64)) (neg.f64 N)) (neg.f64 N))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64)) N) N)
(*.f64 (-.f64 (-.f64 N (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)) N)
(.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64))))
(.f64 (neg.f64 N) (.f64 (neg.f64 N) (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64))))
(.f64 (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) #s(literal -1 binary64)) (*.f64 N N))
(.f64 (.f64 N N) (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64)))
(.f64 N (.f64 N (-.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) #s(literal -1 binary64))))
(*.f64 N (-.f64 (-.f64 N (/.f64 #s(literal -1 binary64) N)) #s(literal -1 binary64)))
(/.f64 (fma.f64 (.f64 (fma.f64 N N N) N) #s(literal 2 binary64) (.f64 N #s(literal 2 binary64))) (*.f64 N #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal 2 binary64) N (.f64 #s(literal 2 binary64) (.f64 (fma.f64 N N N) N))) (*.f64 #s(literal 2 binary64) N))
(/.f64 (fma.f64 (.f64 (.f64 (fma.f64 N N N) N) (.f64 N N)) #s(literal 2 binary64) (.f64 (.f64 (.f64 N N) N) #s(literal 2 binary64))) (.f64 (.f64 (*.f64 N N) N) #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal 2 binary64) (.f64 (.f64 N N) N) (.f64 #s(literal 2 binary64) (.f64 (.f64 (fma.f64 N N N) N) (.f64 N N)))) (.f64 #s(literal 2 binary64) (.f64 (*.f64 N N) N)))
(neg.f64 (-.f64 (-.f64 #s(literal -1 binary64) (*.f64 N N)) N))
(neg.f64 (+.f64 #s(literal -1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N)))
(neg.f64 (-.f64 #s(literal -1 binary64) (fma.f64 N N N)))
(neg.f64 (-.f64 (*.f64 (-.f64 #s(literal -1 binary64) N) N) #s(literal 1 binary64)))
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) (fabs.f64 N)) (fabs.f64 N) N)
(fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) (neg.f64 N)) (neg.f64 N) N)
(fma.f64 (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) N) N (*.f64 N N))
(fma.f64 (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) (fabs.f64 N)) (fabs.f64 N) (*.f64 N N))
(fma.f64 (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) (neg.f64 N)) (neg.f64 N) (*.f64 N N))
(fma.f64 (*.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (fabs.f64 N)) (fabs.f64 N) #s(literal 1 binary64))
(fma.f64 (*.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (neg.f64 N)) (neg.f64 N) #s(literal 1 binary64))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 N)) (.f64 #s(literal 1 binary64) (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 N)) (fabs.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 #s(literal -1 binary64) (fabs.f64 N)) (.f64 #s(literal -1 binary64) (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 (fabs.f64 N) #s(literal 1 binary64)) (.f64 (fabs.f64 N) #s(literal 1 binary64)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 (fabs.f64 N) #s(literal -1 binary64)) (.f64 (fabs.f64 N) #s(literal -1 binary64)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (*.f64 (fma.f64 N N N) #s(literal -1 binary64)) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 (/.f64 (*.f64 (fma.f64 N N N) N) (fabs.f64 N)) (/.f64 N (fabs.f64 N)) #s(literal 1 binary64))
(fma.f64 (/.f64 (*.f64 (fma.f64 N N N) N) (neg.f64 N)) (/.f64 N (neg.f64 N)) #s(literal 1 binary64))
(fma.f64 (/.f64 (*.f64 N N) (fabs.f64 N)) (/.f64 (fma.f64 N N N) (fabs.f64 N)) #s(literal 1 binary64))
(fma.f64 (/.f64 (fma.f64 N N N) (fabs.f64 N)) (/.f64 (*.f64 N N) (fabs.f64 N)) #s(literal 1 binary64))
(fma.f64 (/.f64 (*.f64 N N) (neg.f64 N)) (/.f64 (fma.f64 N N N) (neg.f64 N)) #s(literal 1 binary64))
(fma.f64 (/.f64 (fma.f64 N N N) (neg.f64 N)) (/.f64 (*.f64 N N) (neg.f64 N)) #s(literal 1 binary64))
(fma.f64 (/.f64 (.f64 (.f64 (fma.f64 N N N) N) N) N) (/.f64 #s(literal 1 binary64) N) #s(literal 1 binary64))
(fma.f64 (.f64 (.f64 N N) #s(literal -1 binary64)) #s(literal -1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (fabs.f64 (fabs.f64 N)) (fabs.f64 (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (neg.f64 (fabs.f64 N)) (neg.f64 (fabs.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (*.f64 (fma.f64 N N N) N) (/.f64 #s(literal 1 binary64) N) #s(literal 1 binary64))
(fma.f64 (.f64 (fma.f64 N N N) N) (/.f64 #s(literal 1 binary64) (.f64 N N)) (*.f64 N N))
(fma.f64 (.f64 (.f64 (fma.f64 N N N) N) (.f64 N N)) (/.f64 #s(literal 1 binary64) (.f64 (*.f64 N N) N)) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 N N) N)) (.f64 (.f64 (fma.f64 N N N) N) N) (*.f64 N N))
(fma.f64 (*.f64 (neg.f64 N) N) #s(literal -1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (.f64 (.f64 (-.f64 #s(literal -1 binary64) N) N) (.f64 N N)) (/.f64 #s(literal -1 binary64) (.f64 (.f64 N N) N)) (.f64 N N))
(fma.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64))) N)
(fma.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))) (*.f64 N N))
(fma.f64 (fabs.f64 N) (*.f64 (fabs.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) N)) #s(literal 1 binary64))
(fma.f64 (fabs.f64 N) (*.f64 (fabs.f64 N) #s(literal 1 binary64)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (fabs.f64 N) (fabs.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (neg.f64 N) (.f64 (neg.f64 N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64))) N)
(fma.f64 (neg.f64 N) (.f64 (neg.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))) (*.f64 N N))
(fma.f64 (neg.f64 N) (*.f64 (neg.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) N)) #s(literal 1 binary64))
(fma.f64 (neg.f64 N) (neg.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) (.f64 N N) (*.f64 N N))
(fma.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (/.f64 #s(literal 1 binary64) (.f64 (.f64 N N) N)) (*.f64 N N))
(fma.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (/.f64 #s(literal 1 binary64) (*.f64 N N)) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) N) (fma.f64 N N N) (*.f64 N N))
(fma.f64 (-.f64 N (/.f64 #s(literal -1 binary64) N)) N N)
(fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) (.f64 N N) N)
(fma.f64 (.f64 N N) (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) (*.f64 N N))
(fma.f64 (.f64 N N) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N)
(fma.f64 (*.f64 N N) (/.f64 (-.f64 N #s(literal -1 binary64)) N) #s(literal 1 binary64))
(fma.f64 (*.f64 N N) #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N) #s(literal 1 binary64))
(fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) N (*.f64 N N))
(fma.f64 #s(literal 1 binary64) (*.f64 N N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (fma.f64 N N N) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)) (*.f64 N N))
(fma.f64 (fma.f64 N N N) (/.f64 #s(literal 1 binary64) N) (*.f64 N N))
(fma.f64 (fma.f64 N N N) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64) (*.f64 N N))
(fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (.f64 N N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal -1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 (neg.f64 N) N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) N) (*.f64 N N))
(fma.f64 N (-.f64 N (/.f64 #s(literal -1 binary64) N)) N)
(fma.f64 N (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N))
(fma.f64 N (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64))
(fma.f64 N N (-.f64 N #s(literal -1 binary64)))
(-.f64 (fma.f64 N N #s(literal 1 binary64)) (neg.f64 N))
(-.f64 (.f64 N N) (.f64 (.f64 (neg.f64 N) N) (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))))
(-.f64 (.f64 N N) (.f64 (neg.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))) (.f64 N N)))
(-.f64 (*.f64 N N) (-.f64 #s(literal -1 binary64) N))
(-.f64 #s(literal 1 binary64) (.f64 (.f64 (neg.f64 N) N) (/.f64 (-.f64 N #s(literal -1 binary64)) N)))
(-.f64 #s(literal 1 binary64) (.f64 (neg.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N)) (.f64 N N)))
(-.f64 #s(literal 1 binary64) (*.f64 (-.f64 #s(literal -1 binary64) N) N))
(-.f64 (fma.f64 N N N) #s(literal -1 binary64))
(-.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 (neg.f64 N) N))
(-.f64 N (-.f64 #s(literal -1 binary64) (*.f64 N N)))
(+.f64 (fma.f64 N N #s(literal 1 binary64)) N)
(+.f64 (*.f64 N N) (-.f64 N #s(literal -1 binary64)))
(+.f64 #s(literal 1 binary64) (fma.f64 N N N))
(+.f64 (fma.f64 N N N) #s(literal 1 binary64))
(+.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N))
(+.f64 N (fma.f64 N N #s(literal 1 binary64)))
(.f64 (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) N) N)
(.f64 (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) (fabs.f64 N)) (fabs.f64 N))
(.f64 (.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)) (neg.f64 N)) (neg.f64 N))
(.f64 (.f64 (fma.f64 N N N) N) (/.f64 #s(literal 1 binary64) (*.f64 N N)))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 N N) N)) (.f64 (*.f64 (fma.f64 N N N) N) N))
(.f64 (.f64 (.f64 (-.f64 #s(literal -1 binary64) N) N) (.f64 N N)) (/.f64 #s(literal -1 binary64) (.f64 (.f64 N N) N)))
(.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N))))
(.f64 (neg.f64 N) (.f64 (neg.f64 N) (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N))))
(.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)) (*.f64 N N))
(.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (/.f64 #s(literal 1 binary64) (.f64 (*.f64 N N) N)))
(*.f64 (/.f64 #s(literal 1 binary64) N) (fma.f64 N N N))
(.f64 (.f64 N N) (/.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)))
(*.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) N)
(*.f64 #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)))
(*.f64 (fma.f64 N N N) (/.f64 #s(literal 1 binary64) N))
(*.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) N))
(*.f64 N (/.f64 (-.f64 N #s(literal -1 binary64)) N))
(/.f64 (.f64 (.f64 (.f64 (fma.f64 N N N) N) N) #s(literal 1 binary64)) (.f64 (*.f64 N N) N))
(/.f64 (/.f64 (.f64 (.f64 (fma.f64 N N N) N) N) N) (*.f64 N N))
(/.f64 (neg.f64 (.f64 (.f64 (-.f64 #s(literal -1 binary64) N) N) (.f64 N N))) (.f64 (*.f64 N N) N))
(/.f64 (.f64 (fma.f64 N N N) N) (.f64 N N))
(/.f64 (*.f64 (-.f64 #s(literal -1 binary64) N) N) (neg.f64 N))
(/.f64 (.f64 (.f64 (-.f64 #s(literal -1 binary64) N) N) (.f64 N N)) (.f64 (*.f64 (neg.f64 N) N) N))
(/.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (.f64 (.f64 N N) N))
(/.f64 (fma.f64 N N N) N)
(neg.f64 (/.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (.f64 (.f64 (neg.f64 N) N) N)))
(neg.f64 (/.f64 (.f64 (.f64 (-.f64 #s(literal -1 binary64) N) N) (.f64 N N)) (.f64 (*.f64 N N) N)))
(neg.f64 (-.f64 #s(literal -1 binary64) N))
(-.f64 #s(literal 1 binary64) (neg.f64 N))
(-.f64 N (*.f64 (/.f64 #s(literal -1 binary64) N) N))
(-.f64 N (*.f64 (neg.f64 N) (/.f64 #s(literal 1 binary64) N)))
(-.f64 N #s(literal -1 binary64))
(+.f64 #s(literal 1 binary64) N)
(+.f64 N #s(literal 1 binary64))
(.f64 (.f64 (fma.f64 N N N) (fabs.f64 N)) (fabs.f64 N))
(.f64 (.f64 (fma.f64 N N N) (neg.f64 N)) (neg.f64 N))
(.f64 (.f64 (fma.f64 N N N) N) N)
(.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (fma.f64 N N N)))
(.f64 (neg.f64 N) (.f64 (neg.f64 N) (fma.f64 N N N)))
(.f64 (.f64 (.f64 N N) (.f64 N N)) (/.f64 (-.f64 N #s(literal -1 binary64)) N))
(.f64 (.f64 N N) (fma.f64 N N N))
(.f64 (.f64 (*.f64 N N) N) (-.f64 N #s(literal -1 binary64)))
(.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (.f64 (.f64 N N) (.f64 N N)))
(.f64 (fma.f64 N N N) (.f64 N N))
(.f64 (-.f64 N #s(literal -1 binary64)) (.f64 (*.f64 N N) N))
(.f64 N (.f64 (fma.f64 N N N) N))
(neg.f64 (.f64 (-.f64 #s(literal -1 binary64) N) (.f64 (*.f64 N N) N)))
(neg.f64 (.f64 (.f64 (*.f64 N N) N) (-.f64 #s(literal -1 binary64) N)))
(fma.f64 (pow.f64 (.f64 (/.f64 #s(literal 1 binary64) N) (fabs.f64 N)) #s(literal 3 binary64)) (.f64 (fabs.f64 N) (.f64 N N)) (.f64 (.f64 N N) (.f64 N N)))
(fma.f64 (pow.f64 (.f64 (/.f64 #s(literal 1 binary64) N) (neg.f64 N)) #s(literal 3 binary64)) (.f64 (.f64 (neg.f64 N) N) N) (.f64 (.f64 N N) (.f64 N N)))
(fma.f64 (.f64 (fabs.f64 N) (.f64 N N)) (pow.f64 (.f64 (fabs.f64 N) (/.f64 #s(literal 1 binary64) N)) #s(literal 3 binary64)) (.f64 (.f64 N N) (.f64 N N)))
(fma.f64 (.f64 (fabs.f64 N) (.f64 N N)) (pow.f64 (/.f64 (fabs.f64 N) N) #s(literal 3 binary64)) (.f64 (.f64 N N) (*.f64 N N)))
(fma.f64 (.f64 (fabs.f64 N) (.f64 N N)) (fabs.f64 N) (.f64 (.f64 N N) N))
(fma.f64 (.f64 (.f64 (.f64 N N) (.f64 N N)) #s(literal -1 binary64)) #s(literal -1 binary64) (.f64 (.f64 N N) N))
(fma.f64 (.f64 (.f64 N N) #s(literal -1 binary64)) (.f64 (.f64 N N) #s(literal -1 binary64)) (.f64 (.f64 N N) N))
(fma.f64 (.f64 #s(literal -1 binary64) (.f64 N N)) (.f64 #s(literal -1 binary64) (.f64 N N)) (.f64 (.f64 N N) N))
(fma.f64 (.f64 (neg.f64 N) (fabs.f64 N)) (.f64 (neg.f64 N) (fabs.f64 N)) (.f64 (.f64 N N) N))
(fma.f64 (.f64 N (fabs.f64 N)) (.f64 N (fabs.f64 N)) (.f64 (.f64 N N) N))
(fma.f64 (.f64 N (fabs.f64 N)) (fabs.f64 N) (.f64 (.f64 N N) (.f64 N N)))
(fma.f64 (.f64 (fabs.f64 N) (neg.f64 N)) (.f64 (fabs.f64 N) (neg.f64 N)) (.f64 (.f64 N N) N))
(fma.f64 (.f64 (fabs.f64 N) N) (.f64 (fabs.f64 N) N) (.f64 (.f64 N N) N))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 N N) N)) (.f64 (.f64 (.f64 N N) (.f64 N N)) (.f64 N N)) (.f64 (.f64 N N) (.f64 N N)))
(fma.f64 (.f64 (.f64 (.f64 N N) (.f64 N N)) (.f64 N N)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 N N) N)) (.f64 (.f64 N N) (.f64 N N)))
(fma.f64 (.f64 (.f64 (neg.f64 N) N) N) (pow.f64 (/.f64 (neg.f64 N) N) #s(literal 3 binary64)) (.f64 (.f64 N N) (*.f64 N N)))
(fma.f64 (.f64 (.f64 (neg.f64 N) N) N) (pow.f64 (.f64 (neg.f64 N) (/.f64 #s(literal 1 binary64) N)) #s(literal 3 binary64)) (.f64 (.f64 N N) (.f64 N N)))
(fma.f64 (.f64 (.f64 (neg.f64 N) N) N) (neg.f64 N) (.f64 (.f64 N N) N))
(fma.f64 (.f64 (.f64 (neg.f64 N) N) N) #s(literal -1 binary64) (.f64 (.f64 N N) (*.f64 N N)))
(fma.f64 (.f64 (neg.f64 N) N) (.f64 (neg.f64 N) N) (.f64 (.f64 N N) N))
(fma.f64 (.f64 (neg.f64 N) N) (neg.f64 N) (.f64 (.f64 N N) (.f64 N N)))
(fma.f64 (fabs.f64 N) (.f64 (fabs.f64 N) (.f64 N N)) (.f64 (.f64 N N) N))
(fma.f64 (fabs.f64 N) (.f64 (fabs.f64 N) N) (.f64 (.f64 N N) (.f64 N N)))
(fma.f64 (neg.f64 N) (.f64 (.f64 (neg.f64 N) N) N) (.f64 (.f64 N N) N))
(fma.f64 (neg.f64 N) (.f64 (neg.f64 N) N) (.f64 (.f64 N N) (.f64 N N)))
(fma.f64 (.f64 (.f64 N N) (.f64 N N)) (/.f64 #s(literal 1 binary64) N) (.f64 (.f64 N N) (.f64 N N)))
(fma.f64 (.f64 (.f64 N N) (.f64 N N)) #s(literal 1 binary64) (.f64 (*.f64 N N) N))
(fma.f64 (/.f64 #s(literal 1 binary64) N) (.f64 (.f64 N N) (.f64 N N)) (.f64 (.f64 N N) (.f64 N N)))
(fma.f64 (.f64 N N) (.f64 N N) (.f64 (.f64 N N) N))
(fma.f64 (.f64 N N) N (.f64 (.f64 N N) (.f64 N N)))
(fma.f64 (.f64 (.f64 N N) N) #s(literal 1 binary64) (.f64 (.f64 N N) (*.f64 N N)))
(fma.f64 (.f64 (.f64 N N) N) N (.f64 (.f64 N N) N))
(fma.f64 #s(literal 1 binary64) (.f64 (.f64 N N) (.f64 N N)) (.f64 (*.f64 N N) N))
(fma.f64 #s(literal 1 binary64) (.f64 (.f64 N N) N) (.f64 (.f64 N N) (*.f64 N N)))
(fma.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (.f64 (.f64 N N) (.f64 N N))) (.f64 (.f64 N N) N))
(fma.f64 #s(literal -1 binary64) (.f64 (.f64 (neg.f64 N) N) N) (.f64 (.f64 N N) (*.f64 N N)))
(fma.f64 N (.f64 N N) (.f64 (.f64 N N) (.f64 N N)))
(fma.f64 N (.f64 (.f64 N N) N) (.f64 (.f64 N N) N))
(-.f64 (.f64 (.f64 N N) (.f64 N N)) (.f64 (neg.f64 (.f64 (.f64 N N) (*.f64 N N))) (/.f64 #s(literal 1 binary64) N)))
(-.f64 (.f64 (.f64 N N) (.f64 N N)) (.f64 (/.f64 #s(literal -1 binary64) N) (.f64 (.f64 N N) (*.f64 N N))))
(-.f64 (.f64 (.f64 N N) (.f64 N N)) (.f64 (*.f64 (neg.f64 N) N) N))
(-.f64 (.f64 (.f64 N N) N) (.f64 (.f64 (*.f64 (neg.f64 N) N) N) N))
(-.f64 (.f64 (.f64 N N) N) (.f64 (neg.f64 N) (.f64 (*.f64 N N) N)))
(-.f64 (.f64 (.f64 N N) N) (neg.f64 (.f64 (.f64 N N) (*.f64 N N))))
(+.f64 (.f64 (.f64 N N) (.f64 N N)) (.f64 (*.f64 N N) N))
(+.f64 (.f64 (.f64 N N) N) (.f64 (.f64 N N) (*.f64 N N)))
(.f64 (pow.f64 (.f64 (/.f64 #s(literal 1 binary64) N) (fabs.f64 N)) #s(literal 3 binary64)) (.f64 (fabs.f64 N) (.f64 N N)))
(.f64 (pow.f64 (.f64 (/.f64 #s(literal 1 binary64) N) (neg.f64 N)) #s(literal 3 binary64)) (.f64 (.f64 (neg.f64 N) N) N))
(.f64 (.f64 (fabs.f64 N) (.f64 N N)) (pow.f64 (.f64 (fabs.f64 N) (/.f64 #s(literal 1 binary64) N)) #s(literal 3 binary64)))
(.f64 (.f64 (fabs.f64 N) (*.f64 N N)) (pow.f64 (/.f64 (fabs.f64 N) N) #s(literal 3 binary64)))
(.f64 (.f64 N (fabs.f64 N)) (fabs.f64 N))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 N N) N)) (.f64 (.f64 (.f64 N N) (.f64 N N)) (.f64 N N)))
(.f64 (.f64 (.f64 (.f64 N N) (.f64 N N)) (.f64 N N)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 N N) N)))
(.f64 (.f64 (*.f64 (neg.f64 N) N) N) (pow.f64 (/.f64 (neg.f64 N) N) #s(literal 3 binary64)))
(.f64 (.f64 (.f64 (neg.f64 N) N) N) (pow.f64 (.f64 (neg.f64 N) (/.f64 #s(literal 1 binary64) N)) #s(literal 3 binary64)))
(.f64 (.f64 (*.f64 (neg.f64 N) N) N) #s(literal -1 binary64))
(.f64 (.f64 (neg.f64 N) N) (neg.f64 N))
(.f64 (fabs.f64 N) (.f64 (fabs.f64 N) N))
(.f64 (neg.f64 N) (.f64 (neg.f64 N) N))
(.f64 (.f64 (.f64 N N) (.f64 N N)) (/.f64 #s(literal 1 binary64) N))
(.f64 (/.f64 #s(literal 1 binary64) N) (.f64 (.f64 N N) (.f64 N N)))
(.f64 (.f64 N N) N)
(.f64 (.f64 (*.f64 N N) N) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 (*.f64 N N) N))
(.f64 #s(literal -1 binary64) (.f64 (*.f64 (neg.f64 N) N) N))
(.f64 N (.f64 N N))
(pow.f64 N #s(literal 3 binary64))
(/.f64 (pow.f64 (.f64 (.f64 N N) #s(literal -1 binary64)) #s(literal 3 binary64)) (.f64 (.f64 (neg.f64 N) N) N))
(/.f64 (pow.f64 (.f64 #s(literal -1 binary64) (.f64 N N)) #s(literal 3 binary64)) (.f64 (.f64 (neg.f64 N) N) N))
(/.f64 (pow.f64 (*.f64 N #s(literal 2 binary64)) #s(literal 3 binary64)) #s(literal 8 binary64))
(/.f64 (pow.f64 (*.f64 #s(literal 2 binary64) N) #s(literal 3 binary64)) #s(literal 8 binary64))
(/.f64 (.f64 #s(literal -1 binary64) (.f64 (.f64 N N) (.f64 N N))) (neg.f64 N))
(/.f64 (.f64 (.f64 (.f64 N N) (.f64 N N)) #s(literal -1 binary64)) (neg.f64 N))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 (*.f64 N N) N)) #s(literal 2 binary64))
(/.f64 (.f64 (.f64 (*.f64 N N) N) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (.f64 (.f64 (.f64 (neg.f64 N) N) N) (.f64 (.f64 N N) N)) (.f64 (*.f64 (neg.f64 N) N) N))
(/.f64 (.f64 (.f64 (.f64 N N) (.f64 N N)) (.f64 N N)) (.f64 (*.f64 N N) N))
(/.f64 (.f64 (.f64 N N) (*.f64 N N)) N)
(neg.f64 (.f64 (.f64 (neg.f64 N) N) N))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
#s(approx (atan2 1 (+ (* (* (- (/ 1 (* N N)) -1) N) N) N)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
#s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) #s(literal 1 binary64))
#s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) (-.f64 N #s(literal -1 binary64)))
#s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
#s(approx (* (- (/ 1 (* N N)) -1) N) (/.f64 #s(literal 1 binary64) N))
#s(approx (* (- (/ 1 (* N N)) -1) N) (-.f64 N (/.f64 #s(literal -1 binary64) N)))
#s(approx (- (/ 1 (* N N)) -1) (/.f64 #s(literal 1 binary64) (*.f64 N N)))
#s(approx (- (/ 1 (* N N)) -1) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) #s(literal -1 binary64)))
#s(approx (* N N) (*.f64 N N))
#s(approx N N)
#s(approx (+ (* N N) N) (fma.f64 N N N))
#s(approx (/ (- N -1) N) (/.f64 (-.f64 N #s(literal -1 binary64)) N))
#s(approx (atan2 1 (+ (* (* (- (/ 1 (* N N)) -1) N) N) N)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
#s(approx (* (+ (* N N) N) (* N N)) (.f64 (.f64 N N) N))
#s(approx (* (+ (* N N) N) (* N N)) (.f64 (.f64 (fma.f64 N N N) N) N))
#s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) (fma.f64 N N N))
#s(approx (+ (* (* (- (/ 1 (* N N)) -1) N) N) N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
#s(approx (* (- (/ 1 (* N N)) -1) N) (-.f64 N (/.f64 #s(literal -1 binary64) N)))
#s(approx (- (/ 1 (* N N)) -1) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) #s(literal -1 binary64)))
#s(approx (/ (- N -1) N) (/.f64 (-.f64 N #s(literal -1 binary64)) N))
#s(approx (- N -1) (-.f64 N #s(literal -1 binary64)))
#s(approx (* (+ (* N N) N) (* N N)) (.f64 (.f64 N N) (*.f64 N N)))
#s(approx (* (+ (* N N) N) (* N N)) (.f64 (.f64 (fma.f64 N N N) N) N))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
#s(approx (atan2 1 (+ (* (* (- (/ 1 (* N N)) -1) N) N) N)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))

eval96.0ms (3.7%)

Memory: 11.2MiB live, 101.1MiB allocated; 9ms collecting garbage
Compiler: Compiled 5 950 to 3 313 computations (44.3% saved)

prune78.0ms (3%)

Memory

-18.6MiB live, 35.0MiB allocated; 7ms collecting garbage

Pruning

19 alts after pruning (15 fresh and 4 done)

	Pruned	Kept	Total
New	662	13	675
Fresh	1	2	3
Picked	2	3	5
Done	0	1	1
Total	665	19	684

Accuracy

99.8%

Counts

684 → 19

Alt Table

Click to see full alt table

Status	Accuracy	Program
	77.2%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (/.f64 (.f64 (fma.f64 N N N) (.f64 N N)) (/.f64 (.f64 (.f64 N N) (*.f64 N N)) N)) N #s(literal 1 binary64))))
	71.9%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(approx (* (+ (* N N) N) (* N N)) (.f64 (.f64 N N) (.f64 N N))) (.f64 (*.f64 N N) N)) N #s(literal 1 binary64))))
	99.6%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N (/.f64 #s(literal -1 binary64) N)) N N)))
✓	99.6%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
	99.4%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (.f64 (fma.f64 N N N) (/.f64 #s(literal 1 binary64) (.f64 N N))) (*.f64 N N) #s(literal 1 binary64))))
	99.4%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (.f64 (/.f64 #s(literal 1 binary64) N) (-.f64 N #s(literal -1 binary64))) (.f64 N N) #s(literal 1 binary64))))
✓	99.6%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N) N N)))
	99.4%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 (fma.f64 N N #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 N N))) N) N N)))
	99.5%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (.f64 N (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))) (*.f64 N N) #s(literal 1 binary64))))
	99.6%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (+.f64 (fma.f64 N N #s(literal 1 binary64)) N)))
✓	96.3%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (fma.f64 N N N))))
	96.3%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (/.f64 (*.f64 (fma.f64 N N N) N) N))))
	75.1%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (/.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (*.f64 N N)))))
	7.9%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (-.f64 N #s(literal -1 binary64)))))
	96.3%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (+.f64 (*.f64 N N) N))))
	96.1%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (.f64 (.f64 (fma.f64 N N N) N) (/.f64 #s(literal 1 binary64) N)))))
	57.4%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (.f64 (.f64 (.f64 (fma.f64 N N N) N) (.f64 N N)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 N N) N))))))
	75.1%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (/.f64 #s(literal 1 binary64) (.f64 N N))))))
✓	6.4%	#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) #s(literal 1 binary64))))

Compiler

Compiled 555 to 439 computations (20.9% saved)

regimes15.0ms (0.6%)

Memory

22.7MiB live, 22.7MiB allocated; 0ms collecting garbage

Counts

29 → 1

Calls

Call 1

Inputs
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) #s(literal 1 binary64))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (-.f64 N #s(literal -1 binary64)))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (fma.f64 N N N))))
(-.f64 (atan.f64 #s(approx (+ N 1) #s(literal 1 binary64))) (atan.f64 N))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (+.f64 (*.f64 N N) N))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (+.f64 (fma.f64 N N #s(literal 1 binary64)) N)))
(-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N))
(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N (/.f64 #s(literal -1 binary64) N)) N N)))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (/.f64 (*.f64 (fma.f64 N N N) N) N))))
(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (+.f64 N (fma.f64 N N #s(literal 1 binary64))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (/.f64 (-.f64 N #s(literal -1 binary64)) N) (*.f64 N N) #s(literal 1 binary64))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (.f64 (.f64 (fma.f64 N N N) N) (/.f64 #s(literal 1 binary64) N)))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 N N)) #s(literal -1 binary64)) N) N N)))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (.f64 (/.f64 #s(literal 1 binary64) N) (-.f64 N #s(literal -1 binary64))) (.f64 N N) #s(literal 1 binary64))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (/.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (*.f64 N N)))))
(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) (*.f64 N N) #s(literal 1 binary64)))
(atan2.f64 (fma.f64 (-.f64 (/.f64 #s(literal 1 binary64) N) #s(literal -1 binary64)) N (neg.f64 N)) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (.f64 N (/.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))) (*.f64 N N) #s(literal 1 binary64))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (.f64 (.f64 (.f64 (fma.f64 N N N) N) N) (/.f64 #s(literal 1 binary64) (.f64 N N))))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 (fma.f64 N N #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 N N))) N) N N)))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (.f64 (fma.f64 N N N) (/.f64 #s(literal 1 binary64) (.f64 N N))) (*.f64 N N) #s(literal 1 binary64))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(approx (* (+ (* N N) N) (* N N)) (.f64 (.f64 N N) (.f64 N N))) (.f64 (*.f64 N N) N)) N #s(literal 1 binary64))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 N N)) (/.f64 #s(literal -1 binary64) N)) N) N) N #s(literal 1 binary64))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (/.f64 (.f64 (fma.f64 N N N) (.f64 N N)) (.f64 (.f64 N N) N)) N #s(literal 1 binary64))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (.f64 (.f64 (.f64 (fma.f64 N N N) N) (.f64 N N)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 N N) N))))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (/.f64 (.f64 (fma.f64 N N N) (.f64 N N)) (/.f64 (.f64 (.f64 N N) (*.f64 N N)) N)) N #s(literal 1 binary64))))

Outputs
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N (/.f64 #s(literal -1 binary64) N)) N N)))

Calls

2 calls:

7.0ms	N
5.0ms	(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))

Results

Accuracy	Segments	Branch
99.6%	1	`(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))`
99.6%	1	`N`

Compiler

Compiled 7 to 7 computations (0% saved)

regimes6.0ms (0.2%)

Memory

9.1MiB live, 9.1MiB allocated; 0ms collecting garbage

Counts

9 → 1

Calls

Call 1

Inputs
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) #s(literal 1 binary64))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (-.f64 N #s(literal -1 binary64)))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (fma.f64 N N N))))
(-.f64 (atan.f64 #s(approx (+ N 1) #s(literal 1 binary64))) (atan.f64 N))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (+.f64 (*.f64 N N) N))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (+.f64 (fma.f64 N N #s(literal 1 binary64)) N)))
(-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N))
(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))

Outputs
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))))

Calls

2 calls:

3.0ms	N
2.0ms	(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))

Results

Accuracy	Segments	Branch
99.6%	1	`(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))`
99.6%	1	`N`

Compiler

Compiled 7 to 7 computations (0% saved)

regimes8.0ms (0.3%)

Memory

-37.5MiB live, 6.8MiB allocated; 5ms collecting garbage

Counts

5 → 1

Calls

Call 1

Inputs
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) #s(literal 1 binary64))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (-.f64 N #s(literal -1 binary64)))))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (fma.f64 N N N))))
(-.f64 (atan.f64 #s(approx (+ N 1) #s(literal 1 binary64))) (atan.f64 N))
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (+.f64 (*.f64 N N) N))))

Outputs
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (fma.f64 N N N))))

Calls

2 calls:

6.0ms	N
1.0ms	(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))

Results

Accuracy	Segments	Branch
96.3%	1	`(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))`
96.3%	1	`N`

Compiler

Compiled 7 to 7 computations (0% saved)

regimes2.0ms (0.1%)

Memory

4.6MiB live, 4.6MiB allocated; 0ms collecting garbage

Counts

2 → 1

Calls

Call 1

Inputs

#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) #s(literal 1 binary64))))

#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (-.f64 N #s(literal -1 binary64)))))

Outputs
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) (-.f64 N #s(literal -1 binary64)))))

Calls

2 calls:

1.0ms	N
1.0ms	(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))

Results

Accuracy	Segments	Branch
7.9%	1	`(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))`
7.9%	1	`N`

Compiler

Compiled 7 to 7 computations (0% saved)

regimes2.0ms (0.1%)

Memory

4.7MiB live, 4.7MiB allocated; 0ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) #s(literal 1 binary64))))

Outputs
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (- N -1) N) 1) #s(literal 1 binary64))))

Calls

2 calls:

1.0ms	N
1.0ms	(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))

Results

Accuracy	Segments	Branch
6.4%	1	`(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))`
6.4%	1	`N`

Compiler

Compiled 7 to 7 computations (0% saved)

derivations114.0ms (4.4%)

Memory

5.9MiB live, 97.3MiB allocated; 6ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 40 to 29 computations (27.5% saved)

preprocess111.0ms (4.3%)

Memory: 13.6MiB live, 63.0MiB allocated; 35ms collecting garbage
Compiler: Compiled 62 to 47 computations (24.2% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze1.0ms (0.1%)

sample1.5s (55.7%)

preprocess63.0ms (2.4%)

series2.0ms (0.1%)

rewrite57.0ms (2.2%)

eval2.0ms (0.1%)

prune2.0ms (0.1%)

series7.0ms (0.3%)

rewrite141.0ms (5.4%)

eval9.0ms (0.4%)

prune10.0ms (0.4%)

series5.0ms (0.2%)

rewrite142.0ms (5.4%)

eval68.0ms (2.6%)

prune12.0ms (0.5%)

series12.0ms (0.5%)

rewrite187.0ms (7.2%)

eval96.0ms (3.7%)

prune78.0ms (3%)

regimes15.0ms (0.6%)

regimes6.0ms (0.2%)

regimes8.0ms (0.3%)

regimes2.0ms (0.1%)

regimes2.0ms (0.1%)

derivations114.0ms (4.4%)

preprocess111.0ms (4.3%)

end0.0ms (0%)

Profiling