Metrics for Herbie run

Date:	Friday, May 10th, 2024
Commit:	b0326c12 on jackson-platforms-report
Hostname:	nightly with Racket 8.11.1
Seed:	2024131
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.2min (21.2%)

Algorithm

150×	egg-herbie

Rules

102664×	`fma-define`
82066×	`*-commutative`
68790×	`distribute-lft-in`
62930×	`times-frac`
60384×	`associate-r`

Stop Event

30×	saturated
120×	node limit

Counts

102027 → 72128

soundness1.5min (14.5%)

Rules

103018×	`fma-define`
61674×	`associate-r`
61528×	`*-commutative`
53834×	`times-frac`
51900×	`fmm-def`

Stop Event

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

Compiler

Compiled 63866 to 12344 computations (80.7% saved)

sample1.5min (13.8%)

Results

1.1min	247680×	0	valid
1.2s	8227×	0	invalid
1.2s	2049×	0	precondition
18.0ms	61×	5	exit

Precisions

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

ival-mult: 13.3s (25.3% of total)

ival-<=: 10.7s (20.5% of total)

ival-div: 4.5s (8.6% of total)

ival-add: 2.7s (5.2% of total)

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

ival-sin: 2.1s (4% of total)

ival-sqrt: 2.0s (3.7% of total)

ival-fabs: 1.9s (3.7% of total)

ival-and: 1.7s (3.2% of total)

ival-log: 1.5s (2.9% of total)

ival-cos: 1.2s (2.3% of total)

ival-exp: 1.0s (1.9% of total)

ival-floor: 873.0ms (1.7% of total)

ival-pi: 749.0ms (1.4% of total)

ival-neg: 705.0ms (1.3% of total)

ival-if: 691.0ms (1.3% of total)

const: 659.0ms (1.3% of total)

ival-<: 552.0ms (1.1% of total)

ival-atan: 471.0ms (0.9% of total)

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

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

ival-tan: 390.0ms (0.7% of total)

ival-sinh: 374.0ms (0.7% of total)

ival-log2: 234.0ms (0.4% of total)

ival-asin: 192.0ms (0.4% of total)

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

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

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

Bogosity

localize1.1min (10.2%)

Algorithm

120×	egg-herbie

Rules

113320×	`fma-define`
71662×	`fmm-def`
61756×	`associate-+r-`
55364×	`distribute-lft-in`
47272×	`distribute-rgt-in`

Stop Event

32×	saturated
88×	node limit

Results

18.0s	25839×	0	valid
5.5s	1420×	5	exit
2.8s	1329×	1	valid
1.3s	1168×	0	invalid
553.0ms	944×	0	unsamplable
79.0ms	17×	2	invalid
12.0ms	3×	2	valid

Compiler

Compiled 100507 to 5301 computations (94.7% saved)

Precisions

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

ival-mult: 4.6s (26% of total)

ival-div: 2.1s (11.6% of total)

ival-pow: 1.7s (9.8% of total)

<compiled-spec>: 1.7s (9.8% of total)

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

backward-pass: 1.1s (6.2% of total)

ival-sin: 772.0ms (4.4% of total)

ival-log: 724.0ms (4.1% of total)

ival-sqrt: 680.0ms (3.8% of total)

ival-sub: 516.0ms (2.9% of total)

ival-exp: 356.0ms (2% of total)

ival-floor: 332.0ms (1.9% of total)

ival-tan: 223.0ms (1.3% of total)

ival-neg: 184.0ms (1% of total)

ival-cbrt: 174.0ms (1% of total)

ival-fmax: 162.0ms (0.9% of total)

ival-if: 161.0ms (0.9% of total)

ival-cos: 159.0ms (0.9% of total)

const: 126.0ms (0.7% of total)

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

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

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

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

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

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

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

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

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

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

prune45.7s (7.2%)

Counts: 134780 → 3911
Compiler: Compiled 356868 to 127598 computations (64.2% saved)

end43.5s (6.9%)

rewrite33.3s (5.3%)

Algorithm

120×	batch-egg-rewrite

Rules

63462×	`log1p-expm1-u`
49883×	`expm1-log1p-u`
36907×	`add-exp-log`
36346×	`pow1`
35310×	`log-prod`

Stop Event

120×	node limit

Counts

2000 → 45266

series30.6s (4.9%)

Counts

2000 → 56761

Calls

13911 calls:

Time	Variable		Point	Expression
407.0ms	h	@	-inf	(if (>= (pow (sqrt (+ (* (* dX.u (floor w)) (* dX.u (floor w))) (* (* dX.v (floor h)) (* dX.v (floor h))))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)) (/ (* (floor h) dX.v) (sqrt (fmax (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* (floor h) (* (floor h) (* dX.v dX.v)))) (+ (* (floor h) (* dY.v (* (floor h) dY.v))) (* dY.u (* dY.u (* (floor w) (floor w)))))))) (pow (/ (sqrt (fmax (pow (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2))) (* (floor h) dY.v)) -1))
370.0ms	dX.u	@	0	(if (< (if (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (floor maxAniso)) (/ (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))) 1) (fmax 1 (* (if (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))))) (floor maxAniso)) (floor maxAniso) (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))))) (if (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (floor maxAniso)) (/ (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))))) (if (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (fabs (* (floor w) (* (neg dY.u) (* dX.v (floor h)))))) (floor maxAniso)) (floor maxAniso) (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))))))
324.0ms	s	@	0	(* s (- (log (+ 1 (* u (+ (* u 16) 4)))) (log (+ 1 (* (pow u 3) -64)))))
278.0ms	s	@	-inf	(sqrt (log (+ -1 (/ 1 (+ (/ u (+ 1 (exp (/ (PI) (neg s))))) (/ (- 1 u) (+ 1 (+ 1 (/ (PI) s)))))))))
274.0ms	u2	@	inf	(sqrt (* (log (+ 1 u1)) (pow (cos (* (* 2 (PI)) u2)) 2)))

regimes30.2s (4.8%)

Counts

9855 → 412

Calls

145 calls:

925.0ms	dY.u
747.0ms	cosTheta_i
726.0ms	u1
719.0ms	dY.v
710.0ms	u2

Compiler

Compiled 14347 to 9937 computations (30.7% saved)

eval28.0s (4.4%)

Compiler: Compiled 11932836 to 573708 computations (95.2% saved)

analyze24.7s (3.9%)

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: 16.0s

ival-mult: 4.0s (24.8% of total)

ival-<=: 3.5s (21.8% of total)

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

ival-div: 1.1s (7% of total)

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

ival-add: 686.0ms (4.3% of total)

ival-and: 645.0ms (4% of total)

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

ival-sqrt: 485.0ms (3% of total)

ival-==: 479.0ms (3% of total)

ival-fmax: 336.0ms (2.1% of total)

ival->=: 330.0ms (2.1% of total)

ival-sub: 231.0ms (1.4% of total)

ival-log2: 195.0ms (1.2% of total)

ival-pi: 152.0ms (0.9% of total)

const: 141.0ms (0.9% of total)

ival-sin: 137.0ms (0.9% of total)

ival->: 137.0ms (0.9% of total)

ival-cos: 90.0ms (0.6% of total)

ival-log: 76.0ms (0.5% of total)

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

ival-neg: 50.0ms (0.3% of total)

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

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

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

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

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

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

preprocess9.8s (1.6%)

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 63002 to 17570 computations (72.1% saved)

explain8.3s (1.3%)

Results

3.7s	15292×	0	valid
83.0ms	64×	5	exit
1.0ms	4×	1	valid

Compiler

Compiled 16652 to 1662 computations (90% saved)

Precisions

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

ival-mult: 610.0ms (32.9% of total)

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

ival-sqrt: 191.0ms (10.3% of total)

ival-sin: 129.0ms (7% of total)

ival-log: 113.0ms (6.1% of total)

ival-sub: 105.0ms (5.7% of total)

ival-add: 102.0ms (5.5% of total)

ival-floor: 53.0ms (2.9% of total)

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

ival-cos: 44.0ms (2.4% of total)

ival-fmax: 38.0ms (2% of total)

ival-neg: 35.0ms (1.9% of total)

const: 29.0ms (1.6% of total)

ival-pi: 28.0ms (1.5% of total)

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

ival-if: 20.0ms (1.1% of total)

ival-tan: 20.0ms (1.1% of total)

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

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

ival-asin: 9.0ms (0.5% of total)

ival-atan: 7.0ms (0.4% 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)

bsearch45.0ms (0%)

Algorithm

73×	binary-search
11×	left-value

Stop Event

73×	narrow-enough

Compiler

Compiled 3821 to 1821 computations (52.3% saved)

simplify2.2min (21.2%)

soundness1.5min (14.5%)

sample1.5min (13.8%)

localize1.1min (10.2%)

prune45.7s (7.2%)

end43.5s (6.9%)

rewrite33.3s (5.3%)

series30.6s (4.9%)

regimes30.2s (4.8%)

eval28.0s (4.4%)

analyze24.7s (3.9%)

preprocess9.8s (1.6%)

explain8.3s (1.3%)

bsearch45.0ms (0%)

Profiling