Metrics for Trowbridge-Reitz Sample, near normal, slope

analyze157.0ms (3.2%)

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

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

Operation ival-sin, time spent: 9.0ms, 18.0% of total-time

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

Operation ival-sqrt, 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.3s (47.8%)

Results

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

Precisions

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

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

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

Operation ival-sin, time spent: 149.0ms, 16.0% of total-time

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

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

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

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

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

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

Bogosity

preprocess1.6s (33.7%)

Algorithm

1×	egg-herbie

Rules

812×	`fma-def`
162×	`div-sub`
128×	`associate-r`
101×	`associate-/r*`
100×	`distribute-lft-in`

FPErrors

Click to see full error table

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

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	43	490
1	88	470
2	142	470
3	262	470
4	603	462
5	1399	462
6	2148	462
7	2481	462
8	2871	462
9	2984	462
10	3032	462
11	3044	462

Stop Event

1×

saturated

Calls

Call 1

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

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

Symmetry

(abs cosTheta_i)

(negabs u2)

Compiler

Compiled 94 to 67 computations (28.7% saved)

Precisions

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

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

Operation ival-sin, time spent: 212.0ms, 27.0% of total-time

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

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

Operation ival-sqrt, time spent: 99.0ms, 13.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
▶	98.4%	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 314159265359/50000000000 u2)))

Compiler

Compiled 14 to 11 computations (21.4% saved)

localize713.0ms (14.6%)

Compiler: Compiled 40 to 28 computations (30% saved)
Precisions: Click to see histograms. Total time spent on operations: 386.0ms
Operation ival-sub, time spent: 116.0ms, 30.0% of total-time
Operation ival-sin, time spent: 98.0ms, 25.0% of total-time
Operation ival-mult, time spent: 55.0ms, 14.0% of total-time
Operation ival-div, time spent: 55.0ms, 14.0% of total-time
Operation ival-sqrt, time spent: 48.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)

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

98.4%

Counts

1 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 28 to 22 computations (21.4% saved)

simplify5.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))) (sin.f32 (.f32 314159265359/50000000000 u2)))

Outputs
(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.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

(negabs u2)

(abs cosTheta_i)

Compiler

Compiled 168 to 132 computations (21.4% saved)

Trowbridge-Reitz Sample, near normal, slope_y

analyze157.0ms (3.2%)

sample2.3s (47.8%)

preprocess1.6s (33.7%)

eval0.0ms (0%)

prune1.0ms (0%)

localize713.0ms (14.6%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify5.0ms (0.1%)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess26.0ms (0.5%)

Profiling