Date:	Sunday, February 26th, 2023
Commit:	0a0aee13 on main
Hostname:	nightly with Racket 8.6
Seed:	2023057
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

sample46.0s (27.2%)

Results

13.7s	28054×	body	1024	valid
13.6s	112844×	body	256	valid
8.6s	3271×	body	8192	exit
4.0s	14240×	body	512	valid
2.6s	5073×	body	1024	invalid
1.2s	1726×	body	2048	valid
698.0ms	3356×	body	256	infinite
681.0ms	2504×	body	512	invalid
360.0ms	2916×	body	256	invalid
144.0ms	217×	body	1024	infinite
98.0ms	237×	body	512	infinite
31.0ms	165×	body	256	unsamplable
5.0ms	2×	body	8192	invalid
3.0ms	2×	body	4096	invalid
3.0ms	4×	body	2048	invalid

Bogosity

simplify25.8s (15.2%)

Algorithm

231×	egg-herbie

Rules

129464×	`associate-r`
116608×	`*-commutative`
110016×	`distribute-lft-in`
109892×	`associate-l`
102066×	`associate-/l*`

Stop Event

4×	done
3×	unsound
32×	saturated
15×	fuel
196×	node limit

Counts

34708 → 39615

Compiler

Compiled 2139 to 1425 computations (33.4% saved)

eval21.9s (13%)

Compiler: Compiled 1334000 to 624196 computations (53.2% saved)

rewrite18.0s (10.7%)

Algorithm

193×	batch-egg-rewrite

Rules

140930×	`add-sqr-sqrt`
138556×	`*-un-lft-identity`
129780×	`add-cube-cbrt`
128614×	`add-cbrt-cube`
90618×	`add-exp-log`

Stop Event

193×	node limit

Counts

470 → 25571

prune16.8s (9.9%)

Counts: 49235 → 1826
Compiler: Compiled 48543 to 32473 computations (33.1% saved)

regimes14.2s (8.4%)

Counts

4636 → 172

Calls

51 calls:

1.8s	x
1.8s	a
1.4s	r
1.4s	b
885.0ms	s

Compiler

Compiled 59700 to 28201 computations (52.8% saved)

analyze11.4s (6.7%)

Algorithm

19×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	72.3%	27.7%	0%	0%	0%	0
9.1%	6.6%	65.7%	27.7%	0%	0%	0%	1
10.9%	7.9%	64.4%	27.7%	0%	0%	0%	2
32.8%	23.7%	48.6%	27.7%	0%	0%	0%	3
42.8%	30.9%	41.4%	27.7%	0%	0%	0%	4
48.9%	34.9%	36.5%	27.7%	0%	1%	0%	5
53.3%	37.5%	32.9%	27.7%	0.5%	1.2%	0.3%	6
58.9%	41%	28.7%	27.7%	0.6%	1.7%	0.3%	7
62.4%	43.1%	26%	27.7%	0.9%	1.8%	0.5%	8
65.8%	45.2%	23.5%	27.7%	0.9%	2.2%	0.5%	9
69.2%	47.3%	21%	27.7%	1.1%	2.3%	0.6%	10
71.3%	48.5%	19.5%	27.7%	1.3%	2.5%	0.6%	11
73.2%	49.6%	18.2%	27.7%	1.4%	2.5%	0.6%	12

Compiler

Compiled 288 to 205 computations (28.8% saved)

localize4.0s (2.3%)

Compiler: Compiled 9011 to 4192 computations (53.5% saved)

series3.6s (2.1%)

Counts

470 → 9118

Calls

2532 calls:

Time	Variable		Expression
248.0ms	x	@	(*.f64 (sqrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x)))
241.0ms	x	@	(cbrt.f64 (sqrt.f64 (hypot.f64 x x)))
176.0ms	a	@	(pow.f64 (pow.f64 (/.f64 (sin.f64 b) (/.f64 (cos.f64 (+.f64 b a)) r)) 3) 1/3)
125.0ms	x	@	(*.f64 (pow.f64 2 1/4) x)
93.0ms	x	@	(-.f64 (exp.f64 (log1p.f64 (asin.f64 (-.f64 1 x)))) (+.f64 1 (asin.f64 (-.f64 1 x))))

soundness2.6s (1.6%)

Algorithm

24×	egg-herbie

Rules

14372×	`associate-r`
13510×	`fma-def`
12686×	`*-commutative`
12182×	`associate-/r*`
11382×	`associate-l`

Stop Event

2×	saturated
22×	node limit

Compiler

Compiled 1930 to 942 computations (51.2% saved)

bsearch2.4s (1.4%)

Algorithm

54×	binary-search

Results

811.0ms	4266×	body	256	valid
536.0ms	1009×	body	1024	valid
273.0ms	1911×	body	256	invalid
249.0ms	294×	body	2048	valid
204.0ms	532×	body	512	valid
71.0ms	412×	body	256	infinite
21.0ms	51×	body	1024	infinite
11.0ms	32×	body	512	infinite
6.0ms	53×	body	256	unsamplable

Compiler

Compiled 10309 to 7120 computations (30.9% saved)

preprocess1.4s (0.8%)

Algorithm

38×	egg-herbie

Rules

8532×	`fma-def`
7066×	`sqr-pow`
5672×	`associate-/l/`
5048×	`unswap-sqr`
4482×	`*-commutative`

Stop Event

3×	unsound
28×	saturated
7×	node limit

Compiler

Compiled 214 to 157 computations (26.6% saved)

end1.0s (0.6%)

Compiler: Compiled 1985 to 997 computations (49.8% saved)

Details

sample46.0s (27.2%)

simplify25.8s (15.2%)

eval21.9s (13%)

rewrite18.0s (10.7%)

prune16.8s (9.9%)

regimes14.2s (8.4%)

analyze11.4s (6.7%)

localize4.0s (2.3%)

series3.6s (2.1%)

soundness2.6s (1.6%)

bsearch2.4s (1.4%)

preprocess1.4s (0.8%)

end1.0s (0.6%)

Profiling