Date:	Saturday, May 13th, 2023
Commit:	1f5aabee on main
Hostname:	nightly with Racket 8.6
Seed:	2023133
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.8min (30.4%)

Results

41.6s	36587×	body	2048	valid
35.1s	66111×	body	1024	valid
13.4s	90831×	body	256	valid
12.1s	35438×	body	512	valid
1.9s	2201×	body	4096	valid
1.4s	1454×	body	1024	invalid
838.0ms	2928×	body	256	infinite
795.0ms	5675×	body	256	invalid
383.0ms	742×	body	512	invalid
345.0ms	1129×	body	256	unsamplable
317.0ms	450×	body	1024	unsamplable
300.0ms	293×	body	2048	unsamplable
185.0ms	173×	body	1024	infinite
141.0ms	235×	body	512	infinite
88.0ms	223×	body	512	unsamplable
9.0ms	5×	body	2048	invalid
4.0ms	4×	body	2048	infinite

Bogosity

eval56.9s (15.8%)

Compiler: Compiled 2537210 to 1417998 computations (44.1% saved)

rewrite47.3s (13.1%)

Algorithm

318×	batch-egg-rewrite

Rules

226912×	`add-sqr-sqrt`
222462×	`*-un-lft-identity`
209582×	`add-cube-cbrt`
207982×	`add-cbrt-cube`
130084×	`add-exp-log`

Stop Event

318×	node limit

Counts

716 → 43080

simplify45.1s (12.5%)

Algorithm

374×	egg-herbie

Rules

214140×	`associate-r`
200130×	`associate-/l*`
186442×	`associate-l`
178860×	`distribute-lft-in`
173534×	`associate-/r*`

Stop Event

4×	done
47×	saturated
24×	fuel
327×	node limit

Counts

54201 → 71117

Compiler

Compiled 4493 to 3105 computations (30.9% saved)

regimes31.5s (8.8%)

Counts

5596 → 388

Calls

43 calls:

7.6s	a
5.9s	c
4.8s	x
3.0s	eps
1.9s	b

Compiler

Compiled 67149 to 34951 computations (48% saved)

prune29.8s (8.3%)

Counts: 88488 → 2467
Compiler: Compiled 60146 to 41502 computations (31% saved)

soundness12.3s (3.4%)

Algorithm

57×	egg-herbie

Rules

48896×	`associate-/l*`
47378×	`*-commutative`
46370×	`associate-*r/`
43386×	`associate-*l/`
42838×	`associate-r`

Stop Event

12×	saturated
93×	node limit

Compiler

Compiled 12123 to 7019 computations (42.1% saved)

bsearch7.6s (2.1%)

Algorithm

177×	binary-search
25×	left-value

Stop Event

171×	narrow-enough
6×	predicate-same

Results

3.3s	16668×	body	256	valid
2.1s	4220×	body	1024	valid
786.0ms	977×	body	2048	valid
548.0ms	1894×	body	512	valid
221.0ms	1772×	body	256	invalid
123.0ms	672×	body	256	unsamplable
94.0ms	414×	body	256	infinite
12.0ms	30×	body	1024	unsamplable
9.0ms	17×	body	2048	unsamplable
4.0ms	17×	body	512	unsamplable
0.0ms	1×	body	4096	valid
0.0ms	1×	body	512	infinite

Compiler

Compiled 38031 to 28133 computations (26% saved)

localize7.2s (2%)

Compiler: Compiled 15089 to 7832 computations (48.1% saved)

analyze4.8s (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)

series3.1s (0.9%)

Counts

716 → 11093

Calls

3336 calls:

Time	Variable		Point	Expression
201.0ms	x	@	inf	(log1p.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))
125.0ms	x	@	-inf	(log1p.f64 (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (tan.f64 x)))
95.0ms	x	@	inf	(/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (*.f64 x n))
87.0ms	n	@	0	(*.f64 n (log.f64 n))
70.0ms	a	@	0	(log.f64 (/.f64 (+.f64 b_2 b_2) a))

end2.7s (0.8%)

Compiler: Compiled 4367 to 2586 computations (40.8% saved)

preprocess2.0s (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.8min (30.4%)

eval56.9s (15.8%)

rewrite47.3s (13.1%)

simplify45.1s (12.5%)

regimes31.5s (8.8%)

prune29.8s (8.3%)

soundness12.3s (3.4%)

bsearch7.6s (2.1%)

localize7.2s (2%)

analyze4.8s (1.3%)

series3.1s (0.9%)

end2.7s (0.8%)

preprocess2.0s (0.6%)

Profiling