Date:	Friday, May 5th, 2023
Commit:	ced00d44 on ffi-gc
Hostname:	nightly with Racket 8.6
Seed:	2023125
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.4%)

Results

38.6s	36545×	body	2048	valid
34.0s	66421×	body	1024	valid
13.1s	90858×	body	256	valid
11.4s	35097×	body	512	valid
1.5s	1404×	body	1024	invalid
1.3s	2246×	body	4096	valid
801.0ms	5745×	body	256	invalid
533.0ms	3068×	body	256	infinite
516.0ms	755×	body	512	invalid
273.0ms	242×	body	512	infinite
248.0ms	1091×	body	256	unsamplable
232.0ms	193×	body	1024	infinite
205.0ms	451×	body	1024	unsamplable
182.0ms	292×	body	2048	unsamplable
66.0ms	233×	body	512	unsamplable
3.0ms	2×	body	2048	infinite
2.0ms	1×	body	8192	valid
1.0ms	1×	body	2048	invalid

Bogosity

eval49.1s (14.9%)

Compiler: Compiled 2553666 to 1398772 computations (45.2% saved)

simplify43.9s (13.3%)

Algorithm

382×	egg-herbie

Rules

210508×	`associate-r`
195374×	`associate-/l*`
189238×	`associate-/r*`
182184×	`associate-l`
176622×	`distribute-lft-in`

Stop Event

4×	done
1×	unsound
48×	saturated
24×	fuel
333×	node limit

Counts

57880 → 75203

Compiler

Compiled 5074 to 3276 computations (35.4% saved)

regimes34.2s (10.4%)

Counts

6388 → 386

Calls

43 calls:

9.0s	c
6.4s	x
6.0s	a
3.4s	eps
2.1s	b_2

Compiler

Compiled 79989 to 40480 computations (49.4% saved)

rewrite32.1s (9.8%)

Algorithm

326×	batch-egg-rewrite

Rules

216130×	`add-sqr-sqrt`
211850×	`*-un-lft-identity`
199722×	`add-cube-cbrt`
196710×	`add-cbrt-cube`
130902×	`add-exp-log`

Stop Event

326×	node limit

Counts

783 → 45854

prune31.6s (9.6%)

Counts: 91189 → 2572
Compiler: Compiled 64939 to 44549 computations (31.4% saved)

soundness7.7s (2.4%)

Algorithm

54×	egg-herbie

Rules

31018×	`associate-r`
28626×	`associate-/r*`
28274×	`associate-/l*`
26478×	`+-commutative`
25410×	`fma-def`

Stop Event

9×	saturated
45×	node limit

Compiler

Compiled 4662 to 2395 computations (48.6% saved)

localize7.6s (2.3%)

Compiler: Compiled 16405 to 8314 computations (49.3% saved)

bsearch6.2s (1.9%)

Algorithm

177×	binary-search
24×	left-value

Stop Event

170×	narrow-enough
7×	predicate-same

Results

2.6s	18495×	body	256	valid
1.7s	3617×	body	1024	valid
471.0ms	751×	body	2048	valid
465.0ms	1518×	body	512	valid
296.0ms	2215×	body	256	invalid
164.0ms	444×	body	256	infinite
39.0ms	206×	body	256	unsamplable
1.0ms	3×	body	4096	valid

Compiler

Compiled 49903 to 35020 computations (29.8% saved)

analyze5.5s (1.7%)

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

Counts

783 → 11998

Calls

3648 calls:

Time	Variable		Point	Expression
76.0ms	n	@	0	(*.f64 n (log.f64 n))
58.0ms	x	@	inf	(/.f64 (/.f64 1 x) (+.f64 1 (pow.f64 x -1/2)))
52.0ms	n	@	0	(/.f64 (neg.f64 (log.f64 (/.f64 x (+.f64 1 x)))) n)
47.0ms	x	@	0	(.f64 (cos.f64 x) (+.f64 eps (.f64 -1/6 (pow.f64 eps 3))))
45.0ms	eps	@	-inf	(-.f64 (+.f64 (.f64 (sin.f64 x) (-.f64 (cos.f64 eps) 1)) (exp.f64 (log1p.f64 (.f64 (cos.f64 x) (sin.f64 eps))))) 1)

preprocess2.4s (0.7%)

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)

end2.4s (0.7%)

Compiler: Compiled 4956 to 2684 computations (45.8% saved)

Details

sample1.7min (31.4%)

eval49.1s (14.9%)

simplify43.9s (13.3%)

regimes34.2s (10.4%)

rewrite32.1s (9.8%)

prune31.6s (9.6%)

soundness7.7s (2.4%)

localize7.6s (2.3%)

bsearch6.2s (1.9%)

analyze5.5s (1.7%)

series2.9s (0.9%)

preprocess2.4s (0.7%)

end2.4s (0.7%)

Profiling