Date:	Wednesday, March 1st, 2023
Commit:	b6e17b25 on asinh-taylor-bug
Hostname:	nightly with Racket 8.6
Seed:	2023060
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

sample46.9s (26.1%)

Results

14.8s	113179×	body	256	valid
13.5s	27778×	body	1024	valid
8.1s	3196×	body	8192	exit
4.5s	14286×	body	512	valid
2.3s	4915×	body	1024	invalid
1.2s	1621×	body	2048	valid
726.0ms	2506×	body	512	invalid
687.0ms	3337×	body	256	infinite
428.0ms	2853×	body	256	invalid
185.0ms	196×	body	1024	infinite
71.0ms	234×	body	512	infinite
28.0ms	156×	body	256	unsamplable
12.0ms	4×	body	8192	invalid
1.0ms	1×	body	4096	invalid
1.0ms	1×	body	2048	infinite
0.0ms	1×	body	2048	invalid

Bogosity

simplify27.6s (15.3%)

Algorithm

244×	egg-herbie

Rules

137100×	`associate-r`
125624×	`*-commutative`
115010×	`associate-l`
114226×	`distribute-lft-in`
111052×	`associate-/l*`

Stop Event

2×	unsound
3×	done
32×	saturated
16×	fuel
210×	node limit

Counts

35019 → 40064

Compiler

Compiled 2089 to 1315 computations (37.1% saved)

eval25.1s (14%)

Compiler: Compiled 1420511 to 651590 computations (54.1% saved)

rewrite20.0s (11.1%)

Algorithm

206×	batch-egg-rewrite

Rules

164842×	`add-sqr-sqrt`
162168×	`*-un-lft-identity`
151782×	`add-cube-cbrt`
150304×	`add-cbrt-cube`
92408×	`add-exp-log`

Stop Event

206×	node limit

Counts

506 → 25552

prune18.1s (10.1%)

Counts: 50676 → 1892
Compiler: Compiled 51841 to 34276 computations (33.9% saved)

regimes15.6s (8.7%)

Counts

4614 → 170

Calls

51 calls:

2.2s	a
1.8s	x
1.5s	b
1.5s	r
864.0ms	c

Compiler

Compiled 59378 to 25463 computations (57.1% saved)

analyze12.0s (6.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)

localize4.4s (2.5%)

Compiler: Compiled 9983 to 4369 computations (56.2% saved)

series3.4s (1.9%)

Counts

506 → 9448

Calls

2556 calls:

Time	Variable		Point	Expression
141.0ms	x	@	0	(sqrt.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 4)))
139.0ms	r	@	inf	(log.f64 (pow.f64 (exp.f64 r) (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a)))))
127.0ms	a	@	inf	(log.f64 (pow.f64 (exp.f64 r) (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a)))))
119.0ms	b	@	inf	(log.f64 (pow.f64 (exp.f64 r) (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a)))))
96.0ms	x	@	0	(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2)) (.f64 (sqrt.f64 (cbrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x))))

soundness2.3s (1.3%)

Algorithm

20×	egg-herbie

Rules

10980×	`associate-r`
10624×	`*-commutative`
9958×	`fma-def`
9544×	`distribute-lft-in`
9260×	`associate-/r*`

Stop Event

2×	saturated
18×	node limit

Compiler

Compiled 1549 to 744 computations (52% saved)

bsearch2.1s (1.2%)

Algorithm

60×	binary-search
8×	left-value

Results

1.0s	5508×	body	256	valid
603.0ms	1289×	body	1024	valid
145.0ms	460×	body	512	valid
123.0ms	766×	body	256	infinite
57.0ms	77×	body	2048	valid
30.0ms	373×	body	256	invalid
3.0ms	5×	body	512	infinite
2.0ms	6×	body	1024	infinite

Compiler

Compiled 12261 to 8505 computations (30.6% saved)

preprocess1.4s (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)

end1.0s (0.6%)

Compiler: Compiled 1959 to 869 computations (55.6% saved)

Details

sample46.9s (26.1%)

simplify27.6s (15.3%)

eval25.1s (14%)

rewrite20.0s (11.1%)

prune18.1s (10.1%)

regimes15.6s (8.7%)

analyze12.0s (6.7%)

localize4.4s (2.5%)

series3.4s (1.9%)

soundness2.3s (1.3%)

bsearch2.1s (1.2%)

preprocess1.4s (0.8%)

end1.0s (0.6%)

Profiling