Metrics for log(1-(1-exp(-1000)))

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.1MiB live, 0.1MiB allocated

Algorithm

1×

random

Compiler

Compiled 11 to 9 computations (18.2% saved)

sample3.1s (64.7%)

Memory

78.8MiB live, 1 366.2MiB allocated

Samples

2.4s

8 256×

valid

Precisions

Click to see histograms. Total time spent on operations: 2.2s

ival-expm1: 1.0s (46.3% of total)

adjust: 568.0ms (25.8% of total)

ival-neg: 247.0ms (11.2% of total)

ival-sub: 218.0ms (9.9% of total)

ival-div: 127.0ms (5.8% of total)

exact: 12.0ms (0.5% of total)

ival-true: 7.0ms (0.3% of total)

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

Bogosity

explain401.0ms (8.5%)

Memory

129.9MiB live, 279.9MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(exp.f64 (neg.f64 #s(literal 1000 binary64)))`
-	-	`#s(literal 1 binary64)`
-	-	`#s(literal 1000 binary64)`
-	-	`(-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64)))))`
-	-	`(neg.f64 #s(literal 1000 binary64))`
-	-	`(/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64))))))`
-	-	`(-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64))))`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Samples

192.0ms

512×

valid

Compiler

Compiled 69 to 27 computations (60.9% saved)

Precisions

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

ival-expm1: 46.0ms (47% of total)

adjust: 17.0ms (17.4% of total)

ival-neg: 11.0ms (11.2% of total)

ival-sub: 9.0ms (9.2% of total)

ival-div: 7.0ms (7.2% of total)

ival-exp: 7.0ms (7.2% of total)

ival-true: 1.0ms (1% of total)

exact: 1.0ms (1% of total)

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

preprocess519.0ms (11%)

Memory

-244.1MiB live, 31.2MiB allocated

Algorithm

1×	egg-herbie

Rules

5 064×	`lower-fma.f64`
5 064×	`lower-fma.f32`
3 968×	`lower-+.f64`
3 968×	`lower-+.f32`
3 312×	`lower--.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
0	7	8
0	13	6
1	21	4
2	35	2
3	97	2
4	215	2
5	537	2
6	1223	2
7	1800	2
8	2257	2
9	2320	2
10	2343	2
11	2349	2
12	3242	2
13	3724	2
14	4129	2
15	4280	2
16	4368	2
17	4368	2
18	4392	2
19	4392	2
20	4392	2
21	7641	2
22	7777	2
23	7781	2
24	7787	2
25	7789	2
26	7789	2
0	8472	2

Stop Event

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

Calls

Call 1

Inputs
(/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64))))))

Outputs
(/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64))))))
(exp.f64 #s(literal 1000 binary64))

Compiler

Compiled 9 to 7 computations (22.2% saved)

eval0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated
Compiler: Compiled 0 to 0 computations (0% saved)

prune1.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64))))))

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify230.0ms (4.9%)

Memory

26.5MiB live, 26.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	64	(-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64))))
cost-diff	128	(neg.f64 #s(literal 1000 binary64))
cost-diff	320	(-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64)))))
cost-diff	704	(/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64))))))

Rules

5 064×	`lower-fma.f64`
5 064×	`lower-fma.f32`
3 968×	`lower-+.f64`
3 968×	`lower-+.f32`
3 312×	`lower--.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	23
0	13	21
1	21	15
2	35	13
3	97	13
4	215	13
5	537	13
6	1223	13
7	1800	13
8	2257	13
9	2320	13
10	2343	13
11	2349	13
12	3242	13
13	3724	13
14	4129	13
15	4280	13
16	4368	13
17	4368	13
18	4392	13
19	4392	13
20	4392	13
21	7641	13
22	7777	13
23	7781	13
24	7787	13
25	7789	13
26	7789	13
0	8472	12

Stop Event

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

Calls

Call 1

Inputs
(/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64))))))
#s(literal 1 binary64)
(-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64)))))
(-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64))))
(exp.f64 (neg.f64 #s(literal 1000 binary64)))
(neg.f64 #s(literal 1000 binary64))
#s(literal 1000 binary64)

Outputs
(/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64))))))
(exp.f64 #s(literal 1000 binary64))
#s(literal 1 binary64)
(-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64)))))
(exp.f64 #s(literal -1000 binary64))
(-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64))))
(neg.f64 (expm1.f64 #s(literal -1000 binary64)))
(exp.f64 (neg.f64 #s(literal 1000 binary64)))
(exp.f64 #s(literal -1000 binary64))
(neg.f64 #s(literal 1000 binary64))
#s(literal -1000 binary64)
#s(literal 1000 binary64)

localize67.0ms (1.4%)

Memory

17.5MiB live, 17.5MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
accuracy	0	(-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64)))))
accuracy	0	(-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64))))
accuracy	0	(neg.f64 #s(literal 1000 binary64))
accuracy	0	(exp.f64 (neg.f64 #s(literal 1000 binary64)))

Samples

57.0ms

256×

valid

Compiler

Compiled 30 to 10 computations (66.7% saved)

Precisions

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

ival-expm1: 21.0ms (46.7% of total)

adjust: 8.0ms (17.8% of total)

ival-neg: 5.0ms (11.1% of total)

ival-sub: 4.0ms (8.9% of total)

ival-div: 3.0ms (6.7% of total)

ival-exp: 3.0ms (6.7% of total)

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

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

exact: 0.0ms (0% of total)

series0.0ms (0%)

Memory

0.1MiB live, 0.1MiB allocated

Counts

5 → 0

Calls

Call 1

Inputs
#s(alt (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64)))))) (patch (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64)))))) #<representation binary64>) () ())
#s(alt (-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64))))) (patch (-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64))))) #<representation binary64>) () ())
#s(alt (neg.f64 #s(literal 1000 binary64)) (patch (neg.f64 #s(literal 1000 binary64)) #<representation binary64>) () ())
#s(alt (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64)))) (patch (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64)))) #<representation binary64>) () ())
#s(alt (exp.f64 (neg.f64 #s(literal 1000 binary64))) (patch (exp.f64 (neg.f64 #s(literal 1000 binary64))) #<representation binary64>) () ())

Outputs

simplify2.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
0	0	0

Stop Event

1×	saturated
1×	saturated

Counts

0 → 0

Calls

Call 1

Inputs

Outputs

rewrite181.0ms (3.8%)

Memory

-49.6MiB live, 52.5MiB allocated

Rules

4 194×	`lower-fma.f64`
4 194×	`lower-fma.f32`
2 840×	`lower-*.f64`
2 840×	`lower-*.f32`
2 814×	`lower-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	21
0	13	19
1	52	13
2	379	11
3	7332	11
0	9062	10

Stop Event

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

Counts

5 → 492

Calls

Call 1

Inputs
(/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64))))))
(-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64)))))
(neg.f64 #s(literal 1000 binary64))
(-.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 #s(literal 1000 binary64))))
(exp.f64 (neg.f64 #s(literal 1000 binary64)))

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>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval54.0ms (1.1%)

Memory: 44.2MiB live, 44.2MiB allocated
Compiler: Compiled 10 137 to 1 484 computations (85.4% saved)

prune11.0ms (0.2%)

Memory

-60.6MiB live, 17.6MiB allocated

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	491	1	492
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	492	1	493

Accuracy

100.0%

Counts

493 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(exp.f64 #s(literal 1000 binary64))

Compiler

Compiled 2 to 2 computations (0% saved)

simplify4.0ms (0.1%)

Memory

0.6MiB live, 0.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 1 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(exp.f64 #s(literal 1000 binary64))

Rules

2×	`lift-exp.f64`
2×	`lower-exp.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2	3
0	3	3
0	3	3

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(exp.f64 #s(literal 1000 binary64))
#s(literal 1000 binary64)

Outputs
(exp.f64 #s(literal 1000 binary64))
#s(literal 1000 binary64)

localize11.0ms (0.2%)

Memory

4.1MiB live, 4.1MiB allocated

Localize:

Found 1 expressions of interest:

New	Metric	Score	Program
accuracy	0	(exp.f64 #s(literal 1000 binary64))

Samples

7.0ms

256×

valid

Compiler

Compiled 5 to 4 computations (20% saved)

Precisions

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

ival-exp: 3.0ms (78% of total)

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

exact: 0.0ms (0% of total)

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

series0.0ms (0%)

Memory

0.0MiB live, 0.0MiB allocated

Counts

1 → 0

Calls

Call 1

Inputs
#s(alt (exp.f64 #s(literal 1000 binary64)) (patch (exp.f64 #s(literal 1000 binary64)) #<representation binary64>) () ())

Outputs

simplify2.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
0	0	0

Stop Event

1×	saturated
1×	saturated

Counts

0 → 0

Calls

Call 1

Inputs

Outputs

rewrite6.0ms (0.1%)

Memory

1.0MiB live, 1.0MiB allocated

Rules

2×	`lift-exp.f64`
2×	`lower-exp.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2	2
0	3	2
0	3	2

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Counts

1 → 1

Calls

Call 1

Inputs
(exp.f64 #s(literal 1000 binary64))

Outputs
#<batchref>

eval0.0ms (0%)

Memory: 0.3MiB live, 0.3MiB allocated
Compiler: Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	1	1	2

Accuracy

100.0%

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(exp.f64 #s(literal 1000 binary64))

Compiler

Compiled 13 to 11 computations (15.4% saved)

simplify22.0ms (0.5%)

Memory

18.4MiB live, 18.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2	2

Stop Event

1×

saturated

Calls

Call 1

Inputs
(exp.f64 #s(literal 1000 binary64))

Outputs
(exp.f64 #s(literal 1000 binary64))

soundness133.0ms (2.8%)

Memory

3.6MiB live, 3.6MiB allocated

Rules

4 194×	`lower-fma.f64`
4 194×	`lower-fma.f32`
2 840×	`lower-*.f64`
2 840×	`lower-*.f32`
2 814×	`lower-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	21
0	13	19
1	52	13
2	379	11
3	7332	11
0	9062	10

Stop Event

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

Compiler

Compiled 16 to 10 computations (37.5% saved)

preprocess19.0ms (0.4%)

Memory: 20.4MiB live, 20.4MiB allocated
Compiler: Compiled 22 to 18 computations (18.2% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample3.1s (64.7%)

explain401.0ms (8.5%)

preprocess519.0ms (11%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify230.0ms (4.9%)

localize67.0ms (1.4%)

series0.0ms (0%)

simplify2.0ms (0%)

rewrite181.0ms (3.8%)

eval54.0ms (1.1%)

prune11.0ms (0.2%)

simplify4.0ms (0.1%)

localize11.0ms (0.2%)

series0.0ms (0%)

simplify2.0ms (0%)

rewrite6.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify22.0ms (0.5%)

soundness133.0ms (2.8%)

preprocess19.0ms (0.4%)

end0.0ms (0%)

Profiling