Date:	Thursday, July 6th, 2023
Commit:	9526a989 on no-initial-simplify
Hostname:	nightly with Racket 8.6
Seed:	2023187
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

Details

localize7.8min (33.3%)

Results

Compiler

Compiled 75944 to 37645 computations (50.4% saved)

sample7.5min (32.2%)

Results

2.7min	16870×	body	8192	exit
1.1min	64448×	body	1024	valid
57.4s	8331×	body	4096	valid
50.8s	269843×	body	256	valid
32.1s	13423×	body	2048	valid
27.7s	1561×	body	8192	valid
17.3s	32149×	body	512	valid
6.8s	4148×	body	1024	infinite
5.8s	27695×	body	256	unsamplable
5.5s	27205×	body	256	infinite
4.0s	20900×	body	256	invalid
3.7s	588×	body	4096	infinite
3.1s	835×	body	2048	infinite
2.1s	5373×	body	2048	invalid
2.1s	2097×	body	512	infinite
1.4s	3759×	body	1024	invalid
712.0ms	2218×	body	512	invalid
411.0ms	30×	body	8192	infinite
75.0ms	892×	body	256	precondition
56.0ms	1×	body	8192	unsamplable
6.0ms	8×	body	512	unsamplable
2.0ms	9×	body	4096	invalid
2.0ms	1×	body	1024	unsamplable

Bogosity

eval1.8min (7.6%)

Compiler: Compiled 6426633 to 3407113 computations (47% saved)

regimes1.5min (6.3%)

Counts

17843 → 923

Calls

138 calls:

6.6s	phi1
5.8s	lambda1
5.4s	phi2
4.5s	lambda2
3.9s	b

Compiler

Compiled 481084 to 257923 computations (46.4% saved)

soundness1.3min (5.4%)

Rules

280644×	`fma-def`
206172×	`log-prod`
203920×	`associate-r`
168196×	`associate-l`
148270×	`times-frac`

Stop Event

5×	unsound
440×	node limit

Compiler

Compiled 55753 to 33492 computations (39.9% saved)

prune49.9s (3.6%)

Counts: 150051 → 6423
Compiler: Compiled 749252 to 512552 computations (31.6% saved)

bsearch45.2s (3.2%)

Algorithm

402×	binary-search
61×	left-value

Stop Event

399×	narrow-enough
3×	predicate-same

Results

18.2s	9701×	body	1024	valid
10.1s	29798×	body	256	valid
5.0s	4421×	body	512	valid
3.9s	2314×	body	2048	valid
3.6s	864×	body	1024	infinite
1.4s	1785×	body	256	infinite
898.0ms	1012×	body	4096	valid
791.0ms	441×	body	512	infinite
246.0ms	1494×	body	256	invalid

Compiler

Compiled 129313 to 98400 computations (23.9% saved)

simplify38.0s (2.7%)

Algorithm

232×	egg-herbie

Rules

136950×	`fma-def`
108918×	`associate-r`
98048×	`log-prod`
97360×	`associate-l`
79602×	`times-frac`

Stop Event

3×	unsound
49×	saturated
5×	done
44×	fuel
180×	node limit

Counts

73425 → 61738

Compiler

Compiled 17399 to 11616 computations (33.2% saved)

analyze34.4s (2.5%)

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
19.6%	15.5%	63.8%	20.6%	0%	0%	0%	1
27.1%	21.4%	57.6%	21%	0%	0%	0%	2
36.8%	28.5%	48.9%	21.2%	0%	1.4%	0%	3
42.3%	32.2%	43.9%	21.2%	0%	2.8%	0%	4
47.2%	35.4%	39.6%	21.2%	0%	3.8%	0%	5
50.2%	37.2%	36.9%	21.2%	0%	4.6%	0%	6
53.6%	39.3%	34%	21.2%	0%	5.4%	0.1%	7
55.3%	40.3%	32.5%	21.3%	0%	5.8%	0.1%	8
58.3%	42%	30.1%	21.3%	0%	6.4%	0.2%	9
59.6%	42.8%	29%	21.3%	0%	6.7%	0.2%	10
61.9%	44.2%	27.2%	21.3%	0%	7.1%	0.3%	11
63.3%	45%	26%	21.3%	0%	7.4%	0.3%	12

Compiler

Compiled 1919 to 1338 computations (30.3% saved)

rewrite20.8s (1.5%)

Algorithm

183×	batch-egg-rewrite

Rules

118458×	`pow1`
112292×	`add-exp-log`
112196×	`log1p-expm1-u`
112144×	`expm1-log1p-u`
111798×	`add-log-exp`

Stop Event

3×	unsound
180×	node limit

Counts

1581 → 39006

series9.9s (0.7%)

Counts

1581 → 34419

Calls

9339 calls:

Time	Variable		Point	Expression
116.0ms	lambda2	@	inf	(log.f64 (.f64 R (acos.f64 (fma.f64 phi1 (sin.f64 phi2) (.f64 (cos.f64 phi1) (cos.f64 (-.f64 lambda1 lambda2)))))))
76.0ms	lambda2	@	inf	(log.f64 (+.f64 1 (expm1.f64 (.f64 R (hypot.f64 phi1 (.f64 (cos.f64 (*.f64 phi1 1/2)) (neg.f64 lambda2)))))))
72.0ms	h	@	inf	(log1p.f64 (-.f64 (exp.f64 (cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))) 1))
68.0ms	phi1	@	-inf	(log.f64 (-.f64 2 (pow.f64 (sin.f64 phi1) 2)))
59.0ms	c	@	inf	(/.f64 (*.f64 c c) (/.f64 (pow.f64 b 3) a))

end8.7s (0.6%)

Compiler: Compiled 36414 to 19672 computations (46% saved)

preprocess5.1s (0.4%)

Algorithm

102×	egg-herbie

Rules

64868×	`fma-def`
19882×	`div-sub`
18336×	`sub-neg`
17302×	`distribute-lft-neg-in`
16928×	`unsub-neg`

Stop Event

57×	saturated
9×	unsound
36×	node limit

Compiler

Compiled 5006 to 3470 computations (30.7% saved)

Herbie run

Details

localize7.8min (33.3%)

sample7.5min (32.2%)

eval1.8min (7.6%)

regimes1.5min (6.3%)

soundness1.3min (5.4%)

prune49.9s (3.6%)

bsearch45.2s (3.2%)

simplify38.0s (2.7%)

analyze34.4s (2.5%)

rewrite20.8s (1.5%)

series9.9s (0.7%)

end8.7s (0.6%)

preprocess5.1s (0.4%)

Profiling