Metrics for Example from Robby

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze506.0ms (56.4%)

Memory

7.8MiB live, 135.5MiB allocated

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
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
21.9%	21.8%	78%	0.1%	0%	0%	0%	9
32.8%	32.8%	67.1%	0.1%	0%	0%	0%	10
32.8%	32.8%	67.1%	0.1%	0%	0%	0%	11
35.2%	35.1%	64.7%	0.1%	0%	0%	0%	12

Compiler

Compiled 30 to 19 computations (36.7% saved)

sample58.0ms (6.5%)

Memory

0.8MiB live, 15.9MiB allocated

Samples

48.0ms

260×

valid

Precisions

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

ival-sin: 14.0ms (34.1% of total)

ival-cos: 10.0ms (24.3% of total)

ival-mult: 6.0ms (14.6% of total)

ival-tan: 4.0ms (9.7% of total)

ival-div: 3.0ms (7.3% of total)

ival-add: 1.0ms (2.4% of total)

ival-fabs: 1.0ms (2.4% of total)

ival-atan: 1.0ms (2.4% of total)

adjust: 0.0ms (0% of total)

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

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

Bogosity

explain66.0ms (7.4%)

Memory

-6.1MiB live, 18.2MiB allocated

Confusion

	Predicted +	Predicted -
+	0	0
-	103	153

Precision

0.0

Recall

0/0

Samples

49.0ms

256×

valid

Compiler

Compiled 86 to 53 computations (38.4% saved)

Precisions

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

ival-sin: 13.0ms (32.2% of total)

ival-cos: 9.0ms (22.3% of total)

ival-mult: 6.0ms (14.9% of total)

ival-tan: 4.0ms (9.9% of total)

ival-div: 3.0ms (7.4% of total)

ival-add: 1.0ms (2.5% of total)

ival-fabs: 1.0ms (2.5% of total)

ival-atan: 1.0ms (2.5% of total)

adjust: 0.0ms (0% of total)

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

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

preprocess243.0ms (27.1%)

Memory

-0.8MiB live, 6.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	87	273
1	179	273
2	339	267
3	516	267
4	607	267
5	697	267
6	1008	267
7	1301	267
8	2044	267
9	3863	267
10	5432	267
11	5992	267
12	6307	267
13	6480	267
14	6531	267
15	7072	267
16	7431	267
17	7503	267
18	7524	267
19	7545	267
20	7560	267
21	7566	267
22	7566	267
23	7658	267
0	17	28
0	31	28
1	42	28
2	59	28
3	63	28
0	63	27

Stop Event

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

Calls

Call 1

Inputs
(fabs.f64 (+.f64 (.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (.f64 (.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))

Outputs

(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))

(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (/.f64 (/.f64 eh (tan.f64 t)) ew))) (*.f64 (cos.f64 t) eh) (*.f64 (cos.f64 (atan.f64 (/.f64 (/.f64 eh (tan.f64 t)) ew))) (*.f64 (sin.f64 t) ew))))

Compiler

Compiled 28 to 17 computations (39.3% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Memory

0.6MiB live, 0.6MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.8%	(fabs.f64 (+.f64 (.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (.f64 (.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))

Compiler

Compiled 56 to 34 computations (39.3% saved)

simplify21.0ms (2.3%)

Memory

1.7MiB live, 18.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	28
1	22	28

Stop Event

1×

saturated

Calls

Call 1

Inputs
(fabs.f64 (+.f64 (.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (.f64 (.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))

Outputs

(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))

(fabs.f64 (+.f64 (*.f64 (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (*.f64 (cos.f64 t) eh)) (*.f64 (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (*.f64 (sin.f64 t) ew))))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 28 to 17 computations (39.3% saved)

preprocess1.0ms (0.1%)

Memory: 0.5MiB live, 0.5MiB allocated
Compiler: Compiled 112 to 68 computations (39.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze506.0ms (56.4%)

sample58.0ms (6.5%)

explain66.0ms (7.4%)

preprocess243.0ms (27.1%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify21.0ms (2.3%)

soundness0.0ms (0%)

preprocess1.0ms (0.1%)

end0.0ms (0%)

Profiling