Metrics for qlog (example 3.10)

analyze456.0ms (6.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	50%	50%	0%	0%	0%	0
0%	0%	50%	50%	0%	0%	0%	1
0%	0%	50%	50%	0%	0%	0%	2
0%	0%	50%	50%	0%	0%	0%	3
0%	0%	50%	50%	0%	0%	0%	4
6.3%	3.1%	46.8%	50%	0%	0%	0%	5
9.4%	4.7%	45.3%	50%	0%	0%	0%	6
10.9%	5.5%	44.5%	50%	0%	0%	0%	7
11.7%	5.9%	44.1%	50%	0%	0%	0%	8
12.1%	6%	43.9%	50%	0%	0%	0%	9
12.3%	6.1%	43.8%	50%	0%	0%	0%	10
12.4%	6.2%	43.8%	50%	0%	0%	0%	11
12.5%	6.2%	43.7%	50%	0%	0%	0%	12

Compiler

Compiled 17 to 13 computations (23.5% saved)

sample5.5s (74.3%)

Results

3.6s	4124×	body	1024	valid
1.1s	2076×	body	512	valid
455.0ms	411×	body	2048	valid
438.0ms	1645×	body	256	valid

Bogosity

preprocess714.0ms (9.6%)

Algorithm

1×	egg-herbie

Rules

2290×	`fma-def`
1953×	`associate-+r+`
1706×	`associate-+l+`
642×	`distribute-lft-in`
173×	`distribute-lft-out`

Problems

251×	`(log.f64 (-.f64 1 x))`
5×	`(log.f64 (+.f64 1 x))`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	67
1	31	57
2	47	57
3	74	57
4	111	57
5	153	57
6	178	57
7	203	57
8	237	57
9	335	57
10	397	57
11	463	57
12	508	57
13	516	57
14	518	57
15	740	57
16	1001	57
17	1106	57
18	1270	57
19	1276	57
20	1276	57
21	2118	57
22	2373	57
23	2527	57
24	2654	57
25	2669	57
26	2669	57
27	4423	57
28	4423	57
29	4423	57
30	4423	57
31	4423	57
32	7612	57
33	7661	57
34	7843	57
35	7935	57
36	7946	57

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
(/.f64 (log.f64 (-.f64 1 (neg.f64 x))) (log.f64 (+.f64 1 (neg.f64 x))))

Outputs
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
(/.f64 (log.f64 (-.f64 1 (neg.f64 x))) (log.f64 (+.f64 1 (neg.f64 x))))
(/.f64 (log.f64 (-.f64 1 (neg.f64 x))) (log1p.f64 (neg.f64 x)))
(/.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))

Compiler

Compiled 37 to 28 computations (24.3% saved)

eval1.0ms (0%)

Compiler: Compiled 16 to 11 computations (31.3% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
▶	100.0%	(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize27.0ms (0.4%)

Compiler: Compiled 16 to 6 computations (62.5% saved)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Accuracy

100.0%

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

Compiler

Compiled 23 to 17 computations (26.1% saved)

regimes6.0ms (0.1%)

Accuracy

Total -62.1b remaining (-∞%)

Threshold costs -62.1b (-∞%)

Counts

2 → 1

Calls

Call 1

Inputs
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))

Outputs
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

Calls

2 calls:

3.0ms	x
2.0ms	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))`

Compiler

Compiled 28 to 21 computations (25% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`sub-neg`
1×	`neg-mul-1`
1×	`+-commutative`
1×	`*-commutative`
1×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	12	19
2	14	19
3	15	19

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

Outputs
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

Compiler

Compiled 7 to 5 computations (28.6% saved)

soundness671.0ms (9%)

Rules

2290×	`fma-def`
1953×	`associate-+r+`
1706×	`associate-+l+`
642×	`distribute-lft-in`
173×	`distribute-lft-out`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	67
1	31	57
2	47	57
3	74	57
4	111	57
5	153	57
6	178	57
7	203	57
8	237	57
9	335	57
10	397	57
11	463	57
12	508	57
13	516	57
14	518	57
15	740	57
16	1001	57
17	1106	57
18	1270	57
19	1276	57
20	1276	57
21	2118	57
22	2373	57
23	2527	57
24	2654	57
25	2669	57
26	2669	57
27	4423	57
28	4423	57
29	4423	57
30	4423	57
31	4423	57
32	7612	57
33	7661	57
34	7843	57
35	7935	57
36	7946	57

Stop Event

1×	node limit

Compiler

Compiled 34 to 23 computations (32.4% saved)

end0.0ms (0%)

preprocess32.0ms (0.4%)

Compiler: Compiled 68 to 52 computations (23.5% saved)

analyze456.0ms (6.1%)

sample5.5s (74.3%)

preprocess714.0ms (9.6%)

eval1.0ms (0%)

prune1.0ms (0%)

localize27.0ms (0.4%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes6.0ms (0.1%)

simplify6.0ms (0.1%)

soundness671.0ms (9%)

end0.0ms (0%)

preprocess32.0ms (0.4%)

Profiling