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 (0.4%)

Memory

2.4MiB live, 10.2MiB allocated

Samples

25.0ms

260×

valid

Precisions

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

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

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

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

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

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

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

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

Bogosity

explain8.0s (97.2%)

Memory

43.9MiB live, 4 080.2MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
123	-	-	`(sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))`
123	-	-	`(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	123	0
`sin.f64`	`(sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))`	sensitivity	123	0

Confusion

	Predicted +	Predicted -
+	63	0
-	60	133

Precision

0.5121951219512195

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	63	0	0
-	60	0	133

Precision?

0.5121951219512195

Recall?

1.0

Freqs

test

number	freq
0	133
2	123

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

35.68701171875

Average Time

0.1394023895263672

Samples

3.0s

23 040×

valid

Compiler

Compiled 12 330 to 2 880 computations (76.6% saved)

Precisions

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

ival-sinu: 520.0ms (24% of total)

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

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

ival-pow2: 378.0ms (17.4% of total)

ival-div: 175.0ms (8.1% of total)

ival-add: 93.0ms (4.3% of total)

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

exact: 21.0ms (1% of total)

ival-true: 18.0ms (0.8% of total)

ival-assert: 8.0ms (0.4% of total)

preprocess161.0ms (2%)

Memory

-0.6MiB live, 7.0MiB 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.0MiB live, 0.0MiB 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
	79.8%	(+.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

79.8%

(+.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 (0.3%)

Memory

-0.8MiB live, 18.0MiB 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.1%)

Memory

-2.7MiB live, 5.1MiB 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 (0.4%)

explain8.0s (97.2%)

preprocess161.0ms (2%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify24.0ms (0.3%)

soundness0.0ms (0%)

preprocess8.0ms (0.1%)

end0.0ms (0%)

Profiling