Date:	Monday, November 28th, 2022
Commit:	3d4e2660 on add-regressions
Hostname:	nightly with Racket 8.6
Seed:	2022332
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.6min (32.5%)

Results

1.2min	437687×	body	256	valid
54.5s	7951×	body	8192	exit
10.8s	19345×	body	1024	valid
7.9s	14399×	body	1024	infinite
5.2s	29264×	body	256	infinite
3.1s	10315×	body	512	valid
2.6s	6634×	body	512	infinite
1.3s	2230×	body	2048	valid
1.0s	4725×	body	256	invalid
570.0ms	4251×	body	256	unsamplable
532.0ms	1015×	body	4096	valid
217.0ms	207×	body	2048	infinite

Bogosity

eval1.5min (18%)

Compiler: Compiled 4545099 to 2706025 computations (40.5% saved)

simplify56.5s (11.6%)

Algorithm

717×	egg-herbie

Rules

229926×	`fma-def_binary64`
158987×	`fma-neg_binary64`
141037×	`unswap-sqr_binary64`
138453×	`distribute-rgt-in_binary64`
135640×	`times-frac_binary64`

Stop Event

6×	unsound
83×	saturated
21×	done
36×	fuel
628×	node limit

Counts

79335 → 97017

Compiler

Compiled 10567 to 7171 computations (32.1% saved)

prune39.8s (8.2%)

Counts: 119066 → 3932
Compiler: Compiled 191336 to 145646 computations (23.9% saved)

rewrite39.8s (8.2%)

Algorithm

603×	batch-egg-rewrite
17×	egg-rewrite-iter-limit
18×	egg-rewrite

Rules

231826×	`pow1_binary64`
218478×	`add-log-exp_binary64`
218227×	`expm1-log1p-u_binary64`
218208×	`log1p-expm1-u_binary64`
201371×	`add-exp-log_binary64`

Stop Event

23×	unsound
17×	iter limit
598×	node limit

Counts

1381 → 53429

regimes35.8s (7.4%)

Counts

8234 → 694

Calls

126 calls:

3.8s	x.re
3.7s	x.im
2.0s	y.im
1.9s	y.re
1.8s	x

Compiler

Compiled 168788 to 114312 computations (32.3% saved)

localize25.6s (5.3%)

Compiler: Compiled 57549 to 34662 computations (39.8% saved)

series10.5s (2.2%)

Counts

1381 → 25849

Calls

7149 calls:

Time	Variable		Point	Expression
220.0ms	x.re	@	-inf	(pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3)
115.0ms	re	@	inf	(log1p.f64 (sin.f64 re))
105.0ms	alpha	@	0	(/.f64 (/.f64 (fma.f64 i (+.f64 beta (+.f64 i alpha)) (.f64 alpha beta)) (.f64 (+.f64 alpha (fma.f64 i 2 beta)) (+.f64 alpha (fma.f64 i 2 beta)))) (fma.f64 (+.f64 alpha (fma.f64 i 2 beta)) (+.f64 alpha (fma.f64 i 2 beta)) -1))
94.0ms	re	@	0	(log.f64 (/.f64 (neg.f64 (log.f64 (/.f64 -1 re))) (log.f64 10)))
90.0ms	y.re	@	0	(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)

bsearch8.3s (1.7%)

Algorithm

345×	binary-search
20×	left-value

Results

5.4s	34945×	body	256	valid
579.0ms	1060×	body	2048	valid
444.0ms	1159×	body	1024	valid
431.0ms	808×	body	4096	valid
223.0ms	924×	body	512	valid
205.0ms	147×	body	1024	infinite
133.0ms	549×	body	256	infinite
21.0ms	51×	body	512	infinite
3.0ms	3×	body	2048	infinite

Compiler

Compiled 62608 to 44896 computations (28.3% saved)

analyze7.9s (1.6%)

Algorithm

57×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.1%	13.9%	0%	0%	0%	0
7.1%	6.1%	79.9%	13.9%	0%	0%	0%	1
13.4%	11.2%	72.9%	13.9%	0%	1.8%	0.2%	2
23.9%	19.5%	62.2%	13.9%	0.5%	3.5%	0.3%	3
29%	23.2%	56.8%	13.9%	2%	3.7%	0.4%	4
41%	32.6%	46.8%	13.9%	2.5%	3.8%	0.4%	5
46.3%	36.1%	41.9%	13.9%	3.6%	4.1%	0.4%	6
54.4%	41%	34.4%	13.9%	5.3%	5%	0.4%	7
58.2%	43.5%	31.2%	13.9%	5.8%	5.1%	0.4%	8
63.3%	46.6%	27%	13.9%	6.8%	5.1%	0.4%	9
67.1%	48.8%	23.9%	13.9%	7.3%	5.6%	0.4%	10
70.4%	50.6%	21.3%	13.9%	8.1%	5.6%	0.4%	11
73%	52.2%	19.3%	13.9%	8.5%	5.7%	0.4%	12

Compiler

Compiled 1543 to 980 computations (36.5% saved)

soundness7.8s (1.6%)

Algorithm

90×	egg-herbie

Rules

26339×	`fma-def_binary64`
17884×	`times-frac_binary64`
16632×	`distribute-rgt-in_binary64`
16106×	`fma-neg_binary64`
15378×	`unswap-sqr_binary64`

Stop Event

21×	saturated
69×	node limit

Compiler

Compiled 49311 to 31537 computations (36% saved)

end5.4s (1.1%)

Compiler: Compiled 10267 to 6158 computations (40% saved)

preprocess3.3s (0.7%)

Algorithm

114×	egg-herbie

Rules

14106×	`fma-def_binary64`
10943×	`fma-neg_binary64`
7921×	`distribute-rgt-in_binary64`
7386×	`associate-l_binary64`
6766×	`distribute-lft-in_binary64`

Stop Event

69×	saturated
14×	unsound
31×	node limit

Compiler

Compiled 1591 to 1038 computations (34.8% saved)

Details

sample2.6min (32.5%)

eval1.5min (18%)

simplify56.5s (11.6%)

prune39.8s (8.2%)

rewrite39.8s (8.2%)

regimes35.8s (7.4%)

localize25.6s (5.3%)

series10.5s (2.2%)

bsearch8.3s (1.7%)

analyze7.9s (1.6%)

soundness7.8s (1.6%)

end5.4s (1.1%)

preprocess3.3s (0.7%)

Profiling