Date:	Thursday, September 28th, 2023
Commit:	b159bd5c on arb-support
Hostname:	nightly with Racket 8.6
Seed:	2023271
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

localize5.9min (26.6%)

Compiler: Compiled 89279 to 43087 computations (51.7% saved)

sample4.7min (21.3%)

Results

1.0min	217831×	body	256	valid
36.4s	135810×	body	256	precondition
34.5s	30881×	body	8192	exit
33.7s	49776×	body	1024	valid
25.4s	10228×	body	4096	valid
22.1s	110433×	body	256	invalid
18.9s	15704×	body	2048	valid
15.4s	37989×	body	512	valid
10.6s	1531×	body	8192	valid
8.1s	25463×	body	256	infinite
5.1s	5637×	body	1024	infinite
3.5s	5298×	body	2048	invalid
2.2s	5329×	body	512	infinite
2.1s	1453×	body	2048	infinite
2.0s	3728×	body	1024	invalid
1.4s	563×	body	4096	infinite
725.0ms	2251×	body	512	invalid
150.0ms	25×	body	8192	infinite

Bogosity

eval3.1min (13.8%)

Results

Compiler

Compiled 7864120 to 4444369 computations (43.5% saved)

regimes1.9min (8.4%)

Counts

18523 → 971

Calls

150 calls:

9.1s	b
8.3s	phi2
7.2s	phi1
6.0s	lambda1
5.8s	a

Compiler

Compiled 446672 to 211907 computations (52.6% saved)

soundness1.8min (7.9%)

Rules

294756×	`fma-def`
169898×	`associate-r`
148148×	`log-prod`
137222×	`*-commutative`
133380×	`associate-l`

Stop Event

6×	unsound
13×	saturated
407×	node limit

Results

Compiler

Compiled 48279 to 28112 computations (41.8% saved)

analyze1.4min (6.1%)

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	96.1%	3.9%	0%	0%	0%	0
0%	0%	192.1%	-92.1%	0%	0%	0%	1
1%	3.8%	376.6%	-280.4%	0%	0%	0%	2
1.5%	11.3%	738%	-649.4%	0%	0%	0%	3
0.8%	11.3%	1475.9%	-1387.2%	0%	0%	0%	4
2.5%	71.6%	2830.8%	-2802.4%	0%	0%	0%	5
2.3%	131.8%	5540.3%	-5572.1%	0%	0%	0%	6
1.2%	131.8%	11078.8%	-11110.6%	0%	0%	0%	7
0.6%	131.8%	22154.3%	-22186.1%	0%	0%	0%	8
0.3%	131.8%	44301.7%	-44333.5%	0%	0%	0%	9
0.1%	131.8%	88589.8%	-88621.6%	0%	0%	0%	10
0.1%	131.8%	177152.2%	-177184%	0%	0%	0%	11
0%	131.8%	354249.7%	-354281.5%	0%	0%	0%	12

Compiler

Compiled 1919 to 1338 computations (30.3% saved)

simplify1.1min (4.7%)

Algorithm

253×	egg-herbie

Rules

174576×	`fma-def`
110462×	`associate-r`
94446×	`associate-l`
92378×	`log-prod`
83328×	`*-commutative`

Stop Event

2×	unsound
61×	saturated
4×	done
40×	fuel
190×	node limit

Counts

70954 → 58136

Compiler

Compiled 18650 to 12407 computations (33.5% saved)

prune58.4s (4.4%)

Counts: 131215 → 6267
Compiler: Compiled 767051 to 510853 computations (33.4% saved)

bsearch38.2s (2.9%)

Algorithm

487×	binary-search
44×	left-value

Stop Event

476×	narrow-enough
11×	predicate-same

Results

10.8s	38683×	body	256	valid
8.5s	8847×	body	1024	valid
5.5s	3578×	body	2048	valid
5.3s	2238×	body	4096	valid
2.9s	4679×	body	512	valid
1.3s	1020×	body	1024	infinite
996.0ms	2026×	body	256	infinite
505.0ms	2810×	body	256	invalid
483.0ms	381×	body	512	infinite
142.0ms	183×	body	8192	exit
21.0ms	36×	body	2048	infinite

Compiler

Compiled 171583 to 129615 computations (24.5% saved)

rewrite22.2s (1.7%)

Algorithm

164×	batch-egg-rewrite

Rules

116322×	`pow1`
109578×	`add-exp-log`
109492×	`log1p-expm1-u`
109442×	`expm1-log1p-u`
104210×	`add-log-exp`

Stop Event

3×	unsound
161×	node limit

Counts

1484 → 37263

series16.2s (1.2%)

Counts

1484 → 33646

Calls

9168 calls:

Time	Variable		Point	Expression
349.0ms	theta	@	inf	(log.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))))
307.0ms	lambda2	@	inf	(sqrt.f64 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (.f64 (cos.f64 phi2) (sin.f64 (.f64 1/2 lambda1))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))))))
147.0ms	a	@	-inf	(/.f64 b (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log1p.f64 (exp.f64 a))) 2)) (cbrt.f64 (log1p.f64 (exp.f64 a)))))
135.0ms	c	@	0	(log.f64 (.f64 -1/3 (/.f64 (.f64 3/2 (/.f64 c (/.f64 b a))) a)))
118.0ms	phi2	@	inf	(sqrt.f64 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (.f64 (cos.f64 phi2) (sin.f64 (.f64 1/2 lambda1))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))))))

end9.4s (0.7%)

Compiler: Compiled 34904 to 18504 computations (47% saved)

preprocess4.6s (0.3%)

Algorithm

90×	egg-herbie

Rules

52676×	`fma-def`
15454×	`associate-r`
14396×	`times-frac`
14332×	`unsub-neg`
14136×	`fma-neg`

Stop Event

51×	saturated
9×	unsound
30×	node limit

Compiler

Compiled 1658 to 1177 computations (29% saved)

Herbie run

Details

localize5.9min (26.6%)

sample4.7min (21.3%)

eval3.1min (13.8%)

regimes1.9min (8.4%)

soundness1.8min (7.9%)

analyze1.4min (6.1%)

simplify1.1min (4.7%)

prune58.4s (4.4%)

bsearch38.2s (2.9%)

rewrite22.2s (1.7%)

series16.2s (1.2%)

end9.4s (0.7%)

preprocess4.6s (0.3%)

Profiling