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

ival-log: 0.0ms (0% of total)

ival-add: 0.0ms (0% of total)

ival-exp: 0.0ms (0% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

sample1.1s (81.7%)

Results

823.0ms

8256×

valid

Precisions

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

ival-log: 280.0ms (56.9% of total)

ival-add: 116.0ms (23.6% of total)

ival-exp: 86.0ms (17.5% of total)

const: 8.0ms (1.6% of total)

backward-pass: 3.0ms (0.6% of total)

Bogosity

preprocess13.0ms (1%)

Algorithm

2×	egg-herbie

Rules

28×	`distribute-lft-neg-in`
18×	`neg-sub0`
16×	`neg-mul-1`
14×	`+-commutative`
12×	`distribute-rgt-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	38
1	38	20
2	71	20
3	112	20
4	164	20
5	170	20
0	6	6
1	10	3
2	13	3
0	13	3

Stop Event

1×	iter limit
1×	saturated
1×	saturated

Calls

Call 1

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

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

Call 2

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

Outputs
(exp (+ (log a) (log b)))
(* a b)
(exp (+ (log (neg a)) (log b)))
(* a (neg b))
(exp (+ (log a) (log (neg b))))
(* a (neg b))
(neg (exp (+ (log (neg a)) (log b))))
(* a b)
(neg (exp (+ (log a) (log (neg b)))))
(* a b)
(exp (+ (log b) (log a)))
(* a b)

Symmetry

(negabs a)

(negabs b)

(sort a b)

explain102.0ms (7.6%)

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
156	18	(7.63909759769486e-51 7.366259507565522e+150)	6	(1.4756552576228273e-15 1.8664491540759195e-14)	`(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))`
6	0	-	6	(3.3551362112817663e-54 7.782970707951444e+52)	`(+.f64 (log.f64 a) (log.f64 b))`
0	0	-	0	-	`(log.f64 b)`
0	0	-	0	-	`(log.f64 a)`
0	0	-	0	-	`b`
0	0	-	0	-	`a`

Results

50.0ms

512×

valid

Compiler

Compiled 48 to 20 computations (58.3% saved)

Precisions

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

ival-log: 23.0ms (73% of total)

ival-exp: 5.0ms (15.9% of total)

ival-add: 3.0ms (9.5% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

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 a b)

Compiler

Compiled 5 to 3 computations (40% saved)

localize25.0ms (1.8%)

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	b
✓	cost-diff	0	a
✓	cost-diff	0	(*.f64 a b)
✓	accuracy	100.0%	(*.f64 a b)

Rules

4×	`-lowering-.f32`
4×	`-lowering-.f64`
2×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	5
1	4	5
0	4	5

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(* a b)
a
b

Outputs
(* a b)
(*.f64 a b)
a
b

Results

13.0ms

256×

valid

Compiler

Compiled 8 to 4 computations (50% saved)

Precisions

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

ival-mult: 2.0ms (76.7% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series6.0ms (0.4%)

Counts

3 → 48

Calls

Call 1

Inputs
#<alt (* a b)>
#<alt a>
#<alt b>

Outputs
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt a>
#<alt a>
#<alt a>
#<alt a>
#<alt a>
#<alt a>
#<alt a>
#<alt a>
#<alt a>
#<alt a>
#<alt a>
#<alt a>
#<alt b>
#<alt b>
#<alt b>
#<alt b>
#<alt b>
#<alt b>
#<alt b>
#<alt b>
#<alt b>
#<alt b>
#<alt b>
#<alt b>

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	b	@	-inf	(* a b)
0.0ms	a	@	-inf	(* a b)
0.0ms	a	@	inf	(* a b)
0.0ms	a	@	0	(* a b)
0.0ms	b	@	inf	(* a b)

rewrite46.0ms (3.5%)

Algorithm

1×	batch-egg-rewrite

Rules

4×	`-lowering-.f32`
4×	`-lowering-.f64`
2×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	5
1	4	5
0	4	5

Stop Event

1×	iter limit
1×	saturated

Counts

3 → 4

Calls

Call 1

Inputs
(* a b)
a
b

Outputs
(*.f64 a b)
(*.f64 b a)
a
b

simplify5.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

4×	`-lowering-.f32`
4×	`-lowering-.f64`
2×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	96
1	4	96
0	4	96

Stop Event

1×	iter limit
1×	saturated

Counts

48 → 48

Calls

Call 1

Inputs
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
a
a
a
a
a
a
a
a
a
a
a
a
b
b
b
b
b
b
b
b
b
b
b
b

Outputs
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
a
a
a
a
a
a
a
a
a
a
a
a
b
b
b
b
b
b
b
b
b
b
b
b

eval4.0ms (0.3%)

Compiler: Compiled 158 to 4 computations (97.5% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	52	0	52
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	1	53

Accuracy

100.0%

Counts

53 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 a b)

Compiler

Compiled 16 to 10 computations (37.5% saved)

regimes11.0ms (0.8%)

Accuracy

Total -5.1b remaining (-∞%)

Threshold costs -5.1b (-∞%)

Counts

2 → 1

Calls

Call 1

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

Outputs
(*.f64 a b)

Calls

6 calls:

3.0ms	(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
1.0ms	(log.f64 a)
1.0ms	(log.f64 b)
1.0ms	(+.f64 (log.f64 a) (log.f64 b))
1.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 29 to 21 computations (27.6% saved)

soundness0.0ms (0%)

Stop Event

1×

done

Compiler

Compiled 5 to 3 computations (40% saved)

preprocess32.0ms (2.4%)

Remove

(sort a b)

(negabs b)

(negabs a)

Compiler

Compiled 96 to 60 computations (37.5% saved)

Exp of sum of logs

analyze1.0ms (0%)

sample1.1s (81.7%)

preprocess13.0ms (1%)

explain102.0ms (7.6%)

eval0.0ms (0%)

prune1.0ms (0%)

localize25.0ms (1.8%)

series6.0ms (0.4%)

rewrite46.0ms (3.5%)

simplify5.0ms (0.3%)

eval4.0ms (0.3%)

prune1.0ms (0.1%)

regimes11.0ms (0.8%)

soundness0.0ms (0%)

preprocess32.0ms (2.4%)

end0.0ms (0%)

Profiling