Metrics for Trowbridge-Reitz Sample, near normal, slope

analyze151.0ms (3.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0%	100%	0%	0%	0%	0
0%	0%	0%	100%	0%	0%	0%	1
0%	0%	0%	100%	0%	0%	0%	2
50%	0%	0%	100%	0%	0%	0%	3
50%	0%	0%	100%	0%	0%	0%	4
50%	0%	0%	100%	0%	0%	0%	5
75%	0%	0%	100%	0%	0%	0%	6
75%	0%	0%	100%	0%	0%	0%	7
75%	0%	0%	100%	0%	0%	0%	8
87.5%	0%	0%	100%	0%	0%	0%	9
87.5%	0%	0%	100%	0%	0%	0%	10
87.5%	0%	0%	100%	0%	0%	0%	11
93.8%	0%	0%	100%	0%	0%	0%	12

Compiler

Compiled 37 to 28 computations (24.3% saved)

Precisions

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

Operation ival-cos, time spent: 9.0ms, 19.0% of total-time

Operation ival-sqrt, time spent: 9.0ms, 19.0% of total-time

Operation ival-<=, time spent: 9.0ms, 19.0% of total-time

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

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

Operation ival-and, time spent: 3.0ms, 6.0% of total-time

Operation ival->, time spent: 3.0ms, 6.0% of total-time

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

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

sample2.4s (49.9%)

Results

2.1s	8255×	valid
1.0ms	4×	precondition
0.0ms	1×	valid

Precisions

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

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

Operation ival-<=, time spent: 156.0ms, 17.0% of total-time

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

Operation ival-cos, time spent: 120.0ms, 13.0% of total-time

Operation ival-sqrt, time spent: 108.0ms, 12.0% of total-time

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

Operation ival-and, time spent: 53.0ms, 6.0% of total-time

Operation ival->, time spent: 51.0ms, 6.0% of total-time

Operation const, time spent: 49.0ms, 5.0% of total-time

Bogosity

preprocess1.5s (31.4%)

Algorithm

1×	egg-herbie

Rules

643×	`fma-def`
164×	`div-sub`
96×	`associate-/r*`
95×	`sub-neg`
84×	`times-frac`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(-.f32 1 u1)`
-	-	`(*.f32 314159265359/50000000000 u2)`
-	-	`(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))`
-	-	`(cos.f32 (*.f32 314159265359/50000000000 u2))`
-	-	`(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))`
-	-	`u1`
-	-	`314159265359/50000000000`
-	-	`(/.f32 u1 (-.f32 1 u1))`
-	-	`u2`
-	-	`1`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	43	490
1	88	482
2	138	482
3	234	482
4	477	474
5	1106	474
6	1702	474
7	1947	474
8	2360	474
9	2402	474
10	2422	474

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
(.f32 (sqrt.f32 (/.f32 (neg.f32 u1) (-.f32 1 (neg.f32 u1)))) (cos.f32 (.f32 314159265359/50000000000 u2)))
(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 (neg.f32 u2))))
(neg.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2))))
(neg.f32 (.f32 (sqrt.f32 (/.f32 (neg.f32 u1) (-.f32 1 (neg.f32 u1)))) (cos.f32 (.f32 314159265359/50000000000 u2))))
(neg.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 (neg.f32 u2)))))
(.f32 (sqrt.f32 (/.f32 cosTheta_i (-.f32 1 cosTheta_i))) (cos.f32 (.f32 314159265359/50000000000 u2)))
(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 cosTheta_i)))
(.f32 (sqrt.f32 (/.f32 u2 (-.f32 1 u2))) (cos.f32 (.f32 314159265359/50000000000 u1)))

Outputs
(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
(.f32 (sqrt.f32 (/.f32 (neg.f32 u1) (-.f32 1 (neg.f32 u1)))) (cos.f32 (.f32 314159265359/50000000000 u2)))
(.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (sqrt.f32 (/.f32 (neg.f32 u1) (-.f32 1 (neg.f32 u1)))))
(.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (sqrt.f32 (/.f32 (neg.f32 u1) (+.f32 u1 1))))
(.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (sqrt.f32 (/.f32 u1 (-.f32 -1 u1))))
(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 (neg.f32 u2))))
(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
(neg.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2))))
(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (neg.f32 (cos.f32 (.f32 314159265359/50000000000 u2))))
(neg.f32 (.f32 (sqrt.f32 (/.f32 (neg.f32 u1) (-.f32 1 (neg.f32 u1)))) (cos.f32 (.f32 314159265359/50000000000 u2))))
(.f32 (sqrt.f32 (/.f32 (neg.f32 u1) (-.f32 1 (neg.f32 u1)))) (neg.f32 (cos.f32 (.f32 314159265359/50000000000 u2))))
(.f32 (sqrt.f32 (/.f32 (neg.f32 u1) (+.f32 u1 1))) (neg.f32 (cos.f32 (.f32 314159265359/50000000000 u2))))
(.f32 (sqrt.f32 (/.f32 u1 (-.f32 -1 u1))) (neg.f32 (cos.f32 (.f32 314159265359/50000000000 u2))))
(neg.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 (neg.f32 u2)))))
(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (neg.f32 (cos.f32 (.f32 314159265359/50000000000 u2))))
(.f32 (sqrt.f32 (/.f32 cosTheta_i (-.f32 1 cosTheta_i))) (cos.f32 (.f32 314159265359/50000000000 u2)))
(.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (sqrt.f32 (/.f32 cosTheta_i (-.f32 1 cosTheta_i))))
(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 cosTheta_i)))
(.f32 (sqrt.f32 (/.f32 u2 (-.f32 1 u2))) (cos.f32 (.f32 314159265359/50000000000 u1)))
(.f32 (sqrt.f32 (/.f32 u2 (-.f32 1 u2))) (cos.f32 (.f32 u1 314159265359/50000000000)))

Symmetry

(abs cosTheta_i)

(abs u2)

Compiler

Compiled 94 to 67 computations (28.7% saved)

Precisions

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

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

Operation ival-cos, time spent: 177.0ms, 23.0% of total-time

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

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

Operation ival-sqrt, time spent: 94.0ms, 12.0% of total-time

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

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.0%	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))

Compiler

Compiled 14 to 11 computations (21.4% saved)

localize728.0ms (14.9%)

Compiler: Compiled 40 to 28 computations (30% saved)
Precisions: Click to see histograms. Total time spent on operations: 390.0ms
Operation ival-sub, time spent: 130.0ms, 33.0% of total-time
Operation ival-cos, time spent: 88.0ms, 23.0% of total-time
Operation ival-mult, time spent: 59.0ms, 15.0% of total-time
Operation ival-div, time spent: 53.0ms, 14.0% of total-time
Operation ival-sqrt, time spent: 47.0ms, 12.0% of total-time
Operation const, time spent: 14.0ms, 4.0% of total-time

eval0.0ms (0%)

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

prune2.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

99.0%

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.0%	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))

Compiler

Compiled 28 to 22 computations (21.4% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	42
1	25	42
2	29	42
3	31	42
4	32	42

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))

Outputs
(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))

Compiler

Compiled 14 to 11 computations (21.4% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess26.0ms (0.5%)

Remove

(abs u2)

(abs cosTheta_i)

Compiler

Compiled 168 to 132 computations (21.4% saved)

Trowbridge-Reitz Sample, near normal, slope_x

analyze151.0ms (3.1%)

sample2.4s (49.9%)

preprocess1.5s (31.4%)

eval0.0ms (0%)

prune1.0ms (0%)

localize728.0ms (14.9%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess26.0ms (0.5%)

Profiling