Metrics for 2atan (example 3.5)

start0.0ms (0%)

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

analyze2.0ms (0.1%)

Memory

3.6MiB live, 3.6MiB 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.9s (51.4%)

Memory

28.1MiB live, 1 365.2MiB allocated; 1.0s collecting garbage

Samples

1.1s	7 333×	1	valid
134.0ms	689×	2	valid
13.0ms	234×	0	valid

Precisions

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

ival-atan: 386.0ms (39.7% of total)

adjust: 373.0ms (38.3% of total)

ival-add: 122.0ms (12.5% of total)

ival-sub: 83.0ms (8.5% of total)

exact: 8.0ms (0.8% of total)

ival-assert: 2.0ms (0.2% of total)

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

const: 0.0ms (0% of total)

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

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

Bogosity

explain131.0ms (3.6%)

Memory

0.8MiB live, 141.5MiB allocated; 10ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
254	-	-	`(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))`
0	-	-	`N`
0	-	-	`(+.f64 N #s(literal 1 binary64))`
0	-	-	`#s(literal 1 binary64)`
0	-	-	`(atan.f64 N)`
0	-	-	`(atan.f64 (+.f64 N #s(literal 1 binary64)))`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))`	cancellation	254	0

Confusion

	Predicted +	Predicted -
+	254	0
-	0	2

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	254	0	0
-	0	0	2

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	2
1	254

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

63.0ms	464×	1	valid
8.0ms	40×	2	valid
1.0ms	8×	0	valid

Compiler

Compiled 47 to 22 computations (53.2% saved)

Precisions

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

adjust: 22.0ms (42.1% of total)

ival-atan: 20.0ms (38.3% of total)

ival-add: 5.0ms (9.6% of total)

ival-sub: 5.0ms (9.6% of total)

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

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

exact: 0.0ms (0% of total)

preprocess241.0ms (6.6%)

Memory

1.1MiB live, 187.2MiB allocated; 28ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	26
1	16	26
2	19	26
3	33	26
4	76	26
5	321	24
6	2820	24
7	6223	24
0	6	7
0	10	7
1	13	7
2	16	7
3	27	7
4	61	7
5	252	7
6	2195	7
7	5491	7
0	8635	7

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

Calls

Call 1

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

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

Compiler

Compiled 7 to 6 computations (14.3% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 6 computations (14.3% saved)

series2.0ms (0%)

Memory

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

Counts

6 → 10

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))
#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))
1.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))

rewrite85.0ms (2.3%)

Memory

24.2MiB live, 78.5MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	106
0	36	98
1	145	98
0	921	98

Stop Event

1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit

Counts

16 → 49

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))
#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)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) #s(literal 2 binary64)) (pow.f64 (atan.f64 N) #s(literal 2 binary64)))) (neg.f64 (+.f64 (atan.f64 N) (atan.f64 (-.f64 N #s(literal -1 binary64))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) #s(literal 3 binary64)) (pow.f64 (atan.f64 N) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (atan.f64 N) (+.f64 (atan.f64 N) (atan.f64 (-.f64 N #s(literal -1 binary64)))) (pow.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) #s(literal 2 binary64)) (pow.f64 (atan.f64 N) #s(literal 2 binary64))) (+.f64 (atan.f64 N) (atan.f64 (-.f64 N #s(literal -1 binary64)))))
(/.f64 (-.f64 (pow.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) #s(literal 3 binary64)) (pow.f64 (atan.f64 N) #s(literal 3 binary64))) (fma.f64 (atan.f64 N) (+.f64 (atan.f64 N) (atan.f64 (-.f64 N #s(literal -1 binary64)))) (pow.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) #s(literal 2 binary64))))
(-.f64 (/.f64 (pow.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) #s(literal 2 binary64)) (+.f64 (atan.f64 N) (atan.f64 (-.f64 N #s(literal -1 binary64))))) (/.f64 (pow.f64 (atan.f64 N) #s(literal 2 binary64)) (+.f64 (atan.f64 N) (atan.f64 (-.f64 N #s(literal -1 binary64))))))
(-.f64 (/.f64 (pow.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) #s(literal 3 binary64)) (fma.f64 (atan.f64 N) (+.f64 (atan.f64 N) (atan.f64 (-.f64 N #s(literal -1 binary64)))) (pow.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) #s(literal 2 binary64)))) (/.f64 (pow.f64 (atan.f64 N) #s(literal 3 binary64)) (fma.f64 (atan.f64 N) (+.f64 (atan.f64 N) (atan.f64 (-.f64 N #s(literal -1 binary64)))) (pow.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) #s(literal 2 binary64)))))
(-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N))
(atan.f64 (-.f64 N #s(literal -1 binary64)))
(*.f64 (-.f64 (pow.f64 N #s(literal -1 binary64)) #s(literal -1 binary64)) N)
(*.f64 #s(literal 1 binary64) (-.f64 N #s(literal -1 binary64)))
(*.f64 N (-.f64 (pow.f64 N #s(literal -1 binary64)) #s(literal -1 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -2 binary64))) N) (-.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -1 binary64))))
(/.f64 (*.f64 (+.f64 (pow.f64 N #s(literal -3 binary64)) #s(literal 1 binary64)) N) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -2 binary64))) (pow.f64 N #s(literal -1 binary64))))
(/.f64 (*.f64 N (-.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -2 binary64)))) (-.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -1 binary64))))
(/.f64 (*.f64 N (+.f64 (pow.f64 N #s(literal -3 binary64)) #s(literal 1 binary64))) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -2 binary64))) (pow.f64 N #s(literal -1 binary64))))
(/.f64 (neg.f64 (fma.f64 N N #s(literal -1 binary64))) (neg.f64 (-.f64 N #s(literal 1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 N N))) (neg.f64 (-.f64 #s(literal 1 binary64) N)))
(/.f64 (neg.f64 (-.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal -1 binary64))) (neg.f64 (fma.f64 N N (-.f64 #s(literal 1 binary64) N))))
(/.f64 (neg.f64 (-.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal -1 binary64))) (neg.f64 (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (fma.f64 N N #s(literal -1 binary64)) (-.f64 N #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 N N)) (-.f64 #s(literal 1 binary64) N))
(/.f64 (-.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal -1 binary64)) (fma.f64 N N (-.f64 #s(literal 1 binary64) N)))
(/.f64 (-.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal -1 binary64)) (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64)))
(-.f64 (/.f64 #s(literal 1 binary64) (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 (neg.f64 N) #s(literal 3 binary64)) (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64))))
(-.f64 (/.f64 (*.f64 N N) (-.f64 N #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 N #s(literal 1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) N)) (/.f64 (*.f64 N N) (-.f64 #s(literal 1 binary64) N)))
(-.f64 #s(literal 1 binary64) (neg.f64 N))
(-.f64 N (*.f64 (neg.f64 N) (pow.f64 N #s(literal -1 binary64))))
(-.f64 N (*.f64 (neg.f64 (pow.f64 N #s(literal -1 binary64))) N))
(-.f64 N #s(literal -1 binary64))
(+.f64 (/.f64 (pow.f64 N #s(literal 3 binary64)) (fma.f64 N N (-.f64 #s(literal 1 binary64) N))) (/.f64 #s(literal 1 binary64) (fma.f64 N N (-.f64 #s(literal 1 binary64) N))))
(+.f64 (/.f64 #s(literal 1 binary64) (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 N #s(literal 3 binary64)) (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64))))
(+.f64 #s(literal 1 binary64) (*.f64 (neg.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) 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))))

eval13.0ms (0.3%)

Memory: -33.2MiB live, 13.6MiB allocated; 3ms collecting garbage
Compiler: Compiled 704 to 183 computations (74% saved)

prune24.0ms (0.7%)

Memory

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

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	47	1	48
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	47	2	49

Accuracy

18.9%

Counts

49 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	18.9%	(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
✓	7.6%	(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))

Compiler

Compiled 19 to 13 computations (31.6% saved)

series2.0ms (0.1%)

Memory

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

Counts

7 → 15

Calls

Call 1

Inputs
(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)
(-.f64 N #s(literal -1 binary64))
N
#s(literal -1 binary64)
(fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))
#s(literal 1 binary64)

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) #s(hole binary64 1))
#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 (+ (* (- 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 (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (+ N (pow N 2))))))
#s(approx (- N -1) #s(hole binary64 N))
#s(approx (- N -1) #s(hole binary64 (* N (+ 1 (/ 1 N)))))
#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 (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
1.0ms	N	@	-inf	((atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (- (- N -1) N) (- N -1) N -1 (+ (* (- N -1) N) 1) 1)
1.0ms	N	@	inf	((atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (- (- N -1) N) (- N -1) N -1 (+ (* (- N -1) N) 1) 1)
0.0ms	N	@	0	((atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) (- (- N -1) N) (- N -1) N -1 (+ (* (- N -1) N) 1) 1)

Time

Variable

Point

Expression

1.0ms

-inf

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

1.0ms

inf

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

0.0ms

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

rewrite80.0ms (2.2%)

Memory

-16.5MiB live, 30.5MiB allocated; 2ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	215
0	56	207
1	246	179
0	2417	176

Stop Event

1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit

Counts

22 → 113

Calls

Call 1

Inputs
(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)
(-.f64 N #s(literal -1 binary64))
N
#s(literal -1 binary64)
(fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64))
#s(literal 1 binary64)
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (* N (+ 1 N))))))
#s(approx (- (- N -1) N) #s(hole binary64 1))
#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 (+ (* (- 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 (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (+ N (pow N 2))))))
#s(approx (- N -1) #s(hole binary64 N))
#s(approx (- N -1) #s(hole binary64 (* N (+ 1 (/ 1 N)))))
#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 (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (* N (- 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)))
(-.f64 (atan.f64 (-.f64 N #s(literal -1 binary64))) (atan.f64 N))
(/.f64 (-.f64 (.f64 N N) (.f64 (+.f64 #s(literal -1 binary64) N) (+.f64 #s(literal -1 binary64) N))) (+.f64 N (+.f64 #s(literal -1 binary64) N)))
(/.f64 (-.f64 (pow.f64 N #s(literal 3 binary64)) (pow.f64 (+.f64 #s(literal -1 binary64) N) #s(literal 3 binary64))) (fma.f64 N N (fma.f64 (+.f64 #s(literal -1 binary64) N) (+.f64 #s(literal -1 binary64) N) (*.f64 N (+.f64 #s(literal -1 binary64) N)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (*.f64 N N))) (neg.f64 (+.f64 (-.f64 N #s(literal -1 binary64)) N)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 N #s(literal 3 binary64)))) (neg.f64 (fma.f64 N (+.f64 (-.f64 N #s(literal -1 binary64)) N) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (*.f64 N N)) (+.f64 (-.f64 N #s(literal -1 binary64)) N))
(/.f64 (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 N #s(literal 3 binary64))) (fma.f64 N (+.f64 (-.f64 N #s(literal -1 binary64)) N) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64))))
(-.f64 (/.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (+.f64 (-.f64 N #s(literal -1 binary64)) N)) (/.f64 (*.f64 N N) (+.f64 (-.f64 N #s(literal -1 binary64)) N)))
(-.f64 (/.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (fma.f64 N (+.f64 (-.f64 N #s(literal -1 binary64)) N) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)))) (/.f64 (pow.f64 N #s(literal 3 binary64)) (fma.f64 N (+.f64 (-.f64 N #s(literal -1 binary64)) N) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)))))
(-.f64 (-.f64 N #s(literal -1 binary64)) N)
(-.f64 N (+.f64 #s(literal -1 binary64) N))
(*.f64 (-.f64 (pow.f64 N #s(literal -1 binary64)) #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 (pow.f64 N #s(literal -1 binary64)) #s(literal -1 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -2 binary64))) N) (-.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -1 binary64))))
(/.f64 (*.f64 (+.f64 (pow.f64 N #s(literal -3 binary64)) #s(literal 1 binary64)) N) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -2 binary64))) (pow.f64 N #s(literal -1 binary64))))
(/.f64 (*.f64 N (-.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -2 binary64)))) (-.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -1 binary64))))
(/.f64 (*.f64 N (+.f64 (pow.f64 N #s(literal -3 binary64)) #s(literal 1 binary64))) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -2 binary64))) (pow.f64 N #s(literal -1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 N N))) (neg.f64 (-.f64 #s(literal 1 binary64) N)))
(/.f64 (neg.f64 (+.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal 1 binary64))) (neg.f64 (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (neg.f64 (fma.f64 N N #s(literal -1 binary64))) (-.f64 #s(literal 1 binary64) N))
(/.f64 (neg.f64 (-.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal -1 binary64))) (neg.f64 (fma.f64 N N (-.f64 #s(literal 1 binary64) N))))
(/.f64 (fma.f64 N N #s(literal -1 binary64)) (-.f64 N #s(literal 1 binary64)))
(/.f64 (fma.f64 N N #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 (-.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal -1 binary64)) (fma.f64 N N (-.f64 #s(literal 1 binary64) N)))
(/.f64 (+.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal 1 binary64)) (fma.f64 N N (-.f64 #s(literal 1 binary64) N)))
(/.f64 (+.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal 1 binary64)) (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64)))
(-.f64 (/.f64 #s(literal 1 binary64) (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 (neg.f64 N) #s(literal 3 binary64)) (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) N)) (/.f64 (*.f64 N N) (-.f64 #s(literal 1 binary64) N)))
(-.f64 (/.f64 (*.f64 N N) (+.f64 #s(literal -1 binary64) N)) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) N)))
(-.f64 (/.f64 (pow.f64 N #s(literal 3 binary64)) (fma.f64 N N (-.f64 #s(literal 1 binary64) N))) (/.f64 #s(literal -1 binary64) (fma.f64 N N (-.f64 #s(literal 1 binary64) N))))
(-.f64 #s(literal 1 binary64) (neg.f64 N))
(-.f64 N (*.f64 (neg.f64 (pow.f64 N #s(literal -1 binary64))) N))
(-.f64 N (*.f64 (neg.f64 N) (pow.f64 N #s(literal -1 binary64))))
(-.f64 N #s(literal -1 binary64))
(+.f64 (/.f64 #s(literal 1 binary64) (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 N #s(literal 3 binary64)) (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64))))
(+.f64 #s(literal 1 binary64) N)
(+.f64 N #s(literal 1 binary64))
N
#s(literal -1 binary64)
(/.f64 (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (pow.f64 N #s(literal 4 binary64))) (-.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (neg.f64 (fma.f64 N N N)) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (fma.f64 N N N) #s(literal 2 binary64)) (*.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 N N N))))))
(/.f64 (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 N #s(literal 6 binary64))) (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 N N N) #s(literal 2 binary64)) #s(literal 1 binary64))) (neg.f64 (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal -1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 N N N) #s(literal 2 binary64)))) (neg.f64 (-.f64 #s(literal 1 binary64) (fma.f64 N N N))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 N N N) #s(literal 3 binary64)) #s(literal -1 binary64))) (neg.f64 (-.f64 (+.f64 (pow.f64 (fma.f64 N N N) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 N N N))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 N N N) #s(literal 3 binary64)) #s(literal -1 binary64))) (neg.f64 (fma.f64 (fma.f64 N N N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal -1 binary64)) #s(literal 1 binary64))))
(/.f64 (fma.f64 (-.f64 (.f64 N N) (pow.f64 N #s(literal 4 binary64))) #s(literal 2 binary64) (.f64 (-.f64 N (.f64 N N)) #s(literal 2 binary64))) (.f64 (-.f64 N (*.f64 N N)) #s(literal 2 binary64)))
(/.f64 (fma.f64 (+.f64 (pow.f64 N #s(literal 6 binary64)) (pow.f64 N #s(literal 3 binary64))) #s(literal 2 binary64) (.f64 (-.f64 (fma.f64 N N (pow.f64 N #s(literal 4 binary64))) (pow.f64 N #s(literal 3 binary64))) #s(literal 2 binary64))) (.f64 (-.f64 (fma.f64 N N (pow.f64 N #s(literal 4 binary64))) (pow.f64 N #s(literal 3 binary64))) #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal 2 binary64) (-.f64 N (.f64 N N)) (.f64 #s(literal 2 binary64) (-.f64 (.f64 N N) (pow.f64 N #s(literal 4 binary64))))) (.f64 #s(literal 2 binary64) (-.f64 N (*.f64 N N))))
(/.f64 (fma.f64 #s(literal 2 binary64) (-.f64 (fma.f64 N N (pow.f64 N #s(literal 4 binary64))) (pow.f64 N #s(literal 3 binary64))) (.f64 #s(literal 2 binary64) (+.f64 (pow.f64 N #s(literal 6 binary64)) (pow.f64 N #s(literal 3 binary64))))) (.f64 #s(literal 2 binary64) (-.f64 (fma.f64 N N (pow.f64 N #s(literal 4 binary64))) (pow.f64 N #s(literal 3 binary64)))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 N N N) #s(literal 2 binary64))) (-.f64 #s(literal 1 binary64) (fma.f64 N N N)))
(/.f64 (-.f64 (pow.f64 (fma.f64 N N N) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal -1 binary64)))
(/.f64 (-.f64 (pow.f64 (fma.f64 N N N) #s(literal 3 binary64)) #s(literal -1 binary64)) (fma.f64 (fma.f64 N N N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal -1 binary64)) #s(literal 1 binary64)))
(/.f64 (-.f64 (pow.f64 (fma.f64 N N N) #s(literal 3 binary64)) #s(literal -1 binary64)) (-.f64 (+.f64 (pow.f64 (fma.f64 N N N) #s(literal 2 binary64)) #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 (fabs.f64 (neg.f64 N)) (fabs.f64 (neg.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (fabs.f64 N) (fabs.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (exp.f64 (log.f64 N)) (exp.f64 (log.f64 N)) (-.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 (neg.f64 N) (neg.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (-.f64 (pow.f64 N #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 N N) #s(literal 1 binary64))
(fma.f64 (-.f64 (pow.f64 N #s(literal -1 binary64)) #s(literal -1 binary64)) N (*.f64 N N))
(fma.f64 (*.f64 N N) (-.f64 (pow.f64 N #s(literal -1 binary64)) #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 (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 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 #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) N) (*.f64 N N))
(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) (neg.f64 (fma.f64 N 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 (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 N (-.f64 (pow.f64 N #s(literal -1 binary64)) #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 (/.f64 (pow.f64 (fma.f64 N N N) #s(literal 2 binary64)) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal -1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 N N N))) (/.f64 (pow.f64 (fma.f64 N N N) #s(literal 2 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 (neg.f64 N) N))
(-.f64 #s(literal 1 binary64) (*.f64 (neg.f64 (-.f64 N #s(literal -1 binary64))) N))
(-.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 N N N)))
(+.f64 (+.f64 #s(literal 1 binary64) (*.f64 N N)) N)
(+.f64 (/.f64 (pow.f64 (fma.f64 N N N) #s(literal 3 binary64)) (-.f64 (+.f64 (pow.f64 (fma.f64 N N N) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 N N N))) (/.f64 #s(literal 1 binary64) (-.f64 (+.f64 (pow.f64 (fma.f64 N N N) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 N N N))))
(+.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 N N N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal -1 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 (fma.f64 N N N) #s(literal 3 binary64)) (fma.f64 (fma.f64 N N N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal -1 binary64)) #s(literal 1 binary64))))
(+.f64 (*.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 N N))
(+.f64 #s(literal 1 binary64) (fma.f64 N N N))
(+.f64 N (+.f64 #s(literal 1 binary64) (*.f64 N N)))
(+.f64 N (fma.f64 N N #s(literal 1 binary64)))
#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) #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 (+ (* (- 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 (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)
#s(approx (- N -1) (-.f64 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 (pow.f64 N #s(literal -2 binary64)) (*.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))))

eval17.0ms (0.5%)

Memory: 27.2MiB live, 27.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 2 841 to 466 computations (83.6% saved)

prune182.0ms (5%)

Memory

-33.5MiB live, 193.9MiB allocated; 30ms collecting garbage

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	146	3	149
Fresh	0	0	0
Picked	1	0	1
Done	1	0	1
Total	148	3	151

Accuracy

99.7%

Counts

151 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
	18.9%	(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (fma.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -2 binary64))) N) (-.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -1 binary64)))) N #s(literal 1 binary64)))
	18.8%	(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (fma.f64 (-.f64 (pow.f64 N #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 N N) #s(literal 1 binary64)))
▶	99.6%	(atan2.f64 #s(approx (- (- N -1) N) #s(literal 1 binary64)) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))

Status

Accuracy

Program

18.9%

(atan2.f64 (-.f64 (-.f64 N #s(literal -1 binary64)) N) (fma.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -2 binary64))) N) (-.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -1 binary64)))) N #s(literal 1 binary64)))

18.8%

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

▶

99.6%

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

Compiler

Compiled 52 to 34 computations (34.6% saved)

series1.0ms (0%)

Memory

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

Counts

7 → 15

Calls

Call 1

Inputs
(atan2.f64 #s(approx (- (- N -1) N) #s(literal 1 binary64)) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
#s(approx (- (- N -1) 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)

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) #s(hole binary64 1))
#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 -1) #s(hole binary64 1))
#s(approx (- N -1) #s(hole binary64 (+ 1 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 (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 (- N -1) #s(hole binary64 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 (- 1 (* -1 N)))))))

Calls

3 calls:

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

Time

Variable

Point

Expression

0.0ms

-inf

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

0.0ms

inf

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

0.0ms

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

rewrite103.0ms (2.8%)

Memory

35.6MiB live, 87.4MiB allocated; 59ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	48	219
0	52	211
1	242	188
0	2410	185

Stop Event

1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit

Counts

22 → 103

Calls

Call 1

Inputs
(atan2.f64 #s(approx (- (- N -1) N) #s(literal 1 binary64)) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
#s(approx (- (- N -1) 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)
#s(approx (atan2 (- (- N -1) N) (+ (* (- N -1) N) 1)) #s(hole binary64 (atan2 1 (+ 1 (* N (+ 1 N))))))
#s(approx (- (- N -1) N) #s(hole binary64 1))
#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 -1) #s(hole binary64 1))
#s(approx (- N -1) #s(hole binary64 (+ 1 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 (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 (- N -1) #s(hole binary64 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 (- 1 (* -1 N)))))))

Outputs
(atan2.f64 #s(approx (- (- N -1) N) #s(literal 1 binary64)) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
#s(approx (- (- N -1) N) #s(literal 1 binary64))
#s(literal 1 binary64)
(/.f64 (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (pow.f64 N #s(literal 4 binary64))) (-.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (neg.f64 (fma.f64 N N N)) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (fma.f64 N N N) #s(literal 2 binary64)) (*.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 N N N))))))
(/.f64 (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 N #s(literal 6 binary64))) (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 N N N) #s(literal 2 binary64)) #s(literal 1 binary64))) (neg.f64 (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal -1 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 N N N) #s(literal 3 binary64)) #s(literal -1 binary64))) (neg.f64 (-.f64 (+.f64 (pow.f64 (fma.f64 N N N) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 N N N))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 N N N) #s(literal 3 binary64)) #s(literal -1 binary64))) (neg.f64 (fma.f64 (fma.f64 N N N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal -1 binary64)) #s(literal 1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 N N N) #s(literal 2 binary64)))) (neg.f64 (-.f64 #s(literal 1 binary64) (fma.f64 N N N))))
(/.f64 (fma.f64 (-.f64 (.f64 N N) (pow.f64 N #s(literal 4 binary64))) #s(literal 2 binary64) (.f64 (-.f64 N (.f64 N N)) #s(literal 2 binary64))) (.f64 (-.f64 N (*.f64 N N)) #s(literal 2 binary64)))
(/.f64 (fma.f64 (+.f64 (pow.f64 N #s(literal 6 binary64)) (pow.f64 N #s(literal 3 binary64))) #s(literal 2 binary64) (.f64 (-.f64 (fma.f64 N N (pow.f64 N #s(literal 4 binary64))) (pow.f64 N #s(literal 3 binary64))) #s(literal 2 binary64))) (.f64 (-.f64 (fma.f64 N N (pow.f64 N #s(literal 4 binary64))) (pow.f64 N #s(literal 3 binary64))) #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal 2 binary64) (-.f64 N (.f64 N N)) (.f64 #s(literal 2 binary64) (-.f64 (.f64 N N) (pow.f64 N #s(literal 4 binary64))))) (.f64 #s(literal 2 binary64) (-.f64 N (*.f64 N N))))
(/.f64 (fma.f64 #s(literal 2 binary64) (-.f64 (fma.f64 N N (pow.f64 N #s(literal 4 binary64))) (pow.f64 N #s(literal 3 binary64))) (.f64 #s(literal 2 binary64) (+.f64 (pow.f64 N #s(literal 6 binary64)) (pow.f64 N #s(literal 3 binary64))))) (.f64 #s(literal 2 binary64) (-.f64 (fma.f64 N N (pow.f64 N #s(literal 4 binary64))) (pow.f64 N #s(literal 3 binary64)))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 N N N) #s(literal 2 binary64))) (-.f64 #s(literal 1 binary64) (fma.f64 N N N)))
(/.f64 (-.f64 (pow.f64 (fma.f64 N N N) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal -1 binary64)))
(/.f64 (-.f64 (pow.f64 (fma.f64 N N N) #s(literal 3 binary64)) #s(literal -1 binary64)) (fma.f64 (fma.f64 N N N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal -1 binary64)) #s(literal 1 binary64)))
(/.f64 (-.f64 (pow.f64 (fma.f64 N N N) #s(literal 3 binary64)) #s(literal -1 binary64)) (-.f64 (+.f64 (pow.f64 (fma.f64 N N N) #s(literal 2 binary64)) #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 (fabs.f64 N) (fabs.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (fabs.f64 (neg.f64 N)) (fabs.f64 (neg.f64 N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (exp.f64 (log.f64 N)) (exp.f64 (log.f64 N)) (-.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 (neg.f64 N) (neg.f64 N) (-.f64 N #s(literal -1 binary64)))
(fma.f64 (-.f64 (pow.f64 N #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 N N) #s(literal 1 binary64))
(fma.f64 (-.f64 (pow.f64 N #s(literal -1 binary64)) #s(literal -1 binary64)) N (*.f64 N N))
(fma.f64 (*.f64 N N) (-.f64 (pow.f64 N #s(literal -1 binary64)) #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 (fma.f64 N N N) #s(literal 1 binary64) #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 (-.f64 N #s(literal -1 binary64)) 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 #s(literal -1 binary64) (.f64 N N)) (-.f64 N #s(literal -1 binary64)))
(fma.f64 #s(literal -1 binary64) (neg.f64 (fma.f64 N 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 (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 N (-.f64 (pow.f64 N #s(literal -1 binary64)) #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 (/.f64 (pow.f64 (fma.f64 N N N) #s(literal 2 binary64)) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal -1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 N N N))) (/.f64 (pow.f64 (fma.f64 N N N) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (fma.f64 N N N))))
(-.f64 (fma.f64 N N N) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (*.f64 (neg.f64 (-.f64 N #s(literal -1 binary64))) N))
(-.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 N N N)))
(-.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 (neg.f64 N) N))
(+.f64 (+.f64 #s(literal 1 binary64) (*.f64 N N)) N)
(+.f64 (/.f64 (pow.f64 (fma.f64 N N N) #s(literal 3 binary64)) (-.f64 (+.f64 (pow.f64 (fma.f64 N N N) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 N N N))) (/.f64 #s(literal 1 binary64) (-.f64 (+.f64 (pow.f64 (fma.f64 N N N) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 N N N))))
(+.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 N N N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal -1 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 (fma.f64 N N N) #s(literal 3 binary64)) (fma.f64 (fma.f64 N N N) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal -1 binary64)) #s(literal 1 binary64))))
(+.f64 (*.f64 N N) (-.f64 N #s(literal -1 binary64)))
(+.f64 (fma.f64 N N N) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (fma.f64 N N N))
(+.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N))
(+.f64 N (fma.f64 N N #s(literal 1 binary64)))
(+.f64 N (+.f64 #s(literal 1 binary64) (*.f64 N N)))
(*.f64 (-.f64 (pow.f64 N #s(literal -1 binary64)) #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 (pow.f64 N #s(literal -1 binary64)) #s(literal -1 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -2 binary64))) N) (-.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -1 binary64))))
(/.f64 (*.f64 (+.f64 (pow.f64 N #s(literal -3 binary64)) #s(literal 1 binary64)) N) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -2 binary64))) (pow.f64 N #s(literal -1 binary64))))
(/.f64 (*.f64 N (-.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -2 binary64)))) (-.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -1 binary64))))
(/.f64 (*.f64 N (+.f64 (pow.f64 N #s(literal -3 binary64)) #s(literal 1 binary64))) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -2 binary64))) (pow.f64 N #s(literal -1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 N N))) (neg.f64 (-.f64 #s(literal 1 binary64) N)))
(/.f64 (neg.f64 (+.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal 1 binary64))) (neg.f64 (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (neg.f64 (fma.f64 N N #s(literal -1 binary64))) (-.f64 #s(literal 1 binary64) N))
(/.f64 (neg.f64 (-.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal -1 binary64))) (neg.f64 (fma.f64 N N (-.f64 #s(literal 1 binary64) N))))
(/.f64 (fma.f64 N N #s(literal -1 binary64)) (-.f64 N #s(literal 1 binary64)))
(/.f64 (fma.f64 N N #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 (-.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal -1 binary64)) (fma.f64 N N (-.f64 #s(literal 1 binary64) N)))
(/.f64 (+.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal 1 binary64)) (fma.f64 N N (-.f64 #s(literal 1 binary64) N)))
(/.f64 (+.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal 1 binary64)) (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64)))
(-.f64 (/.f64 #s(literal 1 binary64) (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 (neg.f64 N) #s(literal 3 binary64)) (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64))))
(-.f64 (/.f64 (*.f64 N N) (+.f64 #s(literal -1 binary64) N)) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) N)))
(-.f64 (/.f64 (pow.f64 N #s(literal 3 binary64)) (fma.f64 N N (-.f64 #s(literal 1 binary64) N))) (/.f64 #s(literal -1 binary64) (fma.f64 N N (-.f64 #s(literal 1 binary64) N))))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) N)) (/.f64 (*.f64 N N) (-.f64 #s(literal 1 binary64) N)))
(-.f64 #s(literal 1 binary64) (neg.f64 N))
(-.f64 N (*.f64 (neg.f64 (pow.f64 N #s(literal -1 binary64))) N))
(-.f64 N (*.f64 (neg.f64 N) (pow.f64 N #s(literal -1 binary64))))
(-.f64 N #s(literal -1 binary64))
(+.f64 (/.f64 #s(literal 1 binary64) (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 N #s(literal 3 binary64)) (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64))))
(+.f64 #s(literal 1 binary64) N)
(+.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 #s(literal -1 binary64)) N #s(literal 1 binary64))))
#s(approx (- (- N -1) 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 -1) #s(literal 1 binary64))
#s(approx (- N -1) (-.f64 N #s(literal -1 binary64)))
#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) (*.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 (pow.f64 N #s(literal -2 binary64)) (*.f64 N N) N)))
#s(approx (- N -1) N)
#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))))

eval18.0ms (0.5%)

Memory: -19.3MiB live, 27.1MiB allocated; 8ms collecting garbage
Compiler: Compiled 2 115 to 357 computations (83.1% saved)

prune88.0ms (2.4%)

Memory

11.2MiB live, 104.1MiB allocated; 8ms collecting garbage

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	99	3	102
Fresh	2	0	2
Picked	0	1	1
Done	0	0	0
Total	101	4	105

Accuracy

99.7%

Counts

105 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.4%	(atan2.f64 #s(approx (- (- N -1) N) #s(literal 1 binary64)) (fma.f64 (/.f64 (+.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal 1 binary64)) (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64))) N #s(literal 1 binary64)))
✓	99.6%	(atan2.f64 #s(approx (- (- N -1) N) #s(literal 1 binary64)) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
	75.7%	(atan2.f64 #s(approx (- (- N -1) N) #s(literal 1 binary64)) (/.f64 (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (pow.f64 N #s(literal 4 binary64))) (-.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N))))
▶	52.3%	(atan2.f64 #s(approx (- (- N -1) N) #s(literal 1 binary64)) (/.f64 (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 N #s(literal 6 binary64))) (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))))))

Compiler

Compiled 97 to 64 computations (34% saved)

series10.0ms (0.3%)

Memory

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

Counts

20 → 63

Calls

Call 1

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

Outputs
#s(approx (atan2 (- (- N -1) N) (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))))) #s(hole binary64 (atan2 1 (/ (+ (pow N 6) (pow (+ 1 N) 3)) (- (+ (pow N 4) (pow (+ 1 N) 2)) (* (pow N 2) (+ 1 N)))))))
#s(approx (- (- N -1) N) #s(hole binary64 1))
#s(approx (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) #s(hole binary64 1))
#s(approx (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) #s(hole binary64 (+ 1 N)))
#s(approx (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) #s(hole binary64 (+ 1 (* N (+ 1 N)))))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) #s(hole binary64 1))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) #s(hole binary64 (+ 1 (* 3 N))))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) #s(hole binary64 (+ 1 (* N (+ 3 (* 3 N))))))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) #s(hole binary64 (+ 1 (* N (+ 3 (* N (+ 3 N)))))))
#s(approx (pow (- N -1) 3) #s(hole binary64 1))
#s(approx (pow (- N -1) 3) #s(hole binary64 (+ 1 (* 3 N))))
#s(approx (pow (- N -1) 3) #s(hole binary64 (+ 1 (* N (+ 3 (* 3 N))))))
#s(approx (pow (- N -1) 3) #s(hole binary64 (+ 1 (* N (+ 3 (* N (+ 3 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 (pow N 6) #s(hole binary64 (pow N 6)))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 1))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 (+ 1 (* 2 N))))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 (+ 1 (* N (+ 2 (* -1 (pow N 2)))))))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 (+ 1 (* N (+ 2 (* (pow N 2) (- N 1)))))))
#s(approx (pow (- N -1) 2) #s(hole binary64 1))
#s(approx (pow (- N -1) 2) #s(hole binary64 (+ 1 (* 2 N))))
#s(approx (pow (- N -1) 2) #s(hole binary64 (+ 1 (* N (+ 2 N)))))
#s(approx (- (pow N 4) (* (- N -1) (* N N))) #s(hole binary64 (* -1 (pow N 2))))
#s(approx (- (pow N 4) (* (- N -1) (* N N))) #s(hole binary64 (* (pow N 2) (- (* -1 N) 1))))
#s(approx (- (pow N 4) (* (- N -1) (* N N))) #s(hole binary64 (* (pow N 2) (- (* N (- N 1)) 1))))
#s(approx (pow N 4) #s(hole binary64 (pow N 4)))
#s(approx (* (- N -1) (* N N)) #s(hole binary64 (pow N 2)))
#s(approx (* (- N -1) (* N N)) #s(hole binary64 (* (pow N 2) (+ 1 N))))
#s(approx (* N N) #s(hole binary64 (pow N 2)))
#s(approx (atan2 (- (- N -1) N) (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))))) #s(hole binary64 (atan2 1 (/ (+ (pow N 6) (pow (+ 1 N) 3)) (- (+ (pow N 4) (pow (+ 1 N) 2)) (+ (pow N 2) (pow N 3)))))))
#s(approx (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) #s(hole binary64 (pow N 2)))
#s(approx (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) #s(hole binary64 (* (pow N 2) (+ 1 (/ 1 N)))))
#s(approx (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) #s(hole binary64 (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) #s(hole binary64 (pow N 6)))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) #s(hole binary64 (* (pow N 6) (+ 1 (/ 1 (pow N 3))))))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) #s(hole binary64 (* (pow N 6) (+ 1 (+ (/ 1 (pow N 3)) (/ 3 (pow N 4)))))))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) #s(hole binary64 (* (pow N 6) (+ 1 (+ (/ 1 (pow N 3)) (+ (* 3 (/ 1 (pow N 5))) (/ 3 (pow N 4))))))))
#s(approx (pow (- N -1) 3) #s(hole binary64 (pow N 3)))
#s(approx (pow (- N -1) 3) #s(hole binary64 (* (pow N 3) (+ 1 (* 3 (/ 1 N))))))
#s(approx (pow (- N -1) 3) #s(hole binary64 (* (pow N 3) (+ 1 (+ (* 3 (/ 1 N)) (/ 3 (pow N 2)))))))
#s(approx (pow (- N -1) 3) #s(hole binary64 (* (pow N 3) (+ 1 (+ (* 3 (/ 1 N)) (+ (/ 1 (pow N 3)) (/ 3 (pow N 2))))))))
#s(approx (- N -1) #s(hole binary64 N))
#s(approx (- N -1) #s(hole binary64 (* N (+ 1 (/ 1 N)))))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 (pow N 4)))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 (* (pow N 4) (- 1 (/ 1 N)))))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 (* (pow N 4) (- (+ 1 (/ 2 (pow N 3))) (/ 1 N)))))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 (* (pow N 4) (- (+ 1 (+ (/ 1 (pow N 4)) (/ 2 (pow N 3)))) (/ 1 N)))))
#s(approx (pow (- N -1) 2) #s(hole binary64 (pow N 2)))
#s(approx (pow (- N -1) 2) #s(hole binary64 (* (pow N 2) (+ 1 (* 2 (/ 1 N))))))
#s(approx (pow (- N -1) 2) #s(hole binary64 (* (pow N 2) (+ 1 (+ (* 2 (/ 1 N)) (/ 1 (pow N 2)))))))
#s(approx (- (pow N 4) (* (- N -1) (* N N))) #s(hole binary64 (pow N 4)))
#s(approx (- (pow N 4) (* (- N -1) (* N N))) #s(hole binary64 (* (pow N 4) (- 1 (/ 1 N)))))
#s(approx (- (pow N 4) (* (- N -1) (* N N))) #s(hole binary64 (* (pow N 4) (+ 1 (* -1 (/ (+ 1 (/ 1 N)) N))))))
#s(approx (* (- N -1) (* N N)) #s(hole binary64 (pow N 3)))
#s(approx (* (- N -1) (* N N)) #s(hole binary64 (* (pow N 3) (+ 1 (/ 1 N)))))
#s(approx (atan2 (- (- N -1) N) (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))))) #s(hole binary64 (atan2 1 (/ (+ (pow N 6) (pow (- 1 (* -1 N)) 3)) (- (+ (* -1 (pow N 3)) (+ (pow N 4) (pow (- 1 (* -1 N)) 2))) (pow N 2))))))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) #s(hole binary64 (* (pow N 6) (+ 1 (* -1 (/ (- (* -1 (/ (+ 3 (* 3 (/ 1 N))) N)) 1) (pow N 3)))))))
#s(approx (pow (- N -1) 3) #s(hole binary64 (* -1 (* (pow N 3) (- (* -1 (/ (+ 3 (* 3 (/ 1 N))) N)) 1)))))
#s(approx (pow (- N -1) 3) #s(hole binary64 (* -1 (* (pow N 3) (- (* -1 (/ (+ 3 (+ (* 3 (/ 1 N)) (/ 1 (pow N 2)))) N)) 1)))))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 (* (pow N 4) (+ 1 (* -1 (/ (- 1 (* 2 (/ 1 (pow N 2)))) N))))))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 (* (pow N 4) (+ 1 (* -1 (/ (+ 1 (* -1 (/ (+ 2 (/ 1 N)) (pow N 2)))) N))))))

Calls

3 calls:

Time	Variable		Point	Expression
3.0ms	N	@	inf	((atan2 (- (- N -1) N) (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))))) (- (- N -1) N) 1 (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) (+ (pow (- N -1) 3) (pow N 6)) (pow (- N -1) 3) (- N -1) N -1 3 (pow N 6) 6 (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) (pow (- N -1) 2) 2 (- (pow N 4) (* (- N -1) (* N N))) (pow N 4) 4 (* (- N -1) (* N N)) (* N N))
3.0ms	N	@	-inf	((atan2 (- (- N -1) N) (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))))) (- (- N -1) N) 1 (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) (+ (pow (- N -1) 3) (pow N 6)) (pow (- N -1) 3) (- N -1) N -1 3 (pow N 6) 6 (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) (pow (- N -1) 2) 2 (- (pow N 4) (* (- N -1) (* N N))) (pow N 4) 4 (* (- N -1) (* N N)) (* N N))
2.0ms	N	@	0	((atan2 (- (- N -1) N) (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))))) (- (- N -1) N) 1 (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) (+ (pow (- N -1) 3) (pow N 6)) (pow (- N -1) 3) (- N -1) N -1 3 (pow N 6) 6 (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) (pow (- N -1) 2) 2 (- (pow N 4) (* (- N -1) (* N N))) (pow N 4) 4 (* (- N -1) (* N N)) (* N N))

Time

Variable

Point

Expression

3.0ms

inf

((atan2 (- (- N -1) N) (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))))) (- (- N -1) N) 1 (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) (+ (pow (- N -1) 3) (pow N 6)) (pow (- N -1) 3) (- N -1) N -1 3 (pow N 6) 6 (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) (pow (- N -1) 2) 2 (- (pow N 4) (* (- N -1) (* N N))) (pow N 4) 4 (* (- N -1) (* N N)) (* N N))

3.0ms

-inf

((atan2 (- (- N -1) N) (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))))) (- (- N -1) N) 1 (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) (+ (pow (- N -1) 3) (pow N 6)) (pow (- N -1) 3) (- N -1) N -1 3 (pow N 6) 6 (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) (pow (- N -1) 2) 2 (- (pow N 4) (* (- N -1) (* N N))) (pow N 4) 4 (* (- N -1) (* N N)) (* N N))

2.0ms

((atan2 (- (- N -1) N) (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))))) (- (- N -1) N) 1 (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) (+ (pow (- N -1) 3) (pow N 6)) (pow (- N -1) 3) (- N -1) N -1 3 (pow N 6) 6 (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) (pow (- N -1) 2) 2 (- (pow N 4) (* (- N -1) (* N N))) (pow N 4) 4 (* (- N -1) (* N N)) (* N N))

rewrite300.0ms (8.2%)

Memory

-8.0MiB live, 177.2MiB allocated; 23ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	239	1541
0	261	1489
1	1450	1485
0	8593	1461

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

83 → 219

Calls

Call 1

Inputs
(atan2.f64 #s(approx (- (- N -1) N) #s(literal 1 binary64)) (/.f64 (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 N #s(literal 6 binary64))) (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))))))
#s(approx (- (- N -1) N) #s(literal 1 binary64))
#s(literal 1 binary64)
(/.f64 (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 N #s(literal 6 binary64))) (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)))))
(+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 N #s(literal 6 binary64)))
(pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64))
(-.f64 N #s(literal -1 binary64))
N
#s(literal -1 binary64)
#s(literal 3 binary64)
(pow.f64 N #s(literal 6 binary64))
#s(literal 6 binary64)
(+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))))
(pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64))
#s(literal 2 binary64)
(-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N)))
(pow.f64 N #s(literal 4 binary64))
#s(literal 4 binary64)
(.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))
(*.f64 N N)
#s(approx (atan2 (- (- N -1) N) (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))))) #s(hole binary64 (atan2 1 (/ (+ (pow N 6) (pow (+ 1 N) 3)) (- (+ (pow N 4) (pow (+ 1 N) 2)) (* (pow N 2) (+ 1 N)))))))
#s(approx (- (- N -1) N) #s(hole binary64 1))
#s(approx (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) #s(hole binary64 1))
#s(approx (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) #s(hole binary64 (+ 1 N)))
#s(approx (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) #s(hole binary64 (+ 1 (* N (+ 1 N)))))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) #s(hole binary64 1))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) #s(hole binary64 (+ 1 (* 3 N))))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) #s(hole binary64 (+ 1 (* N (+ 3 (* 3 N))))))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) #s(hole binary64 (+ 1 (* N (+ 3 (* N (+ 3 N)))))))
#s(approx (pow (- N -1) 3) #s(hole binary64 1))
#s(approx (pow (- N -1) 3) #s(hole binary64 (+ 1 (* 3 N))))
#s(approx (pow (- N -1) 3) #s(hole binary64 (+ 1 (* N (+ 3 (* 3 N))))))
#s(approx (pow (- N -1) 3) #s(hole binary64 (+ 1 (* N (+ 3 (* N (+ 3 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 (pow N 6) #s(hole binary64 (pow N 6)))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 1))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 (+ 1 (* 2 N))))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 (+ 1 (* N (+ 2 (* -1 (pow N 2)))))))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 (+ 1 (* N (+ 2 (* (pow N 2) (- N 1)))))))
#s(approx (pow (- N -1) 2) #s(hole binary64 1))
#s(approx (pow (- N -1) 2) #s(hole binary64 (+ 1 (* 2 N))))
#s(approx (pow (- N -1) 2) #s(hole binary64 (+ 1 (* N (+ 2 N)))))
#s(approx (- (pow N 4) (* (- N -1) (* N N))) #s(hole binary64 (* -1 (pow N 2))))
#s(approx (- (pow N 4) (* (- N -1) (* N N))) #s(hole binary64 (* (pow N 2) (- (* -1 N) 1))))
#s(approx (- (pow N 4) (* (- N -1) (* N N))) #s(hole binary64 (* (pow N 2) (- (* N (- N 1)) 1))))
#s(approx (pow N 4) #s(hole binary64 (pow N 4)))
#s(approx (* (- N -1) (* N N)) #s(hole binary64 (pow N 2)))
#s(approx (* (- N -1) (* N N)) #s(hole binary64 (* (pow N 2) (+ 1 N))))
#s(approx (* N N) #s(hole binary64 (pow N 2)))
#s(approx (atan2 (- (- N -1) N) (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))))) #s(hole binary64 (atan2 1 (/ (+ (pow N 6) (pow (+ 1 N) 3)) (- (+ (pow N 4) (pow (+ 1 N) 2)) (+ (pow N 2) (pow N 3)))))))
#s(approx (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) #s(hole binary64 (pow N 2)))
#s(approx (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) #s(hole binary64 (* (pow N 2) (+ 1 (/ 1 N)))))
#s(approx (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) #s(hole binary64 (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) #s(hole binary64 (pow N 6)))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) #s(hole binary64 (* (pow N 6) (+ 1 (/ 1 (pow N 3))))))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) #s(hole binary64 (* (pow N 6) (+ 1 (+ (/ 1 (pow N 3)) (/ 3 (pow N 4)))))))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) #s(hole binary64 (* (pow N 6) (+ 1 (+ (/ 1 (pow N 3)) (+ (* 3 (/ 1 (pow N 5))) (/ 3 (pow N 4))))))))
#s(approx (pow (- N -1) 3) #s(hole binary64 (pow N 3)))
#s(approx (pow (- N -1) 3) #s(hole binary64 (* (pow N 3) (+ 1 (* 3 (/ 1 N))))))
#s(approx (pow (- N -1) 3) #s(hole binary64 (* (pow N 3) (+ 1 (+ (* 3 (/ 1 N)) (/ 3 (pow N 2)))))))
#s(approx (pow (- N -1) 3) #s(hole binary64 (* (pow N 3) (+ 1 (+ (* 3 (/ 1 N)) (+ (/ 1 (pow N 3)) (/ 3 (pow N 2))))))))
#s(approx (- N -1) #s(hole binary64 N))
#s(approx (- N -1) #s(hole binary64 (* N (+ 1 (/ 1 N)))))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 (pow N 4)))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 (* (pow N 4) (- 1 (/ 1 N)))))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 (* (pow N 4) (- (+ 1 (/ 2 (pow N 3))) (/ 1 N)))))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 (* (pow N 4) (- (+ 1 (+ (/ 1 (pow N 4)) (/ 2 (pow N 3)))) (/ 1 N)))))
#s(approx (pow (- N -1) 2) #s(hole binary64 (pow N 2)))
#s(approx (pow (- N -1) 2) #s(hole binary64 (* (pow N 2) (+ 1 (* 2 (/ 1 N))))))
#s(approx (pow (- N -1) 2) #s(hole binary64 (* (pow N 2) (+ 1 (+ (* 2 (/ 1 N)) (/ 1 (pow N 2)))))))
#s(approx (- (pow N 4) (* (- N -1) (* N N))) #s(hole binary64 (pow N 4)))
#s(approx (- (pow N 4) (* (- N -1) (* N N))) #s(hole binary64 (* (pow N 4) (- 1 (/ 1 N)))))
#s(approx (- (pow N 4) (* (- N -1) (* N N))) #s(hole binary64 (* (pow N 4) (+ 1 (* -1 (/ (+ 1 (/ 1 N)) N))))))
#s(approx (* (- N -1) (* N N)) #s(hole binary64 (pow N 3)))
#s(approx (* (- N -1) (* N N)) #s(hole binary64 (* (pow N 3) (+ 1 (/ 1 N)))))
#s(approx (atan2 (- (- N -1) N) (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))))) #s(hole binary64 (atan2 1 (/ (+ (pow N 6) (pow (- 1 (* -1 N)) 3)) (- (+ (* -1 (pow N 3)) (+ (pow N 4) (pow (- 1 (* -1 N)) 2))) (pow N 2))))))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) #s(hole binary64 (* (pow N 6) (+ 1 (* -1 (/ (- (* -1 (/ (+ 3 (* 3 (/ 1 N))) N)) 1) (pow N 3)))))))
#s(approx (pow (- N -1) 3) #s(hole binary64 (* -1 (* (pow N 3) (- (* -1 (/ (+ 3 (* 3 (/ 1 N))) N)) 1)))))
#s(approx (pow (- N -1) 3) #s(hole binary64 (* -1 (* (pow N 3) (- (* -1 (/ (+ 3 (+ (* 3 (/ 1 N)) (/ 1 (pow N 2)))) N)) 1)))))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 (* (pow N 4) (+ 1 (* -1 (/ (- 1 (* 2 (/ 1 (pow N 2)))) N))))))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(hole binary64 (* (pow N 4) (+ 1 (* -1 (/ (+ 1 (* -1 (/ (+ 2 (/ 1 N)) (pow N 2)))) N))))))

Outputs
(atan2.f64 #s(approx (- (- N -1) N) #s(literal 1 binary64)) (/.f64 (+.f64 (pow.f64 N #s(literal 6 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64))) (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)))))
#s(approx (- (- N -1) N) #s(literal 1 binary64))
#s(literal 1 binary64)
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 N #s(literal 6 binary64)) (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)))) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)))) (/.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)))) (-.f64 (.f64 (/.f64 (pow.f64 N #s(literal 6 binary64)) (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)))) (/.f64 (pow.f64 N #s(literal 6 binary64)) (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64))))) (.f64 (/.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)))) (/.f64 (pow.f64 N #s(literal 6 binary64)) (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64))))))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 N #s(literal 6 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64))))))
(/.f64 (fma.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64))) (.f64 (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64))) (pow.f64 N #s(literal 6 binary64)))) (.f64 (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64))) (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 N #s(literal 6 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)))) (neg.f64 (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)))))
(/.f64 (+.f64 (pow.f64 N #s(literal 6 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64))) (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64))))
(+.f64 (/.f64 (pow.f64 N #s(literal 6 binary64)) (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)))) (/.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)))))
(+.f64 (/.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)))) (/.f64 (pow.f64 N #s(literal 6 binary64)) (+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)))))
(/.f64 (+.f64 (pow.f64 N #s(literal 18 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 9 binary64))) (+.f64 (pow.f64 N #s(literal 12 binary64)) (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 6 binary64)) (*.f64 (pow.f64 N #s(literal 6 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 6 binary64)) (pow.f64 N #s(literal 12 binary64)))) (neg.f64 (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 N #s(literal 6 binary64)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 9 binary64)) (pow.f64 N #s(literal 18 binary64)))) (neg.f64 (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 6 binary64)) (-.f64 (pow.f64 N #s(literal 12 binary64)) (*.f64 (pow.f64 N #s(literal 6 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)))))))
(/.f64 (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 6 binary64)) (pow.f64 N #s(literal 12 binary64))) (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 N #s(literal 6 binary64))))
(/.f64 (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 9 binary64)) (pow.f64 N #s(literal 18 binary64))) (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 6 binary64)) (-.f64 (pow.f64 N #s(literal 12 binary64)) (*.f64 (pow.f64 N #s(literal 6 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64))))))
(fma.f64 (neg.f64 (pow.f64 (neg.f64 N) #s(literal 3 binary64))) (neg.f64 (pow.f64 (neg.f64 N) #s(literal 3 binary64))) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)))
(fma.f64 (neg.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3/2 binary64))) (neg.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3/2 binary64))) (pow.f64 N #s(literal 6 binary64)))
(fma.f64 (fabs.f64 (pow.f64 N #s(literal 3 binary64))) (fabs.f64 (pow.f64 N #s(literal 3 binary64))) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)))
(fma.f64 (fabs.f64 (pow.f64 (neg.f64 N) #s(literal 3 binary64))) (fabs.f64 (pow.f64 (neg.f64 N) #s(literal 3 binary64))) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)))
(fma.f64 (fabs.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3/2 binary64))) (fabs.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3/2 binary64))) (pow.f64 N #s(literal 6 binary64)))
(fma.f64 (pow.f64 (fabs.f64 N) #s(literal 3 binary64)) (pow.f64 (fabs.f64 N) #s(literal 3 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)))
(fma.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3/2 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3/2 binary64)) (pow.f64 N #s(literal 6 binary64)))
(fma.f64 (pow.f64 (neg.f64 N) #s(literal 3 binary64)) (pow.f64 (neg.f64 N) #s(literal 3 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)))
(fma.f64 (pow.f64 N #s(literal 3 binary64)) (pow.f64 N #s(literal 3 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)))
(fma.f64 (*.f64 N N) (pow.f64 N #s(literal 4 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)))
(fma.f64 (pow.f64 N #s(literal 4 binary64)) (*.f64 N N) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)))
(fma.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 N #s(literal -1 binary64)) (pow.f64 N #s(literal 6 binary64)))
(fma.f64 (-.f64 N #s(literal -1 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (pow.f64 N #s(literal 6 binary64)))
(-.f64 (/.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 6 binary64)) (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 N #s(literal 6 binary64)))) (/.f64 (pow.f64 N #s(literal 12 binary64)) (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 N #s(literal 6 binary64)))))
(+.f64 (/.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 9 binary64)) (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 6 binary64)) (-.f64 (pow.f64 N #s(literal 12 binary64)) (.f64 (pow.f64 N #s(literal 6 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)))))) (/.f64 (pow.f64 N #s(literal 18 binary64)) (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 6 binary64)) (-.f64 (pow.f64 N #s(literal 12 binary64)) (.f64 (pow.f64 N #s(literal 6 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)))))))
(+.f64 (pow.f64 N #s(literal 6 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)))
(+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 N #s(literal 6 binary64)))
(*.f64 (neg.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3/2 binary64))) (neg.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3/2 binary64))))
(*.f64 (fabs.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3/2 binary64))) (fabs.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3/2 binary64))))
(*.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3/2 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3/2 binary64)))
(*.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 N #s(literal -1 binary64)))
(*.f64 (-.f64 N #s(literal -1 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)))
(pow.f64 (exp.f64 (log.f64 (-.f64 N #s(literal -1 binary64)))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3/2 binary64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) #s(literal 3/2 binary64))
(pow.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) #s(literal 1 binary64))
(pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64))
(/.f64 (pow.f64 (-.f64 (*.f64 N N) #s(literal 1 binary64)) #s(literal 3 binary64)) (pow.f64 (+.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)))
(/.f64 (pow.f64 (-.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 (fma.f64 N N (+.f64 #s(literal 1 binary64) (neg.f64 N))) #s(literal 3 binary64)))
(exp.f64 (*.f64 (log.f64 (-.f64 N #s(literal -1 binary64))) #s(literal 3 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 (-.f64 N #s(literal -1 binary64))) #s(literal 3 binary64))) (sinh.f64 (.f64 (log.f64 (-.f64 N #s(literal -1 binary64))) #s(literal 3 binary64))))
(pow.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64))
(pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 1 binary64))
(/.f64 (neg.f64 (-.f64 (*.f64 N N) #s(literal 1 binary64))) (neg.f64 (+.f64 N #s(literal -1 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal -1 binary64))) (neg.f64 (fma.f64 N N (+.f64 #s(literal 1 binary64) (neg.f64 N)))))
(/.f64 (-.f64 (*.f64 N N) #s(literal 1 binary64)) (+.f64 N #s(literal -1 binary64)))
(/.f64 (-.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal -1 binary64)) (fma.f64 N N (+.f64 #s(literal 1 binary64) (neg.f64 N))))
(/.f64 #s(literal 1 binary64) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal -1 binary64)))
(-.f64 (/.f64 (*.f64 N N) (+.f64 N #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 N #s(literal -1 binary64))))
(-.f64 (/.f64 (pow.f64 N #s(literal 3 binary64)) (fma.f64 N N (+.f64 #s(literal 1 binary64) (neg.f64 N)))) (/.f64 #s(literal -1 binary64) (fma.f64 N N (+.f64 #s(literal 1 binary64) (neg.f64 N)))))
(-.f64 N #s(literal -1 binary64))
(exp.f64 (*.f64 (log.f64 (-.f64 N #s(literal -1 binary64))) #s(literal 1 binary64)))
N
#s(literal -1 binary64)
#s(literal 3 binary64)
(*.f64 (neg.f64 (pow.f64 (neg.f64 N) #s(literal 3 binary64))) (neg.f64 (pow.f64 (neg.f64 N) #s(literal 3 binary64))))
(*.f64 (fabs.f64 (pow.f64 N #s(literal 3 binary64))) (fabs.f64 (pow.f64 N #s(literal 3 binary64))))
(*.f64 (fabs.f64 (pow.f64 (neg.f64 N) #s(literal 3 binary64))) (fabs.f64 (pow.f64 (neg.f64 N) #s(literal 3 binary64))))
(*.f64 (pow.f64 (fabs.f64 N) #s(literal 3 binary64)) (pow.f64 (fabs.f64 N) #s(literal 3 binary64)))
(*.f64 (pow.f64 (neg.f64 N) #s(literal 3 binary64)) (pow.f64 (neg.f64 N) #s(literal 3 binary64)))
(*.f64 (pow.f64 N #s(literal 3 binary64)) (pow.f64 N #s(literal 3 binary64)))
(.f64 (.f64 N N) (pow.f64 N #s(literal 4 binary64)))
(.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 N N))
(pow.f64 (exp.f64 (log.f64 N)) #s(literal 6 binary64))
(pow.f64 (pow.f64 (neg.f64 N) #s(literal 3 binary64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 N N) #s(literal 3 binary64))
(pow.f64 (pow.f64 N #s(literal 6 binary64)) #s(literal 1 binary64))
(pow.f64 N #s(literal 6 binary64))
(exp.f64 (fma.f64 (log.f64 N) #s(literal 3 binary64) (*.f64 (log.f64 N) #s(literal 3 binary64))))
(exp.f64 (.f64 (.f64 (log.f64 N) #s(literal 3 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 N) #s(literal 2 binary64)) #s(literal 3 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 N N)) #s(literal 3 binary64)))
(exp.f64 (*.f64 (log.f64 N) #s(literal 6 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 N) #s(literal 6 binary64))) (sinh.f64 (.f64 (log.f64 N) #s(literal 6 binary64))))
#s(literal 6 binary64)
(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (pow.f64 N #s(literal 4 binary64))) #s(literal 3 binary64)) (.f64 (pow.f64 N #s(literal 6 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)))) (fma.f64 (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (pow.f64 N #s(literal 4 binary64))) (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (pow.f64 N #s(literal 4 binary64))) (+.f64 (pow.f64 (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N) #s(literal 2 binary64)) (.f64 (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (pow.f64 N #s(literal 4 binary64))) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)))))
(/.f64 (+.f64 (pow.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) #s(literal 3 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 6 binary64))) (+.f64 (pow.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) #s(literal 2 binary64)) (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 4 binary64)) (.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (*.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 4 binary64)) (pow.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) #s(literal 2 binary64)))) (neg.f64 (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 6 binary64)) (pow.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 4 binary64)) (-.f64 (pow.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) #s(literal 2 binary64)) (.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (*.f64 (-.f64 N #s(literal -1 binary64)) N) N)))))))
(/.f64 (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 4 binary64)) (pow.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) #s(literal 2 binary64))) (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N))))
(/.f64 (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 6 binary64)) (pow.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) #s(literal 3 binary64))) (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 4 binary64)) (-.f64 (pow.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) #s(literal 2 binary64)) (.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (*.f64 (-.f64 N #s(literal -1 binary64)) N) N))))))
(fma.f64 (fabs.f64 (-.f64 N #s(literal -1 binary64))) (fabs.f64 (-.f64 N #s(literal -1 binary64))) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)))
(fma.f64 (exp.f64 (log.f64 (-.f64 N #s(literal -1 binary64)))) (exp.f64 (log.f64 (-.f64 N #s(literal -1 binary64)))) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)))
(fma.f64 (neg.f64 (-.f64 N #s(literal -1 binary64))) (neg.f64 (-.f64 N #s(literal -1 binary64))) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)))
(fma.f64 (-.f64 N #s(literal -1 binary64)) (-.f64 N #s(literal -1 binary64)) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)))
(-.f64 (/.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 4 binary64)) (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)))) (/.f64 (pow.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) #s(literal 2 binary64)) (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)))))
(-.f64 (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (pow.f64 N #s(literal 4 binary64))) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N))
(+.f64 (/.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 6 binary64)) (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 4 binary64)) (-.f64 (pow.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) #s(literal 2 binary64)) (.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)))))) (/.f64 (pow.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 4 binary64)) (-.f64 (pow.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) #s(literal 2 binary64)) (.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)))))))
(+.f64 (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)))
(+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)))
(*.f64 (fabs.f64 (-.f64 N #s(literal -1 binary64))) (fabs.f64 (-.f64 N #s(literal -1 binary64))))
(*.f64 (exp.f64 (log.f64 (-.f64 N #s(literal -1 binary64)))) (exp.f64 (log.f64 (-.f64 N #s(literal -1 binary64)))))
(*.f64 (neg.f64 (-.f64 N #s(literal -1 binary64))) (neg.f64 (-.f64 N #s(literal -1 binary64))))
(*.f64 (-.f64 N #s(literal -1 binary64)) (-.f64 N #s(literal -1 binary64)))
(pow.f64 (exp.f64 (log.f64 (-.f64 N #s(literal -1 binary64)))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) #s(literal 1 binary64))
(pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64))
(/.f64 (.f64 (-.f64 (.f64 N N) #s(literal 1 binary64)) (-.f64 (.f64 N N) #s(literal 1 binary64))) (.f64 (+.f64 N #s(literal -1 binary64)) (+.f64 N #s(literal -1 binary64))))
(/.f64 (.f64 (-.f64 (.f64 N N) #s(literal 1 binary64)) (-.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal -1 binary64))) (*.f64 (+.f64 N #s(literal -1 binary64)) (fma.f64 N N (+.f64 #s(literal 1 binary64) (neg.f64 N)))))
(/.f64 (.f64 (-.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal -1 binary64)) (-.f64 (.f64 N N) #s(literal 1 binary64))) (*.f64 (fma.f64 N N (+.f64 #s(literal 1 binary64) (neg.f64 N))) (+.f64 N #s(literal -1 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal -1 binary64)) (-.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (fma.f64 N N (+.f64 #s(literal 1 binary64) (neg.f64 N))) (fma.f64 N N (+.f64 #s(literal 1 binary64) (neg.f64 N)))))
(exp.f64 (*.f64 (log.f64 (-.f64 N #s(literal -1 binary64))) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 (-.f64 N #s(literal -1 binary64))) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 (-.f64 N #s(literal -1 binary64))) #s(literal 2 binary64))))
#s(literal 2 binary64)
(/.f64 (+.f64 (pow.f64 N #s(literal 12 binary64)) (pow.f64 (.f64 (neg.f64 (-.f64 N #s(literal -1 binary64))) (.f64 N N)) #s(literal 3 binary64))) (+.f64 (pow.f64 N #s(literal 8 binary64)) (-.f64 (.f64 (.f64 (neg.f64 (-.f64 N #s(literal -1 binary64))) (.f64 N N)) (.f64 (neg.f64 (-.f64 N #s(literal -1 binary64))) (.f64 N N))) (.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (neg.f64 (-.f64 N #s(literal -1 binary64))) (.f64 N N))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 N #s(literal 8 binary64)) (pow.f64 (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N) #s(literal 2 binary64)))) (neg.f64 (+.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N))))
(/.f64 (neg.f64 (-.f64 (pow.f64 N #s(literal 12 binary64)) (.f64 (pow.f64 N #s(literal 6 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64))))) (neg.f64 (+.f64 (pow.f64 N #s(literal 8 binary64)) (+.f64 (pow.f64 (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N) #s(literal 2 binary64)) (.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N))))))
(/.f64 (-.f64 (pow.f64 N #s(literal 8 binary64)) (pow.f64 (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N) #s(literal 2 binary64))) (+.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)))
(/.f64 (-.f64 (pow.f64 N #s(literal 12 binary64)) (.f64 (pow.f64 N #s(literal 6 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)))) (+.f64 (pow.f64 N #s(literal 8 binary64)) (+.f64 (pow.f64 (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N) #s(literal 2 binary64)) (.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)))))
(fma.f64 (neg.f64 (neg.f64 (.f64 N N))) (neg.f64 (neg.f64 (.f64 N N))) (.f64 (neg.f64 (-.f64 N #s(literal -1 binary64))) (.f64 N N)))
(fma.f64 (fabs.f64 (neg.f64 (.f64 N N))) (fabs.f64 (neg.f64 (.f64 N N))) (.f64 (neg.f64 (-.f64 N #s(literal -1 binary64))) (.f64 N N)))
(fma.f64 (neg.f64 (.f64 N N)) (neg.f64 (.f64 N N)) (.f64 (neg.f64 (-.f64 N #s(literal -1 binary64))) (.f64 N N)))
(fma.f64 (.f64 N N) (.f64 N N) (.f64 (neg.f64 (-.f64 N #s(literal -1 binary64))) (.f64 N N)))
(-.f64 (/.f64 (pow.f64 N #s(literal 8 binary64)) (+.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N))) (/.f64 (pow.f64 (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N) #s(literal 2 binary64)) (+.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N))))
(-.f64 (/.f64 (pow.f64 N #s(literal 12 binary64)) (+.f64 (pow.f64 N #s(literal 8 binary64)) (+.f64 (pow.f64 (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N) #s(literal 2 binary64)) (.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N))))) (/.f64 (.f64 (pow.f64 N #s(literal 6 binary64)) (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64))) (+.f64 (pow.f64 N #s(literal 8 binary64)) (+.f64 (pow.f64 (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N) #s(literal 2 binary64)) (.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (*.f64 (-.f64 N #s(literal -1 binary64)) N) N))))))
(-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N))
(+.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (neg.f64 (-.f64 N #s(literal -1 binary64))) (.f64 N N)))
(.f64 (neg.f64 (neg.f64 (.f64 N N))) (neg.f64 (neg.f64 (*.f64 N N))))
(.f64 (fabs.f64 (neg.f64 (.f64 N N))) (fabs.f64 (neg.f64 (*.f64 N N))))
(.f64 (neg.f64 (.f64 N N)) (neg.f64 (*.f64 N N)))
(.f64 (.f64 N N) (*.f64 N N))
(pow.f64 (exp.f64 (log.f64 N)) #s(literal 4 binary64))
(pow.f64 (neg.f64 (*.f64 N N)) #s(literal 2 binary64))
(pow.f64 (*.f64 N N) #s(literal 2 binary64))
(pow.f64 N #s(literal 4 binary64))
(exp.f64 (fma.f64 (log.f64 N) #s(literal 2 binary64) (*.f64 (log.f64 N) #s(literal 2 binary64))))
(exp.f64 (.f64 (.f64 (log.f64 N) #s(literal 2 binary64)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 N) #s(literal 4 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 N) #s(literal 4 binary64))) (sinh.f64 (.f64 (log.f64 N) #s(literal 4 binary64))))
#s(literal 4 binary64)
(.f64 (.f64 (-.f64 N #s(literal -1 binary64)) N) N)
(.f64 (.f64 N N) (-.f64 N #s(literal -1 binary64)))
(.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))
(*.f64 (neg.f64 (neg.f64 N)) (neg.f64 (neg.f64 N)))
(*.f64 (neg.f64 (fabs.f64 N)) (neg.f64 (fabs.f64 N)))
(*.f64 (fabs.f64 (fabs.f64 N)) (fabs.f64 (fabs.f64 N)))
(*.f64 (exp.f64 (log.f64 N)) (exp.f64 (log.f64 N)))
(*.f64 (neg.f64 N) (neg.f64 N))
(*.f64 (fabs.f64 N) (fabs.f64 N))
(*.f64 (pow.f64 N #s(literal -1 binary64)) (pow.f64 N #s(literal 3 binary64)))
(*.f64 (pow.f64 N #s(literal 3 binary64)) (pow.f64 N #s(literal -1 binary64)))
(*.f64 N N)
(pow.f64 (exp.f64 (log.f64 N)) #s(literal 2 binary64))
(pow.f64 (neg.f64 N) #s(literal 2 binary64))
(pow.f64 (fabs.f64 N) #s(literal 2 binary64))
(pow.f64 (*.f64 N N) #s(literal 1 binary64))
(pow.f64 N #s(literal 2 binary64))
(fabs.f64 (*.f64 N N))
(exp.f64 (*.f64 (log.f64 N) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 N) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 N) #s(literal 2 binary64))))
#s(approx (atan2 (- (- N -1) N) (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))))) (atan2.f64 #s(literal 1 binary64) (/.f64 (+.f64 (pow.f64 (+.f64 #s(literal 1 binary64) N) #s(literal 3 binary64)) (pow.f64 N #s(literal 6 binary64))) (-.f64 (+.f64 (pow.f64 (+.f64 #s(literal 1 binary64) N) #s(literal 2 binary64)) (pow.f64 N #s(literal 4 binary64))) (.f64 (.f64 N N) (+.f64 #s(literal 1 binary64) N))))))
#s(approx (- (- N -1) N) #s(literal 1 binary64))
#s(approx (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) #s(literal 1 binary64))
#s(approx (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) (+.f64 #s(literal 1 binary64) N))
#s(approx (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) #s(literal 1 binary64))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) (fma.f64 #s(literal 3 binary64) N #s(literal 1 binary64)))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) (fma.f64 (fma.f64 #s(literal 3 binary64) N #s(literal 3 binary64)) N #s(literal 1 binary64)))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) (fma.f64 (fma.f64 (+.f64 #s(literal 3 binary64) N) N #s(literal 3 binary64)) N #s(literal 1 binary64)))
#s(approx (pow (- N -1) 3) #s(literal 1 binary64))
#s(approx (pow (- N -1) 3) (fma.f64 #s(literal 3 binary64) N #s(literal 1 binary64)))
#s(approx (pow (- N -1) 3) (fma.f64 (fma.f64 #s(literal 3 binary64) N #s(literal 3 binary64)) N #s(literal 1 binary64)))
#s(approx (pow (- N -1) 3) (fma.f64 (fma.f64 (+.f64 #s(literal 3 binary64) N) N #s(literal 3 binary64)) N #s(literal 1 binary64)))
#s(approx (- N -1) #s(literal 1 binary64))
#s(approx (- N -1) (+.f64 #s(literal 1 binary64) N))
#s(approx N N)
#s(approx (pow N 6) (pow.f64 N #s(literal 6 binary64)))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) #s(literal 1 binary64))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) (fma.f64 #s(literal 2 binary64) N #s(literal 1 binary64)))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) (fma.f64 (fma.f64 (*.f64 N N) #s(literal -1 binary64) #s(literal 2 binary64)) N #s(literal 1 binary64)))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) (fma.f64 (fma.f64 (-.f64 N #s(literal 1 binary64)) (*.f64 N N) #s(literal 2 binary64)) N #s(literal 1 binary64)))
#s(approx (pow (- N -1) 2) #s(literal 1 binary64))
#s(approx (pow (- N -1) 2) (fma.f64 #s(literal 2 binary64) N #s(literal 1 binary64)))
#s(approx (pow (- N -1) 2) (fma.f64 (+.f64 #s(literal 2 binary64) N) N #s(literal 1 binary64)))
#s(approx (- (pow N 4) (* (- N -1) (* N N))) (neg.f64 (*.f64 N N)))
#s(approx (- (pow N 4) (* (- N -1) (* N N))) (.f64 (-.f64 (neg.f64 N) #s(literal 1 binary64)) (.f64 N N)))
#s(approx (- (pow N 4) (* (- N -1) (* N N))) (.f64 (-.f64 (.f64 (-.f64 N #s(literal 1 binary64)) N) #s(literal 1 binary64)) (*.f64 N N)))
#s(approx (pow N 4) (pow.f64 N #s(literal 4 binary64)))
#s(approx (* (- N -1) (* N N)) (*.f64 N N))
#s(approx (* (- N -1) (* N N)) (.f64 (.f64 N N) (+.f64 #s(literal 1 binary64) N)))
#s(approx (* N N) (*.f64 N N))
#s(approx (atan2 (- (- N -1) N) (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))))) (atan2.f64 #s(literal 1 binary64) (/.f64 (+.f64 (pow.f64 (+.f64 #s(literal 1 binary64) N) #s(literal 3 binary64)) (pow.f64 N #s(literal 6 binary64))) (-.f64 (+.f64 (pow.f64 (+.f64 #s(literal 1 binary64) N) #s(literal 2 binary64)) (pow.f64 N #s(literal 4 binary64))) (fma.f64 N N (pow.f64 N #s(literal 3 binary64)))))))
#s(approx (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) (*.f64 N N))
#s(approx (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) (fma.f64 (*.f64 N N) #s(literal 1 binary64) N))
#s(approx (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N))))) (.f64 (+.f64 (+.f64 (pow.f64 N #s(literal -1 binary64)) #s(literal 1 binary64)) (pow.f64 N #s(literal -2 binary64))) (.f64 N N)))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) (pow.f64 N #s(literal 6 binary64)))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) (fma.f64 (pow.f64 N #s(literal 6 binary64)) #s(literal 1 binary64) (pow.f64 N #s(literal 3 binary64))))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) (*.f64 (+.f64 (+.f64 (pow.f64 N #s(literal -3 binary64)) #s(literal 1 binary64)) (/.f64 #s(literal 3 binary64) (pow.f64 N #s(literal 4 binary64)))) (pow.f64 N #s(literal 6 binary64))))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) (*.f64 (+.f64 (+.f64 (pow.f64 N #s(literal -3 binary64)) #s(literal 1 binary64)) (fma.f64 (pow.f64 N #s(literal -5 binary64)) #s(literal 3 binary64) (/.f64 #s(literal 3 binary64) (pow.f64 N #s(literal 4 binary64))))) (pow.f64 N #s(literal 6 binary64))))
#s(approx (pow (- N -1) 3) (pow.f64 N #s(literal 3 binary64)))
#s(approx (pow (- N -1) 3) (*.f64 (+.f64 (/.f64 #s(literal 3 binary64) N) #s(literal 1 binary64)) (pow.f64 N #s(literal 3 binary64))))
#s(approx (pow (- N -1) 3) (.f64 (+.f64 (+.f64 (/.f64 #s(literal 3 binary64) (.f64 N N)) (/.f64 #s(literal 3 binary64) N)) #s(literal 1 binary64)) (pow.f64 N #s(literal 3 binary64))))
#s(approx (pow (- N -1) 3) (.f64 (+.f64 (+.f64 (/.f64 #s(literal 3 binary64) N) #s(literal 1 binary64)) (+.f64 (/.f64 #s(literal 3 binary64) (.f64 N N)) (pow.f64 N #s(literal -3 binary64)))) (pow.f64 N #s(literal 3 binary64))))
#s(approx (- N -1) N)
#s(approx (- N -1) (fma.f64 #s(literal 1 binary64) N #s(literal 1 binary64)))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) (pow.f64 N #s(literal 4 binary64)))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -1 binary64))) (pow.f64 N #s(literal 4 binary64))))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) (*.f64 (-.f64 (+.f64 (/.f64 #s(literal 2 binary64) (pow.f64 N #s(literal 3 binary64))) #s(literal 1 binary64)) (pow.f64 N #s(literal -1 binary64))) (pow.f64 N #s(literal 4 binary64))))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) (*.f64 (-.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -4 binary64))) (/.f64 #s(literal 2 binary64) (pow.f64 N #s(literal 3 binary64)))) (pow.f64 N #s(literal -1 binary64))) (pow.f64 N #s(literal 4 binary64))))
#s(approx (pow (- N -1) 2) (*.f64 N N))
#s(approx (pow (- N -1) 2) (.f64 (+.f64 (/.f64 #s(literal 2 binary64) N) #s(literal 1 binary64)) (.f64 N N)))
#s(approx (pow (- N -1) 2) (.f64 (+.f64 (+.f64 (/.f64 #s(literal 2 binary64) N) (pow.f64 N #s(literal -2 binary64))) #s(literal 1 binary64)) (.f64 N N)))
#s(approx (- (pow N 4) (* (- N -1) (* N N))) (pow.f64 N #s(literal 4 binary64)))
#s(approx (- (pow N 4) (* (- N -1) (* N N))) (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 N #s(literal -1 binary64))) (pow.f64 N #s(literal 4 binary64))))
#s(approx (- (pow N 4) (* (- N -1) (* N N))) (*.f64 (fma.f64 (/.f64 (+.f64 (pow.f64 N #s(literal -1 binary64)) #s(literal 1 binary64)) N) #s(literal -1 binary64) #s(literal 1 binary64)) (pow.f64 N #s(literal 4 binary64))))
#s(approx (* (- N -1) (* N N)) (pow.f64 N #s(literal 3 binary64)))
#s(approx (* (- N -1) (* N N)) (fma.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal 1 binary64) (*.f64 N N)))
#s(approx (atan2 (- (- N -1) N) (/ (+ (pow (- N -1) 3) (pow N 6)) (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))))) (atan2.f64 #s(literal 1 binary64) (/.f64 (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (neg.f64 N)) #s(literal 3 binary64)) (pow.f64 N #s(literal 6 binary64))) (-.f64 (+.f64 (fma.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal -1 binary64) (pow.f64 N #s(literal 4 binary64))) (pow.f64 (-.f64 #s(literal 1 binary64) (neg.f64 N)) #s(literal 2 binary64))) (*.f64 N N)))))
#s(approx (+ (pow (- N -1) 3) (pow N 6)) (*.f64 (fma.f64 (/.f64 (-.f64 (neg.f64 (/.f64 (+.f64 (/.f64 #s(literal 3 binary64) N) #s(literal 3 binary64)) N)) #s(literal 1 binary64)) (pow.f64 N #s(literal 3 binary64))) #s(literal -1 binary64) #s(literal 1 binary64)) (pow.f64 N #s(literal 6 binary64))))
#s(approx (pow (- N -1) 3) (*.f64 (pow.f64 (neg.f64 N) #s(literal 3 binary64)) (-.f64 (neg.f64 (/.f64 (+.f64 (/.f64 #s(literal 3 binary64) N) #s(literal 3 binary64)) N)) #s(literal 1 binary64))))
#s(approx (pow (- N -1) 3) (*.f64 (pow.f64 (neg.f64 N) #s(literal 3 binary64)) (-.f64 (neg.f64 (/.f64 (+.f64 (+.f64 (/.f64 #s(literal 3 binary64) N) (pow.f64 N #s(literal -2 binary64))) #s(literal 3 binary64)) N)) #s(literal 1 binary64))))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) (.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 N #s(literal -2 binary64)) #s(literal 2 binary64))) N) #s(literal -1 binary64) #s(literal 1 binary64)) (pow.f64 N #s(literal 4 binary64))))
#s(approx (+ (pow (- N -1) 2) (- (pow N 4) (* (- N -1) (* N N)))) (*.f64 (fma.f64 (/.f64 (fma.f64 (fma.f64 (pow.f64 N #s(literal -2 binary64)) #s(literal 2 binary64) (pow.f64 N #s(literal -3 binary64))) #s(literal -1 binary64) #s(literal 1 binary64)) N) #s(literal -1 binary64) #s(literal 1 binary64)) (pow.f64 N #s(literal 4 binary64))))

eval41.0ms (1.1%)

Memory: -6.6MiB live, 50.7MiB allocated; 8ms collecting garbage
Compiler: Compiled 11 434 to 1 252 computations (89.1% saved)

prune404.0ms (11.1%)

Memory

-15.4MiB live, 356.4MiB allocated; 82ms collecting garbage

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	262	0	262
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	262	4	266

Accuracy

99.7%

Counts

266 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.4%	(atan2.f64 #s(approx (- (- N -1) N) #s(literal 1 binary64)) (fma.f64 (/.f64 (+.f64 (pow.f64 N #s(literal 3 binary64)) #s(literal 1 binary64)) (fma.f64 N (-.f64 N #s(literal 1 binary64)) #s(literal 1 binary64))) N #s(literal 1 binary64)))
✓	99.6%	(atan2.f64 #s(approx (- (- N -1) N) #s(literal 1 binary64)) (fma.f64 (-.f64 N #s(literal -1 binary64)) N #s(literal 1 binary64)))
	75.7%	(atan2.f64 #s(approx (- (- N -1) N) #s(literal 1 binary64)) (/.f64 (-.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (pow.f64 N #s(literal 4 binary64))) (-.f64 (-.f64 N #s(literal -1 binary64)) (*.f64 N N))))
✓	52.3%	(atan2.f64 #s(approx (- (- N -1) N) #s(literal 1 binary64)) (/.f64 (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 N #s(literal 6 binary64))) (+.f64 (pow.f64 (-.f64 N #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 N #s(literal 4 binary64)) (.f64 (-.f64 N #s(literal -1 binary64)) (.f64 N N))))))

Compiler

Compiled 251 to 165 computations (34.3% saved)

derivations11.0ms (0.3%)

Memory

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

Stop Event

1×

fuel

Compiler

Compiled 14 to 10 computations (28.6% saved)

preprocess11.0ms (0.3%)

Memory: 17.9MiB live, 17.9MiB allocated; 0ms collecting garbage
Compiler: Compiled 42 to 32 computations (23.8% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze2.0ms (0.1%)

sample1.9s (51.4%)

explain131.0ms (3.6%)

preprocess241.0ms (6.6%)

eval0.0ms (0%)

prune0.0ms (0%)

series2.0ms (0%)

rewrite85.0ms (2.3%)

eval13.0ms (0.3%)

prune24.0ms (0.7%)

series2.0ms (0.1%)

rewrite80.0ms (2.2%)

eval17.0ms (0.5%)

prune182.0ms (5%)

series1.0ms (0%)

rewrite103.0ms (2.8%)

eval18.0ms (0.5%)

prune88.0ms (2.4%)

series10.0ms (0.3%)

rewrite300.0ms (8.2%)

eval41.0ms (1.1%)

prune404.0ms (11.1%)

derivations11.0ms (0.3%)

preprocess11.0ms (0.3%)

end0.0ms (0%)

Profiling