Metrics for Logistic function from Lakshay Garg

analyze16.0ms (0.4%)

Memory

4.6MiB live, 4.6MiB 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 25 to 23 computations (8% saved)

sample4.1s (97.2%)

Memory

37.5MiB live, 1 178.6MiB allocated

Samples

1.1s	4 002×	1	valid-baseline
627.0ms	4 002×	1	valid-rival
563.0ms	4 002×	1	valid-sollya
267.0ms	4 253×	0	valid-baseline
229.0ms	4 253×	0	valid-rival
190.0ms	4 253×	0	valid-sollya
0.0ms	1×	0	valid-rival+sollya-real

Precisions

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

ival-exp: 292.0ms (46.2% of total)

ival-mult: 85.0ms (13.5% of total)

ival-div: 80.0ms (12.7% of total)

ival-add: 55.0ms (8.7% of total)

ival-sub: 52.0ms (8.2% of total)

adjust: 49.0ms (7.8% of total)

...in/eval/compile.rkt:76:19: 9.0ms (1.4% of total)

ival-true: 7.0ms (1.1% of total)

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

Precisions

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

ival-exp: 334.0ms (37.5% of total)

ival-div: 146.0ms (16.4% of total)

ival-mult: 142.0ms (16% of total)

ival-add: 130.0ms (14.6% of total)

ival-sub: 103.0ms (11.6% of total)

const: 35.0ms (3.9% of total)

Bogosity

preprocess76.0ms (1.8%)

Memory

7.0MiB live, 22.3MiB allocated

Algorithm

1×	egg-herbie

Rules

90×	`fma-define`
83×	`fmm-def`
47×	`sub-neg`
28×	`+-commutative`
27×	`exp-prod`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	29	240
1	56	232
2	98	224
3	148	224
4	189	224
5	251	224
6	314	224
7	365	224
8	433	224
9	524	224
10	586	224
11	606	224
12	647	224
13	676	224
14	684	224
15	706	224

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) x)))) #s(literal 1 binary64))
(-.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) x)))) #s(literal 1 binary64))
(-.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) (neg.f64 x))))) #s(literal 1 binary64))
(-.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) x)))) #s(literal 1 binary64))
(neg.f64 (-.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) (neg.f64 x))))) #s(literal 1 binary64)))
(neg.f64 (-.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) x)))) #s(literal 1 binary64)))
(-.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) y)))) #s(literal 1 binary64))

Outputs
(-.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) x)))) #s(literal 1 binary64))
(+.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 #s(literal -2 binary64)) x))) #s(literal -1 binary64))
(+.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) x)))) #s(literal -1 binary64))
(-.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) x)))) #s(literal 1 binary64))
(+.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 #s(literal -2 binary64)) x))) #s(literal -1 binary64))
(+.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) x)))) #s(literal -1 binary64))
(-.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) (neg.f64 x))))) #s(literal 1 binary64))
(+.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 #s(literal -2 binary64)) (neg.f64 x)))) #s(literal -1 binary64))
(+.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal 2 binary64) x)))) #s(literal -1 binary64))
(+.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 #s(literal 2 binary64)) x))) #s(literal -1 binary64))
(-.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) x)))) #s(literal 1 binary64))
(+.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 #s(literal -2 binary64)) x))) #s(literal -1 binary64))
(+.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) x)))) #s(literal -1 binary64))
(neg.f64 (-.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) (neg.f64 x))))) #s(literal 1 binary64)))
(neg.f64 (+.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 #s(literal -2 binary64)) (neg.f64 x)))) #s(literal -1 binary64)))
(+.f64 (neg.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal 2 binary64) x))))) #s(literal 1 binary64))
(-.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 #s(literal 2 binary64)) x))))
(neg.f64 (-.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) x)))) #s(literal 1 binary64)))
(neg.f64 (+.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 #s(literal -2 binary64)) x))) #s(literal -1 binary64)))
(+.f64 (neg.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 #s(literal -2 binary64)) x)))) #s(literal 1 binary64))
(-.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) x)))))
(-.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) y)))) #s(literal 1 binary64))
(+.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 #s(literal -2 binary64)) y))) #s(literal -1 binary64))

Symmetry

(abs y)

Compiler

Compiled 12 to 10 computations (16.7% saved)

eval0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated
Compiler: Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	54.8%	(-.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) x)))) #s(literal 1 binary64))

Compiler

Compiled 24 to 20 computations (16.7% saved)

simplify2.0ms (0.1%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	egg-herbie

Rules

3×	`1-exp`
3×	`+-commutative`
2×	`unsub-neg`
2×	`sub-neg`
2×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	32
1	23	32
2	27	32
3	30	32
4	33	32
5	36	32

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) x)))) #s(literal 1 binary64))

Outputs

(-.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) x)))) #s(literal 1 binary64))

(+.f64 (/.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -2 binary64) x)))) #s(literal -1 binary64))

soundness0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 12 to 11 computations (8.3% saved)

preprocess21.0ms (0.5%)

Memory: -9.9MiB live, 23.2MiB allocated
Remove: (abs y)
Compiler: Compiled 96 to 86 computations (10.4% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	29	240
1	56	232
2	98	224
3	148	224
4	189	224
5	251	224
6	314	224
7	365	224
8	433	224
9	524	224
10	586	224
11	606	224
12	647	224
13	676	224
14	684	224
15	706	224

Iter	Nodes	Cost
0	29	240
1	56	232
2	98	224
3	148	224
4	189	224
5	251	224
6	314	224
7	365	224
8	433	224
9	524	224
10	586	224
11	606	224
12	647	224
13	676	224
14	684	224
15	706	224

analyze16.0ms (0.4%)

sample4.1s (97.2%)

preprocess76.0ms (1.8%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

preprocess21.0ms (0.5%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	29	240
1	56	232
2	98	224
3	148	224
4	189	224
5	251	224
6	314	224
7	365	224
8	433	224
9	524	224
10	586	224
11	606	224
12	647	224
13	676	224
14	684	224
15	706	224