Metrics for Trowbridge-Reitz Sample, near normal, slope

analyze174.0ms (3.5%)

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: 63.0ms

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

Operation ival-<=, time spent: 10.0ms, 16.0% of total-time

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

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

Operation ival-sqrt, time spent: 7.0ms, 11.0% of total-time

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

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

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

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

sample2.5s (50.1%)

Results

2.2s	8255×	valid
1.0ms	3×	precondition
0.0ms	1×	valid

Precisions

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

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

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

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

Operation ival-cos, time spent: 124.0ms, 12.0% of total-time

Operation ival-sqrt, time spent: 113.0ms, 11.0% of total-time

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

Operation ival-and, time spent: 70.0ms, 7.0% of total-time

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

Operation ival->, time spent: 54.0ms, 5.0% of total-time

Bogosity

preprocess1.6s (31.9%)

Algorithm

1×	egg-herbie

Rules

299×	`fma-define`
95×	`fma-neg`
65×	`sub-neg`
51×	`associate-l`
40×	`distribute-lft-in`

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: 3 (0.0ms)

Iter	Nodes	Cost
0	43	490
1	88	482
2	138	482
3	233	474
4	407	474
5	719	474
6	984	474
7	1187	474
8	1304	474
9	1338	474
10	1362	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 u1 (neg.f32 (+.f32 u1 1)))))
(.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (sqrt.f32 (/.f32 u1 (+.f32 (neg.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 u1 (neg.f32 (+.f32 u1 1)))) (neg.f32 (cos.f32 (.f32 314159265359/50000000000 u2))))
(.f32 (sqrt.f32 (/.f32 u1 (+.f32 (neg.f32 u1) -1))) (neg.f32 (cos.f32 (.f32 314159265359/50000000000 u2))))
(.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (neg.f32 (sqrt.f32 (/.f32 u1 (-.f32 -1 u1)))))
(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: 683.0ms

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

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

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

Operation ival-sqrt, time spent: 97.0ms, 14.0% of total-time

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

Operation const, time spent: 35.0ms, 5.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)

localize697.0ms (13.8%)

Compiler: Compiled 40 to 28 computations (30% saved)
Precisions: Click to see histograms. Total time spent on operations: 353.0ms
Operation ival-sub, time spent: 121.0ms, 34.0% of total-time
Operation ival-mult, time spent: 70.0ms, 20.0% of total-time
Operation ival-div, time spent: 51.0ms, 14.0% of total-time
Operation ival-cos, time spent: 47.0ms, 13.0% of total-time
Operation ival-sqrt, time spent: 47.0ms, 13.0% of total-time
Operation const, time spent: 18.0ms, 5.0% of total-time

eval0.0ms (0%)

Compiler: Compiled 3 to 3 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

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-sub0`

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%)

preprocess29.0ms (0.6%)

Remove

(abs u2)

(abs cosTheta_i)

Compiler

Compiled 168 to 132 computations (21.4% saved)

Trowbridge-Reitz Sample, near normal, slope_x

analyze174.0ms (3.5%)

sample2.5s (50.1%)

preprocess1.6s (31.9%)

eval0.0ms (0%)

prune1.0ms (0%)

localize697.0ms (13.8%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess29.0ms (0.6%)

Profiling