Date:	Tuesday, May 9th, 2023
Commit:	0e771114 on x86-arm-m1-bug
Hostname:	nightly with Racket 8.6
Seed:	2023129
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 (31.2%)

Results

40.2s	36734×	body	2048	valid
33.1s	66051×	body	1024	valid
13.6s	91195×	body	256	valid
11.1s	34940×	body	512	valid
1.6s	2248×	body	4096	valid
1.5s	1463×	body	1024	invalid
695.0ms	5868×	body	256	invalid
469.0ms	2968×	body	256	infinite
425.0ms	272×	body	2048	unsamplable
386.0ms	1063×	body	256	unsamplable
354.0ms	702×	body	512	invalid
237.0ms	191×	body	1024	infinite
233.0ms	422×	body	1024	unsamplable
118.0ms	245×	body	512	infinite
73.0ms	243×	body	512	unsamplable
13.0ms	12×	body	2048	invalid
2.0ms	2×	body	2048	infinite

Bogosity

eval50.9s (15.1%)

Compiler: Compiled 2755106 to 1501484 computations (45.5% saved)

simplify43.2s (12.8%)

Algorithm

375×	egg-herbie

Rules

223468×	`associate-r`
195504×	`associate-/l*`
193102×	`associate-l`
179466×	`associate-/r*`
169972×	`+-commutative`

Stop Event

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

Counts

58757 → 78068

Compiler

Compiled 4726 to 3168 computations (33% saved)

regimes33.7s (10%)

Counts

6247 → 404

Calls

43 calls:

6.5s	c
6.4s	a
6.2s	x
3.2s	eps
2.3s	b

Compiler

Compiled 79258 to 41030 computations (48.2% saved)

prune33.5s (9.9%)

Counts: 96700 → 2493
Compiler: Compiled 66159 to 45865 computations (30.7% saved)

rewrite32.1s (9.5%)

Algorithm

319×	batch-egg-rewrite
3×	egg-rewrite
1×	egg-rewrite-iter-limit

Rules

201516×	`add-sqr-sqrt`
197468×	`*-un-lft-identity`
186046×	`add-cube-cbrt`
183174×	`add-cbrt-cube`
132030×	`add-exp-log`

Stop Event

1×	iter limit
322×	node limit

Counts

764 → 47169

soundness9.7s (2.9%)

Algorithm

66×	egg-herbie

Rules

46798×	`associate-r`
38942×	`associate-/l*`
37762×	`associate-l`
33806×	`*-commutative`
33008×	`associate-/r*`

Stop Event

10×	saturated
56×	node limit

Compiler

Compiled 6022 to 3018 computations (49.9% saved)

bsearch8.7s (2.6%)

Algorithm

200×	binary-search
20×	left-value

Stop Event

194×	narrow-enough
2×	predicate-failed
4×	predicate-same

Results

3.5s	20129×	body	256	valid
1.8s	4025×	body	1024	valid
1.3s	1240×	body	2048	valid
606.0ms	1925×	body	512	valid
374.0ms	227×	body	1024	infinite
222.0ms	1862×	body	256	invalid
209.0ms	1075×	body	256	unsamplable
121.0ms	726×	body	256	infinite
94.0ms	153×	body	512	infinite
30.0ms	21×	body	4096	valid
2.0ms	4×	body	1024	unsamplable
1.0ms	2×	body	512	unsamplable

Compiler

Compiled 46712 to 33839 computations (27.6% saved)

localize7.7s (2.3%)

Compiler: Compiled 15890 to 8108 computations (49% saved)

analyze4.6s (1.4%)

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)

series3.1s (0.9%)

Counts

764 → 11560

Calls

3573 calls:

Time	Variable		Point	Expression
96.0ms	eps	@	0	(*.f64 (tan.f64 x) (tan.f64 eps))
86.0ms	eps	@	-inf	(-.f64 (-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))) 1) (tan.f64 x))
63.0ms	x	@	-inf	(pow.f64 x -1/2)
63.0ms	x	@	inf	(log.f64 (tan.f64 (+.f64 x eps)))
61.0ms	N	@	inf	(log.f64 (atan2.f64 1 (fma.f64 N N (+.f64 1 N))))

end2.7s (0.8%)

Compiler: Compiled 4619 to 2629 computations (43.1% saved)

preprocess1.9s (0.6%)

Algorithm

56×	egg-herbie

Rules

12942×	`fma-def`
8106×	`distribute-lft-in`
7218×	`*-commutative`
7100×	`associate-r`
6966×	`associate-+r+`

Stop Event

2×	unsound
43×	saturated
11×	node limit

Compiler

Compiled 368 to 279 computations (24.2% saved)

Details

sample1.7min (31.2%)

eval50.9s (15.1%)

simplify43.2s (12.8%)

regimes33.7s (10%)

prune33.5s (9.9%)

rewrite32.1s (9.5%)

soundness9.7s (2.9%)

bsearch8.7s (2.6%)

localize7.7s (2.3%)

analyze4.6s (1.4%)

series3.1s (0.9%)

end2.7s (0.8%)

preprocess1.9s (0.6%)

Profiling