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)

Precisions

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

Operation ival-exp, time spent: 0.0ms, 0.0% of total-time

Operation ival-add, time spent: 0.0ms, 0.0% of total-time

Operation ival-log, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.4s (67%)

Results

1.2s	7247×	valid
136.0ms	1008×	infinite
0.0ms	1×	valid

Precisions

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

Operation ival-log, time spent: 350.0ms, 51.0% of total-time

Operation ival-add, time spent: 187.0ms, 27.0% of total-time

Operation ival-exp, time spent: 136.0ms, 20.0% of total-time

Operation const, time spent: 13.0ms, 2.0% of total-time

Bogosity

preprocess309.0ms (14.8%)

Algorithm

1×	egg-herbie

Rules

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

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
156	20	(2.9757496629239324e-157 3.7126728621478334e-44)	10	(1.5341114806766373e-159 6.368348360278429e+128)	`(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))`
0	0	-	0	-	`(log.f64 b)`
0	0	-	0	-	`(+.f64 (log.f64 a) (log.f64 b))`
0	0	-	0	-	`(log.f64 a)`
0	0	-	0	-	`b`
0	0	-	0	-	`a`

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 48 to 20 computations (58.3% saved)

Precisions

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

Operation ival-log, time spent: 19.0ms, 56.0% of total-time

Operation ival-add, time spent: 9.0ms, 27.0% of total-time

Operation ival-exp, time spent: 5.0ms, 15.0% of total-time

Operation const, time spent: 1.0ms, 3.0% of total-time

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)

Compiler

Compiled 5 to 3 computations (40% saved)

localize21.0ms (1%)

Compiler: Compiled 8 to 4 computations (50% saved)
Precisions: Click to see histograms. Total time spent on operations: 3.0ms
Operation ival-mult, time spent: 2.0ms, 76.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

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)

regimes16.0ms (0.8%)

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:

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

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 29 to 21 computations (27.6% saved)

simplify2.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)

soundness304.0ms (14.5%)

Rules

6120×	`fma-def`
2820×	`associate-+r+`
2472×	`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	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 (67%)

preprocess309.0ms (14.8%)

eval0.0ms (0%)

prune1.0ms (0%)

localize21.0ms (1%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes16.0ms (0.8%)

simplify2.0ms (0.1%)

soundness304.0ms (14.5%)

end0.0ms (0%)

preprocess37.0ms (1.8%)

Profiling