Date:	Friday, June 9th, 2023
Commit:	a0d28dd6 on redesign-report
Hostname:	nightly with Racket 8.6
Seed:	2023160
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

localize3.5min (37.4%)

Results

Compiler

Compiled 37262 to 20790 computations (44.2% saved)

sample1.2min (12.8%)

Results

1.1min	206400×	body	256	valid
1.7s	8171×	body	256	invalid
937.0ms	2053×	body	256	precondition

Bogosity

eval1.2min (12.7%)

Compiler: Compiled 3083376 to 1915898 computations (37.9% saved)

simplify49.3s (8.8%)

Algorithm

462×	egg-herbie

Rules

312966×	`fma-def`
222532×	`log-prod`
201020×	`associate-r`
198052×	`unswap-sqr`
184064×	`distribute-lft-in`

Stop Event

9×	unsound
34×	saturated
24×	fuel
419×	node limit

Counts

64679 → 77429

Compiler

Compiled 5388 to 3893 computations (27.7% saved)

soundness39.8s (7.1%)

Rules

212142×	`fma-def`
172666×	`log-prod`
133382×	`associate-r`
111706×	`associate-l`
99766×	`times-frac`

Stop Event

1×	unsound
15×	saturated
309×	node limit

Compiler

Compiled 38615 to 24167 computations (37.4% saved)

rewrite38.5s (6.9%)

Algorithm

413×	batch-egg-rewrite

Rules

348536×	`log-prod`
222324×	`pow1`
208344×	`add-exp-log`
208106×	`log1p-expm1-u`
208086×	`expm1-log1p-u`

Stop Event

413×	node limit

Counts

1115 → 43206

regimes32.8s (5.8%)

Counts

8566 → 328

Calls

115 calls:

1.3s	cosTheta_i
1.3s	s
1.1s	x
1.1s	u2
1.1s	u1

Compiler

Compiled 134346 to 80165 computations (40.3% saved)

prune30.9s (5.5%)

Counts: 99120 → 3724
Compiler: Compiled 128251 to 95760 computations (25.3% saved)

series6.8s (1.2%)

Counts

1115 → 21448

Calls

5991 calls:

Time	Variable		Point	Expression
316.0ms	s	@	0	(.f32 s (-.f32 (log1p.f32 (.f32 4 u)) (log1p.f32 (.f32 (.f32 u u) -16))))
286.0ms	x	@	inf	(pow.f32 (pow.f32 (exp.f32 (/.f32 x s)) 3/2) -2/3)
125.0ms	v	@	0	(*.f32 v (log1p.f32 (-.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1)))
96.0ms	s	@	0	(+.f32 (*.f32 2 (log1p.f32 (exp.f32 (/.f32 x s)))) (log.f32 s))
87.0ms	u2	@	-inf	(-.f32 (exp.f32 (log1p.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))))) 1)

analyze5.0s (0.9%)

Algorithm

25×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	3.2%	96.8%	0%	0%	0%	0
0.4%	0%	3.1%	96.8%	0%	0%	0%	1
9.5%	0.3%	2.9%	96.8%	0%	0%	0%	2
43.3%	1.4%	1.8%	96.8%	0%	0%	0%	3
48.2%	1.5%	1.6%	96.8%	0%	0%	0%	4
65.2%	2.1%	1.1%	96.8%	0%	0%	0%	5
70.4%	2.2%	0.9%	96.8%	0%	0.1%	0%	6
79.1%	2.4%	0.6%	96.8%	0%	0.1%	0%	7
81.1%	2.5%	0.6%	96.8%	0%	0.1%	0%	8
86.1%	2.6%	0.4%	96.8%	0%	0.1%	0%	9
87.6%	2.7%	0.4%	96.9%	0%	0.1%	0%	10
91.9%	2.8%	0.2%	96.9%	0%	0.1%	0%	11
92.6%	2.8%	0.2%	96.9%	0%	0.1%	0%	12

Compiler

Compiled 1220 to 881 computations (27.8% saved)

end3.0s (0.5%)

Compiler: Compiled 10686 to 6276 computations (41.3% saved)

preprocess2.9s (0.5%)

Algorithm

50×	egg-herbie

Rules

27984×	`fma-def`
24740×	`fma-neg`
10180×	`distribute-lft-in`
9786×	`associate-/l*`
9194×	`distribute-rgt-in`

Stop Event

2×	unsound
29×	saturated
19×	node limit

Compiler

Compiled 738 to 544 computations (26.3% saved)

bsearch22.0ms (0%)

Algorithm

37×	binary-search
28×	left-value

Stop Event

37×	narrow-enough

Compiler

Compiled 1402 to 978 computations (30.2% saved)

Herbie run

Details

localize3.5min (37.4%)

sample1.2min (12.8%)

eval1.2min (12.7%)

simplify49.3s (8.8%)

soundness39.8s (7.1%)

rewrite38.5s (6.9%)

regimes32.8s (5.8%)

prune30.9s (5.5%)

series6.8s (1.2%)

analyze5.0s (0.9%)

end3.0s (0.5%)

preprocess2.9s (0.5%)

bsearch22.0ms (0%)

Profiling