Date:	Saturday, May 27th, 2023
Commit:	e9438722 on main
Hostname:	nightly with Racket 8.6
Seed:	2023147
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

sample2.9min (27.1%)

Results

1.2min	439505×	body	256	valid
1.0min	7875×	body	8192	exit
13.8s	23632×	body	1024	valid
9.5s	14951×	body	1024	infinite
5.2s	28957×	body	256	infinite
3.9s	12077×	body	512	valid
2.5s	6759×	body	512	infinite
1.6s	2644×	body	2048	valid
824.0ms	4778×	body	256	invalid
602.0ms	4195×	body	256	unsamplable
533.0ms	990×	body	4096	valid
234.0ms	210×	body	2048	infinite

Bogosity

eval1.9min (17.3%)

Compiler: Compiled 5169093 to 3135451 computations (39.3% saved)

simplify1.4min (12.7%)

Algorithm

705×	egg-herbie

Rules

547902×	`fma-def`
306686×	`log-prod`
303476×	`unswap-sqr`
279246×	`distribute-lft-in`
272958×	`fma-neg`

Stop Event

5×	unsound
87×	saturated
20×	done
38×	fuel
613×	node limit

Counts

81437 → 99189

Compiler

Compiled 12366 to 8542 computations (30.9% saved)

rewrite56.2s (8.7%)

Algorithm

589×	batch-egg-rewrite

Rules

423316×	`log-prod`
390260×	`pow1`
367176×	`log1p-expm1-u`
367156×	`expm1-log1p-u`
364670×	`add-exp-log`

Stop Event

7×	unsound
582×	node limit

Counts

1341 → 56242

soundness53.7s (8.3%)

Rules

266582×	`fma-def`
177590×	`log-prod`
154198×	`fma-neg`
132552×	`unswap-sqr`
118322×	`distribute-lft-in`

Stop Event

10×	unsound
21×	saturated
376×	node limit

Compiler

Compiled 59238 to 39236 computations (33.8% saved)

regimes49.4s (7.7%)

Counts

9034 → 774

Calls

131 calls:

4.7s	x.re
4.5s	x.im
3.5s	alpha
3.1s	y.re
2.8s	y.im

Compiler

Compiled 234777 to 166056 computations (29.3% saved)

prune42.9s (6.7%)

Counts: 126555 → 4157
Compiler: Compiled 202200 to 155155 computations (23.3% saved)

localize29.2s (4.5%)

Compiler: Compiled 58092 to 34643 computations (40.4% saved)

series12.0s (1.9%)

Counts

1341 → 25137

Calls

6993 calls:

Time	Variable		Point	Expression
344.0ms	x.re	@	inf	(cos.f64 (*.f64 y.im (log.f64 x.re)))
309.0ms	x	@	0	(pow.f64 (/.f64 1 (fabs.f64 x)) 4)
211.0ms	x.im	@	inf	(log.f64 (cbrt.f64 (exp.f64 (sin.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 y.im (log.f64 x.im)))))))
198.0ms	y.re	@	-inf	(log.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (+.f64 1 (expm1.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))))
155.0ms	x	@	inf	(log.f32 (-.f32 (hypot.f32 1 x) x))

bsearch11.9s (1.9%)

Algorithm

379×	binary-search
34×	left-value

Stop Event

360×	narrow-enough
19×	predicate-same

Results

7.6s	39647×	body	256	valid
887.0ms	901×	body	512	valid
850.0ms	1760×	body	1024	valid
488.0ms	399×	body	1024	infinite
405.0ms	906×	body	256	infinite
349.0ms	737×	body	2048	valid
197.0ms	411×	body	4096	valid
159.0ms	202×	body	512	infinite
6.0ms	5×	body	2048	infinite

Compiler

Compiled 74368 to 53406 computations (28.2% saved)

analyze9.4s (1.5%)

Algorithm

58×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.3%	13.7%	0%	0%	0%	0
7%	6%	80.3%	13.7%	0%	0%	0%	1
13.1%	11%	73.3%	13.7%	0%	1.7%	0.2%	2
23.6%	19.2%	62%	13.7%	0.5%	4.3%	0.3%	3
29.2%	23.2%	56.3%	13.7%	1.9%	4.5%	0.4%	4
41.4%	32.6%	46.2%	13.7%	2.4%	4.6%	0.4%	5
46.7%	36.2%	41.3%	13.7%	3.5%	4.9%	0.4%	6
54.8%	41.1%	33.8%	13.7%	5.2%	5.8%	0.4%	7
58.6%	43.6%	30.7%	13.7%	5.7%	5.9%	0.4%	8
63.7%	46.7%	26.6%	13.7%	6.7%	5.9%	0.4%	9
67.5%	48.8%	23.5%	13.7%	7.2%	6.4%	0.4%	10
70.8%	50.6%	20.9%	13.7%	7.9%	6.4%	0.4%	11
73.3%	52.2%	19%	13.7%	8.3%	6.4%	0.4%	12

Compiler

Compiled 1558 to 994 computations (36.2% saved)

end7.1s (1.1%)

Compiler: Compiled 12053 to 7268 computations (39.7% saved)

preprocess4.7s (0.7%)

Algorithm

116×	egg-herbie

Rules

36414×	`fma-def`
16548×	`associate-r`
15412×	`distribute-lft-in`
15404×	`sqr-pow`
14974×	`distribute-rgt-in`

Stop Event

71×	saturated
14×	unsound
31×	node limit

Compiler

Compiled 1606 to 1052 computations (34.5% saved)

Details

sample2.9min (27.1%)

eval1.9min (17.3%)

simplify1.4min (12.7%)

rewrite56.2s (8.7%)

soundness53.7s (8.3%)

regimes49.4s (7.7%)

prune42.9s (6.7%)

localize29.2s (4.5%)

series12.0s (1.9%)

bsearch11.9s (1.9%)

analyze9.4s (1.5%)

end7.1s (1.1%)

preprocess4.7s (0.7%)

Profiling