Date:	Tuesday, February 14th, 2023
Commit:	0a0aee13 on main
Hostname:	nightly with Racket 8.6
Seed:	2023045
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.2%)

Results

1.2min	439133×	body	256	valid
57.0s	7974×	body	8192	exit
13.0s	23701×	body	1024	valid
8.6s	14594×	body	1024	infinite
5.3s	29029×	body	256	infinite
4.1s	12373×	body	512	valid
2.8s	6825×	body	512	infinite
1.6s	2552×	body	2048	valid
903.0ms	4747×	body	256	invalid
621.0ms	1089×	body	4096	valid
527.0ms	4256×	body	256	unsamplable
287.0ms	251×	body	2048	infinite

Bogosity

eval2.0min (20.4%)

Compiler: Compiled 6179339 to 3612657 computations (41.5% saved)

simplify1.4min (13.9%)

Algorithm

709×	egg-herbie

Rules

355244×	`*-commutative`
346478×	`associate-/l*`
339882×	`associate-r`
323268×	`+-commutative`
318852×	`distribute-lft-in`

Stop Event

7×	unsound
85×	saturated
20×	done
38×	fuel
617×	node limit

Counts

94386 → 122630

Compiler

Compiled 10881 to 7335 computations (32.6% saved)

rewrite56.2s (9.3%)

Algorithm

593×	batch-egg-rewrite
22×	egg-rewrite-iter-limit
23×	egg-rewrite

Rules

421010×	`add-sqr-sqrt`
411196×	`*-un-lft-identity`
389058×	`add-cube-cbrt`
384812×	`add-cbrt-cube`
254788×	`add-exp-log`

Stop Event

30×	unsound
22×	iter limit
586×	node limit

Counts

1366 → 68076

prune54.7s (9.1%)

Counts: 151053 → 4107
Compiler: Compiled 196918 to 150687 computations (23.5% saved)

regimes42.5s (7.1%)

Counts

9784 → 770

Calls

134 calls:

4.3s	x.re
3.4s	x.im
3.1s	y.re
2.7s	alpha
2.7s	y.im

Compiler

Compiled 225576 to 154132 computations (31.7% saved)

localize27.0s (4.5%)

Compiler: Compiled 59491 to 35528 computations (40.3% saved)

soundness10.1s (1.7%)

Algorithm

94×	egg-herbie

Rules

45498×	`associate-/r*`
43314×	`associate-/l*`
41834×	`*-commutative`
41776×	`associate-*r/`
41642×	`fma-def`

Stop Event

18×	saturated
76×	node limit

Compiler

Compiled 11175 to 6466 computations (42.1% saved)

bsearch9.5s (1.6%)

Algorithm

374×	binary-search
24×	left-value

Results

6.9s	41975×	body	256	valid
497.0ms	538×	body	1024	infinite
381.0ms	584×	body	512	infinite
341.0ms	921×	body	1024	valid
255.0ms	618×	body	2048	valid
201.0ms	368×	body	4096	valid
122.0ms	496×	body	256	infinite
99.0ms	438×	body	512	valid
15.0ms	16×	body	2048	infinite

Compiler

Compiled 75979 to 53786 computations (29.2% saved)

series8.1s (1.4%)

Counts

1366 → 26252

Calls

7134 calls:

Time	Variable		Point	Expression
224.0ms	y.re	@	0	(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)
179.0ms	i	@	-inf	(+.f64 (/.f64 (+.f64 beta (.f64 -2 i)) (+.f64 beta (+.f64 2 (.f64 2 i)))) 1)
104.0ms	x.im	@	-inf	(cos.f64 (pow.f64 (cbrt.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 (atan2.f64 x.im x.re) y.re))) 3))
100.0ms	re	@	0	(.f64 re (.f64 (*.f64 (/.f64 (/.f64 1 im) (log.f64 1/10)) (/.f64 re (neg.f64 im))) 1/2))
96.0ms	u1	@	inf	(pow.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 1/12) 6)

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)

end5.7s (0.9%)

Compiler: Compiled 10582 to 5999 computations (43.3% saved)

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

eval2.0min (20.4%)

simplify1.4min (13.9%)

rewrite56.2s (9.3%)

prune54.7s (9.1%)

regimes42.5s (7.1%)

localize27.0s (4.5%)

soundness10.1s (1.7%)

bsearch9.5s (1.6%)

series8.1s (1.4%)

analyze7.9s (1.3%)

end5.7s (0.9%)

preprocess3.9s (0.6%)

Profiling