Metrics for ab-angle->ABCF C

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.1MiB live, 0.1MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 23 to 12 computations (47.8% saved)

sample32.0ms (1.4%)

Memory

2.4MiB live, 10.1MiB allocated

Samples

25.0ms

260×

valid

Precisions

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

ival-cosu: 6.0ms (31.1% of total)

ival-sinu: 5.0ms (25.9% of total)

ival-pow2: 4.0ms (20.7% of total)

ival-mult: 3.0ms (15.6% of total)

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

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

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

Bogosity

explain2.1s (90.3%)

Memory

10.4MiB live, 1 088.6MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
126	-	-	`(sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))`
126	-	-	`(cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))`
0	-	-	`(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))`
0	-	-	`(pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))`
0	-	-	`(/.f64 angle #s(literal 180 binary64))`
0	-	-	`(pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))`
0	-	-	`a`
0	-	-	`(.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))`
0	-	-	`#s(literal 180 binary64)`
0	-	-	`angle`
0	-	-	`(*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))`
0	-	-	`#s(literal 2 binary64)`
0	-	-	`b`
0	-	-	`(.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))`
0	-	-	`(PI.f64)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`(cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))`	sensitivity	126	0
`sin.f64`	`(sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))`	sensitivity	126	0

Confusion

	Predicted +	Predicted -
+	63	0
-	63	130

Precision

0.5

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	63	0	0
-	63	0	130

Precision?

0.5

Recall?

1.0

Freqs

test

number	freq
0	130
2	126

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Total Time

36.292724609375

Average Time

0.1417684555053711

Samples

791.0ms

6 144×

valid

Compiler

Compiled 3 288 to 768 computations (76.6% saved)

Precisions

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

ival-sinu: 136.0ms (23.7% of total)

ival-cosu: 128.0ms (22.3% of total)

ival-mult: 105.0ms (18.3% of total)

ival-pow2: 102.0ms (17.8% of total)

ival-div: 45.0ms (7.8% of total)

ival-add: 24.0ms (4.2% of total)

ival-pi: 20.0ms (3.5% of total)

ival-true: 5.0ms (0.9% of total)

exact: 5.0ms (0.9% of total)

ival-assert: 2.0ms (0.3% of total)

preprocess158.0ms (6.8%)

Memory

-6.1MiB live, 6.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	198
1	126	192
2	356	192
3	1062	192
4	1694	192
5	2309	192
6	3188	192
7	3630	192
8	3960	192
9	4155	192
10	4250	192
11	4328	192
12	4956	192
13	5170	192
14	5220	192
15	5236	192
16	5236	192
17	5236	192
18	5236	192
19	5246	192
0	15	21
0	25	21
1	33	21
2	59	21
3	81	21
4	82	21
0	82	21

Stop Event

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

Calls

Call 1

Inputs
(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))

Inputs

(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))

Outputs
(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64))) b) #s(literal 2 binary64)) (pow.f64 (.f64 (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64))) a) #s(literal 2 binary64)))

Outputs

(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))

(+.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64))) b) #s(literal 2 binary64)) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64))) a) #s(literal 2 binary64)))

Symmetry

(abs angle)

(abs b)

(abs a)

Compiler

Compiled 21 to 15 computations (28.6% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	80.3%	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))

Status

Accuracy

Program

80.3%

(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))

Compiler

Compiled 42 to 30 computations (28.6% saved)

simplify24.0ms (1%)

Memory

-5.6MiB live, 18.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	21
1	19	21

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))

Inputs

(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))

Outputs
(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64))) b) #s(literal 2 binary64)) (pow.f64 (.f64 (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64))) a) #s(literal 2 binary64)))

Outputs

(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))

(+.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64))) b) #s(literal 2 binary64)) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64))) a) #s(literal 2 binary64)))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 21 to 15 computations (28.6% saved)

preprocess8.0ms (0.3%)

Memory

5.0MiB live, 5.0MiB allocated

Remove

(abs a)

(abs b)

(abs angle)

Compiler

Compiled 336 to 240 computations (28.6% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample32.0ms (1.4%)

explain2.1s (90.3%)

preprocess158.0ms (6.8%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify24.0ms (1%)

soundness0.0ms (0%)

preprocess8.0ms (0.3%)

end0.0ms (0%)

Profiling