Date:	Friday, November 25th, 2022
Commit:	cf54083d on main
Hostname:	nightly with Racket 8.6
Seed:	2022329
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.7min (33.3%)

Results

1.2min	437969×	body	256	valid
56.8s	8035×	body	8192	exit
10.8s	19208×	body	1024	valid
8.8s	14938×	body	1024	infinite
4.8s	28911×	body	256	infinite
3.2s	10151×	body	512	valid
2.4s	6859×	body	512	infinite
1.2s	2185×	body	2048	valid
964.0ms	4681×	body	256	invalid
768.0ms	1079×	body	4096	valid
595.0ms	4210×	body	256	unsamplable
336.0ms	253×	body	2048	infinite

Bogosity

eval1.4min (17.7%)

Compiler: Compiled 4592693 to 2772719 computations (39.6% saved)

simplify55.4s (11.3%)

Algorithm

706×	egg-herbie

Rules

221880×	`fma-def_binary64`
154392×	`fma-neg_binary64`
141338×	`unswap-sqr_binary64`
131858×	`distribute-rgt-in_binary64`
131562×	`times-frac_binary64`

Stop Event

6×	unsound
84×	saturated
21×	done
36×	fuel
616×	node limit

Counts

80235 → 97343

Compiler

Compiled 10738 to 7112 computations (33.8% saved)

rewrite39.7s (8.1%)

Algorithm

592×	batch-egg-rewrite
21×	egg-rewrite-iter-limit
25×	egg-rewrite

Rules

227483×	`pow1_binary64`
214192×	`add-log-exp_binary64`
213933×	`expm1-log1p-u_binary64`
213916×	`log1p-expm1-u_binary64`
200282×	`add-exp-log_binary64`

Stop Event

27×	unsound
21×	iter limit
590×	node limit

Counts

1353 → 54478

prune38.5s (7.9%)

Counts: 120539 → 3894
Compiler: Compiled 187665 to 141595 computations (24.5% saved)

regimes38.0s (7.8%)

Counts

7891 → 712

Calls

128 calls:

4.3s	x.re
4.1s	x.im
3.1s	y.re
2.6s	y.im
1.8s	x

Compiler

Compiled 159137 to 104210 computations (34.5% saved)

localize24.3s (5%)

Compiler: Compiled 55821 to 32672 computations (41.5% saved)

series10.9s (2.2%)

Counts

1353 → 25700

Calls

7062 calls:

Time	Variable		Point	Expression
234.0ms	re	@	inf	(exp.f64 (log1p.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base))))
133.0ms	x.im	@	-inf	(log.f64 (*.f64 y.re (atan2.f64 x.im x.re)))
124.0ms	u1	@	inf	(pow.f64 (cbrt.f64 (*.f64 (log.f64 u1) -2)) 3/2)
104.0ms	base	@	inf	(-.f64 (exp.f64 (log1p.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base)))) 1)
101.0ms	im	@	-inf	(log.f64 (pow.f64 im (/.f64 1 (log.f64 base))))

bsearch8.3s (1.7%)

Algorithm

344×	binary-search
23×	left-value

Results

6.2s	38909×	body	256	valid
283.0ms	685×	body	1024	valid
249.0ms	551×	body	2048	valid
203.0ms	305×	body	1024	infinite
182.0ms	895×	body	256	infinite
133.0ms	439×	body	512	valid
123.0ms	184×	body	4096	valid
95.0ms	206×	body	512	infinite
1.0ms	1×	body	2048	infinite

Compiler

Compiled 70346 to 50727 computations (27.9% saved)

soundness8.2s (1.7%)

Algorithm

94×	egg-herbie

Rules

26518×	`fma-def_binary64`
18696×	`distribute-rgt-in_binary64`
18449×	`unswap-sqr_binary64`
18384×	`fma-neg_binary64`
17695×	`times-frac_binary64`

Stop Event

24×	saturated
70×	node limit

Compiler

Compiled 34216 to 23306 computations (31.9% saved)

analyze8.2s (1.7%)

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)

end5.1s (1%)

Compiler: Compiled 10530 to 5969 computations (43.3% saved)

preprocess3.4s (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.7min (33.3%)

eval1.4min (17.7%)

simplify55.4s (11.3%)

rewrite39.7s (8.1%)

prune38.5s (7.9%)

regimes38.0s (7.8%)

localize24.3s (5%)

series10.9s (2.2%)

bsearch8.3s (1.7%)

soundness8.2s (1.7%)

analyze8.2s (1.7%)

end5.1s (1%)

preprocess3.4s (0.7%)

Profiling