Metrics for Henrywood and Agarwal, Equation (13)

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze505.0ms (30.8%)

Memory

3.0MiB live, 208.1MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.7%	0.3%	0%	0%	0%	0
0%	0%	99.7%	0.3%	0%	0%	0%	1
0%	0%	99.7%	0.3%	0%	0%	0%	2
0%	0%	99.7%	0.3%	0%	0%	0%	3
0%	0%	99.7%	0.3%	0%	0%	0%	4
0%	0%	99.7%	0.3%	0%	0%	0%	5
0%	0%	99.7%	0.3%	0%	0%	0%	6
0%	0%	99.7%	0.3%	0%	0%	0%	7
0%	0%	99.7%	0.3%	0%	0%	0%	8
0%	0%	99.7%	0.3%	0%	0%	0%	9
0%	0%	99.7%	0.3%	0%	0%	0%	10
0%	0%	99.7%	0.3%	0%	0%	0%	11
0%	0%	99.7%	0.3%	0%	0%	0%	12

Compiler

Compiled 54 to 23 computations (57.4% saved)

sample105.0ms (6.4%)

Memory

7.3MiB live, 37.3MiB allocated

Samples

29.0ms	280×	0	invalid
16.0ms	54×	2	valid
14.0ms	134×	0	valid
12.0ms	31×	3	valid
8.0ms	41×	1	valid

Precisions

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

ival-mult: 32.0ms (53.3% of total)

ival-div: 9.0ms (15% of total)

adjust: 7.0ms (11.7% of total)

ival-sqrt: 5.0ms (8.3% of total)

ival-sub: 3.0ms (5% of total)

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

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

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

exact: 0.0ms (0% of total)

Bogosity

explain810.0ms (49.5%)

Memory

4.8MiB live, 285.7MiB allocated

Confusion

	Predicted +	Predicted -
+	22	175
-	51	8

Precision

0.3013698630136986

Recall

0.1116751269035533

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Samples

185.0ms	648×	2	valid
166.0ms	1 584×	0	valid
144.0ms	372×	3	valid
100.0ms	468×	1	valid

Compiler

Compiled 1 896 to 780 computations (58.9% saved)

Precisions

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

ival-mult: 224.0ms (48.2% of total)

adjust: 75.0ms (16.1% of total)

ival-div: 67.0ms (14.4% of total)

ival-sqrt: 47.0ms (10.1% of total)

ival-sub: 23.0ms (4.9% of total)

ival-add: 23.0ms (4.9% of total)

ival-true: 3.0ms (0.6% of total)

exact: 2.0ms (0.4% of total)

ival-assert: 1.0ms (0.2% of total)

preprocess188.0ms (11.5%)

Memory

-1.3MiB live, 54.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	213	1428
1	981	1422
2	5662	1404
0	21	52
0	35	52
1	76	52
2	305	52
3	3243	46
4	3956	46
5	5771	42
0	8095	41

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

Calls

Call 1

Inputs
(.f64 (/.f64 c0 (.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))

Inputs

(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))

Outputs
(.f64 (/.f64 c0 (.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))
(.f64 (fma.f64 (/.f64 (.f64 d c0) (.f64 (.f64 D w) D)) (/.f64 d h) (sqrt.f64 (fma.f64 (.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (/.f64 c0 (.f64 h w))) (/.f64 c0 (.f64 h w)) (.f64 (neg.f64 M) M)))) (/.f64 c0 (*.f64 w #s(literal 2 binary64))))

Outputs

(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))

(*.f64 (fma.f64 (/.f64 (*.f64 d c0) (*.f64 (*.f64 D w) D)) (/.f64 d h) (sqrt.f64 (fma.f64 (*.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (/.f64 c0 (*.f64 h w))) (/.f64 c0 (*.f64 h w)) (*.f64 (neg.f64 M) M)))) (/.f64 c0 (*.f64 w #s(literal 2 binary64))))

Symmetry

(abs M)

(abs d)

(abs D)

Compiler

Compiled 52 to 21 computations (59.6% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated
Compiler: Compiled 0 to 6 computations (-∞% saved)

prune1.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	23.7%	(.f64 (/.f64 c0 (.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))

Status

Accuracy

Program

23.7%

(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))

Compiler

Compiled 104 to 42 computations (59.6% saved)

simplify20.0ms (1.2%)

Memory

2.4MiB live, 18.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	52
1	32	52
2	40	52
3	44	52
4	46	52

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 (/.f64 c0 (.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))

Inputs

(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))

Outputs
(.f64 (/.f64 c0 (.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))
(.f64 (+.f64 (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 d d) c0) (.f64 (.f64 D D) (.f64 h w))) (/.f64 (.f64 (.f64 d d) c0) (.f64 (.f64 D D) (.f64 h w)))) (.f64 M M))) (/.f64 (.f64 (.f64 d d) c0) (.f64 (.f64 D D) (.f64 h w)))) (/.f64 c0 (*.f64 w #s(literal 2 binary64))))

Outputs

(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))

(*.f64 (+.f64 (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 (*.f64 d d) c0) (*.f64 (*.f64 D D) (*.f64 h w))) (/.f64 (*.f64 (*.f64 d d) c0) (*.f64 (*.f64 D D) (*.f64 h w)))) (*.f64 M M))) (/.f64 (*.f64 (*.f64 d d) c0) (*.f64 (*.f64 D D) (*.f64 h w)))) (/.f64 c0 (*.f64 w #s(literal 2 binary64))))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 52 to 21 computations (59.6% saved)

preprocess8.0ms (0.5%)

Memory

-3.2MiB live, 5.6MiB allocated

Remove

(abs D)

(abs d)

(abs M)

Compiler

Compiled 832 to 336 computations (59.6% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze505.0ms (30.8%)

sample105.0ms (6.4%)

explain810.0ms (49.5%)

preprocess188.0ms (11.5%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify20.0ms (1.2%)

soundness0.0ms (0%)

preprocess8.0ms (0.5%)

end0.0ms (0%)

Profiling