Date:	Saturday, May 27th, 2023
Commit:	e9438722 on main
Hostname:	nightly with Racket 8.6
Seed:	2023147
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:simplify` default

Details

sample1.7min (30.3%)

Results

36.8s	36634×	body	2048	valid
34.1s	66737×	body	1024	valid
12.5s	90929×	body	256	valid
10.5s	34625×	body	512	valid
1.5s	2243×	body	4096	valid
1.4s	1497×	body	1024	invalid
729.0ms	5804×	body	256	invalid
524.0ms	2926×	body	256	infinite
433.0ms	741×	body	512	invalid
256.0ms	190×	body	1024	infinite
219.0ms	476×	body	1024	unsamplable
208.0ms	1072×	body	256	unsamplable
188.0ms	312×	body	2048	unsamplable
147.0ms	233×	body	512	infinite
68.0ms	236×	body	512	unsamplable
42.0ms	5×	body	2048	infinite
8.0ms	7×	body	2048	invalid

Bogosity

eval41.6s (12.5%)

Compiler: Compiled 1863754 to 1048591 computations (43.7% saved)

simplify40.7s (12.3%)

Algorithm

364×	egg-herbie

Rules

244956×	`fma-def`
175162×	`fma-neg`
169134×	`log-prod`
146166×	`unswap-sqr`
133360×	`associate-r`

Stop Event

5×	done
48×	saturated
23×	fuel
316×	node limit

Counts

50120 → 60456

Compiler

Compiled 4578 to 3119 computations (31.9% saved)

soundness35.4s (10.7%)

Rules

173694×	`fma-def`
149590×	`log-prod`
127406×	`fma-neg`
76122×	`associate-r`
65148×	`times-frac`

Stop Event

7×	saturated
242×	node limit

Compiler

Compiled 25045 to 15441 computations (38.3% saved)

rewrite30.8s (9.3%)

Algorithm

308×	batch-egg-rewrite

Rules

238100×	`log-prod`
206770×	`pow1`
193494×	`add-exp-log`
193442×	`log1p-expm1-u`
193374×	`expm1-log1p-u`

Stop Event

308×	node limit

Counts

741 → 39029

regimes28.9s (8.7%)

Counts

5888 → 388

Calls

43 calls:

8.2s	x
4.2s	c
4.1s	eps
3.4s	a
1.2s	(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))

Compiler

Compiled 67272 to 37755 computations (43.9% saved)

prune21.3s (6.4%)

Counts: 74068 → 2462
Compiler: Compiled 57604 to 41219 computations (28.4% saved)

bsearch10.2s (3.1%)

Algorithm

186×	binary-search
18×	left-value

Stop Event

175×	narrow-enough
6×	predicate-failed
5×	predicate-same

Results

3.1s	17790×	body	256	valid
1.6s	3006×	body	1024	valid
1.6s	1112×	body	1024	infinite
1.2s	3298×	body	256	unsamplable
955.0ms	1032×	body	2048	valid
560.0ms	1541×	body	512	valid
324.0ms	490×	body	512	infinite
227.0ms	1017×	body	256	invalid
175.0ms	547×	body	256	infinite
18.0ms	28×	body	2048	unsamplable
17.0ms	38×	body	1024	unsamplable
3.0ms	10×	body	512	unsamplable

Compiler

Compiled 39398 to 28482 computations (27.7% saved)

localize7.3s (2.2%)

Compiler: Compiled 13548 to 7141 computations (47.3% saved)

analyze4.9s (1.5%)

Algorithm

28×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	90.9%	9.1%	0%	0%	0%	0
11.8%	10.7%	80.2%	9.1%	0%	0%	0%	1
16%	14.2%	74.9%	9.1%	0%	1.8%	0%	2
34.9%	29.6%	55.3%	9.1%	1.6%	4.5%	0%	3
43.8%	35.9%	45.9%	9.1%	2.9%	5.4%	0.9%	4
51.1%	40.9%	39.1%	9.1%	3.5%	6%	1.3%	5
54.8%	43.3%	35.7%	9.1%	4%	6.4%	1.6%	6
57.8%	44.9%	32.7%	9.1%	4.2%	7.2%	1.9%	7
60.1%	46.4%	30.8%	9.1%	4.4%	7.4%	2%	8
62.1%	47.4%	28.9%	9.1%	4.7%	7.8%	2.1%	9
64%	48.4%	27.2%	9.1%	4.9%	8.4%	2.2%	10
66%	49.5%	25.5%	9.1%	5.1%	8.6%	2.3%	11
67.9%	50.6%	23.8%	9.1%	5.3%	8.9%	2.3%	12

Compiler

Compiled 375 to 278 computations (25.9% saved)

series4.9s (1.5%)

Counts

741 → 11063

Calls

3579 calls:

Time	Variable		Point	Expression
172.0ms	eps	@	0	(exp.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))) 3))
107.0ms	n	@	0	(/.f64 (*.f64 3 (log.f64 (cbrt.f64 (/.f64 (+.f64 x 1) x)))) n)
102.0ms	eps	@	inf	(log1p.f64 (pow.f64 (cbrt.f64 (expm1.f64 (tan.f64 eps))) 3))
92.0ms	a	@	0	(log1p.f64 (/.f64 (.f64 -1 (.f64 c (/.f64 a b))) a))
86.0ms	b	@	0	(*.f64 b (/.f64 -1/2 a))

end2.9s (0.9%)

Compiler: Compiled 4457 to 2583 computations (42% saved)

preprocess2.3s (0.7%)

Algorithm

56×	egg-herbie

Rules

25662×	`fma-def`
8366×	`div-sub`
7144×	`distribute-lft-in`
6960×	`distribute-rgt-in`
6546×	`fma-neg`

Stop Event

2×	unsound
43×	saturated
11×	node limit

Compiler

Compiled 368 to 279 computations (24.2% saved)

Details

sample1.7min (30.3%)

eval41.6s (12.5%)

simplify40.7s (12.3%)

soundness35.4s (10.7%)

rewrite30.8s (9.3%)

regimes28.9s (8.7%)

prune21.3s (6.4%)

bsearch10.2s (3.1%)

localize7.3s (2.2%)

analyze4.9s (1.5%)

series4.9s (1.5%)

end2.9s (0.9%)

preprocess2.3s (0.7%)

Profiling