Metrics for Herbie run

Date:	Saturday, May 18th, 2024
Commit:	4507d544 on jackson-mergable-platform-changes
Hostname:	nightly with Racket 8.11.1
Seed:	2024139
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

simplify2.3min (23.9%)

Algorithm

149×	egg-herbie

Rules

102766×	`fma-define`
83390×	`*-commutative`
67644×	`times-frac`
65076×	`distribute-lft-in`
60306×	`distribute-rgt-in`

Stop Event

30×	saturated
119×	node limit

Counts

102775 → 73082

soundness1.5min (15.7%)

Rules

99390×	`fma-define`
63000×	`times-frac`
61756×	`*-commutative`
53152×	`associate-r`
51820×	`distribute-lft-in`

Stop Event

7×	saturated
161×	node limit
29×	fuel
1×	done

Compiler

Compiled 67876 to 11927 computations (82.4% saved)

sample1.4min (14.2%)

Results

59.0s	247680×	0	valid
1.3s	8399×	0	invalid
663.0ms	2102×	0	precondition
20.0ms	63×	5	exit

Precisions

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

ival-mult: 11.6s (24.1% of total)

ival-<=: 10.1s (20.9% of total)

ival-div: 5.1s (10.6% of total)

ival-sub: 2.6s (5.3% of total)

ival-sin: 2.5s (5.1% of total)

ival-add: 2.0s (4.2% of total)

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

ival-fabs: 1.6s (3.4% of total)

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

ival-and: 1.5s (3.1% of total)

ival-neg: 1.1s (2.2% of total)

ival-pi: 851.0ms (1.8% of total)

ival-cos: 842.0ms (1.7% of total)

ival-floor: 734.0ms (1.5% of total)

ival-exp: 705.0ms (1.5% of total)

const: 648.0ms (1.3% of total)

ival-fmax: 407.0ms (0.8% of total)

ival-<: 387.0ms (0.8% of total)

ival-if: 382.0ms (0.8% of total)

ival->: 334.0ms (0.7% of total)

ival-log2: 321.0ms (0.7% of total)

ival-asin: 315.0ms (0.7% of total)

ival-tan: 311.0ms (0.6% of total)

ival-==: 189.0ms (0.4% of total)

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

backward-pass: 117.0ms (0.2% of total)

ival-sinh: 101.0ms (0.2% of total)

ival->=: 77.0ms (0.2% of total)

Bogosity

localize1.0min (10.9%)

Algorithm

119×	egg-herbie

Rules

129162×	`fma-define`
80368×	`fmm-def`
53570×	`distribute-lft-in`
52100×	`unsub-neg`
47156×	`times-frac`

Stop Event

35×	saturated
84×	node limit

Results

20.4s	27265×	0	valid
3.1s	860×	5	exit
1.4s	1056×	1	valid
902.0ms	989×	0	invalid
121.0ms	291×	0	unsamplable
8.0ms	2×	2	valid
6.0ms	1×	3	valid

Compiler

Compiled 105561 to 5481 computations (94.8% saved)

Precisions

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

ival-mult: 4.8s (27.9% of total)

ival-div: 2.4s (14.2% of total)

<compiled-spec>: 2.1s (12.1% of total)

ival-pow: 1.4s (8% of total)

ival-add: 1.3s (7.9% of total)

ival-log: 769.0ms (4.5% of total)

ival-sqrt: 735.0ms (4.3% of total)

backward-pass: 659.0ms (3.8% of total)

ival-sub: 515.0ms (3% of total)

ival-exp: 406.0ms (2.4% of total)

ival-sin: 385.0ms (2.2% of total)

ival-fmax: 214.0ms (1.2% of total)

ival-neg: 197.0ms (1.1% of total)

ival-floor: 181.0ms (1.1% of total)

ival-if: 163.0ms (1% of total)

ival-cos: 143.0ms (0.8% of total)

const: 121.0ms (0.7% of total)

ival-asin: 121.0ms (0.7% of total)

ival-log2: 113.0ms (0.7% of total)

ival-tan: 78.0ms (0.5% of total)

ival-pi: 73.0ms (0.4% of total)

ival-cbrt: 59.0ms (0.3% of total)

ival->=: 44.0ms (0.3% of total)

ival->: 41.0ms (0.2% of total)

ival-fabs: 34.0ms (0.2% of total)

ival-atan: 28.0ms (0.2% of total)

ival-sinh: 15.0ms (0.1% of total)

ival-<: 15.0ms (0.1% of total)

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

prune41.2s (7.1%)

Counts: 144555 → 3870
Compiler: Compiled 351440 to 125609 computations (64.3% saved)

series32.9s (5.7%)

Counts

2012 → 58094

Calls

14388 calls:

Time	Variable		Point	Expression
652.0ms	w	@	inf	(sqrt (+ (* (* dX.w (floor d)) (* dX.w (floor d))) (* (* dX.u (floor w)) (* dX.u (floor w)))))
467.0ms	u1	@	inf	(* u2 (* (sqrt (/ 1 (+ (/ 1 u1) -1))) (+ (* (pow u2 2) -31006276680305942139213528068663279/750000000000000000000000000000000) 314159265359/50000000000)))
375.0ms	dX.w	@	inf	(log (fmax (pow (sqrt (+ (* (* (floor d) dX.w) (* (floor d) dX.w)) (* (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))))))) 2) (pow (sqrt (+ (* (* (floor d) dY.w) (* (floor d) dY.w)) (* (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))) 2)))
312.0ms	u2	@	-inf	(log (+ 1 (cos (* 2 (* (PI) u2)))))
289.0ms	dX.v	@	inf	(if (< (if (> (/ (fmax (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* (floor h) (* (* dX.v dX.v) (floor h)))) (+ (* (floor w) (* (* dY.u dY.u) (floor w))) (* (floor h) (* (* dY.v dY.v) (floor h))))) (fabs (* (floor h) (- (* dX.u (* (floor w) dY.v)) (* (* dY.u dX.v) (floor w)))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* (floor h) (* (* dX.v dX.v) (floor h)))) (+ (* (floor w) (* (* dY.u dY.u) (floor w))) (* (floor h) (* (* dY.v dY.v) (floor h)))))) (floor maxAniso)) (/ (fabs (* (floor h) (- (* dX.u (* (floor w) dY.v)) (* (* dY.u dX.v) (floor w))))) (sqrt (fmax (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* (floor h) (* (* dX.v dX.v) (floor h)))) (+ (* (floor w) (* (* dY.u dY.u) (floor w))) (* (floor h) (* (* dY.v dY.v) (floor h)))))))) 1) (fmax 1 (* (if (> (/ (fmax (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* (floor h) (* (* dX.v dX.v) (floor h)))) (+ (* (floor w) (* (* dY.u dY.u) (floor w))) (* (floor h) (* (* dY.v dY.v) (floor h))))) (fabs (* (floor h) (- (* dX.u (* (floor w) dY.v)) (* (* dY.u dX.v) (floor w)))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* (floor h) (* (* dX.v dX.v) (floor h)))) (+ (* (floor w) (* (* dY.u dY.u) (floor w))) (* (floor h) (* (* dY.v dY.v) (floor h)))))) (floor maxAniso)) (/ (fabs (* (floor h) (- (* dX.u (* (floor w) dY.v)) (* (* dY.u dX.v) (floor w))))) (sqrt (fmax (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* (floor h) (* (* dX.v dX.v) (floor h)))) (+ (* (floor w) (* (* dY.u dY.u) (floor w))) (* (floor h) (* (* dY.v dY.v) (floor h)))))))) (if (> (/ (fmax (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* (floor h) (* (* dX.v dX.v) (floor h)))) (+ (* (floor w) (* (* dY.u dY.u) (floor w))) (* (floor h) (* (* dY.v dY.v) (floor h))))) (fabs (* (floor h) (- (* dX.u (* (floor w) dY.v)) (* (* dY.u dX.v) (floor w)))))) (floor maxAniso)) (floor maxAniso) (/ (fmax (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* (floor h) (* (* dX.v dX.v) (floor h)))) (+ (* (floor w) (* (* dY.u dY.u) (floor w))) (* (floor h) (* (* dY.v dY.v) (floor h))))) (fabs (* (floor h) (- (* dX.u (* (floor w) dY.v)) (* (* dY.u dX.v) (floor w))))))))) (if (> (/ (fmax (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* (floor h) (* (* dX.v dX.v) (floor h)))) (+ (* (floor w) (* (* dY.u dY.u) (floor w))) (* (floor h) (* (* dY.v dY.v) (floor h))))) (fabs (* (floor h) (- (* dX.u (* (floor w) dY.v)) (* (* dY.u dX.v) (floor w)))))) (floor maxAniso)) (floor maxAniso) (/ (fmax (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* (floor h) (* (* dX.v dX.v) (floor h)))) (+ (* (floor w) (* (* dY.u dY.u) (floor w))) (* (floor h) (* (* dY.v dY.v) (floor h))))) (fabs (* (floor h) (- (* dX.u (* (floor w) dY.v)) (* (* dY.u dX.v) (floor w))))))))

rewrite32.1s (5.6%)

Algorithm

119×	batch-egg-rewrite

Rules

60557×	`log1p-expm1-u`
47554×	`expm1-log1p-u`
37596×	`pow1`
36212×	`log-prod`
35670×	`add-exp-log`

Stop Event

119×	node limit

Counts

2012 → 44681

eval31.9s (5.5%)

Compiler: Compiled 13113272 to 622023 computations (95.3% saved)

regimes26.2s (4.5%)

Counts

8737 → 384

Calls

145 calls:

1.0s	s
858.0ms	dX.v
819.0ms	ux
640.0ms	dY.u
605.0ms	uy

Compiler

Compiled 12892 to 8924 computations (30.8% saved)

analyze24.8s (4.3%)

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.2%	0.2%	2.4%	97.4%	0%	0%	0%	2
10.8%	0.3%	2.3%	97.4%	0%	0%	0%	3
15.5%	0.4%	2.2%	97.4%	0%	0%	0%	4
48.8%	1.3%	1.3%	97.4%	0%	0%	0%	5
53.6%	1.4%	1.2%	97.4%	0%	0%	0%	6
70.7%	1.8%	0.8%	97.4%	0%	0%	0%	7
72.6%	1.9%	0.7%	97.4%	0%	0.1%	0%	8
81.8%	2.1%	0.5%	97.4%	0%	0.1%	0%	9
83.3%	2.1%	0.4%	97.4%	0%	0.1%	0%	10
88.8%	2.2%	0.3%	97.4%	0%	0.1%	0%	11
89.5%	2.2%	0.3%	97.4%	0%	0.1%	0%	12

Compiler

Compiled 2668 to 1046 computations (60.8% saved)

Precisions

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

ival-mult: 4.3s (28.9% of total)

ival-<=: 2.7s (18.1% of total)

ival-fabs: 1.7s (11.7% of total)

ival-div: 1.0s (6.9% of total)

ival-floor: 848.0ms (5.7% of total)

ival-and: 537.0ms (3.6% of total)

ival-add: 530.0ms (3.5% of total)

ival-if: 468.0ms (3.1% of total)

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

ival-fmax: 325.0ms (2.2% of total)

ival-==: 301.0ms (2% of total)

ival-cos: 247.0ms (1.6% of total)

ival-sub: 234.0ms (1.6% of total)

ival-log2: 226.0ms (1.5% of total)

ival-sin: 203.0ms (1.4% of total)

const: 135.0ms (0.9% of total)

ival->=: 131.0ms (0.9% of total)

ival->: 95.0ms (0.6% of total)

ival-tan: 86.0ms (0.6% of total)

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

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

ival-neg: 55.0ms (0.4% of total)

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

ival-<: 47.0ms (0.3% of total)

backward-pass: 28.0ms (0.2% of total)

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

ival-sinh: 14.0ms (0.1% of total)

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

preprocess8.6s (1.5%)

Algorithm

30×	egg-herbie

Rules

30620×	`fma-define`
21784×	`fmm-def`
14698×	`distribute-lft-neg-in`
14266×	`unsub-neg`
11858×	`distribute-rgt-neg-in`

Stop Event

11×	saturated
19×	node limit

Compiler

Compiled 46082 to 13690 computations (70.3% saved)

explain6.3s (1.1%)

Results

3.5s	15268×	0	valid
156.0ms	86×	5	exit
2.0ms	6×	1	valid

Compiler

Compiled 16652 to 1662 computations (90% saved)

Precisions

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

ival-mult: 620.0ms (31.2% of total)

ival-div: 210.0ms (10.6% of total)

ival-sin: 199.0ms (10% of total)

ival-pi: 139.0ms (7% of total)

ival-add: 108.0ms (5.4% of total)

ival-cos: 97.0ms (4.9% of total)

ival-log: 97.0ms (4.9% of total)

ival-sub: 88.0ms (4.4% of total)

ival-sqrt: 73.0ms (3.7% of total)

ival-if: 70.0ms (3.5% of total)

ival-floor: 54.0ms (2.7% of total)

ival-exp: 43.0ms (2.2% of total)

ival-neg: 39.0ms (2% of total)

const: 29.0ms (1.5% of total)

ival-fmax: 24.0ms (1.2% of total)

backward-pass: 22.0ms (1.1% of total)

ival-tan: 19.0ms (1% of total)

ival-log2: 15.0ms (0.8% of total)

ival-fabs: 10.0ms (0.5% of total)

ival-atan: 7.0ms (0.4% of total)

ival-asin: 6.0ms (0.3% of total)

ival->=: 6.0ms (0.3% of total)

ival->: 5.0ms (0.3% of total)

ival-sinh: 5.0ms (0.3% of total)

ival-<: 2.0ms (0.1% of total)

bsearch50.0ms (0%)

Algorithm

52×	binary-search
21×	left-value

Stop Event

52×	narrow-enough

Compiler

Compiled 3945 to 1706 computations (56.8% saved)

Herbie run

simplify2.3min (23.9%)

soundness1.5min (15.7%)

sample1.4min (14.2%)

localize1.0min (10.9%)

prune41.2s (7.1%)

series32.9s (5.7%)

rewrite32.1s (5.6%)

eval31.9s (5.5%)

regimes26.2s (4.5%)

analyze24.8s (4.3%)

preprocess8.6s (1.5%)

explain6.3s (1.1%)

bsearch50.0ms (0%)

end0.0ms (0%)

Profiling