Metrics for bug500, discussion (missed optimization)

analyze111.0ms (0.2%)

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 14 to 10 computations (28.6% saved)

sample55.0s (99.5%)

Results

1.9s	5947×	2	valid-rival
3.6s	5947×	2	valid-rival-baseline
3.1s	5947×	2	valid-sollya
298.0ms	1989×	1	valid-rival-baseline
311.0ms	1989×	1	valid-rival
331.0ms	1989×	1	valid-sollya
20.0ms	320×	0	valid-sollya
20.0ms	320×	0	valid-rival
19.0ms	320×	0	valid-rival-baseline

Bogosity

preprocess155.0ms (0.3%)

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)

Compiler

Compiled 6 to 4 computations (33.3% saved)

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.6%	(log.f64 (/.f64 (sinh.f64 x) x))

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify1.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.1%)

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

bug500, discussion (missed optimization)

analyze111.0ms (0.2%)

sample55.0s (99.5%)

preprocess155.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify1.0ms (0%)

soundness0.0ms (0%)

preprocess32.0ms (0.1%)

end0.0ms (0%)

Profiling