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.8s (73.9%)

Results

1.7s	7258×	body	256	valid
160.0ms	998×	body	256	infinite

Bogosity

preprocess232.0ms (9.4%)

Algorithm

1×	egg-herbie

Rules

6120×	`fma-def`
2834×	`associate-+r+`
2494×	`associate-+l+`
1678×	`exp-sum`
564×	`log-prod`

Problems

175×	`(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))`
71×	No Errors
10×	`(+.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	217	99
5	276	99
6	366	99
7	475	99
8	562	99
9	588	99
10	588	99
11	734	99
12	916	99
13	1123	99
14	1191	99
15	1193	99
16	1193	99
17	1735	99
18	2432	99
19	2879	99
20	3095	99
21	3101	99
22	3101	99
23	3113	99
24	5181	99
25	5436	99
26	5684	99
27	5817	99
28	5832	99
29	6040	99
30	6480	99
31	6480	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)

localize16.0ms (0.7%)

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

eval0.0ms (0%)

Compiler: Compiled 2 to 2 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 b a)

Compiler

Compiled 16 to 10 computations (37.5% saved)

regimes37.0ms (1.5%)

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:

22.0ms	(log.f64 b)
3.0ms	(+.f64 (log.f64 a) (log.f64 b))
3.0ms	(log.f64 a)
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)

simplify1.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-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)

soundness301.0ms (12.2%)

Rules

6120×	`fma-def`
2834×	`associate-+r+`
2494×	`associate-+l+`
1678×	`exp-sum`
564×	`log-prod`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	183
1	44	99
2	80	99
3	127	99
4	217	99
5	276	99
6	366	99
7	475	99
8	562	99
9	588	99
10	588	99
11	734	99
12	916	99
13	1123	99
14	1191	99
15	1193	99
16	1193	99
17	1735	99
18	2432	99
19	2879	99
20	3095	99
21	3101	99
22	3101	99
23	3113	99
24	5181	99
25	5436	99
26	5684	99
27	5817	99
28	5832	99
29	6040	99
30	6480	99
31	6480	99

Stop Event

1×	node limit

Compiler

Compiled 29 to 13 computations (55.2% saved)

end0.0ms (0%)

preprocess52.0ms (2.1%)

Remove

(sort a b)

(negabs b)

(negabs a)

Compiler

Compiled 66 to 42 computations (36.4% saved)

analyze1.0ms (0%)

sample1.8s (73.9%)

preprocess232.0ms (9.4%)

eval0.0ms (0%)

prune1.0ms (0%)

localize16.0ms (0.7%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes37.0ms (1.5%)

simplify1.0ms (0.1%)

soundness301.0ms (12.2%)

end0.0ms (0%)

preprocess52.0ms (2.1%)

Profiling