Date:	Friday, September 29th, 2023
Commit:	9515c601 on arb-support
Hostname:	nightly with Racket 8.6
Seed:	2023272
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

sample1.9min (50.7%)

Results

50.0s	200880×	body	256	precondition
27.5s	81626×	body	256	valid
23.8s	64175×	body	256	invalid
14.1s	10328×	body	8192	exit
757.0ms	1632×	body	512	valid
26.0ms	29×	body	4096	valid
25.0ms	25×	body	8192	valid
15.0ms	30×	body	2048	valid
15.0ms	28×	body	1024	valid

Bogosity

localize36.8s (16%)

Compiler: Compiled 12284 to 5561 computations (54.7% saved)

analyze27.2s (11.8%)

Algorithm

25×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	14.9%	85.1%	0%	0%	0%	0
0%	0%	28.4%	71.6%	0%	0%	0%	1
0%	0%	49.9%	50.1%	0%	0%	0%	2
0%	0%	85.8%	14.2%	0%	0%	0%	3
0%	0%	154.6%	-54.6%	0%	0%	0%	4
0%	0%	289.9%	-189.9%	0%	0%	0%	5
0%	0%	525.9%	-425.9%	0%	0%	0%	6
0%	0%	988.8%	-888.8%	0%	0%	0%	7
0%	0%	1833.6%	-1733.6%	0%	0%	0%	8
0%	0%	3489.1%	-3389.1%	0%	0%	0%	9
0%	0%	6510%	-6410%	0%	0%	0%	10
0%	0%	12411.5%	-12311.5%	0%	0%	0%	11
0%	0%	23286.6%	-23186.6%	0%	0%	0%	12

Compiler

Compiled 1220 to 881 computations (27.8% saved)

soundness13.5s (5.9%)

Rules

69862×	`fma-def`
33234×	`times-frac`
32856×	`associate-r`
27782×	`associate-+r+`
26476×	`associate-l`

Stop Event

4×	saturated
80×	node limit

Compiler

Compiled 8916 to 4907 computations (45% saved)

eval11.0s (4.8%)

Compiler: Compiled 568809 to 318571 computations (44% saved)

simplify7.5s (3.3%)

Algorithm

50×	egg-herbie

Rules

44756×	`fma-def`
22636×	`associate-r`
21968×	`times-frac`
19792×	`associate-l`
17736×	`associate-+r+`

Stop Event

11×	saturated
9×	fuel
39×	node limit

Counts

14437 → 12160

Compiler

Compiled 1381 to 972 computations (29.6% saved)

prune5.7s (2.5%)

Counts: 19582 → 975
Compiler: Compiled 75350 to 50889 computations (32.5% saved)

regimes3.9s (1.7%)

Counts

1371 → 100

Calls

50 calls:

580.0ms	x
327.0ms	s
187.0ms	cosTheta
177.0ms	(fabs.f32 x)
148.0ms	u

Compiler

Compiled 23108 to 12790 computations (44.7% saved)

rewrite3.8s (1.7%)

Algorithm

32×	batch-egg-rewrite

Rules

22968×	`pow1`
22354×	`add-sqr-sqrt`
21820×	`add-exp-log`
21742×	`log1p-expm1-u`
21734×	`expm1-log1p-u`

Stop Event

32×	node limit

Counts

391 → 7722

series1.9s (0.8%)

Counts

391 → 6706

Calls

1749 calls:

Time	Variable		Point	Expression
64.0ms	s	@	0	(*.f32 s (neg.f32 (log.f32 (-.f32 1 (/.f32 (+.f32 u -1/4) 3/4)))))
61.0ms	x	@	-inf	(log1p.f32 (exp.f32 (/.f32 (neg.f32 x) s)))
57.0ms	x	@	-inf	(pow.f32 (pow.f32 (exp.f32 (/.f32 x s)) 3) -1/3)
56.0ms	s	@	0	(.f32 -3 (.f32 s (log1p.f32 (*.f32 u -4/3))))
56.0ms	u	@	-inf	(+.f32 (log.f32 (*.f32 u 2)) (neg.f32 (log.f32 v)))

preprocess1.1s (0.5%)

Algorithm

18×	egg-herbie

Rules

12190×	`fma-neg`
12002×	`fma-def`
5194×	`associate-/l*`
4100×	`associate-/r*`
3940×	`distribute-lft-in`

Stop Event

1×	unsound
9×	saturated
8×	node limit

Compiler

Compiled 221 to 153 computations (30.8% saved)

end767.0ms (0.3%)

Compiler: Compiled 2974 to 1728 computations (41.9% saved)

bsearch4.0ms (0%)

Algorithm

14×	binary-search
8×	left-value

Stop Event

14×	narrow-enough

Compiler

Compiled 374 to 227 computations (39.3% saved)

Herbie run

Details

sample1.9min (50.7%)

localize36.8s (16%)

analyze27.2s (11.8%)

soundness13.5s (5.9%)

eval11.0s (4.8%)

simplify7.5s (3.3%)

prune5.7s (2.5%)

regimes3.9s (1.7%)

rewrite3.8s (1.7%)

series1.9s (0.8%)

preprocess1.1s (0.5%)

end767.0ms (0.3%)

bsearch4.0ms (0%)

Profiling