Date:	Wednesday, May 31st, 2023
Commit:	55347e10 on better-large-numbers
Hostname:	nightly with Racket 8.6
Seed:	2023151
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

sample51.8s (28.4%)

Results

16.8s	112948×	body	256	valid
14.3s	28197×	body	1024	valid
9.5s	3242×	body	8192	exit
4.0s	14078×	body	512	valid
3.1s	5008×	body	1024	invalid
1.5s	1641×	body	2048	valid
730.0ms	3323×	body	256	infinite
711.0ms	2483×	body	512	invalid
458.0ms	2715×	body	256	invalid
204.0ms	267×	body	512	infinite
178.0ms	209×	body	1024	infinite
30.0ms	152×	body	256	unsamplable
4.0ms	6×	body	2048	invalid
1.0ms	1×	body	4096	invalid

Bogosity

simplify24.4s (13.4%)

Algorithm

217×	egg-herbie

Rules

138400×	`fma-def`
109270×	`log-prod`
85282×	`fma-neg`
80300×	`distribute-lft-in`
77384×	`distribute-rgt-in`

Stop Event

1×	unsound
6×	done
32×	saturated
13×	fuel
184×	node limit

Counts

28332 → 29994

Compiler

Compiled 2197 to 1384 computations (37% saved)

eval19.8s (10.8%)

Compiler: Compiled 1044501 to 472704 computations (54.7% saved)

rewrite16.5s (9.1%)

Algorithm

179×	batch-egg-rewrite

Rules

145408×	`log-prod`
120226×	`pow1`
111668×	`add-exp-log`
111572×	`log1p-expm1-u`
111566×	`expm1-log1p-u`

Stop Event

179×	node limit

Counts

417 → 19691

soundness16.4s (9%)

Rules

90878×	`log-prod`
69452×	`fma-def`
43414×	`pow1`
41568×	`fma-neg`
40406×	`add-exp-log`

Stop Event

8×	saturated
2×	unsound
130×	node limit

Compiler

Compiled 13441 to 7141 computations (46.9% saved)

regimes16.3s (8.9%)

Counts

3661 → 183

Calls

53 calls:

2.3s	x
2.2s	a
1.7s	r
1.6s	b
701.0ms	z

Compiler

Compiled 44040 to 19598 computations (55.5% saved)

prune12.7s (6.9%)

Counts: 39750 → 1740
Compiler: Compiled 44113 to 29823 computations (32.4% saved)

analyze12.1s (6.6%)

Algorithm

19×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	72.3%	27.7%	0%	0%	0%	0
9.1%	6.6%	65.7%	27.7%	0%	0%	0%	1
10.9%	7.9%	64.4%	27.7%	0%	0%	0%	2
32.8%	23.7%	48.6%	27.7%	0%	0%	0%	3
42.8%	30.9%	41.4%	27.7%	0%	0%	0%	4
48.9%	34.9%	36.5%	27.7%	0%	1%	0%	5
53.3%	37.5%	32.9%	27.7%	0.5%	1.2%	0.3%	6
58.9%	41%	28.7%	27.7%	0.6%	1.7%	0.3%	7
62.4%	43.1%	26%	27.7%	0.9%	1.8%	0.5%	8
65.8%	45.2%	23.5%	27.7%	0.9%	2.2%	0.5%	9
69.2%	47.3%	21%	27.7%	1.1%	2.3%	0.6%	10
71.3%	48.5%	19.5%	27.7%	1.3%	2.5%	0.6%	11
73.2%	49.6%	18.2%	27.7%	1.4%	2.5%	0.6%	12

Compiler

Compiled 288 to 205 computations (28.8% saved)

series3.7s (2%)

Counts

417 → 8622

Calls

2322 calls:

Time	Variable		Point	Expression
187.0ms	x	@	inf	(-.f64 (exp.f64 (log1p.f64 (cbrt.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))) 1)
174.0ms	x	@	inf	(log.f64 (cbrt.f64 (exp.f64 (+.f64 x (tan.f64 (+.f64 z y))))))
88.0ms	b	@	inf	(-.f64 (exp.f64 (log1p.f64 (cos.f64 (+.f64 b a)))) 1)
88.0ms	y	@	-inf	(log.f64 (-.f64 (tan.f64 (+.f64 y z)) (-.f64 (tan.f64 a) x)))
78.0ms	b	@	0	(pow.f64 (cbrt.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a)))) 3)

localize3.5s (1.9%)

Compiler: Compiled 7593 to 2984 computations (60.7% saved)

bsearch2.7s (1.5%)

Algorithm

64×	binary-search
15×	left-value

Stop Event

61×	narrow-enough
3×	predicate-same

Results

1.0s	5251×	body	256	valid
986.0ms	1723×	body	1024	valid
350.0ms	643×	body	512	valid
145.0ms	622×	body	256	infinite
56.0ms	79×	body	2048	valid
21.0ms	48×	body	1024	infinite
17.0ms	61×	body	512	infinite

Compiler

Compiled 13339 to 9148 computations (31.4% saved)

preprocess1.5s (0.8%)

Algorithm

38×	egg-herbie

Rules

11318×	`fma-def`
6306×	`sqr-pow`
5666×	`associate-/l/`
5628×	`unswap-sqr`
3388×	`associate-r`

Stop Event

3×	unsound
28×	saturated
7×	node limit

Compiler

Compiled 214 to 157 computations (26.6% saved)

end1.1s (0.6%)

Compiler: Compiled 2135 to 1023 computations (52.1% saved)

Details

sample51.8s (28.4%)

simplify24.4s (13.4%)

eval19.8s (10.8%)

rewrite16.5s (9.1%)

soundness16.4s (9%)

regimes16.3s (8.9%)

prune12.7s (6.9%)

analyze12.1s (6.6%)

series3.7s (2%)

localize3.5s (1.9%)

bsearch2.7s (1.5%)

preprocess1.5s (0.8%)

end1.1s (0.6%)

Profiling