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.2s (61.8%)

Results

1.0s	7239×	body	256	valid
152.0ms	1017×	body	256	infinite

Bogosity

preprocess208.0ms (10.8%)

Algorithm

1×	egg-herbie

Rules

5708×	`fma-def`
2814×	`associate-+r+`
2460×	`associate-+l+`
1130×	`distribute-lft-in`
946×	`exp-sum`

Problems

187×	`(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))`
63×	No Errors
6×	`(+.f64 (log.f64 a) (log.f64 b))`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	183
1	44	99
2	85	99
3	142	99
4	280	99
5	343	99
6	519	99
7	670	99
8	945	99
9	971	99
10	971	99
11	1115	99
12	1232	99
13	2104	99
14	2172	99
15	2174	99
16	2174	99
17	2684	99
18	3030	99
19	3611	99
20	3827	99
21	3833	99
22	3833	99
23	3845	99
24	5847	99
25	6102	99
26	6256	99
27	6383	99
28	6398	99
29	6606	99
30	7360	99
31	7360	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))
(neg.f64 (*.f64 b 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))
(neg.f64 (*.f64 b 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.8%)

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)

regimes24.0ms (1.2%)

Accuracy

Total -4.9b remaining (-∞%)

Threshold costs -4.9b (-∞%)

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:

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

soundness432.0ms (22.3%)

Rules

5708×	`fma-def`
2814×	`associate-+r+`
2460×	`associate-+l+`
1130×	`distribute-lft-in`
946×	`exp-sum`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	183
1	44	99
2	85	99
3	142	99
4	280	99
5	343	99
6	519	99
7	670	99
8	945	99
9	971	99
10	971	99
11	1115	99
12	1232	99
13	2104	99
14	2172	99
15	2174	99
16	2174	99
17	2684	99
18	3030	99
19	3611	99
20	3827	99
21	3833	99
22	3833	99
23	3845	99
24	5847	99
25	6102	99
26	6256	99
27	6383	99
28	6398	99
29	6606	99
30	7360	99
31	7360	99

Stop Event

1×	node limit

Compiler

Compiled 29 to 13 computations (55.2% saved)

end0.0ms (0%)

preprocess55.0ms (2.9%)

Remove

(sort a b)

(negabs b)

(negabs a)

Compiler

Compiled 96 to 60 computations (37.5% saved)

analyze1.0ms (0%)

sample1.2s (61.8%)

preprocess208.0ms (10.8%)

eval0.0ms (0%)

prune1.0ms (0%)

localize16.0ms (0.8%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes24.0ms (1.2%)

simplify1.0ms (0.1%)

soundness432.0ms (22.3%)

end0.0ms (0%)

preprocess55.0ms (2.9%)

Profiling