Metrics for Herbie run

Date:	Wednesday, April 10th, 2024
Commit:	19b68fd2 on main
Hostname:	nightly with Racket 8.11.1
Seed:	2024101
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

localize7.6min (31.6%)

Results

38.8s	28712×	0	valid
1.5min	12377×	1	valid
5.6s	3073×	0	invalid
3.2min	2369×	5	exit
25.5s	1738×	2	valid
35.5s	374×	3	valid
3.4s	146×	1	invalid
40.0ms	122×	0	unsamplable
17.1s	61×	4	valid

Compiler

Compiled 86555 to 47909 computations (44.6% saved)

Precisions

Click to see histograms. Total time spent on operations: 6.3min

ival-sin: 1.3min (20.5% of total)

ival-cos: 1.1min (18.1% of total)

ival-mult: 58.3s (15.5% of total)

ival-pow: 51.2s (13.6% of total)

backward-pass: 33.5s (8.9% of total)

ival-div: 26.8s (7.1% of total)

ival-log: 8.7s (2.3% of total)

ival-log1p: 8.0s (2.1% of total)

ival-expm1: 8.0s (2.1% of total)

ival-exp: 7.6s (2% of total)

ival-add: 5.7s (1.5% of total)

ival-sub: 5.1s (1.4% of total)

const: 3.8s (1% of total)

ival-sqrt: 3.6s (1% of total)

ival-hypot: 3.2s (0.9% of total)

ival-fma: 2.9s (0.8% of total)

ival-cbrt: 1.7s (0.5% of total)

ival-atan2: 747.0ms (0.2% of total)

ival-neg: 650.0ms (0.2% of total)

ival-tan: 402.0ms (0.1% of total)

ival-atan: 277.0ms (0.1% of total)

ival-acos: 269.0ms (0.1% of total)

ival-fabs: 165.0ms (0% of total)

ival-pi: 130.0ms (0% of total)

ival-asin: 38.0ms (0% of total)

ival-e: 8.0ms (0% of total)

sample5.8min (24.2%)

Results

49.9s	289685×	0	valid
1.1min	119315×	1	valid
13.7s	49258×	0	unsamplable
4.3s	26929×	0	invalid
56.2s	25411×	5	exit
27.8s	11125×	2	valid
55.4s	7908×	3	valid
2.2s	3620×	1	invalid
22.9s	1275×	4	valid
80.0ms	880×	0	precondition
696.0ms	807×	2	invalid
50.0ms	57×	1	unsamplable
18.0ms	4×	5	valid
2.0ms	1×	3	unsamplable

Precisions

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

ival-sin: 44.2s (16.5% of total)

ival-mult: 36.7s (13.7% of total)

ival-pow: 35.1s (13.2% of total)

ival-cos: 34.3s (12.9% of total)

ival-div: 29.3s (11% of total)

backward-pass: 26.7s (10% of total)

ival-exp: 18.2s (6.8% of total)

ival-add: 10.6s (4% of total)

ival-sub: 8.1s (3% of total)

ival-sqrt: 4.5s (1.7% of total)

ival-log: 4.2s (1.6% of total)

ival-neg: 3.8s (1.4% of total)

ival-<: 3.3s (1.2% of total)

const: 3.2s (1.2% of total)

ival-tan: 802.0ms (0.3% of total)

ival-pi: 750.0ms (0.3% of total)

ival-atan2: 742.0ms (0.3% of total)

ival-and: 605.0ms (0.2% of total)

ival-acos: 437.0ms (0.2% of total)

ival-atan: 388.0ms (0.1% of total)

ival-cbrt: 337.0ms (0.1% of total)

ival-<=: 283.0ms (0.1% of total)

ival-asin: 218.0ms (0.1% of total)

ival-fabs: 173.0ms (0.1% of total)

ival-==: 2.0ms (0% of total)

ival-or: 0.0ms (0% of total)

Bogosity

simplify2.4min (10%)

Algorithm

414×	egg-herbie

Rules

145426×	`fma-define`
113528×	`associate-r`
106852×	`distribute-lft-in`
105313×	`*-commutative`
94054×	`distribute-rgt-in`

Stop Event

52×	saturated
358×	node limit
4×	unsound

Counts

184004 → 156834

eval1.7min (6.9%)

Compiler: Compiled 6780212 to 4093442 computations (39.6% saved)

explain1.6min (6.5%)

Results

6.9s	16172×	0	valid
20.9s	8742×	1	valid
11.4s	1052×	2	valid
31.3s	580×	3	valid
11.3s	78×	4	valid

Compiler

Compiled 20263 to 11933 computations (41.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 1.3min

ival-sin: 17.5s (22.9% of total)

ival-cos: 13.4s (17.5% of total)

ival-mult: 12.2s (15.9% of total)

ival-div: 10.1s (13.2% of total)

ival-pow: 8.8s (11.5% of total)

backward-pass: 8.6s (11.2% of total)

ival-add: 1.8s (2.4% of total)

ival-sub: 1.3s (1.7% of total)

const: 754.0ms (1% of total)

ival-sqrt: 688.0ms (0.9% of total)

ival-log: 444.0ms (0.6% of total)

ival-exp: 251.0ms (0.3% of total)

ival-tan: 183.0ms (0.2% of total)

ival-neg: 137.0ms (0.2% of total)

ival-atan2: 68.0ms (0.1% of total)

ival-atan: 61.0ms (0.1% of total)

ival-pi: 48.0ms (0.1% of total)

ival-cbrt: 34.0ms (0% of total)

ival-acos: 25.0ms (0% of total)

ival-asin: 13.0ms (0% of total)

ival-fabs: 12.0ms (0% of total)

soundness1.2min (5%)

Rules

83540×	`fma-define`
57891×	`log1p-expm1-u`
55246×	`associate-r`
49178×	`fma-neg`
46355×	`expm1-log1p-u`

Stop Event

15×	saturated
38×	fuel
234×	node limit
3×	unsound
12×	done

Compiler

Compiled 187862 to 108524 computations (42.2% saved)

regimes54.6s (3.8%)

Counts

20141 → 880

Calls

150 calls:

5.5s	phi2
3.8s	lambda1
3.2s	phi1
3.1s	lambda2
2.5s	(-.f64 lambda1 lambda2)

Compiler

Compiled 12388 to 9112 computations (26.4% saved)

prune49.5s (3.4%)

Counts: 165155 → 6759
Compiler: Compiled 435700 to 302908 computations (30.5% saved)

rewrite38.6s (2.7%)

Algorithm

182×	batch-egg-rewrite

Rules

112674×	`log1p-expm1-u`
84272×	`expm1-log1p-u`
44665×	`pow1`
42860×	`add-exp-log`
42156×	`add-log-exp`

Stop Event

179×	node limit
3×	unsound

Counts

1765 → 51346

analyze33.6s (2.3%)

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
14.8%	11.8%	67.6%	20.6%	0%	0%	0%	1
22.6%	17.7%	60.4%	21%	0%	0.9%	0%	2
32.7%	24.7%	50.8%	21.2%	0%	3.3%	0%	3
39.8%	29.8%	45%	21.2%	0%	4%	0%	4
45.4%	33.8%	40.6%	21.2%	0%	4.5%	0%	5
48.4%	35.7%	38%	21.2%	0%	5.1%	0%	6
51.8%	37.8%	35.2%	21.2%	0%	5.7%	0.1%	7
53.5%	38.9%	33.8%	21.3%	0%	6%	0.1%	8
56.4%	40.6%	31.4%	21.3%	0%	6.6%	0.2%	9
57.7%	41.4%	30.3%	21.3%	0%	6.8%	0.2%	10
59.8%	42.7%	28.7%	21.3%	0%	7.1%	0.3%	11
61.3%	43.5%	27.5%	21.3%	0%	7.5%	0.3%	12

Compiler

Compiled 1919 to 1338 computations (30.3% saved)

Precisions

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

ival-mult: 7.1s (30.5% of total)

ival-div: 4.1s (17.8% of total)

ival-pow: 3.2s (13.7% of total)

ival-cos: 2.5s (10.6% of total)

ival-sin: 1.9s (8.1% of total)

ival-sub: 1.4s (6.2% of total)

ival-add: 1.0s (4.3% of total)

ival-sqrt: 466.0ms (2% of total)

const: 296.0ms (1.3% of total)

ival-neg: 275.0ms (1.2% of total)

ival-<: 234.0ms (1% of total)

ival-exp: 158.0ms (0.7% of total)

ival-atan2: 135.0ms (0.6% of total)

ival-tan: 80.0ms (0.3% of total)

ival-pi: 75.0ms (0.3% of total)

ival-atan: 62.0ms (0.3% of total)

ival-and: 50.0ms (0.2% of total)

ival-log: 49.0ms (0.2% of total)

ival-asin: 47.0ms (0.2% of total)

ival-acos: 38.0ms (0.2% of total)

ival-fabs: 33.0ms (0.1% of total)

backward-pass: 23.0ms (0.1% of total)

ival-cbrt: 18.0ms (0.1% of total)

ival-<=: 3.0ms (0% of total)

ival-or: 0.0ms (0% of total)

ival-==: 0.0ms (0% of total)

bsearch19.0s (1.3%)

Algorithm

295×	binary-search
99×	left-value

Stop Event

6×	predicate-same
289×	narrow-enough

Results

5.8s	24869×	0	valid
8.5s	9876×	1	valid
893.0ms	1703×	2	valid
447.0ms	592×	3	valid
61.0ms	548×	0	invalid
1.0ms	22×	0	unsamplable

Compiler

Compiled 90455 to 68959 computations (23.8% saved)

Precisions

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

ival-mult: 2.1s (16.2% of total)

ival-cos: 2.1s (16.1% of total)

ival-sin: 1.9s (14.9% of total)

ival-div: 1.6s (12.7% of total)

backward-pass: 1.2s (9.6% of total)

ival-sub: 1.1s (8.9% of total)

ival-pow: 1.0s (7.8% of total)

ival-add: 422.0ms (3.3% of total)

ival-sqrt: 357.0ms (2.8% of total)

ival-acos: 224.0ms (1.7% of total)

ival-atan2: 182.0ms (1.4% of total)

ival-atan: 179.0ms (1.4% of total)

const: 143.0ms (1.1% of total)

ival-pi: 85.0ms (0.7% of total)

ival-neg: 63.0ms (0.5% of total)

ival-exp: 53.0ms (0.4% of total)

ival-log: 51.0ms (0.4% of total)

ival-asin: 7.0ms (0.1% of total)

ival-cbrt: 2.0ms (0% of total)

series17.2s (1.2%)

Counts

1765 → 40656

Calls

10083 calls:

Time	Variable		Point	Expression
178.0ms	a	@	0	(pow (* a b) 1/4)
152.0ms	lambda2	@	0	(pow (+ (* (cos (- lambda1 lambda2)) (cos phi2)) (cos phi1)) 3)
149.0ms	phi2	@	inf	(- (pow (E) (log (+ 1 (* R (acos (+ (* (cos (- lambda1 lambda2)) (* (cos phi1) (cos phi2))) (* (sin phi1) (sin phi2)))))))) 1)
138.0ms	angle	@	0	(- (* (/ (* (* 2 (- (pow b 2) (pow a 2))) (* (sin (* (/ angle 180) (PI))) (cos (* (/ angle 180) (PI))))) (* y-scale x-scale)) (/ (* (* 2 (- (pow b 2) (pow a 2))) (* (sin (* (/ angle 180) (PI))) (cos (* (/ angle 180) (PI))))) (* y-scale x-scale))) (* 4 (* (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow y-scale 2)))))
135.0ms	phi1	@	inf	(* (- lambda1 lambda2) (pow (cbrt (- (* (cos (* phi2 1/2)) (cos (* phi1 1/2))) (* (sin (* phi2 1/2)) (sin (* phi1 1/2))))) 3))

preprocess15.8s (1.1%)

Algorithm

52×	egg-herbie

Rules

32328×	`fma-define`
19274×	`fma-neg`
13234×	`div-sub`
11584×	`unsub-neg`
11427×	`sub-neg`

Stop Event

22×	saturated
30×	node limit

Compiler

Compiled 54728 to 34008 computations (37.9% saved)

end0.0ms (0%)

Precisions: Click to see histograms. Total time spent on operations: 6.1s
ival-div: 6.1s (100% of total)

localize7.6min (31.6%)

sample5.8min (24.2%)

simplify2.4min (10%)

eval1.7min (6.9%)

explain1.6min (6.5%)

soundness1.2min (5%)

regimes54.6s (3.8%)

prune49.5s (3.4%)

rewrite38.6s (2.7%)

analyze33.6s (2.3%)

bsearch19.0s (1.3%)

series17.2s (1.2%)

preprocess15.8s (1.1%)

end0.0ms (0%)

Profiling