Metrics for Logistic function from Lakshay Garg

analyze0.0ms (0%)

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 13 to 12 computations (7.7% saved)

Precisions

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

Operation ival-sub, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

Operation ival-div, time spent: 0.0ms, 0.0% of total-time

Operation ival-add, time spent: 0.0ms, 0.0% of total-time

Operation ival-exp, time spent: 0.0ms, 0.0% of total-time

Operation ival-mult, time spent: 0.0ms, 0.0% of total-time

sample2.7s (56.3%)

Results

837.0ms	4311×	0	valid
426.0ms	1653×	1	valid
580.0ms	1343×	2	valid
665.0ms	948×	3	valid
0.0ms	1×	1	valid

Precisions

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

Operation ival-exp, time spent: 559.0ms, 39.0% of total-time

Operation ival-add, time spent: 282.0ms, 19.0% of total-time

Operation ival-sub, time spent: 267.0ms, 18.0% of total-time

Operation ival-mult, time spent: 141.0ms, 10.0% of total-time

Operation ival-div, time spent: 137.0ms, 9.0% of total-time

Operation const, time spent: 63.0ms, 4.0% of total-time

Bogosity

preprocess1.4s (29.4%)

Algorithm

1×	egg-herbie

Rules

1060×	`fma-def`
974×	`associate-*l/`
668×	`unswap-sqr`
594×	`sub-neg`
568×	`div-sub`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`x`
-	-	`(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))`
-	-	`(*.f64 -2 x)`
-	-	`(exp.f64 (*.f64 -2 x))`
-	-	`(+.f64 1 (exp.f64 (*.f64 -2 x)))`
-	-	`2`
-	-	`-2`
-	-	`1`
-	-	`(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	29	240
1	56	232
2	107	224
3	186	224
4	312	224
5	707	224
6	2267	224
7	4453	224
8	7003	224

Stop Event

1×	node limit

Calls

Call 1

Inputs
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 (neg.f64 x))))) 1)
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
(neg.f64 (-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 (neg.f64 x))))) 1))
(neg.f64 (-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1))
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 y)))) 1)

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

Symmetry

(abs y)

Compiler

Compiled 88 to 75 computations (14.8% saved)

Precisions

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

Operation ival-exp, time spent: 553.0ms, 53.0% of total-time

Operation ival-add, time spent: 189.0ms, 18.0% of total-time

Operation ival-mult, time spent: 140.0ms, 13.0% of total-time

Operation ival-div, time spent: 65.0ms, 6.0% of total-time

Operation ival-sub, time spent: 59.0ms, 6.0% of total-time

Operation const, time spent: 38.0ms, 4.0% of total-time

eval1.0ms (0%)

Compiler: Compiled 22 to 20 computations (9.1% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	52.8%	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)

Compiler

Compiled 12 to 11 computations (8.3% saved)

localize647.0ms (13.5%)

Compiler: Compiled 38 to 32 computations (15.8% saved)
Precisions: Click to see histograms. Total time spent on operations: 533.0ms
Operation ival-exp, time spent: 286.0ms, 54.0% of total-time
Operation ival-add, time spent: 94.0ms, 18.0% of total-time
Operation ival-mult, time spent: 67.0ms, 13.0% of total-time
Operation ival-div, time spent: 37.0ms, 7.0% of total-time
Operation ival-sub, time spent: 30.0ms, 6.0% of total-time
Operation const, time spent: 19.0ms, 4.0% of total-time

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	0	0
Total	1	1

Accuracy

52.8%

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	52.8%	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)

Compiler

Compiled 24 to 22 computations (8.3% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative`
4×	`unsub-neg`
4×	`sub-neg`
4×	`neg-mul-1`
4×	`*-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×	done
1×	saturated

Calls

Call 1

Inputs
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)

Outputs
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1)

Compiler

Compiled 12 to 11 computations (8.3% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess29.0ms (0.6%)

Remove: (abs y)
Compiler: Compiled 96 to 88 computations (8.3% saved)

analyze0.0ms (0%)

sample2.7s (56.3%)

preprocess1.4s (29.4%)

eval1.0ms (0%)

prune1.0ms (0%)

localize647.0ms (13.5%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess29.0ms (0.6%)

Profiling