Date:	Wednesday, February 8th, 2023
Commit:	507f6e88 on study-server-history
Hostname:	nightly with Racket 8.6
Seed:	2023039
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 (29.3%)

Results

37.7s	36652×	body	2048	valid
31.7s	66355×	body	1024	valid
12.6s	91013×	body	256	valid
10.5s	34826×	body	512	valid
1.5s	1485×	body	1024	invalid
1.4s	2319×	body	4096	valid
672.0ms	5708×	body	256	invalid
503.0ms	3067×	body	256	infinite
383.0ms	764×	body	512	invalid
235.0ms	205×	body	1024	infinite
229.0ms	1083×	body	256	unsamplable
214.0ms	334×	body	2048	unsamplable
198.0ms	445×	body	1024	unsamplable
146.0ms	246×	body	512	infinite
66.0ms	221×	body	512	unsamplable
9.0ms	5×	body	2048	invalid
6.0ms	3×	body	8192	valid
2.0ms	3×	body	2048	infinite

Bogosity

eval53.6s (15.9%)

Compiler: Compiled 2790760 to 1564562 computations (43.9% saved)

simplify44.0s (13.1%)

Algorithm

384×	egg-herbie

Rules

222860×	`associate-r`
204526×	`associate-/l*`
196374×	`associate-l`
189224×	`associate-/r*`
178934×	`*-commutative`

Stop Event

4×	done
1×	unsound
48×	saturated
24×	fuel
335×	node limit

Counts

60538 → 81295

Compiler

Compiled 4867 to 3256 computations (33.1% saved)

regimes34.2s (10.2%)

Counts

6191 → 423

Calls

43 calls:

7.1s	a
6.7s	x
6.4s	c
3.0s	eps
1.7s	b_2

Compiler

Compiled 72664 to 38294 computations (47.3% saved)

prune33.5s (10%)

Counts: 97819 → 2686
Compiler: Compiled 66623 to 46383 computations (30.4% saved)

rewrite31.5s (9.4%)

Algorithm

328×	batch-egg-rewrite

Rules

208900×	`add-sqr-sqrt`
204742×	`*-un-lft-identity`
192942×	`add-cube-cbrt`
189862×	`add-cbrt-cube`
134376×	`add-exp-log`

Stop Event

328×	node limit

Counts

777 → 48700

soundness14.2s (4.2%)

Algorithm

143×	egg-herbie

Rules

96382×	`associate-r`
86656×	`+-commutative`
82482×	`associate-/l*`
80698×	`associate-l`
73860×	`associate-+r+`

Stop Event

8×	saturated
135×	node limit

Compiler

Compiled 12133 to 6894 computations (43.2% saved)

bsearch8.3s (2.5%)

Algorithm

212×	binary-search
16×	left-value

Results

2.7s	18604×	body	256	valid
2.2s	4157×	body	1024	valid
1.7s	2132×	body	2048	valid
708.0ms	1890×	body	512	valid
213.0ms	1701×	body	256	invalid
124.0ms	697×	body	256	unsamplable
120.0ms	550×	body	256	infinite
52.0ms	100×	body	512	infinite
17.0ms	33×	body	4096	valid
8.0ms	21×	body	1024	unsamplable
5.0ms	13×	body	512	unsamplable
3.0ms	4×	body	2048	unsamplable
1.0ms	1×	body	1024	infinite

Compiler

Compiled 45297 to 33037 computations (27.1% saved)

localize7.2s (2.2%)

Compiler: Compiled 15716 to 8249 computations (47.5% saved)

analyze4.1s (1.2%)

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)

series2.9s (0.9%)

Counts

777 → 11810

Calls

3561 calls:

Time	Variable		Point	Expression
95.0ms	x	@	0	(/.f64 (expm1.f64 (.f64 3 (log1p.f64 (.f64 1/3 x)))) (+.f64 (exp.f64 (log1p.f64 (.f64 1/3 x))) (+.f64 1 (pow.f64 (exp.f64 2) (log1p.f64 (.f64 1/3 x))))))
75.0ms	x	@	inf	(log.f64 (-.f64 (fabs.f64 (tan.f64 (+.f64 eps x))) (tan.f64 x)))
67.0ms	N	@	inf	(log1p.f64 (atan2.f64 (+.f64 N (-.f64 1 N)) (+.f64 (+.f64 N 1) (*.f64 N N))))
65.0ms	x	@	inf	(log.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))
43.0ms	x	@	-inf	(+.f64 1 (-.f64 (pow.f64 x -1/2) 1))

end2.6s (0.8%)

Compiler: Compiled 4726 to 2708 computations (42.7% saved)

preprocess1.8s (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 (29.3%)

eval53.6s (15.9%)

simplify44.0s (13.1%)

regimes34.2s (10.2%)

prune33.5s (10%)

rewrite31.5s (9.4%)

soundness14.2s (4.2%)

bsearch8.3s (2.5%)

localize7.2s (2.2%)

analyze4.1s (1.2%)

series2.9s (0.9%)

end2.6s (0.8%)

preprocess1.8s (0.5%)

Profiling