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

sample1.6min (31%)

Results

35.6s	36351×	body	2048	valid
31.6s	66467×	body	1024	valid
11.9s	91101×	body	256	valid
9.4s	34958×	body	512	valid
1.3s	2288×	body	4096	valid
1.3s	1529×	body	1024	invalid
840.0ms	5584×	body	256	invalid
458.0ms	3096×	body	256	infinite
322.0ms	707×	body	512	invalid
253.0ms	301×	body	2048	unsamplable
236.0ms	1114×	body	256	unsamplable
215.0ms	438×	body	1024	unsamplable
189.0ms	197×	body	1024	infinite
142.0ms	239×	body	512	infinite
78.0ms	271×	body	512	unsamplable
7.0ms	6×	body	2048	invalid
6.0ms	3×	body	8192	valid
4.0ms	5×	body	2048	infinite

Bogosity

eval50.1s (16.4%)

Compiler: Compiled 2491060 to 1372180 computations (44.9% saved)

simplify39.8s (13.1%)

Algorithm

354×	egg-herbie

Rules

197656×	`associate-r`
179508×	`associate-/l*`
173528×	`associate-/r*`
172956×	`associate-l`
164540×	`+-commutative`

Stop Event

1×	unsound
6×	done
48×	saturated
22×	fuel
305×	node limit

Counts

51400 → 68923

Compiler

Compiled 5009 to 3370 computations (32.7% saved)

regimes29.7s (9.8%)

Counts

6163 → 412

Calls

43 calls:

7.4s	x
5.3s	c
4.4s	a
3.2s	eps
2.0s	b_2

Compiler

Compiled 71576 to 38595 computations (46.1% saved)

rewrite29.4s (9.7%)

Algorithm

298×	batch-egg-rewrite
5×	egg-rewrite-iter-limit
6×	egg-rewrite

Rules

205136×	`add-sqr-sqrt`
201032×	`*-un-lft-identity`
189402×	`add-cube-cbrt`
184878×	`add-cbrt-cube`
122414×	`add-exp-log`

Stop Event

5×	unsound
5×	iter limit
299×	node limit

Counts

703 → 40890

prune28.3s (9.3%)

Counts: 85633 → 2424
Compiler: Compiled 59240 to 41137 computations (30.6% saved)

soundness7.4s (2.4%)

Algorithm

59×	egg-herbie

Rules

36752×	`associate-r`
34100×	`associate-/l*`
30614×	`associate-/r*`
29676×	`+-commutative`
28978×	`associate-l`

Stop Event

12×	saturated
47×	node limit

Compiler

Compiled 6474 to 3623 computations (44% saved)

bsearch6.8s (2.2%)

Algorithm

198×	binary-search
25×	left-value

Results

2.7s	19594×	body	256	valid
1.7s	3579×	body	1024	valid
654.0ms	2209×	body	512	valid
589.0ms	902×	body	2048	valid
212.0ms	208×	body	1024	infinite
171.0ms	942×	body	256	unsamplable
159.0ms	1403×	body	256	invalid
111.0ms	509×	body	256	infinite
51.0ms	99×	body	512	infinite
0.0ms	1×	body	4096	valid

Compiler

Compiled 42153 to 30671 computations (27.2% saved)

localize6.5s (2.1%)

Compiler: Compiled 13878 to 7136 computations (48.6% saved)

analyze4.9s (1.6%)

Algorithm

28×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	90.9%	9.1%	0%	0%	0%	0
11.8%	10.7%	80.2%	9.1%	0%	0%	0%	1
16%	14.2%	74.9%	9.1%	0%	1.8%	0%	2
34.9%	29.6%	55.3%	9.1%	1.6%	4.5%	0%	3
43.8%	35.9%	45.9%	9.1%	2.9%	5.4%	0.9%	4
51.1%	40.9%	39.1%	9.1%	3.5%	6%	1.3%	5
54.8%	43.3%	35.7%	9.1%	4%	6.4%	1.6%	6
57.8%	44.9%	32.7%	9.1%	4.2%	7.2%	1.9%	7
60.1%	46.4%	30.8%	9.1%	4.4%	7.4%	2%	8
62.1%	47.4%	28.9%	9.1%	4.7%	7.8%	2.1%	9
64%	48.4%	27.2%	9.1%	4.9%	8.4%	2.2%	10
66%	49.5%	25.5%	9.1%	5.1%	8.6%	2.3%	11
67.9%	50.6%	23.8%	9.1%	5.3%	8.9%	2.3%	12

Compiler

Compiled 375 to 278 computations (25.9% saved)

series3.1s (1%)

Counts

703 → 10482

Calls

3285 calls:

Time	Variable		Point	Expression
67.0ms	N	@	inf	(*.f64 3 (log1p.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))
63.0ms	N	@	-inf	(pow.f64 (cbrt.f64 (sqrt.f64 (atan2.f64 1 (fma.f64 N N (+.f64 1 N))))) 4)
58.0ms	n	@	0	(/.f64 (log1p.f64 (+.f64 (/.f64 1 x) 0)) n)
56.0ms	eps	@	0	(pow.f64 (-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x)) 3)
48.0ms	n	@	0	(*.f64 n (log.f64 n))

end2.7s (0.9%)

Compiler: Compiled 4881 to 2801 computations (42.6% saved)

preprocess1.5s (0.5%)

Algorithm

56×	egg-herbie

Rules

12942×	`fma-def`
8106×	`distribute-lft-in`
7218×	`*-commutative`
7100×	`associate-r`
6966×	`associate-+r+`

Stop Event

2×	unsound
43×	saturated
11×	node limit

Compiler

Compiled 368 to 279 computations (24.2% saved)

Details

sample1.6min (31%)

eval50.1s (16.4%)

simplify39.8s (13.1%)

regimes29.7s (9.8%)

rewrite29.4s (9.7%)

prune28.3s (9.3%)

soundness7.4s (2.4%)

bsearch6.8s (2.2%)

localize6.5s (2.1%)

analyze4.9s (1.6%)

series3.1s (1%)

end2.7s (0.9%)

preprocess1.5s (0.5%)

Profiling