Metrics for Herbie run

Date:	Tuesday, February 27th, 2024
Commit:	8f87b1c1 on literal-values
Hostname:	nightly with Racket 8.11.1
Seed:	2024058
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

sample1.9min (59.4%)

Results

1.7min	247680×	256	valid
2.2s	8466×	256	invalid
934.0ms	2194×	256	precondition

Precisions

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

Operation ival-mult, time spent: 13.6s, 25.0% of total-time

Operation ival-<=, time spent: 9.5s, 18.0% of total-time

Operation ival-div, time spent: 4.9s, 9.0% of total-time

Operation ival-sin, time spent: 2.7s, 5.0% of total-time

Operation ival-sub, time spent: 2.5s, 5.0% of total-time

Operation ival-add, time spent: 2.5s, 5.0% of total-time

Operation ival-log, time spent: 2.3s, 4.0% of total-time

Operation ival-fabs, time spent: 2.0s, 4.0% of total-time

Operation ival-sqrt, time spent: 1.8s, 3.0% of total-time

Operation ival-and, time spent: 1.8s, 3.0% of total-time

Operation ival-tan, time spent: 1.6s, 3.0% of total-time

Operation const, time spent: 1.5s, 3.0% of total-time

Operation ival-cos, time spent: 1.4s, 3.0% of total-time

Operation ival-exp, time spent: 925.0ms, 2.0% of total-time

Operation ival-atan, time spent: 760.0ms, 1.0% of total-time

Operation ival-pi, time spent: 723.0ms, 1.0% of total-time

Operation ival-floor, time spent: 614.0ms, 1.0% of total-time

Operation ival-neg, time spent: 572.0ms, 1.0% of total-time

Operation ival-log2, time spent: 547.0ms, 1.0% of total-time

Operation ival->, time spent: 300.0ms, 1.0% of total-time

Operation ival-<, time spent: 293.0ms, 1.0% of total-time

Operation ival-asin, time spent: 238.0ms, 0.0% of total-time

Operation ival-==, time spent: 153.0ms, 0.0% of total-time

Operation ival-fmax, time spent: 147.0ms, 0.0% of total-time

Operation ival-sinh, time spent: 113.0ms, 0.0% of total-time

Operation ival->=, time spent: 82.0ms, 0.0% of total-time

Operation ival-if, time spent: 56.0ms, 0.0% of total-time

Bogosity

analyze38.2s (19.7%)

Algorithm

30×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	2.6%	97.4%	0%	0%	0%	0
0.2%	0%	2.6%	97.4%	0%	0%	0%	1
9.3%	0.2%	2.4%	97.4%	0%	0%	0%	2
43.2%	1.1%	1.5%	97.4%	0%	0%	0%	3
48.1%	1.3%	1.4%	97.4%	0%	0%	0%	4
65.1%	1.7%	0.9%	97.4%	0%	0%	0%	5
70.3%	1.8%	0.8%	97.4%	0%	0%	0%	6
79.1%	2%	0.5%	97.4%	0%	0%	0%	7
81.1%	2.1%	0.5%	97.4%	0%	0.1%	0%	8
86.1%	2.2%	0.4%	97.4%	0%	0.1%	0%	9
87.6%	2.2%	0.3%	97.4%	0%	0.1%	0%	10
91.9%	2.3%	0.2%	97.4%	0%	0.1%	0%	11
92.6%	2.3%	0.2%	97.4%	0%	0.1%	0%	12

Compiler

Compiled 2668 to 1270 computations (52.4% saved)

Precisions

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

Operation ival-mult, time spent: 4.0s, 29.0% of total-time

Operation ival-<=, time spent: 2.1s, 16.0% of total-time

Operation ival-div, time spent: 1.5s, 11.0% of total-time

Operation ival-fabs, time spent: 1.0s, 7.0% of total-time

Operation ival-add, time spent: 762.0ms, 6.0% of total-time

Operation ival-floor, time spent: 640.0ms, 5.0% of total-time

Operation ival-and, time spent: 520.0ms, 4.0% of total-time

Operation ival-sqrt, time spent: 392.0ms, 3.0% of total-time

Operation ival-sub, time spent: 381.0ms, 3.0% of total-time

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

Operation ival-if, time spent: 319.0ms, 2.0% of total-time

Operation ival->, time spent: 235.0ms, 2.0% of total-time

Operation ival-==, time spent: 214.0ms, 2.0% of total-time

Operation ival-<, time spent: 205.0ms, 1.0% of total-time

Operation ival-cos, time spent: 202.0ms, 1.0% of total-time

Operation ival-log2, time spent: 190.0ms, 1.0% of total-time

Operation ival-sin, time spent: 163.0ms, 1.0% of total-time

Operation ival-fmax, time spent: 157.0ms, 1.0% of total-time

Operation ival-tan, time spent: 156.0ms, 1.0% of total-time

Operation ival-log, time spent: 77.0ms, 1.0% of total-time

Operation ival-atan, time spent: 56.0ms, 0.0% of total-time

Operation ival-exp, time spent: 35.0ms, 0.0% of total-time

Operation ival-pi, time spent: 33.0ms, 0.0% of total-time

Operation ival-neg, time spent: 28.0ms, 0.0% of total-time

Operation ival-asin, time spent: 20.0ms, 0.0% of total-time

Operation ival->=, time spent: 0.0ms, 0.0% of total-time

Operation ival-sinh, time spent: 0.0ms, 0.0% of total-time

preprocess21.6s (11.1%)

Algorithm

30×	egg-herbie

Rules

15315×	`fma-define`
10891×	`fma-neg`
7946×	`unsub-neg`
7353×	`distribute-lft-neg-in`
5929×	`distribute-rgt-neg-in`

Stop Event

11×	saturated
19×	node limit

Compiler

Compiled 14557 to 3579 computations (75.4% saved)

Precisions

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

Operation ival-mult, time spent: 1.4s, 32.0% of total-time

Operation ival-tan, time spent: 705.0ms, 16.0% of total-time

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

Operation ival-sub, time spent: 320.0ms, 7.0% of total-time

Operation ival-sin, time spent: 297.0ms, 7.0% of total-time

Operation ival-cos, time spent: 251.0ms, 6.0% of total-time

Operation ival-add, time spent: 236.0ms, 5.0% of total-time

Operation ival-atan, time spent: 232.0ms, 5.0% of total-time

Operation ival-log, time spent: 187.0ms, 4.0% of total-time

Operation ival-sqrt, time spent: 104.0ms, 2.0% of total-time

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

Operation ival-exp, time spent: 43.0ms, 1.0% of total-time

Operation ival-neg, time spent: 38.0ms, 1.0% of total-time

Operation ival-pi, time spent: 28.0ms, 1.0% of total-time

Operation ival-floor, time spent: 21.0ms, 0.0% of total-time

Operation ival-sinh, time spent: 15.0ms, 0.0% of total-time

Operation ival-log2, time spent: 10.0ms, 0.0% of total-time

Operation ival-asin, time spent: 5.0ms, 0.0% of total-time

Operation ival-fmax, time spent: 4.0ms, 0.0% of total-time

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

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

Operation ival-if, time spent: 2.0ms, 0.0% of total-time

Operation ival-fabs, time spent: 2.0ms, 0.0% of total-time

Operation ival-<, time spent: 2.0ms, 0.0% of total-time

localize5.5s (2.8%)

Compiler: Compiled 1716 to 922 computations (46.3% saved)
Precisions: Click to see histograms. Total time spent on operations: 2.1s
Operation ival-mult, time spent: 688.0ms, 33.0% of total-time
Operation ival-log, time spent: 279.0ms, 13.0% of total-time
Operation composed, time spent: 262.0ms, 13.0% of total-time
Operation ival-cos, time spent: 196.0ms, 9.0% of total-time
Operation ival-pow, time spent: 178.0ms, 9.0% of total-time
Operation ival-sin, time spent: 146.0ms, 7.0% of total-time
Operation ival-exp, time spent: 79.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 73.0ms, 4.0% of total-time
Operation ival-add, time spent: 50.0ms, 2.0% of total-time
Operation const, time spent: 48.0ms, 2.0% of total-time
Operation ival-neg, time spent: 31.0ms, 1.0% of total-time
Operation ival-sub, time spent: 29.0ms, 1.0% of total-time
Operation ival-pi, time spent: 19.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 6.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time

eval4.4s (2.3%)

Compiler: Compiled 161900 to 112958 computations (30.2% saved)

simplify2.3s (1.2%)

Algorithm

10×	egg-herbie

Rules

4103×	`fma-define`
3069×	`associate-r`
3003×	`*-commutative`
2988×	`distribute-lft-in`
2883×	`distribute-rgt-in`

Stop Event

2×	saturated
8×	node limit
2×	fuel

Counts

3259 → 3251

Compiler

Compiled 298 to 242 computations (18.8% saved)

soundness1.7s (0.9%)

Rules

3267×	`fma-define`
2643×	`log1p-expm1-u`
1980×	`expm1-log1p-u`
1644×	`associate-r`
1397×	`distribute-lft-in`

Stop Event

2×	saturated
6×	node limit

Compiler

Compiled 1193 to 762 computations (36.1% saved)

rewrite1.6s (0.8%)

Algorithm

8×	batch-egg-rewrite

Rules

6888×	`log1p-expm1-u`
4399×	`expm1-log1p-u`
1576×	`pow1`
1558×	`add-exp-log`
1551×	`add-cube-cbrt`

Stop Event

8×	node limit

Counts

90 → 1975

prune1.6s (0.8%)

Counts: 6056 → 290
Compiler: Compiled 10318 to 8402 computations (18.6% saved)

regimes1.3s (0.7%)

Counts

312 → 20

Calls

12 calls:

224.0ms	u1
203.0ms	u2
184.0ms	(log.f32 (-.f32 #s(literal 1 binary32) u1))
165.0ms	(.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u2)
143.0ms	cosTheta_i

Compiler

Compiled 479 to 396 computations (17.3% saved)

series611.0ms (0.3%)

Counts

90 → 1284

Calls

306 calls:

Time	Variable		Point	Expression
66.0ms	u2	@	0	(* (sin (* 2 (* u2 (PI)))) (neg (sqrt u1)))
50.0ms	u2	@	inf	(* (pow (E) (log (sqrt (log (+ 1 u1))))) (cos (* (* 2 (PI)) u2)))
33.0ms	u2	@	inf	(* (sqrt (neg (log (+ 1 (neg u1))))) (cos (* (* 2 (PI)) u2)))
30.0ms	u2	@	inf	(* (sqrt (neg (log (- 1 u1)))) (sin (* (* 2 (PI)) u2)))
23.0ms	u2	@	-inf	(log (+ 1 (cos (* (PI) (* 2 u2)))))

bsearch1.0ms (0%)

Algorithm

3×	left-value
1×	binary-search

Stop Event

1×	narrow-enough

Compiler

Compiled 88 to 76 computations (13.6% saved)

Herbie run

sample1.9min (59.4%)

analyze38.2s (19.7%)

preprocess21.6s (11.1%)

localize5.5s (2.8%)

eval4.4s (2.3%)

simplify2.3s (1.2%)

soundness1.7s (0.9%)

rewrite1.6s (0.8%)

prune1.6s (0.8%)

regimes1.3s (0.7%)

series611.0ms (0.3%)

bsearch1.0ms (0%)

end0.0ms (0%)

Profiling