Date:	Tuesday, April 25th, 2023
Commit:	e093b807 on main
Hostname:	nightly with Racket 8.6
Seed:	2023115
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.9%)

Results

37.9s	36551×	body	2048	valid
32.5s	66195×	body	1024	valid
12.8s	91372×	body	256	valid
10.2s	34802×	body	512	valid
1.5s	1494×	body	1024	invalid
1.4s	2247×	body	4096	valid
902.0ms	5722×	body	256	invalid
527.0ms	3019×	body	256	infinite
450.0ms	773×	body	512	invalid
233.0ms	1127×	body	256	unsamplable
223.0ms	473×	body	1024	unsamplable
202.0ms	296×	body	2048	unsamplable
192.0ms	232×	body	512	infinite
169.0ms	196×	body	1024	infinite
70.0ms	245×	body	512	unsamplable
5.0ms	5×	body	2048	invalid
2.0ms	1×	body	8192	valid
1.0ms	1×	body	2048	infinite

Bogosity

eval49.5s (15.8%)

Compiler: Compiled 2539571 to 1429489 computations (43.7% saved)

simplify43.3s (13.8%)

Algorithm

364×	egg-herbie

Rules

207224×	`associate-r`
188596×	`associate-/l*`
180260×	`associate-l`
175330×	`associate-/r*`
162036×	`*-commutative`

Stop Event

5×	done
47×	saturated
23×	fuel
317×	node limit

Counts

56968 → 75122

Compiler

Compiled 3668 to 2550 computations (30.5% saved)

prune31.8s (10.2%)

Counts: 91927 → 2467
Compiler: Compiled 59694 to 41499 computations (30.5% saved)

rewrite31.4s (10%)

Algorithm

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

Rules

200218×	`add-sqr-sqrt`
196188×	`*-un-lft-identity`
185002×	`add-cube-cbrt`
180326×	`add-cbrt-cube`
125000×	`add-exp-log`

Stop Event

1×	iter limit
311×	node limit

Counts

748 → 45520

regimes24.8s (7.9%)

Counts

4906 → 331

Calls

43 calls:

5.8s	x
4.9s	c
4.5s	a
2.4s	eps
1.4s	b

Compiler

Compiled 56858 to 30388 computations (46.6% saved)

soundness8.5s (2.7%)

Algorithm

53×	egg-herbie

Rules

31626×	`associate-r`
28166×	`associate-/r*`
27780×	`associate-/l*`
27068×	`fma-def`
26608×	`+-commutative`

Stop Event

8×	saturated
45×	node limit

Compiler

Compiled 4968 to 2729 computations (45.1% saved)

bsearch6.5s (2.1%)

Algorithm

157×	binary-search
11×	left-value

Stop Event

151×	narrow-enough
1×	predicate-failed
5×	predicate-same

Results

2.7s	15035×	body	256	valid
1.3s	3531×	body	1024	valid
1.0s	1107×	body	2048	valid
385.0ms	1396×	body	512	valid
231.0ms	180×	body	1024	infinite
183.0ms	1139×	body	256	invalid
110.0ms	545×	body	256	unsamplable
75.0ms	407×	body	256	infinite
55.0ms	117×	body	512	infinite
4.0ms	4×	body	4096	valid
4.0ms	10×	body	1024	unsamplable
3.0ms	6×	body	2048	unsamplable
3.0ms	10×	body	512	unsamplable

Compiler

Compiled 33424 to 24483 computations (26.8% saved)

localize6.5s (2.1%)

Compiler: Compiled 14561 to 7595 computations (47.8% saved)

analyze4.1s (1.3%)

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)

series2.7s (0.9%)

Counts

748 → 11420

Calls

3525 calls:

Time	Variable		Point	Expression
136.0ms	eps	@	-inf	(log1p.f64 (+.f64 (tan.f64 x) (tan.f64 eps)))
74.0ms	eps	@	inf	(log1p.f64 (tan.f64 (+.f64 x eps)))
70.0ms	x	@	inf	(log1p.f64 (tan.f64 (+.f64 x eps)))
58.0ms	n	@	0	(*.f64 n (log.f64 n))
46.0ms	x	@	0	(fma.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x)) (*.f64 (pow.f64 (+.f64 1 x) 1/6) (sqrt.f64 (+.f64 1 x))))

end2.0s (0.6%)

Compiler: Compiled 3589 to 2140 computations (40.4% saved)

preprocess1.8s (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.9%)

eval49.5s (15.8%)

simplify43.3s (13.8%)

prune31.8s (10.2%)

rewrite31.4s (10%)

regimes24.8s (7.9%)

soundness8.5s (2.7%)

bsearch6.5s (2.1%)

localize6.5s (2.1%)

analyze4.1s (1.3%)

series2.7s (0.9%)

end2.0s (0.6%)

preprocess1.8s (0.6%)

Profiling