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 (60.5%)

Results

1.2s	7227×	body	256	valid
191.0ms	1029×	body	256	infinite

Bogosity

preprocess319.0ms (14.2%)

Algorithm

1×	egg-herbie

Rules

2854×	`fma-def`
1443×	`associate-+r+`
1262×	`associate-+l+`
565×	`distribute-lft-in`
478×	`exp-sum`

Problems

191×	`(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))`
59×	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	283	99
5	346	99
6	522	99
7	673	99
8	948	99
9	974	99
10	974	99
11	1120	99
12	1237	99
13	2109	99
14	2177	99
15	2179	99
16	2179	99
17	2711	99
18	3057	99
19	3638	99
20	3854	99
21	3860	99
22	3860	99
23	3872	99
24	5918	99
25	6173	99
26	6327	99
27	6454	99
28	6469	99
29	6677	99
30	7436	99
31	7436	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)

localize22.0ms (1%)

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)

regimes28.0ms (1.2%)

Accuracy

Total -5.1b remaining (-∞%)

Threshold costs -5.1b (-∞%)

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:

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

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)

soundness471.0ms (20.9%)

Rules

2854×	`fma-def`
1443×	`associate-+r+`
1262×	`associate-+l+`
565×	`distribute-lft-in`
478×	`exp-sum`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	183
1	44	99
2	85	99
3	142	99
4	283	99
5	346	99
6	522	99
7	673	99
8	948	99
9	974	99
10	974	99
11	1120	99
12	1237	99
13	2109	99
14	2177	99
15	2179	99
16	2179	99
17	2711	99
18	3057	99
19	3638	99
20	3854	99
21	3860	99
22	3860	99
23	3872	99
24	5918	99
25	6173	99
26	6327	99
27	6454	99
28	6469	99
29	6677	99
30	7436	99
31	7436	99

Stop Event

1×	node limit

Compiler

Compiled 29 to 13 computations (55.2% saved)

end0.0ms (0%)

preprocess45.0ms (2%)

Remove

(sort a b)

(negabs b)

(negabs a)

Compiler

Compiled 96 to 60 computations (37.5% saved)

analyze1.0ms (0%)

sample1.4s (60.5%)

preprocess319.0ms (14.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize22.0ms (1%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes28.0ms (1.2%)

simplify2.0ms (0.1%)

soundness471.0ms (20.9%)

end0.0ms (0%)

preprocess45.0ms (2%)

Profiling