Date:	Wednesday, May 10th, 2023
Commit:	2ddccb59 on x86-arm-m1-bug
Hostname:	nightly with Racket 8.6
Seed:	2023130
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

sample3.0min (27.1%)

Results

1.3min	439759×	body	256	valid
57.0s	7770×	body	8192	exit
13.9s	23131×	body	1024	valid
9.1s	14390×	body	1024	infinite
5.4s	29075×	body	256	infinite
4.0s	12167×	body	512	valid
2.5s	6776×	body	512	infinite
1.9s	2677×	body	2048	valid
1.1s	4877×	body	256	invalid
636.0ms	1114×	body	4096	valid
623.0ms	4100×	body	256	unsamplable
262.0ms	224×	body	2048	infinite

Bogosity

eval2.0min (18.4%)

Compiler: Compiled 5375498 to 3329559 computations (38.1% saved)

simplify1.4min (13.2%)

Algorithm

694×	egg-herbie

Rules

337936×	`*-commutative`
337528×	`associate-r`
325964×	`associate-/l*`
321924×	`distribute-lft-in`
307660×	`+-commutative`

Stop Event

13×	unsound
84×	saturated
21×	done
37×	fuel
597×	node limit

Counts

87025 → 112368

Compiler

Compiled 13211 to 8648 computations (34.5% saved)

rewrite1.3min (12.1%)

Algorithm

578×	batch-egg-rewrite
21×	egg-rewrite-iter-limit
18×	egg-rewrite

Rules

430826×	`add-sqr-sqrt`
420992×	`*-un-lft-identity`
398256×	`add-cube-cbrt`
395280×	`add-cbrt-cube`
257554×	`add-exp-log`

Stop Event

27×	unsound
21×	iter limit
569×	node limit

Counts

1318 → 62341

prune54.9s (8.3%)

Counts: 136609 → 3911
Compiler: Compiled 197876 to 153170 computations (22.6% saved)

regimes49.1s (7.5%)

Counts

9325 → 823

Calls

132 calls:

4.6s	x.re
4.5s	x.im
3.7s	y.im
3.2s	y.re
3.0s	x

Compiler

Compiled 213972 to 145152 computations (32.2% saved)

localize32.2s (4.9%)

Compiler: Compiled 62347 to 38386 computations (38.4% saved)

soundness14.3s (2.2%)

Algorithm

87×	egg-herbie

Rules

52418×	`distribute-lft-in`
49538×	`*-commutative`
48492×	`associate-/l*`
47388×	`associate-*r/`
47338×	`associate-/r*`

Stop Event

20×	saturated
1×	iter limit
116×	node limit

Compiler

Compiled 17848 to 10061 computations (43.6% saved)

bsearch12.2s (1.9%)

Algorithm

435×	binary-search
32×	left-value

Stop Event

426×	narrow-enough
9×	predicate-same

Results

9.2s	48074×	body	256	valid
462.0ms	1042×	body	256	infinite
407.0ms	955×	body	2048	valid
317.0ms	995×	body	1024	valid
194.0ms	248×	body	1024	infinite
193.0ms	730×	body	512	valid
173.0ms	350×	body	4096	valid
81.0ms	178×	body	512	infinite
3.0ms	3×	body	2048	infinite

Compiler

Compiled 98615 to 70351 computations (28.7% saved)

series9.4s (1.4%)

Counts

1318 → 24626

Calls

6813 calls:

Time	Variable		Point	Expression
330.0ms	y.re	@	inf	(/.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im) (pow.f64 (hypot.f64 x.re x.im) y.re))
139.0ms	base	@	-inf	(log1p.f64 (-.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) (/.f64 1 (log.f64 base)))) 2))
138.0ms	im	@	inf	(log.f64 (/.f64 (log.f64 im) (log.f64 10)))
127.0ms	y.re	@	0	(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)
113.0ms	base	@	-inf	(log.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))

analyze9.1s (1.4%)

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)

end6.7s (1%)

Compiler: Compiled 12891 to 7274 computations (43.6% saved)

preprocess4.4s (0.7%)

Algorithm

116×	egg-herbie

Rules

21178×	`fma-def`
20488×	`*-commutative`
18344×	`associate-r`
17546×	`distribute-lft-in`
17206×	`sqr-pow`

Stop Event

71×	saturated
14×	unsound
31×	node limit

Compiler

Compiled 1606 to 1052 computations (34.5% saved)

Details

sample3.0min (27.1%)

eval2.0min (18.4%)

simplify1.4min (13.2%)

rewrite1.3min (12.1%)

prune54.9s (8.3%)

regimes49.1s (7.5%)

localize32.2s (4.9%)

soundness14.3s (2.2%)

bsearch12.2s (1.9%)

series9.4s (1.4%)

analyze9.1s (1.4%)

end6.7s (1%)

preprocess4.4s (0.7%)

Profiling