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

Results

35.7s	36597×	body	2048	valid
31.9s	66414×	body	1024	valid
12.9s	91056×	body	256	valid
10.3s	34951×	body	512	valid
1.4s	2150×	body	4096	valid
1.3s	1484×	body	1024	invalid
719.0ms	5642×	body	256	invalid
631.0ms	765×	body	512	invalid
461.0ms	2977×	body	256	infinite
393.0ms	265×	body	2048	unsamplable
233.0ms	1064×	body	256	unsamplable
192.0ms	457×	body	1024	unsamplable
181.0ms	178×	body	1024	infinite
151.0ms	228×	body	512	infinite
72.0ms	246×	body	512	unsamplable
5.0ms	5×	body	2048	invalid
4.0ms	5×	body	2048	infinite

Bogosity

eval52.7s (17%)

Compiler: Compiled 2635057 to 1465082 computations (44.4% saved)

simplify40.1s (13%)

Algorithm

365×	egg-herbie

Rules

203488×	`associate-r`
185880×	`associate-/l*`
185380×	`associate-/r*`
174416×	`associate-l`
171682×	`distribute-lft-in`

Stop Event

6×	done
49×	saturated
22×	fuel
316×	node limit

Counts

54076 → 73530

Compiler

Compiled 4577 to 3093 computations (32.4% saved)

rewrite31.1s (10%)

Algorithm

309×	batch-egg-rewrite
3×	egg-rewrite
1×	egg-rewrite-iter-limit

Rules

197634×	`add-sqr-sqrt`
193602×	`*-un-lft-identity`
182578×	`add-cube-cbrt`
179706×	`add-cbrt-cube`
127364×	`add-exp-log`

Stop Event

1×	iter limit
312×	node limit

Counts

724 → 43407

prune30.0s (9.7%)

Counts: 91791 → 2424
Compiler: Compiled 63105 to 43879 computations (30.5% saved)

regimes27.3s (8.8%)

Counts

5474 → 374

Calls

43 calls:

4.9s	x
4.8s	c
4.5s	a
3.4s	eps
1.1s	(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))

Compiler

Compiled 67318 to 34320 computations (49% saved)

soundness7.4s (2.4%)

Algorithm

56×	egg-herbie

Rules

35938×	`associate-r`
30530×	`associate-/l*`
28306×	`associate-l`
27050×	`+-commutative`
26768×	`*-commutative`

Stop Event

12×	saturated
44×	node limit

Compiler

Compiled 5696 to 3224 computations (43.4% saved)

localize6.7s (2.2%)

Compiler: Compiled 14609 to 7366 computations (49.6% saved)

bsearch5.8s (1.9%)

Algorithm

163×	binary-search
30×	left-value

Results

2.4s	15179×	body	256	valid
1.8s	3814×	body	1024	valid
478.0ms	1522×	body	512	valid
471.0ms	636×	body	2048	valid
118.0ms	996×	body	256	invalid
56.0ms	207×	body	256	unsamplable
29.0ms	162×	body	256	infinite
1.0ms	1×	body	4096	valid
0.0ms	1×	body	512	unsamplable

Compiler

Compiled 35792 to 25930 computations (27.6% saved)

analyze4.4s (1.4%)

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)

end2.7s (0.9%)

Compiler: Compiled 4465 to 2600 computations (41.8% saved)

series2.6s (0.8%)

Counts

724 → 10641

Calls

3393 calls:

Time	Variable		Point	Expression
86.0ms	b_2	@	-inf	(log.f64 (/.f64 (+.f64 b_2 b_2) a))
82.0ms	x	@	0	(/.f64 (pow.f64 (exp.f64 -3) (/.f64 (neg.f64 (log.f64 x)) n)) (.f64 (.f64 x n) (*.f64 3 (pow.f64 (exp.f64 -2) (/.f64 (neg.f64 (log.f64 x)) n)))))
64.0ms	x	@	inf	(+.f64 (-.f64 (sin.f64 (+.f64 x eps)) (exp.f64 (log1p.f64 (sin.f64 x)))) 1)
62.0ms	x	@	0	(cbrt.f64 (sqrt.f64 x))
40.0ms	x	@	-inf	(log1p.f64 (sin.f64 x))

preprocess1.7s (0.6%)

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.3%)

eval52.7s (17%)

simplify40.1s (13%)

rewrite31.1s (10%)

prune30.0s (9.7%)

regimes27.3s (8.8%)

soundness7.4s (2.4%)

localize6.7s (2.2%)

bsearch5.8s (1.9%)

analyze4.4s (1.4%)

end2.7s (0.9%)

series2.6s (0.8%)

preprocess1.7s (0.6%)

Profiling