Metrics for symmetry log of sum of exp

analyze145.0ms (0.3%)

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%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
25%	25%	74.9%	0.1%	0%	0%	0%	4
50%	50%	50%	0.1%	0%	0%	0%	5
50%	50%	50%	0.1%	0%	0%	0%	6
50%	50%	50%	0.1%	0%	0%	0%	7
50%	50%	50%	0.1%	0%	0%	0%	8
50%	50%	50%	0.1%	0%	0%	0%	9
50%	50%	50%	0.1%	0%	0%	0%	10
50%	50%	50%	0.1%	0%	0%	0%	11
50%	50%	50%	0.1%	0%	0%	0%	12

Compiler

Compiled 18 to 14 computations (22.2% saved)

sample52.9s (99.6%)

Results

259.0ms	4351×	0	valid-sollya
268.0ms	4351×	0	valid-baseline
258.0ms	4351×	0	valid-rival
442.0ms	2197×	1	valid-rival
441.0ms	2197×	1	valid-sollya
422.0ms	2197×	1	valid-baseline
776.0ms	1707×	2	valid-rival
764.0ms	1707×	2	valid-baseline
645.0ms	1707×	2	valid-sollya

Bogosity

preprocess41.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

20×	`fma-define`
12×	`sub-neg`
11×	`+-commutative`
8×	`exp-diff`
8×	`exp-sum`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	199
1	39	199
2	56	199
3	65	199
4	87	199
5	106	199
6	121	199
7	133	199
8	140	199

Stop Event

1×

saturated

Calls

Call 1

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

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

Symmetry

(sort a b)

Compiler

Compiled 8 to 6 computations (25% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	54.9%	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))

Compiler

Compiled 16 to 12 computations (25% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	25
1	13	25

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness0.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 8 to 6 computations (25% saved)

preprocess18.0ms (0%)

Remove: (sort a b)
Compiler: Compiled 64 to 48 computations (25% saved)

symmetry log of sum of exp

analyze145.0ms (0.3%)

sample52.9s (99.6%)

preprocess41.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify1.0ms (0%)

soundness0.0ms (0%)

preprocess18.0ms (0%)

end0.0ms (0%)

Profiling