Metrics for 2atan (example 3.5)

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze2.0ms (0.1%)

Memory

1.8MiB live, 1.8MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 15 to 11 computations (26.7% saved)

sample1.5s (67%)

Memory

32.2MiB live, 1 265.7MiB allocated

Samples

1.1s	7 236×	1	valid
67.0ms	364×	2	valid
27.0ms	404×	0	valid

Precisions

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

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

adjust: 195.0ms (20.4% of total)

const: 112.0ms (11.7% of total)

ival-add: 96.0ms (10% of total)

ival-sub: 76.0ms (8% of total)

ival-<: 26.0ms (2.7% of total)

ival->: 25.0ms (2.6% of total)

ival-and: 12.0ms (1.3% of total)

exact: 7.0ms (0.7% of total)

ival-assert: 3.0ms (0.3% of total)

Bogosity

explain2.0ms (0.1%)

Memory

1.7MiB live, 1.7MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
4	-	-	`(-.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	4	0

Confusion

	Predicted +	Predicted -
+	4	0
-	0	0

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	4	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
1	4

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

1.0ms	6×	1	valid
0.0ms	2×	2	valid

Compiler

Compiled 65 to 28 computations (56.9% saved)

Precisions

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

adjust: 0.0ms (0% of total)

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

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

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

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

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

exact: 0.0ms (0% of total)

preprocess16.0ms (0.7%)

Memory

10.6MiB live, 10.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	18	17
2	41	16
3	73	16
4	121	16
5	178	16
6	201	16
7	212	16
0	6	7
0	10	7
1	15	7
2	19	7
3	25	7
4	33	7
5	48	7
6	80	7
7	106	7
8	150	7
9	165	7
10	173	7
0	173	7

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

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

Compiler

Compiled 7 to 6 computations (14.3% saved)

eval0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.1MiB live, 0.1MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify6.0ms (0.3%)

Memory

2.8MiB live, 2.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(atan.f64 N)
cost-diff	0	(+.f64 N #s(literal 1 binary64))
cost-diff	0	(atan.f64 (+.f64 N #s(literal 1 binary64)))
cost-diff	0	(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	18
0	10	18
1	15	18
2	19	18
3	25	18
4	33	18
5	48	18
6	80	18
7	106	18
8	150	18
9	165	18
10	173	18
0	173	18

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

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

localize1.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(+.f64 N #s(literal 1 binary64))
accuracy	0	(atan.f64 (+.f64 N #s(literal 1 binary64)))
accuracy	0	(atan.f64 N)
accuracy	61.479779494677246	(-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N))

Samples

0.0ms	3×	1	valid
0.0ms	1×	2	valid

Compiler

Compiled 38 to 14 computations (63.2% saved)

Precisions

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

adjust: 0.0ms (0% of total)

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

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

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

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

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

exact: 0.0ms (0% of total)

series2.0ms (0.1%)

Memory

1.4MiB live, 1.4MiB allocated

Counts

4 → 48

Calls

Call 1

Inputs
#s(alt (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) (patch (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) #<representation binary64>) () ())
#s(alt (atan.f64 (+.f64 N #s(literal 1 binary64))) (patch (atan.f64 (+.f64 N #s(literal 1 binary64))) #<representation binary64>) () ())
#s(alt (+.f64 N #s(literal 1 binary64)) (patch (+.f64 N #s(literal 1 binary64)) #<representation binary64>) () ())
#s(alt (atan.f64 N) (patch (atan.f64 N) #<representation binary64>) () ())

Outputs
#s(alt (- (atan (+ 1 N)) (atan N)) (taylor 0 N) (#s(alt (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) (patch (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) #<representation binary64>) () ())) ())
#s(alt (- (atan (+ 1 N)) (atan N)) (taylor 0 N) (#s(alt (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) (patch (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) #<representation binary64>) () ())) ())
#s(alt (- (atan (+ 1 N)) (atan N)) (taylor 0 N) (#s(alt (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) (patch (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) #<representation binary64>) () ())) ())
#s(alt (- (atan (+ 1 N)) (atan N)) (taylor 0 N) (#s(alt (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) (patch (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) #<representation binary64>) () ())) ())
#s(alt (atan (+ 1 N)) (taylor 0 N) (#s(alt (atan.f64 (+.f64 N #s(literal 1 binary64))) (patch (atan.f64 (+.f64 N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan (+ 1 N)) (taylor 0 N) (#s(alt (atan.f64 (+.f64 N #s(literal 1 binary64))) (patch (atan.f64 (+.f64 N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan (+ 1 N)) (taylor 0 N) (#s(alt (atan.f64 (+.f64 N #s(literal 1 binary64))) (patch (atan.f64 (+.f64 N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan (+ 1 N)) (taylor 0 N) (#s(alt (atan.f64 (+.f64 N #s(literal 1 binary64))) (patch (atan.f64 (+.f64 N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 N) (#s(alt (+.f64 N #s(literal 1 binary64)) (patch (+.f64 N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 N) (taylor 0 N) (#s(alt (+.f64 N #s(literal 1 binary64)) (patch (+.f64 N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 N) (taylor 0 N) (#s(alt (+.f64 N #s(literal 1 binary64)) (patch (+.f64 N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 N) (taylor 0 N) (#s(alt (+.f64 N #s(literal 1 binary64)) (patch (+.f64 N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (atan N) (taylor 0 N) (#s(alt (atan.f64 N) (patch (atan.f64 N) #<representation binary64>) () ())) ())
#s(alt (atan N) (taylor 0 N) (#s(alt (atan.f64 N) (patch (atan.f64 N) #<representation binary64>) () ())) ())
#s(alt (atan N) (taylor 0 N) (#s(alt (atan.f64 N) (patch (atan.f64 N) #<representation binary64>) () ())) ())
#s(alt (atan N) (taylor 0 N) (#s(alt (atan.f64 N) (patch (atan.f64 N) #<representation binary64>) () ())) ())
#s(alt (- (atan (+ 1 N)) (atan N)) (taylor inf N) (#s(alt (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) (patch (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) #<representation binary64>) () ())) ())
#s(alt (- (atan (+ 1 N)) (atan N)) (taylor inf N) (#s(alt (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) (patch (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) #<representation binary64>) () ())) ())
#s(alt (- (atan (+ 1 N)) (atan N)) (taylor inf N) (#s(alt (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) (patch (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) #<representation binary64>) () ())) ())
#s(alt (- (atan (+ 1 N)) (atan N)) (taylor inf N) (#s(alt (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) (patch (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) #<representation binary64>) () ())) ())
#s(alt (atan (+ 1 N)) (taylor inf N) (#s(alt (atan.f64 (+.f64 N #s(literal 1 binary64))) (patch (atan.f64 (+.f64 N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan (+ 1 N)) (taylor inf N) (#s(alt (atan.f64 (+.f64 N #s(literal 1 binary64))) (patch (atan.f64 (+.f64 N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan (+ 1 N)) (taylor inf N) (#s(alt (atan.f64 (+.f64 N #s(literal 1 binary64))) (patch (atan.f64 (+.f64 N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan (+ 1 N)) (taylor inf N) (#s(alt (atan.f64 (+.f64 N #s(literal 1 binary64))) (patch (atan.f64 (+.f64 N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt N (taylor inf N) (#s(alt (+.f64 N #s(literal 1 binary64)) (patch (+.f64 N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 (/ 1 N))) (taylor inf N) (#s(alt (+.f64 N #s(literal 1 binary64)) (patch (+.f64 N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 (/ 1 N))) (taylor inf N) (#s(alt (+.f64 N #s(literal 1 binary64)) (patch (+.f64 N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 (/ 1 N))) (taylor inf N) (#s(alt (+.f64 N #s(literal 1 binary64)) (patch (+.f64 N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (atan N) (taylor inf N) (#s(alt (atan.f64 N) (patch (atan.f64 N) #<representation binary64>) () ())) ())
#s(alt (atan N) (taylor inf N) (#s(alt (atan.f64 N) (patch (atan.f64 N) #<representation binary64>) () ())) ())
#s(alt (atan N) (taylor inf N) (#s(alt (atan.f64 N) (patch (atan.f64 N) #<representation binary64>) () ())) ())
#s(alt (atan N) (taylor inf N) (#s(alt (atan.f64 N) (patch (atan.f64 N) #<representation binary64>) () ())) ())
#s(alt (- (atan (- 1 (* -1 N))) (atan N)) (taylor -inf N) (#s(alt (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) (patch (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) #<representation binary64>) () ())) ())
#s(alt (- (atan (- 1 (* -1 N))) (atan N)) (taylor -inf N) (#s(alt (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) (patch (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) #<representation binary64>) () ())) ())
#s(alt (- (atan (- 1 (* -1 N))) (atan N)) (taylor -inf N) (#s(alt (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) (patch (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) #<representation binary64>) () ())) ())
#s(alt (- (atan (- 1 (* -1 N))) (atan N)) (taylor -inf N) (#s(alt (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) (patch (-.f64 (atan.f64 (+.f64 N #s(literal 1 binary64))) (atan.f64 N)) #<representation binary64>) () ())) ())
#s(alt (atan (- 1 (* -1 N))) (taylor -inf N) (#s(alt (atan.f64 (+.f64 N #s(literal 1 binary64))) (patch (atan.f64 (+.f64 N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan (- 1 (* -1 N))) (taylor -inf N) (#s(alt (atan.f64 (+.f64 N #s(literal 1 binary64))) (patch (atan.f64 (+.f64 N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan (- 1 (* -1 N))) (taylor -inf N) (#s(alt (atan.f64 (+.f64 N #s(literal 1 binary64))) (patch (atan.f64 (+.f64 N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan (- 1 (* -1 N))) (taylor -inf N) (#s(alt (atan.f64 (+.f64 N #s(literal 1 binary64))) (patch (atan.f64 (+.f64 N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt N (taylor -inf N) (#s(alt (+.f64 N #s(literal 1 binary64)) (patch (+.f64 N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 (/ 1 N))) (taylor -inf N) (#s(alt (+.f64 N #s(literal 1 binary64)) (patch (+.f64 N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 (/ 1 N))) (taylor -inf N) (#s(alt (+.f64 N #s(literal 1 binary64)) (patch (+.f64 N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 (/ 1 N))) (taylor -inf N) (#s(alt (+.f64 N #s(literal 1 binary64)) (patch (+.f64 N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (atan N) (taylor -inf N) (#s(alt (atan.f64 N) (patch (atan.f64 N) #<representation binary64>) () ())) ())
#s(alt (atan N) (taylor -inf N) (#s(alt (atan.f64 N) (patch (atan.f64 N) #<representation binary64>) () ())) ())
#s(alt (atan N) (taylor -inf N) (#s(alt (atan.f64 N) (patch (atan.f64 N) #<representation binary64>) () ())) ())
#s(alt (atan N) (taylor -inf N) (#s(alt (atan.f64 N) (patch (atan.f64 N) #<representation binary64>) () ())) ())

Calls

3 calls:

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

simplify12.0ms (0.5%)

Memory

6.3MiB live, 6.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	186
1	34	186
2	44	186
3	89	186
4	189	186
5	335	186
6	383	186
7	420	186
8	474	186
9	489	186
10	497	186
0	497	186

Stop Event

1×	iter limit
1×	saturated

Counts

48 → 46

Calls

Call 1

Inputs
(- (atan (+ 1 N)) (atan N))
(- (atan (+ 1 N)) (atan N))
(- (atan (+ 1 N)) (atan N))
(- (atan (+ 1 N)) (atan N))
(atan (+ 1 N))
(atan (+ 1 N))
(atan (+ 1 N))
(atan (+ 1 N))
1
(+ 1 N)
(+ 1 N)
(+ 1 N)
(atan N)
(atan N)
(atan N)
(atan N)
(- (atan (+ 1 N)) (atan N))
(- (atan (+ 1 N)) (atan N))
(- (atan (+ 1 N)) (atan N))
(- (atan (+ 1 N)) (atan N))
(atan (+ 1 N))
(atan (+ 1 N))
(atan (+ 1 N))
(atan (+ 1 N))
N
(* N (+ 1 (/ 1 N)))
(* N (+ 1 (/ 1 N)))
(* N (+ 1 (/ 1 N)))
(atan N)
(atan N)
(atan N)
(atan N)
(- (atan (- 1 (* -1 N))) (atan N))
(- (atan (- 1 (* -1 N))) (atan N))
(- (atan (- 1 (* -1 N))) (atan N))
(- (atan (- 1 (* -1 N))) (atan N))
(atan (- 1 (* -1 N)))
(atan (- 1 (* -1 N)))
(atan (- 1 (* -1 N)))
(atan (- 1 (* -1 N)))
N
(* N (+ 1 (/ 1 N)))
(* N (+ 1 (/ 1 N)))
(* N (+ 1 (/ 1 N)))
(atan N)
(atan N)
(atan N)
(atan N)

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

rewrite136.0ms (6.1%)

Memory

-28.9MiB live, 90.8MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	16
0	10	16
1	44	16
2	284	16
3	2885	16
0	8353	16

Stop Event

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

Counts

4 → 239

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))
(atan.f64 N)

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval6.0ms (0.3%)

Memory: 6.9MiB live, 6.9MiB allocated
Compiler: Compiled 7 832 to 922 computations (88.2% saved)

prune0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	284	1	285
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	285	1	286

Accuracy

99.6%

Counts

286 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.6%	(atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)))

Compiler

Compiled 8 to 5 computations (37.5% saved)

simplify4.0ms (0.2%)

Memory

2.0MiB live, 2.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(+.f64 #s(literal 1 binary64) N)
cost-diff	0	(fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))
cost-diff	0	(atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)))

New

Metric

Score

Program

cost-diff

(+.f64 #s(literal 1 binary64) N)

cost-diff

(fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))

cost-diff

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	19
0	9	19
1	14	19
2	21	19
3	29	19
4	39	19
5	42	19
6	45	19
0	45	19

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize1.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
accuracy	0	(fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))
accuracy	0	(+.f64 #s(literal 1 binary64) N)
accuracy	0.25	(atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)))

New

Metric

Score

Program

accuracy

(fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))

accuracy

(+.f64 #s(literal 1 binary64) N)

accuracy

0.25

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

Samples

0.0ms

4×

valid

Compiler

Compiled 42 to 13 computations (69% saved)

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

series2.0ms (0.1%)

Memory

1.5MiB live, 1.5MiB allocated

Counts

3 → 36

Calls

Call 1

Inputs
#s(alt (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) #<representation binary64>) () ())
#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) (patch (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) #<representation binary64>) () ())
#s(alt (+.f64 #s(literal 1 binary64) N) (patch (+.f64 #s(literal 1 binary64) N) #<representation binary64>) () ())

Inputs

#s(alt (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) #<representation binary64>) () ())

#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) (patch (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) #<representation binary64>) () ())

#s(alt (+.f64 #s(literal 1 binary64) N) (patch (+.f64 #s(literal 1 binary64) N) #<representation binary64>) () ())

Outputs
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 N) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) (patch (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 N) (taylor 0 N) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) (patch (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* N (+ 1 N))) (taylor 0 N) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) (patch (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* N (+ 1 N))) (taylor 0 N) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) (patch (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 N) (#s(alt (+.f64 #s(literal 1 binary64) N) (patch (+.f64 #s(literal 1 binary64) N) #<representation binary64>) () ())) ())
#s(alt (+ 1 N) (taylor 0 N) (#s(alt (+.f64 #s(literal 1 binary64) N) (patch (+.f64 #s(literal 1 binary64) N) #<representation binary64>) () ())) ())
#s(alt (+ 1 N) (taylor 0 N) (#s(alt (+.f64 #s(literal 1 binary64) N) (patch (+.f64 #s(literal 1 binary64) N) #<representation binary64>) () ())) ())
#s(alt (+ 1 N) (taylor 0 N) (#s(alt (+.f64 #s(literal 1 binary64) N) (patch (+.f64 #s(literal 1 binary64) N) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor inf N) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) (patch (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (/ 1 N))) (taylor inf N) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) (patch (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor inf N) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) (patch (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor inf N) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) (patch (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt N (taylor inf N) (#s(alt (+.f64 #s(literal 1 binary64) N) (patch (+.f64 #s(literal 1 binary64) N) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 (/ 1 N))) (taylor inf N) (#s(alt (+.f64 #s(literal 1 binary64) N) (patch (+.f64 #s(literal 1 binary64) N) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 (/ 1 N))) (taylor inf N) (#s(alt (+.f64 #s(literal 1 binary64) N) (patch (+.f64 #s(literal 1 binary64) N) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 (/ 1 N))) (taylor inf N) (#s(alt (+.f64 #s(literal 1 binary64) N) (patch (+.f64 #s(literal 1 binary64) N) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor -inf N) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) (patch (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (/ 1 N))) (taylor -inf N) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) (patch (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor -inf N) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) (patch (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor -inf N) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) (patch (fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt N (taylor -inf N) (#s(alt (+.f64 #s(literal 1 binary64) N) (patch (+.f64 #s(literal 1 binary64) N) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 (/ 1 N))) (taylor -inf N) (#s(alt (+.f64 #s(literal 1 binary64) N) (patch (+.f64 #s(literal 1 binary64) N) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 (/ 1 N))) (taylor -inf N) (#s(alt (+.f64 #s(literal 1 binary64) N) (patch (+.f64 #s(literal 1 binary64) N) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 (/ 1 N))) (taylor -inf N) (#s(alt (+.f64 #s(literal 1 binary64) N) (patch (+.f64 #s(literal 1 binary64) N) #<representation binary64>) () ())) ())

Calls

3 calls:

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

simplify133.0ms (5.9%)

Memory

-15.4MiB live, 73.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	208
1	67	200
2	117	200
3	451	200
4	2326	200
5	5354	200
0	8132	180

Stop Event

1×	iter limit
1×	node limit

Counts

36 → 34

Calls

Call 1

Inputs
(atan2 1 (+ 1 (* N (+ 1 N))))
(atan2 1 (+ 1 (* N (+ 1 N))))
(atan2 1 (+ 1 (* N (+ 1 N))))
(atan2 1 (+ 1 (* N (+ 1 N))))
1
(+ 1 N)
(+ 1 (* N (+ 1 N)))
(+ 1 (* N (+ 1 N)))
1
(+ 1 N)
(+ 1 N)
(+ 1 N)
(atan2 1 (+ 1 (+ N (pow N 2))))
(atan2 1 (+ 1 (+ N (pow N 2))))
(atan2 1 (+ 1 (+ N (pow N 2))))
(atan2 1 (+ 1 (+ N (pow N 2))))
(pow N 2)
(* (pow N 2) (+ 1 (/ 1 N)))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
N
(* N (+ 1 (/ 1 N)))
(* N (+ 1 (/ 1 N)))
(* N (+ 1 (/ 1 N)))
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(pow N 2)
(* (pow N 2) (+ 1 (/ 1 N)))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
N
(* N (+ 1 (/ 1 N)))
(* N (+ 1 (/ 1 N)))
(* N (+ 1 (/ 1 N)))

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

rewrite132.0ms (5.9%)

Memory

15.6MiB live, 88.2MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	17
0	9	17
1	37	17
2	262	17
3	2791	17
0	8379	17

Stop Event

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

Counts

3 → 289

Calls

Call 1

Inputs

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

(fma.f64 (+.f64 #s(literal 1 binary64) N) N #s(literal 1 binary64))

(+.f64 #s(literal 1 binary64) N)

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval7.0ms (0.3%)

Memory: 7.5MiB live, 7.5MiB allocated
Compiler: Compiled 7 546 to 1 145 computations (84.8% saved)

prune1.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	319	4	323
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	320	4	324

Accuracy

99.6%

Counts

324 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.6%	(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)))
▶	8.5%	(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))))
▶	94.5%	(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (*.f64 N N)))
▶	7.0%	(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)))

Compiler

Compiled 23 to 20 computations (13% saved)

simplify13.0ms (0.6%)

Memory

5.7MiB live, 5.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 11 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(fma.f64 N N N)
cost-diff	0	#s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))
cost-diff	0	(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)))
cost-diff	0	(-.f64 N #s(literal -1 binary64))
cost-diff	0	#s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))
cost-diff	0	(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))))
cost-diff	0	(*.f64 N N)
cost-diff	0	#s(approx (+ (* (+ 1 N) N) 1) (*.f64 N N))
cost-diff	0	(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (*.f64 N N)))
cost-diff	0	#s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))
cost-diff	0	(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	112
0	24	104
1	33	104
2	45	104
3	50	104
4	67	104
5	90	104
6	128	104
7	198	104
8	319	104
9	382	104
10	384	104
0	384	104

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Localize:

Found 11 expressions of interest:

New	Metric	Score
accuracy	0	(fma.f64 N N N)
accuracy	0	#s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))
accuracy	0.25	(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)))
accuracy	0	(-.f64 N #s(literal -1 binary64))
accuracy	0.25	(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))))
accuracy	58.54646318656738	#s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))
accuracy	0	(*.f64 N N)
accuracy	0.25	(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (*.f64 N N)))
accuracy	3.414748108393026	#s(approx (+ (* (+ 1 N) N) 1) (*.f64 N N))
accuracy	0.25	(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)))
accuracy	59.54546478695091	#s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))

Samples

0.0ms

4×

valid

Compiler

Compiled 141 to 26 computations (81.6% saved)

Precisions

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

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

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

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

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

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

exact: 0.0ms (0% of total)

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

series5.0ms (0.2%)

Memory

4.7MiB live, 4.7MiB allocated

Counts

11 → 132

Calls

Call 1

Inputs
#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) #<representation binary64>) () ())
#s(alt #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) #<representation binary64>) () ())
#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N))) #<representation binary64>) () ())
#s(alt #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N)) (patch #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N)) #<representation binary64>) () ())
#s(alt (.f64 N N) (patch (.f64 N N) #<representation binary64>) () ())
#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) #<representation binary64>) () ())
#s(alt #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) (patch #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) #<representation binary64>) () ())
#s(alt (-.f64 N #s(literal -1 binary64)) (patch (-.f64 N #s(literal -1 binary64)) #<representation binary64>) () ())
#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) #<representation binary64>) () ())
#s(alt #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) (patch #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) #<representation binary64>) () ())
#s(alt (fma.f64 N N N) (patch (fma.f64 N N N) #<representation binary64>) () ())

Outputs
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 N) (taylor 0 N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* N (+ 1 N))) (taylor 0 N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* N (+ 1 N))) (taylor 0 N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N))) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N)) (patch #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N)) #<representation binary64>) () ())) ())
#s(alt (+ 1 N) (taylor 0 N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N)) (patch #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* N (+ 1 N))) (taylor 0 N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N)) (patch #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* N (+ 1 N))) (taylor 0 N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N)) (patch #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N)) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor 0 N) (#s(alt (.f64 N N) (patch (.f64 N N) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor 0 N) (#s(alt (.f64 N N) (patch (.f64 N N) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor 0 N) (#s(alt (.f64 N N) (patch (.f64 N N) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor 0 N) (#s(alt (.f64 N N) (patch (.f64 N N) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) (patch #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1 N) (taylor 0 N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) (patch #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* N (+ 1 N))) (taylor 0 N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) (patch #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* N (+ 1 N))) (taylor 0 N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) (patch #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 N) (#s(alt (-.f64 N #s(literal -1 binary64)) (patch (-.f64 N #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 N) (taylor 0 N) (#s(alt (-.f64 N #s(literal -1 binary64)) (patch (-.f64 N #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 N) (taylor 0 N) (#s(alt (-.f64 N #s(literal -1 binary64)) (patch (-.f64 N #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 N) (taylor 0 N) (#s(alt (-.f64 N #s(literal -1 binary64)) (patch (-.f64 N #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (+ 1 N)))) (taylor 0 N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) (patch #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) #<representation binary64>) () ())) ())
#s(alt (+ 1 N) (taylor 0 N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) (patch #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* N (+ 1 N))) (taylor 0 N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) (patch #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* N (+ 1 N))) (taylor 0 N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) (patch #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) #<representation binary64>) () ())) ())
#s(alt N (taylor 0 N) (#s(alt (fma.f64 N N N) (patch (fma.f64 N N N) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 N)) (taylor 0 N) (#s(alt (fma.f64 N N N) (patch (fma.f64 N N N) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 N)) (taylor 0 N) (#s(alt (fma.f64 N N N) (patch (fma.f64 N N N) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 N)) (taylor 0 N) (#s(alt (fma.f64 N N N) (patch (fma.f64 N N N) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (/ 1 N))) (taylor inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N))) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N)) (patch #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (/ 1 N))) (taylor inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N)) (patch #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N)) (patch #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N)) (patch #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N)) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor inf N) (#s(alt (.f64 N N) (patch (.f64 N N) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor inf N) (#s(alt (.f64 N N) (patch (.f64 N N) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor inf N) (#s(alt (.f64 N N) (patch (.f64 N N) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor inf N) (#s(alt (.f64 N N) (patch (.f64 N N) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) (patch #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (/ 1 N))) (taylor inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) (patch #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) (patch #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) (patch #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt N (taylor inf N) (#s(alt (-.f64 N #s(literal -1 binary64)) (patch (-.f64 N #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 (/ 1 N))) (taylor inf N) (#s(alt (-.f64 N #s(literal -1 binary64)) (patch (-.f64 N #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 (/ 1 N))) (taylor inf N) (#s(alt (-.f64 N #s(literal -1 binary64)) (patch (-.f64 N #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 (/ 1 N))) (taylor inf N) (#s(alt (-.f64 N #s(literal -1 binary64)) (patch (-.f64 N #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (+ N (pow N 2)))) (taylor inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) (patch #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (/ 1 N))) (taylor inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) (patch #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) (patch #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) (patch #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor inf N) (#s(alt (fma.f64 N N N) (patch (fma.f64 N N N) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (/ 1 N))) (taylor inf N) (#s(alt (fma.f64 N N N) (patch (fma.f64 N N N) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (/ 1 N))) (taylor inf N) (#s(alt (fma.f64 N N N) (patch (fma.f64 N N N) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (/ 1 N))) (taylor inf N) (#s(alt (fma.f64 N N N) (patch (fma.f64 N N N) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor -inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (/ 1 N))) (taylor -inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor -inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor -inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N))) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor -inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N)) (patch #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (/ 1 N))) (taylor -inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N)) (patch #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor -inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N)) (patch #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor -inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (.f64 N N)) (patch #s(approx (+ ( (+ 1 N) N) 1) (*.f64 N N)) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor -inf N) (#s(alt (.f64 N N) (patch (.f64 N N) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor -inf N) (#s(alt (.f64 N N) (patch (.f64 N N) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor -inf N) (#s(alt (.f64 N N) (patch (.f64 N N) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor -inf N) (#s(alt (.f64 N N) (patch (.f64 N N) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor -inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) (patch #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (/ 1 N))) (taylor -inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) (patch #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor -inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) (patch #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor -inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) (patch #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt N (taylor -inf N) (#s(alt (-.f64 N #s(literal -1 binary64)) (patch (-.f64 N #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 (/ 1 N))) (taylor -inf N) (#s(alt (-.f64 N #s(literal -1 binary64)) (patch (-.f64 N #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 (/ 1 N))) (taylor -inf N) (#s(alt (-.f64 N #s(literal -1 binary64)) (patch (-.f64 N #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* N (+ 1 (/ 1 N))) (taylor -inf N) (#s(alt (-.f64 N #s(literal -1 binary64)) (patch (-.f64 N #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) #<representation binary64>) () ())) ())
#s(alt (atan2 1 (+ 1 (* N (- 1 (* -1 N))))) (taylor -inf N) (#s(alt (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) (patch (atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N))) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor -inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) (patch #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (/ 1 N))) (taylor -inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) (patch #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor -inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) (patch #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2))))) (taylor -inf N) (#s(alt #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) (patch #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)) #<representation binary64>) () ())) ())
#s(alt (pow N 2) (taylor -inf N) (#s(alt (fma.f64 N N N) (patch (fma.f64 N N N) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (/ 1 N))) (taylor -inf N) (#s(alt (fma.f64 N N N) (patch (fma.f64 N N N) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (/ 1 N))) (taylor -inf N) (#s(alt (fma.f64 N N N) (patch (fma.f64 N N N) #<representation binary64>) () ())) ())
#s(alt (* (pow N 2) (+ 1 (/ 1 N))) (taylor -inf N) (#s(alt (fma.f64 N N N) (patch (fma.f64 N N N) #<representation binary64>) () ())) ())

Calls

3 calls:

Time

Variable

Point

Expression

1.0ms

-inf

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

1.0ms

inf

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

1.0ms

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

simplify121.0ms (5.4%)

Memory

-9.6MiB live, 72.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	798
1	67	798
2	117	798
3	451	798
4	2326	798
5	5354	798
0	8132	709

Stop Event

1×	iter limit
1×	node limit

Counts

132 → 129

Calls

Call 1

Inputs
(atan2 1 (+ 1 (* N (+ 1 N))))
(atan2 1 (+ 1 (* N (+ 1 N))))
(atan2 1 (+ 1 (* N (+ 1 N))))
(atan2 1 (+ 1 (* N (+ 1 N))))
1
(+ 1 N)
(+ 1 (* N (+ 1 N)))
(+ 1 (* N (+ 1 N)))
(atan2 1 (+ 1 (* N (+ 1 N))))
(atan2 1 (+ 1 (* N (+ 1 N))))
(atan2 1 (+ 1 (* N (+ 1 N))))
(atan2 1 (+ 1 (* N (+ 1 N))))
1
(+ 1 N)
(+ 1 (* N (+ 1 N)))
(+ 1 (* N (+ 1 N)))
(pow N 2)
(pow N 2)
(pow N 2)
(pow N 2)
(atan2 1 (+ 1 (* N (+ 1 N))))
(atan2 1 (+ 1 (* N (+ 1 N))))
(atan2 1 (+ 1 (* N (+ 1 N))))
(atan2 1 (+ 1 (* N (+ 1 N))))
1
(+ 1 N)
(+ 1 (* N (+ 1 N)))
(+ 1 (* N (+ 1 N)))
1
(+ 1 N)
(+ 1 N)
(+ 1 N)
(atan2 1 (+ 1 (* N (+ 1 N))))
(atan2 1 (+ 1 (* N (+ 1 N))))
(atan2 1 (+ 1 (* N (+ 1 N))))
(atan2 1 (+ 1 (* N (+ 1 N))))
1
(+ 1 N)
(+ 1 (* N (+ 1 N)))
(+ 1 (* N (+ 1 N)))
N
(* N (+ 1 N))
(* N (+ 1 N))
(* N (+ 1 N))
(atan2 1 (+ 1 (+ N (pow N 2))))
(atan2 1 (+ 1 (+ N (pow N 2))))
(atan2 1 (+ 1 (+ N (pow N 2))))
(atan2 1 (+ 1 (+ N (pow N 2))))
(pow N 2)
(* (pow N 2) (+ 1 (/ 1 N)))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
(atan2 1 (+ 1 (+ N (pow N 2))))
(atan2 1 (+ 1 (+ N (pow N 2))))
(atan2 1 (+ 1 (+ N (pow N 2))))
(atan2 1 (+ 1 (+ N (pow N 2))))
(pow N 2)
(* (pow N 2) (+ 1 (/ 1 N)))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
(pow N 2)
(pow N 2)
(pow N 2)
(pow N 2)
(atan2 1 (+ 1 (+ N (pow N 2))))
(atan2 1 (+ 1 (+ N (pow N 2))))
(atan2 1 (+ 1 (+ N (pow N 2))))
(atan2 1 (+ 1 (+ N (pow N 2))))
(pow N 2)
(* (pow N 2) (+ 1 (/ 1 N)))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
N
(* N (+ 1 (/ 1 N)))
(* N (+ 1 (/ 1 N)))
(* N (+ 1 (/ 1 N)))
(atan2 1 (+ 1 (+ N (pow N 2))))
(atan2 1 (+ 1 (+ N (pow N 2))))
(atan2 1 (+ 1 (+ N (pow N 2))))
(atan2 1 (+ 1 (+ N (pow N 2))))
(pow N 2)
(* (pow N 2) (+ 1 (/ 1 N)))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
(pow N 2)
(* (pow N 2) (+ 1 (/ 1 N)))
(* (pow N 2) (+ 1 (/ 1 N)))
(* (pow N 2) (+ 1 (/ 1 N)))
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(pow N 2)
(* (pow N 2) (+ 1 (/ 1 N)))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(pow N 2)
(* (pow N 2) (+ 1 (/ 1 N)))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
(pow N 2)
(pow N 2)
(pow N 2)
(pow N 2)
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(pow N 2)
(* (pow N 2) (+ 1 (/ 1 N)))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
N
(* N (+ 1 (/ 1 N)))
(* N (+ 1 (/ 1 N)))
(* N (+ 1 (/ 1 N)))
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(atan2 1 (+ 1 (* N (- 1 (* -1 N)))))
(pow N 2)
(* (pow N 2) (+ 1 (/ 1 N)))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
(* (pow N 2) (+ 1 (+ (/ 1 N) (/ 1 (pow N 2)))))
(pow N 2)
(* (pow N 2) (+ 1 (/ 1 N)))
(* (pow N 2) (+ 1 (/ 1 N)))
(* (pow N 2) (+ 1 (/ 1 N)))

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

rewrite132.0ms (5.8%)

Memory

8.2MiB live, 82.1MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	104
0	24	96
1	77	96
2	515	96
3	7273	96
0	8513	96

Stop Event

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

Counts

11 → 249

Calls

Call 1

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

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval5.0ms (0.2%)

Memory: 5.9MiB live, 5.9MiB allocated
Compiler: Compiled 5 601 to 1 038 computations (81.5% saved)

prune3.0ms (0.1%)

Memory

-36.9MiB live, 1.4MiB allocated

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	378	0	378
Fresh	0	0	0
Picked	0	4	4
Done	0	0	0
Total	378	4	382

Accuracy

99.6%

Counts

382 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.6%	(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (fma.f64 N N N)))
✓	8.5%	(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (-.f64 N #s(literal -1 binary64))))
✓	94.5%	(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) (*.f64 N N)))
✓	7.0%	(atan2.f64 #s(literal 1 binary64) #s(approx (+ (* (+ 1 N) N) 1) #s(literal 1 binary64)))

Compiler

Compiled 61 to 41 computations (32.8% saved)

regimes0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated
Compiler: Compiled 7 to 6 computations (14.3% saved)

end0.0ms (0%)

Memory

0.0MiB live, 0.0MiB allocated

Calls

1 calls:

0.0ms

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

Iter	Nodes	Cost
0	8	19
1	18	17
2	41	16
3	73	16
4	121	16
5	178	16
6	201	16
7	212	16
0	6	7
0	10	7
1	15	7
2	19	7
3	25	7
4	33	7
5	48	7
6	80	7
7	106	7
8	150	7
9	165	7
10	173	7
0	173	7

Iter	Nodes	Cost
0	6	18
0	10	18
1	15	18
2	19	18
3	25	18
4	33	18
5	48	18
6	80	18
7	106	18
8	150	18
9	165	18
10	173	18
0	173	18

Iter	Nodes	Cost
0	14	186
1	34	186
2	44	186
3	89	186
4	189	186
5	335	186
6	383	186
7	420	186
8	474	186
9	489	186
10	497	186
0	497	186

Iter	Nodes	Cost
0	17	112
0	24	104
1	33	104
2	45	104
3	50	104
4	67	104
5	90	104
6	128	104
7	198	104
8	319	104
9	382	104
10	384	104
0	384	104

Iter	Nodes	Cost
0	8	19
1	18	17
2	41	16
3	73	16
4	121	16
5	178	16
6	201	16
7	212	16
0	6	7
0	10	7
1	15	7
2	19	7
3	25	7
4	33	7
5	48	7
6	80	7
7	106	7
8	150	7
9	165	7
10	173	7
0	173	7

Iter	Nodes	Cost
0	6	18
0	10	18
1	15	18
2	19	18
3	25	18
4	33	18
5	48	18
6	80	18
7	106	18
8	150	18
9	165	18
10	173	18
0	173	18

Iter	Nodes	Cost
0	14	186
1	34	186
2	44	186
3	89	186
4	189	186
5	335	186
6	383	186
7	420	186
8	474	186
9	489	186
10	497	186
0	497	186

Iter	Nodes	Cost
0	17	112
0	24	104
1	33	104
2	45	104
3	50	104
4	67	104
5	90	104
6	128	104
7	198	104
8	319	104
9	382	104
10	384	104
0	384	104

start0.0ms (0%)

analyze2.0ms (0.1%)

sample1.5s (67%)

explain2.0ms (0.1%)

preprocess16.0ms (0.7%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify6.0ms (0.3%)

localize1.0ms (0%)

series2.0ms (0.1%)

simplify12.0ms (0.5%)

rewrite136.0ms (6.1%)

eval6.0ms (0.3%)

prune0.0ms (0%)

simplify4.0ms (0.2%)

localize1.0ms (0%)

series2.0ms (0.1%)

simplify133.0ms (5.9%)

rewrite132.0ms (5.9%)

eval7.0ms (0.3%)

prune1.0ms (0%)

simplify13.0ms (0.6%)

localize1.0ms (0%)

series5.0ms (0.2%)

simplify121.0ms (5.4%)

rewrite132.0ms (5.8%)

eval5.0ms (0.2%)

prune3.0ms (0.1%)

regimes0.0ms (0%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	8	19
1	18	17
2	41	16
3	73	16
4	121	16
5	178	16
6	201	16
7	212	16
0	6	7
0	10	7
1	15	7
2	19	7
3	25	7
4	33	7
5	48	7
6	80	7
7	106	7
8	150	7
9	165	7
10	173	7
0	173	7

Iter	Nodes	Cost
0	6	18
0	10	18
1	15	18
2	19	18
3	25	18
4	33	18
5	48	18
6	80	18
7	106	18
8	150	18
9	165	18
10	173	18
0	173	18

Iter	Nodes	Cost
0	14	186
1	34	186
2	44	186
3	89	186
4	189	186
5	335	186
6	383	186
7	420	186
8	474	186
9	489	186
10	497	186
0	497	186

Iter	Nodes	Cost
0	17	112
0	24	104
1	33	104
2	45	104
3	50	104
4	67	104
5	90	104
6	128	104
7	198	104
8	319	104
9	382	104
10	384	104
0	384	104