Date:	Wednesday, February 8th, 2023
Commit:	bca17af9 on oflatt-ian-bench
Hostname:	nightly with Racket 8.6
Seed:	2023039
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.8min (28.4%)

Results

1.2min	439441×	body	256	valid
58.5s	7834×	body	8192	exit
13.6s	23368×	body	1024	valid
8.2s	14241×	body	1024	infinite
5.5s	28931×	body	256	infinite
4.4s	12382×	body	512	valid
2.7s	6742×	body	512	infinite
1.7s	2609×	body	2048	valid
968.0ms	4715×	body	256	invalid
659.0ms	4163×	body	256	unsamplable
632.0ms	1048×	body	4096	valid
242.0ms	211×	body	2048	infinite

Bogosity

eval1.9min (19.4%)

Compiler: Compiled 5776106 to 3547762 computations (38.6% saved)

simplify1.4min (14.1%)

Algorithm

725×	egg-herbie

Rules

363922×	`associate-r`
354282×	`*-commutative`
353024×	`associate-/l*`
324412×	`+-commutative`
321464×	`distribute-lft-in`

Stop Event

12×	unsound
84×	saturated
20×	done
38×	fuel
629×	node limit

Counts

94660 → 120335

Compiler

Compiled 12931 to 8927 computations (31% saved)

rewrite57.2s (9.5%)

Algorithm

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

Rules

406440×	`add-sqr-sqrt`
396230×	`*-un-lft-identity`
375910×	`add-cube-cbrt`
371610×	`add-cbrt-cube`
262472×	`add-exp-log`

Stop Event

24×	unsound
18×	iter limit
602×	node limit

Counts

1401 → 69084

prune52.9s (8.8%)

Counts: 146322 → 4085
Compiler: Compiled 198905 to 150070 computations (24.6% saved)

regimes43.5s (7.2%)

Counts

9196 → 768

Calls

134 calls:

4.7s	x.im
4.1s	x.re
3.7s	y.re
3.7s	x
3.0s	y.im

Compiler

Compiled 191430 to 120730 computations (36.9% saved)

localize29.8s (5%)

Compiler: Compiled 63089 to 38906 computations (38.3% saved)

soundness10.3s (1.7%)

Algorithm

79×	egg-herbie

Rules

40154×	`*-commutative`
37696×	`fma-def`
37424×	`associate-/l*`
37080×	`associate-*r/`
36702×	`+-commutative`

Stop Event

13×	saturated
66×	node limit

Compiler

Compiled 13040 to 7326 computations (43.8% saved)

series8.6s (1.4%)

Counts

1401 → 25518

Calls

7005 calls:

Time	Variable		Point	Expression
623.0ms	x	@	-inf	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
235.0ms	alpha	@	-inf	(/.f64 (+.f64 alpha beta) (+.f64 beta (fma.f64 2 i alpha)))
162.0ms	y.re	@	0	(*.f64 y.re (log.f64 x.re))
113.0ms	y.re	@	0	(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)
99.0ms	x.re	@	-inf	(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)

bsearch8.5s (1.4%)

Algorithm

367×	binary-search
21×	left-value

Results

6.7s	41574×	body	256	valid
198.0ms	532×	body	1024	valid
192.0ms	911×	body	256	infinite
174.0ms	154×	body	1024	infinite
132.0ms	335×	body	2048	valid
122.0ms	536×	body	512	valid
69.0ms	140×	body	512	infinite
52.0ms	111×	body	4096	valid
45.0ms	12×	body	2048	infinite

Compiler

Compiled 91940 to 65538 computations (28.7% saved)

analyze7.9s (1.3%)

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.3s (1%)

Compiler: Compiled 12586 to 7614 computations (39.5% saved)

preprocess3.8s (0.6%)

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

sample2.8min (28.4%)

eval1.9min (19.4%)

simplify1.4min (14.1%)

rewrite57.2s (9.5%)

prune52.9s (8.8%)

regimes43.5s (7.2%)

localize29.8s (5%)

soundness10.3s (1.7%)

series8.6s (1.4%)

bsearch8.5s (1.4%)

analyze7.9s (1.3%)

end6.3s (1%)

preprocess3.8s (0.6%)

Profiling