Date:	Thursday, July 6th, 2023
Commit:	5fbe2106 on server-status
Hostname:	nightly with Racket 8.6
Seed:	2023187
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

Details

sample2.8min (20.7%)

Results

46.7s	155138×	body	256	valid
29.9s	29401×	body	1024	valid
18.8s	65985×	body	256	invalid
13.9s	7704×	body	8192	exit
12.0s	39248×	body	256	infinite
10.2s	10384×	body	2048	valid
9.3s	13741×	body	512	valid
5.7s	6023×	body	1024	invalid
4.1s	709×	body	4096	infinite
3.6s	2021×	body	4096	valid
2.5s	7785×	body	256	unsamplable
2.2s	627×	body	2048	infinite
1.9s	3104×	body	512	invalid
1.9s	2432×	body	1024	infinite
938.0ms	785×	body	8192	valid
711.0ms	1450×	body	512	infinite
5.0ms	4×	body	2048	invalid

Bogosity

soundness2.4min (17.6%)

Rules

262930×	`fma-def`
205914×	`associate-r`
172058×	`associate-l`
153702×	`log-prod`
141784×	`*-commutative`

Stop Event

2×	unsound
6×	saturated
442×	node limit

Compiler

Compiled 44780 to 26424 computations (41% saved)

localize2.0min (14.8%)

Compiler: Compiled 37136 to 17025 computations (54.2% saved)

regimes1.6min (12%)

Counts

10211 → 952

Calls

152 calls:

7.2s	l
4.9s	t
3.8s	NdChar
3.7s	(sin.f64 ky)
3.4s	NaChar

Compiler

Compiled 149983 to 79240 computations (47.2% saved)

eval1.4min (10.3%)

Compiler: Compiled 2641962 to 1565335 computations (40.8% saved)

simplify53.2s (6.7%)

Algorithm

185×	egg-herbie

Rules

125518×	`fma-def`
85952×	`associate-r`
76416×	`associate-l`
74866×	`times-frac`
71540×	`*-commutative`

Stop Event

1×	done
37×	saturated
30×	fuel
148×	node limit

Counts

62737 → 49452

Compiler

Compiled 14740 to 9230 computations (37.4% saved)

prune35.2s (4.4%)

Counts: 74710 → 3148
Compiler: Compiled 221876 to 152429 computations (31.3% saved)

bsearch31.5s (3.9%)

Algorithm

446×	binary-search
139×	left-value

Stop Event

431×	narrow-enough
15×	predicate-same

Results

10.1s	35491×	body	256	valid
6.9s	7286×	body	1024	valid
3.2s	8703×	body	256	infinite
2.6s	9359×	body	256	invalid
2.3s	3326×	body	512	valid
1.2s	804×	body	4096	valid
928.0ms	702×	body	2048	valid
740.0ms	358×	body	8192	valid
395.0ms	496×	body	1024	infinite
259.0ms	329×	body	1024	invalid
129.0ms	313×	body	512	infinite
98.0ms	222×	body	512	invalid
20.0ms	18×	body	2048	infinite
12.0ms	7×	body	4096	infinite
2.0ms	1×	body	8192	exit

Compiler

Compiled 136681 to 99615 computations (27.1% saved)

rewrite31.4s (3.9%)

Algorithm

123×	batch-egg-rewrite

Rules

83290×	`pow1`
78764×	`add-exp-log`
78694×	`log1p-expm1-u`
78668×	`expm1-log1p-u`
78614×	`add-log-exp`

Stop Event

1×	unsound
122×	node limit

Counts

1312 → 29731

analyze16.9s (2.1%)

Algorithm

31×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	98.2%	1.8%	0%	0%	0%	0
23%	22.6%	75.6%	1.8%	0%	0%	0%	1
24.2%	23.3%	73.2%	1.8%	0%	1.6%	0%	2
30.2%	28.2%	65.2%	1.8%	0%	4.8%	0%	3
34%	31.2%	60.6%	1.8%	0%	6.4%	0%	4
36.2%	33.2%	58.5%	1.8%	0%	6.4%	0%	5
40.4%	37%	54.5%	1.8%	0%	6.6%	0%	6
45.4%	41.1%	49.4%	1.8%	0%	7.3%	0.4%	7
47.7%	42.6%	46.7%	1.8%	0%	8.6%	0.4%	8
50.6%	44.9%	43.9%	1.8%	0%	8.9%	0.5%	9
51.7%	45.7%	42.7%	1.8%	0%	9.3%	0.5%	10
53.4%	46.8%	40.9%	1.8%	0%	9.9%	0.6%	11
55.1%	48%	39.1%	1.8%	0%	10.5%	0.6%	12

Compiler

Compiled 845 to 604 computations (28.5% saved)

series15.1s (1.9%)

Counts

1312 → 32975

Calls

9147 calls:

Time	Variable		Point	Expression
391.0ms	t	@	-inf	(.f64 (sqrt.f64 2) (.f64 (sqrt.f64 (/.f64 1 (-.f64 (+.f64 (/.f64 x (-.f64 x 1)) (/.f64 1 (-.f64 x 1))) 1))) (/.f64 t l)))
290.0ms	l	@	-inf	(-.f64 (exp.f64 (log1p.f64 (/.f64 1 (*.f64 h l)))) 1)
261.0ms	f	@	-inf	(log.f64 (pow.f64 (exp.f64 f) (*.f64 (PI.f64) 1/2)))
148.0ms	k	@	-inf	(pow.f64 (pow.f64 (/.f64 (.f64 2 (.f64 n (PI.f64))) k) 3/2) 1/3)
137.0ms	h	@	inf	(-.f64 (exp.f64 (log1p.f64 (/.f64 1 (*.f64 h l)))) 1)

end9.7s (1.2%)

Compiler: Compiled 29162 to 14832 computations (49.1% saved)

preprocess3.8s (0.5%)

Algorithm

62×	egg-herbie

Rules

28786×	`fma-def`
14268×	`fma-neg`
13542×	`associate-*r/`
12824×	`associate-r`
12316×	`distribute-lft-in`

Stop Event

7×	unsound
30×	saturated
25×	node limit

Compiler

Compiled 904 to 666 computations (26.3% saved)

Herbie run

Details

sample2.8min (20.7%)

soundness2.4min (17.6%)

localize2.0min (14.8%)

regimes1.6min (12%)

eval1.4min (10.3%)

simplify53.2s (6.7%)

prune35.2s (4.4%)

bsearch31.5s (3.9%)

rewrite31.4s (3.9%)

analyze16.9s (2.1%)

series15.1s (1.9%)

end9.7s (1.2%)

preprocess3.8s (0.5%)

Profiling