Date:	Monday, May 1st, 2023
Commit:	e093b807 on main
Hostname:	nightly with Racket 8.6
Seed:	2023121
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.9min (28.7%)

Results

1.3min	439349×	body	256	valid
58.6s	7869×	body	8192	exit
14.3s	23572×	body	1024	valid
8.4s	14313×	body	1024	infinite
5.2s	29222×	body	256	infinite
4.2s	12230×	body	512	valid
2.3s	6600×	body	512	infinite
1.7s	2637×	body	2048	valid
1.0s	4787×	body	256	invalid
605.0ms	1060×	body	4096	valid
589.0ms	4199×	body	256	unsamplable
492.0ms	236×	body	2048	infinite

Bogosity

eval2.0min (19.8%)

Compiler: Compiled 5614347 to 3352524 computations (40.3% saved)

simplify1.4min (14.2%)

Algorithm

738×	egg-herbie

Rules

377052×	`associate-r`
363322×	`*-commutative`
353888×	`distribute-lft-in`
349500×	`associate-/l*`
327558×	`associate-+r+`

Stop Event

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

Counts

95252 → 122852

Compiler

Compiled 10464 to 6944 computations (33.6% saved)

rewrite1.0min (10.1%)

Algorithm

622×	batch-egg-rewrite
14×	egg-rewrite-iter-limit
18×	egg-rewrite

Rules

450144×	`add-sqr-sqrt`
439606×	`*-un-lft-identity`
416056×	`add-cube-cbrt`
409726×	`add-cbrt-cube`
271280×	`add-exp-log`

Stop Event

17×	unsound
14×	iter limit
623×	node limit

Counts

1425 → 68885

prune54.2s (9%)

Counts: 151390 → 4123
Compiler: Compiled 183858 to 137159 computations (25.4% saved)

regimes37.6s (6.2%)

Counts

9015 → 690

Calls

133 calls:

3.7s	x.re
3.4s	x.im
2.5s	y.re
2.2s	y.im
2.2s	x

Compiler

Compiled 191622 to 124449 computations (35.1% saved)

localize28.2s (4.7%)

Compiler: Compiled 60193 to 36201 computations (39.9% saved)

soundness10.2s (1.7%)

Algorithm

90×	egg-herbie

Rules

43412×	`fma-def`
42244×	`associate-/l*`
42062×	`*-commutative`
39606×	`distribute-lft-in`
38756×	`+-commutative`

Stop Event

17×	saturated
73×	node limit

Compiler

Compiled 13253 to 7819 computations (41% saved)

series8.9s (1.5%)

Counts

1425 → 26309

Calls

7236 calls:

Time	Variable		Point	Expression
624.0ms	base	@	-inf	(/.f64 1 (.f64 (/.f64 1 (atan2.f64 im re)) (.f64 3 (log.f64 (cbrt.f64 base)))))
259.0ms	y.im	@	-inf	(log.f64 (pow.f64 (hypot.f64 x.im x.re) y.im))
154.0ms	x.re	@	inf	(pow.f64 (cbrt.f64 (cbrt.f64 (atan2.f64 x.im x.re))) 3)
99.0ms	y.re	@	0	(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)
75.0ms	base	@	-inf	(pow.f64 (pow.f64 (log.f64 base) -1/2) 2)

analyze8.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)

bsearch7.0s (1.2%)

Algorithm

290×	binary-search
38×	left-value

Stop Event

277×	narrow-enough
13×	predicate-same

Results

5.4s	30657×	body	256	valid
272.0ms	428×	body	2048	valid
197.0ms	673×	body	512	valid
189.0ms	424×	body	1024	valid
142.0ms	298×	body	4096	valid
95.0ms	140×	body	1024	infinite
93.0ms	480×	body	256	infinite
54.0ms	118×	body	512	infinite

Compiler

Compiled 56493 to 39043 computations (30.9% saved)

end5.9s (1%)

Compiler: Compiled 10160 to 5716 computations (43.7% saved)

preprocess3.9s (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

sample2.9min (28.7%)

eval2.0min (19.8%)

simplify1.4min (14.2%)

rewrite1.0min (10.1%)

prune54.2s (9%)

regimes37.6s (6.2%)

localize28.2s (4.7%)

soundness10.2s (1.7%)

series8.9s (1.5%)

analyze8.8s (1.5%)

bsearch7.0s (1.2%)

end5.9s (1%)

preprocess3.9s (0.7%)

Profiling