Metrics for bug500, discussion (missed optimization)

analyze125.0ms (1.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
25%	25%	75%	0%	0%	0%	0%	3
37.5%	37.5%	62.5%	0%	0%	0%	0%	4
43.8%	43.7%	56.2%	0%	0%	0%	0%	5
46.9%	46.9%	53.1%	0%	0%	0%	0%	6
48.4%	48.4%	51.5%	0%	0%	0%	0%	7
49.2%	49.2%	50.8%	0%	0%	0%	0%	8
50.4%	50.4%	49.6%	0%	0%	0%	0%	9
51%	51%	49%	0%	0%	0%	0%	10
51.3%	51.2%	48.7%	0%	0%	0%	0%	11
51.3%	51.3%	48.7%	0%	0%	0%	0%	12

Compiler

Compiled 7 to 5 computations (28.6% saved)

Precisions

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

ival-log: 21.0ms (42.3% of total)

ival-div: 16.0ms (32.2% of total)

ival-sinh: 11.0ms (22.1% of total)

const: 1.0ms (2% of total)

sample10.5s (94.3%)

Results

5.3s	7935×	8192	exit
3.4s	4260×	2048	valid
733.0ms	1962×	1024	valid
165.0ms	964×	512	valid
84.0ms	1070×	256	valid

Precisions

Click to see histograms. Total time spent on operations: 8.4s

ival-log: 5.8s (68.6% of total)

ival-sinh: 1.8s (21.1% of total)

ival-div: 811.0ms (9.7% of total)

const: 51.0ms (0.6% of total)

Bogosity

preprocess165.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

634×	`fma-neg`
348×	`times-frac`
297×	`div-sub`
192×	`distribute-lft-in`
171×	`associate-/r*`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	14	96
1	31	96
2	69	96
3	183	88
4	522	88
5	1526	88
6	2805	88
7	3515	88
8	3977	88
9	4015	88
10	4025	88
11	4050	88

Stop Event

1×

saturated

Calls

Call 1

Inputs
(log.f64 (/.f64 (sinh.f64 x) x))
(log.f64 (/.f64 (sinh.f64 x) x))
(log.f64 (/.f64 (sinh.f64 (neg.f64 x)) (neg.f64 x)))
(neg.f64 (log.f64 (/.f64 (sinh.f64 (neg.f64 x)) (neg.f64 x))))

Outputs
(log.f64 (/.f64 (sinh.f64 x) x))
(log.f64 (/.f64 (sinh.f64 x) x))
(log.f64 (/.f64 (sinh.f64 (neg.f64 x)) (neg.f64 x)))
(log.f64 (/.f64 (sinh.f64 x) x))
(neg.f64 (log.f64 (/.f64 (sinh.f64 (neg.f64 x)) (neg.f64 x))))
(neg.f64 (log.f64 (/.f64 (sinh.f64 x) x)))

Symmetry

(abs x)

explain310.0ms (2.8%)

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
136	-	-	`(log.f64 (/.f64 (sinh.f64 x) x))`
0	-	-	`x`
0	-	-	`(/.f64 (sinh.f64 x) x)`
0	-	-	`(sinh.f64 x)`

Results

217.0ms	280×	2048	valid
53.0ms	140×	1024	valid
8.0ms	48×	512	valid
4.0ms	44×	256	valid

Compiler

Compiled 34 to 14 computations (58.8% saved)

Precisions

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

ival-log: 157.0ms (67.6% of total)

ival-sinh: 59.0ms (25.4% of total)

ival-div: 15.0ms (6.5% of total)

const: 1.0ms (0.4% of total)

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	52.2%	(log.f64 (/.f64 (sinh.f64 x) x))

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	21

Stop Event

1×

saturated

Calls

Call 1

Inputs
(log.f64 (/.f64 (sinh.f64 x) x))

Outputs
(log.f64 (/.f64 (sinh.f64 x) x))

soundness0.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 6 to 4 computations (33.3% saved)

preprocess32.0ms (0.3%)

Remove: (abs x)
Compiler: Compiled 110 to 66 computations (40% saved)

bug500, discussion (missed optimization)

analyze125.0ms (1.1%)

sample10.5s (94.3%)

preprocess165.0ms (1.5%)

explain310.0ms (2.8%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0%)

soundness0.0ms (0%)

preprocess32.0ms (0.3%)

end0.0ms (0%)

Profiling