Date:	Saturday, May 13th, 2023
Commit:	1f5aabee on main
Hostname:	nightly with Racket 8.6
Seed:	2023133
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 (25.3%)

Results

1.3min	439328×	body	256	valid
1.0min	7852×	body	8192	exit
15.8s	23721×	body	1024	valid
8.7s	14509×	body	1024	infinite
5.8s	29233×	body	256	infinite
5.2s	12183×	body	512	valid
2.3s	6616×	body	512	infinite
1.7s	2509×	body	2048	valid
1.1s	4669×	body	256	invalid
789.0ms	4147×	body	256	unsamplable
644.0ms	1107×	body	4096	valid
269.0ms	223×	body	2048	infinite

Bogosity

eval2.6min (21.6%)

Compiler: Compiled 6199043 to 3853232 computations (37.8% saved)

simplify1.5min (12.5%)

Algorithm

733×	egg-herbie

Rules

392564×	`associate-r`
363316×	`*-commutative`
362534×	`associate-/l*`
343014×	`associate-l`
330364×	`distribute-lft-in`

Stop Event

8×	unsound
84×	saturated
20×	done
38×	fuel
641×	node limit

Counts

98404 → 126432

Compiler

Compiled 12837 to 8406 computations (34.5% saved)

rewrite1.5min (12.1%)

Algorithm

617×	batch-egg-rewrite
10×	egg-rewrite-iter-limit
10×	egg-rewrite

Rules

407674×	`add-sqr-sqrt`
398272×	`*-un-lft-identity`
376580×	`add-cube-cbrt`
370832×	`add-cbrt-cube`
255012×	`add-exp-log`

Stop Event

13×	unsound
10×	iter limit
614×	node limit

Counts

1427 → 71445

prune58.9s (8.1%)

Counts: 153463 → 4188
Compiler: Compiled 209192 to 158315 computations (24.3% saved)

regimes52.6s (7.3%)

Counts

9411 → 843

Calls

134 calls:

6.1s	x.im
6.0s	x.re
3.9s	y.im
3.8s	y.re
3.5s	x

Compiler

Compiled 210033 to 139129 computations (33.8% saved)

localize33.6s (4.6%)

Compiler: Compiled 65771 to 40841 computations (37.9% saved)

soundness14.9s (2.1%)

Algorithm

98×	egg-herbie

Rules

70118×	`associate-*r/`
67474×	`associate-/r*`
59796×	`associate-*l/`
59772×	`distribute-lft-in`
57086×	`associate-/l*`

Stop Event

20×	saturated
128×	node limit

Compiler

Compiled 28996 to 19056 computations (34.3% saved)

bsearch13.2s (1.8%)

Algorithm

451×	binary-search
26×	left-value

Stop Event

443×	narrow-enough
8×	predicate-same

Results

10.0s	48708×	body	256	valid
544.0ms	1368×	body	1024	valid
375.0ms	657×	body	4096	valid
344.0ms	712×	body	2048	valid
343.0ms	1067×	body	512	valid
296.0ms	928×	body	256	infinite
99.0ms	132×	body	1024	infinite
62.0ms	136×	body	512	infinite
34.0ms	8×	body	2048	infinite

Compiler

Compiled 94831 to 65734 computations (30.7% saved)

analyze10.8s (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)

series10.5s (1.5%)

Counts

1427 → 26901

Calls

7434 calls:

Time	Variable		Point	Expression
407.0ms	re	@	inf	(log1p.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))
149.0ms	re	@	inf	(log.f64 (pow.f64 base (/.f64 1 (atan2.f64 im re))))
148.0ms	d2	@	0	(/.f64 d1 (/.f64 1 (+.f64 3 (+.f64 d2 d3))))
120.0ms	x.im	@	-inf	(log1p.f64 (cos.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 y.im (log.f64 (neg.f64 x.im))))))
117.0ms	base	@	0	(/.f64 (log.f64 (cbrt.f64 (hypot.f64 re im))) (log.f64 base))

end6.8s (0.9%)

Compiler: Compiled 12508 to 6957 computations (44.4% saved)

preprocess4.3s (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

sample3.0min (25.3%)

eval2.6min (21.6%)

simplify1.5min (12.5%)

rewrite1.5min (12.1%)

prune58.9s (8.1%)

regimes52.6s (7.3%)

localize33.6s (4.6%)

soundness14.9s (2.1%)

bsearch13.2s (1.8%)

analyze10.8s (1.5%)

series10.5s (1.5%)

end6.8s (0.9%)

preprocess4.3s (0.6%)

Profiling