Date:	Friday, March 31st, 2023
Commit:	9a5a3e08 on main
Hostname:	nightly with Racket 8.6
Seed:	2023090
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 (33.7%)

Results

37.8s	36521×	body	2048	valid
33.1s	66271×	body	1024	valid
13.1s	91560×	body	256	valid
9.9s	34612×	body	512	valid
1.7s	2204×	body	4096	valid
1.6s	1510×	body	1024	invalid
948.0ms	5855×	body	256	invalid
641.0ms	3060×	body	256	infinite
478.0ms	784×	body	512	invalid
396.0ms	471×	body	1024	unsamplable
276.0ms	306×	body	2048	unsamplable
219.0ms	1110×	body	256	unsamplable
186.0ms	189×	body	1024	infinite
119.0ms	250×	body	512	infinite
96.0ms	243×	body	512	unsamplable
8.0ms	7×	body	2048	invalid
1.0ms	5×	body	2048	infinite

Bogosity

eval48.4s (16.1%)

Compiler: Compiled 2406692 to 1338649 computations (44.4% saved)

simplify40.2s (13.4%)

Algorithm

361×	egg-herbie

Rules

217392×	`associate-r`
190404×	`associate-l`
189506×	`associate-/l*`
180802×	`associate-/r*`
169428×	`associate-+r+`

Stop Event

1×	unsound
4×	done
47×	saturated
24×	fuel
313×	node limit

Counts

54601 → 72283

Compiler

Compiled 3320 to 2315 computations (30.3% saved)

rewrite30.3s (10.1%)

Algorithm

305×	batch-egg-rewrite

Rules

205050×	`add-sqr-sqrt`
201058×	`*-un-lft-identity`
189212×	`add-cube-cbrt`
184436×	`add-cbrt-cube`
132410×	`add-exp-log`

Stop Event

305×	node limit

Counts

728 → 43342

prune28.3s (9.4%)

Counts: 85698 → 2459
Compiler: Compiled 60776 to 42140 computations (30.7% saved)

regimes19.9s (6.6%)

Counts

4302 → 308

Calls

43 calls:

4.0s	c
3.7s	x
3.6s	a
1.8s	eps
1.5s	b

Compiler

Compiled 49003 to 25914 computations (47.1% saved)

soundness8.3s (2.8%)

Algorithm

53×	egg-herbie

Rules

31220×	`associate-r`
28804×	`associate-/l*`
27092×	`fma-def`
25704×	`associate-/r*`
24676×	`associate-l`

Stop Event

11×	saturated
42×	node limit

Compiler

Compiled 4503 to 2420 computations (46.3% saved)

localize6.8s (2.3%)

Compiler: Compiled 14481 to 7477 computations (48.4% saved)

analyze4.8s (1.6%)

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)

bsearch4.8s (1.6%)

Algorithm

138×	binary-search
15×	left-value

Stop Event

135×	narrow-enough
1×	predicate-failed
2×	predicate-same

Results

2.2s	15155×	body	256	valid
939.0ms	1991×	body	1024	valid
467.0ms	621×	body	2048	valid
270.0ms	792×	body	512	valid
152.0ms	161×	body	1024	infinite
144.0ms	1264×	body	256	invalid
134.0ms	708×	body	256	unsamplable
62.0ms	356×	body	256	infinite
33.0ms	70×	body	512	infinite
4.0ms	6×	body	4096	valid

Compiler

Compiled 28010 to 20765 computations (25.9% saved)

series3.2s (1.1%)

Counts

728 → 11231

Calls

3459 calls:

Time	Variable		Point	Expression
99.0ms	x	@	0	(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/12 (pow.f64 x 4)))))
88.0ms	eps	@	inf	(log.f64 (+.f64 (tan.f64 x) (tan.f64 eps)))
55.0ms	n	@	0	(/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)
54.0ms	a	@	inf	(pow.f64 (expm1.f64 (*.f64 a x)) 1/4)
48.0ms	c	@	inf	(-.f64 (sqrt.f64 (/.f64 (-.f64 (.f64 (.f64 b b) (.f64 b b)) (pow.f64 (.f64 a (.f64 c -4)) 2)) (-.f64 (.f64 b b) (.f64 a (.f64 c -4))))) b)

end2.0s (0.7%)

Compiler: Compiled 3260 to 1990 computations (39% 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 (33.7%)

eval48.4s (16.1%)

simplify40.2s (13.4%)

rewrite30.3s (10.1%)

prune28.3s (9.4%)

regimes19.9s (6.6%)

soundness8.3s (2.8%)

localize6.8s (2.3%)

analyze4.8s (1.6%)

bsearch4.8s (1.6%)

series3.2s (1.1%)

end2.0s (0.7%)

preprocess1.8s (0.6%)

Profiling