Metrics for VandenBroeck and Keller, Equation (20)

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze178.0ms (4.2%)

Memory

2.9MiB live, 58.1MiB allocated

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
0%	0%	75%	0%	0%	25%	0%	3
0%	0%	62.5%	0%	0%	37.5%	0%	4
0%	0%	56.2%	0%	0%	43.7%	0%	5
0%	0%	53.1%	0%	0%	46.9%	0%	6
3.1%	1.6%	48.4%	0%	0%	50%	0%	7
3.2%	1.6%	47.6%	0%	0%	50.8%	0%	8
4%	2%	47.2%	0%	0%	50.8%	0%	9
4.8%	2.3%	46.7%	0%	0%	51%	0%	10
5%	2.4%	46.6%	0%	0%	51%	0%	11
5.1%	2.5%	46.4%	0%	0%	51%	0%	12

Compiler

Compiled 39 to 18 computations (53.8% saved)

sample146.0ms (3.5%)

Memory

-2.0MiB live, 40.9MiB allocated

Samples

59.0ms	248×	1	valid
56.0ms	232×	1	invalid
5.0ms	5×	2	valid
1.0ms	7×	0	valid
0.0ms	1×	0	exit

Precisions

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

ival-exp: 30.0ms (28.6% of total)

adjust: 17.0ms (16.2% of total)

ival-div: 16.0ms (15.2% of total)

ival-mult: 11.0ms (10.5% of total)

ival-log: 10.0ms (9.5% of total)

ival-neg: 8.0ms (7.6% of total)

ival-pi: 4.0ms (3.8% of total)

ival-sub: 4.0ms (3.8% of total)

ival-add: 4.0ms (3.8% of total)

exact: 1.0ms (1% of total)

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

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

Bogosity

explain3.5s (83%)

Memory

18.6MiB live, 1 535.6MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
248	0	-	1	(0.011659950580034726)	`(-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))`
5	0	-	0	-	`(/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))))`
1	0	-	0	-	`(exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))`
1	0	-	0	-	`(exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))`
1	5	(490361.30633736687)	0	-	`(log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))`
0	0	-	0	-	`#s(literal 1 binary64)`
0	0	-	0	-	`(.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))))))`
0	0	-	0	-	`(/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64)))`
0	0	-	0	-	`#s(literal 4 binary64)`
0	0	-	0	-	`(+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))`
0	0	-	0	-	`(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))))`
0	0	-	0	-	`f`
0	0	-	0	-	`(/.f64 (PI.f64) #s(literal 4 binary64))`
0	0	-	0	-	`(*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)`
0	0	-	0	-	`(neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))`
0	0	-	0	-	`(PI.f64)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))`	cancellation	247	1
`log.f64`	`(log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))`	sensitivity	6	0
`/.f64`	`(/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))))`	o/o	5	0
↳	`(exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))`	overflow	5
↳	`(+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))`	overflow	5
↳	`(exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))`	overflow	5
↳	`(-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))`	overflow	5
`exp.f64`	`(exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))`	sensitivity	1	0
`exp.f64`	`(exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))`	sensitivity	1	0

Confusion

	Predicted +	Predicted -
+	253	0
-	0	3

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	253	0	0
-	0	1	2

Precision?

0.9960629921259843

Recall?

1.0

Freqs

test

number	freq
0	3
1	247
2	5
3	1

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

72.828369140625

Average Time

0.2844858169555664

Samples

1.6s	5 880×	1	valid
104.0ms	120×	2	valid
16.0ms	144×	0	valid

Compiler

Compiled 7 548 to 816 computations (89.2% saved)

Precisions

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

ival-exp: 379.0ms (27.8% of total)

adjust: 213.0ms (15.6% of total)

ival-div: 211.0ms (15.5% of total)

ival-log: 158.0ms (11.6% of total)

ival-mult: 139.0ms (10.2% of total)

ival-neg: 91.0ms (6.7% of total)

ival-pi: 54.0ms (4% of total)

ival-sub: 54.0ms (4% of total)

ival-add: 51.0ms (3.7% of total)

exact: 7.0ms (0.5% of total)

ival-true: 6.0ms (0.4% of total)

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

preprocess368.0ms (8.8%)

Memory

1.5MiB live, 33.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	81
1	53	64
2	163	64
3	458	64
4	878	64
5	1200	64
6	1440	64
7	1537	64
8	1770	64
9	1897	64
10	2161	52
11	2481	50
12	2715	50
13	3126	50
14	3765	50
15	4525	50
16	5273	50
17	6484	50
18	6758	50
19	6770	50
20	7470	50
0	16	37
0	29	37
1	58	32
2	133	32
3	278	32
4	408	32
5	513	32
6	607	32
7	742	32
8	850	32
9	1064	32
10	1288	32
11	1420	32
12	1559	32
13	1665	32
14	1873	32
15	2285	32
16	3142	32
17	4668	25
18	5411	25
19	7617	25
0	8447	22

Stop Event

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

Calls

Call 1

Inputs
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))))

Inputs

(neg.f64 (*.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))))

Outputs
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))))
(.f64 (/.f64 #s(literal -4 binary64) (PI.f64)) (log.f64 (-.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal -1/2 binary64) (.f64 f (PI.f64))))) (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal 1/2 binary64) (*.f64 f (PI.f64))))))))

Outputs

(neg.f64 (*.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))))

(*.f64 (/.f64 #s(literal -4 binary64) (PI.f64)) (log.f64 (-.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (*.f64 #s(literal -1/2 binary64) (*.f64 f (PI.f64))))) (/.f64 #s(literal -1 binary64) (expm1.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 f (PI.f64))))))))

Compiler

Compiled 37 to 16 computations (56.8% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	7.0%	(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))))

Status

Accuracy

Program

7.0%

(neg.f64 (*.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))))

Compiler

Compiled 74 to 32 computations (56.8% saved)

simplify23.0ms (0.5%)

Memory

2.4MiB live, 18.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	16	37
1	37	37
2	65	37
3	83	36
4	96	36
5	137	36
6	195	36

Stop Event

1×

saturated

Calls

Call 1

Inputs
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))))

Inputs

(neg.f64 (*.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))))

Outputs
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))))
(.f64 (/.f64 #s(literal -1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (neg.f64 f) (/.f64 (PI.f64) #s(literal 4 binary64)))) (exp.f64 (.f64 f (/.f64 (PI.f64) #s(literal 4 binary64))))) (-.f64 (exp.f64 (.f64 f (/.f64 (PI.f64) #s(literal 4 binary64)))) (exp.f64 (*.f64 (neg.f64 f) (/.f64 (PI.f64) #s(literal 4 binary64))))))))

Outputs

(neg.f64 (*.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))))

(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (neg.f64 f) (/.f64 (PI.f64) #s(literal 4 binary64)))) (exp.f64 (*.f64 f (/.f64 (PI.f64) #s(literal 4 binary64))))) (-.f64 (exp.f64 (*.f64 f (/.f64 (PI.f64) #s(literal 4 binary64)))) (exp.f64 (*.f64 (neg.f64 f) (/.f64 (PI.f64) #s(literal 4 binary64))))))))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 36 to 16 computations (55.6% saved)

preprocess1.0ms (0%)

Memory: 0.5MiB live, 0.5MiB allocated
Compiler: Compiled 146 to 64 computations (56.2% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze178.0ms (4.2%)

sample146.0ms (3.5%)

explain3.5s (83%)

preprocess368.0ms (8.8%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify23.0ms (0.5%)

soundness0.0ms (0%)

preprocess1.0ms (0%)

end0.0ms (0%)

Profiling