Metrics for Exp of sum of logs

analyze1.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	50%	0.1%	0%	50%	0%	2
100%	25%	0%	0.1%	0%	74.9%	0%	3

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.4s (68.7%)

Results

1.3s	7236×	body	256	valid
155.0ms	1020×	body	256	infinite

Bogosity

preprocess272.0ms (13%)

Algorithm

1×	egg-herbie

Rules

3060×	`fma-def`
1410×	`associate-+r+`
1236×	`associate-+l+`
839×	`exp-sum`
282×	`log-prod`

Problems

177×	`(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))`
72×	No Errors
7×	`(+.f64 (log.f64 a) (log.f64 b))`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	183
1	44	99
2	80	99
3	127	99
4	220	99
5	279	99
6	369	99
7	478	99
8	565	99
9	591	99
10	591	99
11	737	99
12	919	99
13	1126	99
14	1194	99
15	1196	99
16	1196	99
17	1730	99
18	2427	99
19	2874	99
20	3090	99
21	3096	99
22	3096	99
23	3108	99
24	5166	99
25	5421	99
26	5669	99
27	5802	99
28	5817	99
29	6025	99
30	6465	99
31	6465	99

Stop Event

1×	node limit

Calls

Call 1

Inputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(exp.f64 (+.f64 (log.f64 (neg.f64 a)) (log.f64 b)))
(exp.f64 (+.f64 (log.f64 a) (log.f64 (neg.f64 b))))
(neg.f64 (exp.f64 (+.f64 (log.f64 (neg.f64 a)) (log.f64 b))))
(neg.f64 (exp.f64 (+.f64 (log.f64 a) (log.f64 (neg.f64 b)))))
(exp.f64 (+.f64 (log.f64 b) (log.f64 a)))

Outputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(*.f64 b a)
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(*.f64 b a)
(exp.f64 (+.f64 (log.f64 (neg.f64 a)) (log.f64 b)))
(exp.f64 (+.f64 (log.f64 b) (log.f64 (neg.f64 a))))
(*.f64 b (neg.f64 a))
(*.f64 a (neg.f64 b))
(exp.f64 (+.f64 (log.f64 a) (log.f64 (neg.f64 b))))
(exp.f64 (+.f64 (log.f64 b) (log.f64 (neg.f64 a))))
(*.f64 b (neg.f64 a))
(*.f64 a (neg.f64 b))
(neg.f64 (exp.f64 (+.f64 (log.f64 (neg.f64 a)) (log.f64 b))))
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(*.f64 b a)
(neg.f64 (exp.f64 (+.f64 (log.f64 a) (log.f64 (neg.f64 b)))))
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(*.f64 b a)
(exp.f64 (+.f64 (log.f64 b) (log.f64 a)))
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(*.f64 b a)

Symmetry

(negabs a)

(negabs b)

(sort a b)

Compiler

Compiled 28 to 13 computations (53.6% saved)

eval0.0ms (0%)

Compiler: Compiled 5 to 3 computations (40% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 b a)
▶	100.0%	(*.f64 b a)

Compiler

Compiled 10 to 6 computations (40% saved)

localize20.0ms (0.9%)

Compiler: Compiled 8 to 4 computations (50% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

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 b a)

Compiler

Compiled 16 to 10 computations (37.5% saved)

regimes19.0ms (0.9%)

Accuracy

Total -4.8b remaining (-∞%)

Threshold costs -4.8b (-∞%)

Counts

2 → 1

Calls

Call 1

Inputs
(*.f64 b a)
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))

Outputs
(*.f64 b a)

Calls

6 calls:

4.0ms	(+.f64 (log.f64 a) (log.f64 b))
3.0ms	(log.f64 a)
3.0ms	(log.f64 b)
3.0ms	a
3.0ms	b

Results

Accuracy	Segments	Branch
100.0%	1	`a`
100.0%	1	`b`
100.0%	1	`(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))`
100.0%	1	`(+.f64 (log.f64 a) (log.f64 b))`
100.0%	1	`(log.f64 a)`
100.0%	1	`(log.f64 b)`

Compiler

Compiled 40 to 28 computations (30% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	9	13

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 b a)

Outputs
(*.f64 b a)

Compiler

Compiled 5 to 3 computations (40% saved)

soundness302.0ms (14.5%)

Rules

3060×	`fma-def`
1410×	`associate-+r+`
1236×	`associate-+l+`
839×	`exp-sum`
282×	`log-prod`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	183
1	44	99
2	80	99
3	127	99
4	220	99
5	279	99
6	369	99
7	478	99
8	565	99
9	591	99
10	591	99
11	737	99
12	919	99
13	1126	99
14	1194	99
15	1196	99
16	1196	99
17	1730	99
18	2427	99
19	2874	99
20	3090	99
21	3096	99
22	3096	99
23	3108	99
24	5166	99
25	5421	99
26	5669	99
27	5802	99
28	5817	99
29	6025	99
30	6465	99
31	6465	99

Stop Event

1×	node limit

Compiler

Compiled 29 to 13 computations (55.2% saved)

end0.0ms (0%)

preprocess37.0ms (1.8%)

Remove

(sort a b)

(negabs b)

(negabs a)

Compiler

Compiled 96 to 60 computations (37.5% saved)

analyze1.0ms (0%)

sample1.4s (68.7%)

preprocess272.0ms (13%)

eval0.0ms (0%)

prune1.0ms (0%)

localize20.0ms (0.9%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes19.0ms (0.9%)

simplify2.0ms (0.1%)

soundness302.0ms (14.5%)

end0.0ms (0%)

preprocess37.0ms (1.8%)

Profiling