Metrics for Hyperbolic tangent

analyze0.0ms (0%)

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
100%	100%	0%	0%	0%	0%	0%	2

Compiler

Compiled 15 to 8 computations (46.7% saved)

Precisions

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

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

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

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

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

const: 0.0ms (0% of total)

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

sample3.1s (89.4%)

Results

1.3s	4067×	1024	valid
495.0ms	7835×	256	unsamplable
313.0ms	1943×	512	valid
143.0ms	423×	2048	valid
136.0ms	1823×	256	valid

Precisions

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

ival-exp: 1.1s (62.7% of total)

ival-div: 213.0ms (11.9% of total)

ival-sub: 158.0ms (8.8% of total)

ival-add: 139.0ms (7.8% of total)

ival-neg: 138.0ms (7.7% of total)

const: 19.0ms (1.1% of total)

Bogosity

preprocess136.0ms (4%)

Algorithm

1×	egg-herbie

Rules

689×	`fma-define`
254×	`fma-neg`
158×	`div-sub`
128×	`times-frac`
115×	`distribute-lft-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	220
1	51	220
2	108	220
3	238	220
4	576	220
5	1291	220
6	2484	220
7	2562	220
8	2597	220
9	2628	220
10	2666	220
11	2682	220
12	2690	220

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))))
(neg.f64 (/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x))))))

Outputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))))
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(neg.f64 (/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x))))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Symmetry

(negabs x)

explain194.0ms (5.7%)

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
241	0	-	1	(0.01254210954186397)	`(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))`
7	0	-	0	-	`(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))`
0	0	-	0	-	`x`
0	1	(202.4687598557887)	0	-	`(exp.f64 (neg.f64 x))`
0	0	-	0	-	`(neg.f64 x)`
0	0	-	0	-	`(exp.f64 x)`
0	0	-	0	-	`(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))`

Results

100.0ms	226×	1024	valid
26.0ms	144×	512	valid
11.0ms	122×	256	valid
10.0ms	20×	2048	valid

Compiler

Compiled 84 to 23 computations (72.6% saved)

Precisions

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

ival-exp: 58.0ms (58.2% of total)

ival-neg: 14.0ms (14% of total)

ival-sub: 13.0ms (13% of total)

ival-div: 8.0ms (8% of total)

ival-add: 6.0ms (6% of total)

const: 1.0ms (1% of total)

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	11.3%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Compiler

Compiled 28 to 14 computations (50% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative`
3×	`sub-neg`
2×	`*-commutative`
2×	`neg-sub0`
2×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	55
1	19	55
2	24	55
3	27	55
4	28	55

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Outputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

soundness0.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 14 to 7 computations (50% saved)

preprocess26.0ms (0.8%)

Remove: (negabs x)
Compiler: Compiled 112 to 56 computations (50% saved)

Hyperbolic tangent

analyze0.0ms (0%)

sample3.1s (89.4%)

preprocess136.0ms (4%)

explain194.0ms (5.7%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

preprocess26.0ms (0.8%)

end0.0ms (0%)

Profiling