Metrics for Trowbridge-Reitz Sample, near normal, slope

analyze178.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: 51.0ms

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

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

Operation ival-sin, 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: 5.0ms, 10.0% of total-time

Operation ival-div, time spent: 3.0ms, 6.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

sample2.6s (50.4%)

Results

2.3s	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: 172.0ms, 17.0% of total-time

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

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

Operation ival-sin, time spent: 138.0ms, 14.0% of total-time

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

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

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

Operation const, time spent: 68.0ms, 7.0% of total-time

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

Bogosity

preprocess1.6s (32%)

Algorithm

1×	egg-herbie

Rules

439×	`fma-define`
131×	`fma-neg`
88×	`associate-l`
87×	`associate-r`
73×	`distribute-lft-neg-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: 3 (0.0ms)

Iter	Nodes	Cost
0	43	490
1	88	470
2	142	470
3	261	462
4	532	462
5	1010	462
6	1433	462
7	1724	462
8	1819	462
9	1925	462
10	1977	462
11	1989	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: 704.0ms

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

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

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

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

Operation ival-sin, time spent: 95.0ms, 13.0% of total-time

Operation const, time spent: 37.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
▶	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)

localize690.0ms (13.5%)

Compiler: Compiled 40 to 28 computations (30% saved)
Precisions: Click to see histograms. Total time spent on operations: 350.0ms
Operation ival-sub, time spent: 127.0ms, 36.0% of total-time
Operation ival-mult, time spent: 58.0ms, 17.0% of total-time
Operation ival-div, time spent: 53.0ms, 15.0% of total-time
Operation ival-sin, time spent: 48.0ms, 14.0% of total-time
Operation ival-sqrt, time spent: 46.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

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)

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

preprocess28.0ms (0.6%)

Remove

(negabs u2)

(abs cosTheta_i)

Compiler

Compiled 168 to 132 computations (21.4% saved)

Trowbridge-Reitz Sample, near normal, slope_y

analyze178.0ms (3.5%)

sample2.6s (50.4%)

preprocess1.6s (32%)

eval0.0ms (0%)

prune1.0ms (0%)

localize690.0ms (13.5%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess28.0ms (0.6%)

Profiling