Date:	Friday, December 30th, 2022
Commit:	d611f941 on main
Hostname:	nightly with Racket 8.6
Seed:	2022364
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

sample48.6s (29.6%)

Results

16.1s	113010×	body	256	valid
14.4s	27914×	body	1024	valid
7.6s	3198×	body	8192	exit
4.6s	14265×	body	512	valid
2.2s	5040×	body	1024	invalid
1.4s	1675×	body	2048	valid
663.0ms	3286×	body	256	infinite
584.0ms	2453×	body	512	invalid
311.0ms	2782×	body	256	invalid
174.0ms	211×	body	1024	infinite
91.0ms	214×	body	512	infinite
25.0ms	148×	body	256	unsamplable
21.0ms	2×	body	4096	invalid
3.0ms	1×	body	8192	invalid
3.0ms	5×	body	2048	invalid

Bogosity

simplify22.2s (13.5%)

Algorithm

221×	egg-herbie

Rules

122694×	`associate-r`
117296×	`*-commutative`
110562×	`associate-/l*`
104728×	`associate-l`
102936×	`distribute-lft-in`

Stop Event

5×	done
32×	saturated
14×	fuel
189×	node limit

Counts

31286 → 36273

Compiler

Compiled 2191 to 1451 computations (33.8% saved)

eval21.3s (13%)

Compiler: Compiled 1354628 to 681585 computations (49.7% saved)

rewrite16.6s (10.2%)

Algorithm

183×	batch-egg-rewrite
4×	egg-rewrite
2×	egg-rewrite-iter-limit

Rules

144112×	`add-sqr-sqrt`
141822×	`*-un-lft-identity`
132608×	`add-cube-cbrt`
131386×	`add-cbrt-cube`
81840×	`add-exp-log`

Stop Event

2×	iter limit
187×	node limit

Counts

433 → 22600

regimes15.3s (9.4%)

Counts

4255 → 161

Calls

53 calls:

1.6s	x
1.5s	a
1.3s	b
1.2s	c
1.1s	r

Compiler

Compiled 59004 to 28953 computations (50.9% saved)

prune15.0s (9.2%)

Counts: 44979 → 1786
Compiler: Compiled 50813 to 33953 computations (33.2% saved)

analyze11.5s (7%)

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)

localize3.5s (2.1%)

Compiler: Compiled 8768 to 3918 computations (55.3% saved)

soundness3.1s (1.9%)

Algorithm

28×	egg-herbie

Rules

15712×	`associate-r`
14874×	`fma-def`
14862×	`associate-/r*`
14010×	`*-commutative`
13212×	`sqr-pow`

Stop Event

3×	saturated
25×	node limit

Compiler

Compiled 4184 to 2098 computations (49.9% saved)

series2.4s (1.5%)

Counts

433 → 8667

Calls

2406 calls:

Time	Variable		Point	Expression
64.0ms	y	@	inf	(*.f64 (log.f64 (+.f64 x (tan.f64 (+.f64 y z)))) 1/3)
54.0ms	a	@	-inf	(/.f64 (sin.f64 b) (/.f64 (fma.f64 (sin.f64 b) (neg.f64 (sin.f64 a)) (*.f64 (cos.f64 a) (cos.f64 b))) r))
52.0ms	x	@	inf	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
50.0ms	z	@	inf	(log1p.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
50.0ms	x	@	-inf	(-.f64 (pow.f64 (cbrt.f64 (+.f64 x (tan.f64 (+.f64 y z)))) 3) (tan.f64 a))

bsearch1.8s (1.1%)

Algorithm

7×	left-value
52×	binary-search

Results

853.0ms	5042×	body	256	valid
321.0ms	735×	body	1024	valid
227.0ms	1487×	body	256	infinite
128.0ms	406×	body	512	valid
99.0ms	808×	body	256	invalid
45.0ms	107×	body	1024	infinite
27.0ms	83×	body	512	infinite
22.0ms	31×	body	2048	valid

Compiler

Compiled 11183 to 7323 computations (34.5% saved)

end1.3s (0.8%)

Compiler: Compiled 2170 to 1128 computations (48% saved)

preprocess1.2s (0.8%)

Algorithm

38×	egg-herbie

Rules

8532×	`fma-def`
7066×	`sqr-pow`
5672×	`associate-/l/`
5048×	`unswap-sqr`
4482×	`*-commutative`

Stop Event

3×	unsound
28×	saturated
7×	node limit

Compiler

Compiled 214 to 157 computations (26.6% saved)

Details

sample48.6s (29.6%)

simplify22.2s (13.5%)

eval21.3s (13%)

rewrite16.6s (10.2%)

regimes15.3s (9.4%)

prune15.0s (9.2%)

analyze11.5s (7%)

localize3.5s (2.1%)

soundness3.1s (1.9%)

series2.4s (1.5%)

bsearch1.8s (1.1%)

end1.3s (0.8%)

preprocess1.2s (0.8%)

Profiling