Date:	Wednesday, January 18th, 2023
Commit:	fcdb6f71 on main
Hostname:	nightly with Racket 8.6
Seed:	2023018
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 (32.5%)

Results

36.0s	36401×	body	2048	valid
33.0s	66851×	body	1024	valid
12.1s	90962×	body	256	valid
9.9s	34798×	body	512	valid
1.4s	2155×	body	4096	valid
1.4s	1537×	body	1024	invalid
703.0ms	5755×	body	256	invalid
438.0ms	3042×	body	256	infinite
315.0ms	739×	body	512	invalid
249.0ms	205×	body	1024	infinite
212.0ms	1078×	body	256	unsamplable
184.0ms	291×	body	2048	unsamplable
177.0ms	435×	body	1024	unsamplable
113.0ms	229×	body	512	infinite
56.0ms	207×	body	512	unsamplable
7.0ms	5×	body	2048	invalid
2.0ms	1×	body	8192	valid
1.0ms	2×	body	2048	infinite

Bogosity

eval44.0s (14.8%)

Compiler: Compiled 2274451 to 1241210 computations (45.4% saved)

simplify39.2s (13.2%)

Algorithm

360×	egg-herbie

Rules

196660×	`associate-r`
179608×	`associate-/l*`
173688×	`associate-l`
172810×	`associate-/r*`
166182×	`distribute-lft-in`

Stop Event

4×	done
49×	saturated
24×	fuel
311×	node limit

Counts

52860 → 69418

Compiler

Compiled 4009 to 2710 computations (32.4% saved)

rewrite28.5s (9.6%)

Algorithm

304×	batch-egg-rewrite
2×	egg-rewrite-iter-limit
2×	egg-rewrite

Rules

202818×	`add-sqr-sqrt`
198868×	`*-un-lft-identity`
187218×	`add-cube-cbrt`
185836×	`add-cbrt-cube`
124846×	`add-exp-log`

Stop Event

3×	unsound
2×	iter limit
303×	node limit

Counts

713 → 41874

prune28.2s (9.5%)

Counts: 84357 → 2532
Compiler: Compiled 62529 to 42944 computations (31.3% saved)

regimes27.6s (9.3%)

Counts

5370 → 368

Calls

43 calls:

7.1s	x
5.0s	c
5.0s	a
3.2s	eps
1.4s	b

Compiler

Compiled 62767 to 32687 computations (47.9% saved)

soundness7.7s (2.6%)

Algorithm

53×	egg-herbie

Rules

29722×	`associate-r`
27250×	`fma-def`
26482×	`associate-/l*`
25126×	`+-commutative`
23838×	`*-commutative`

Stop Event

10×	saturated
43×	node limit

Compiler

Compiled 4621 to 2432 computations (47.4% saved)

bsearch6.7s (2.2%)

Algorithm

177×	binary-search
12×	left-value

Results

3.2s	18367×	body	256	valid
1.3s	3098×	body	1024	valid
531.0ms	625×	body	2048	valid
411.0ms	1420×	body	512	valid
280.0ms	158×	body	1024	infinite
166.0ms	1184×	body	256	invalid
107.0ms	463×	body	256	unsamplable
72.0ms	390×	body	256	infinite
38.0ms	79×	body	512	infinite
1.0ms	2×	body	4096	valid
1.0ms	3×	body	512	unsamplable
0.0ms	1×	body	1024	unsamplable

Compiler

Compiled 36008 to 26323 computations (26.9% saved)

localize6.1s (2.1%)

Compiler: Compiled 13737 to 6908 computations (49.7% saved)

analyze5.4s (1.8%)

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

Counts

713 → 10958

Calls

3438 calls:

Time	Variable		Point	Expression
141.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))))))
85.0ms	eps	@	-inf	(log1p.f64 (fabs.f64 (expm1.f64 (-.f64 (tan.f64 (+.f64 eps x)) (tan.f64 x)))))
68.0ms	b_2	@	0	(-.f64 (exp.f64 (log1p.f64 (*.f64 -2 (/.f64 b_2 a)))) 1)
65.0ms	eps	@	inf	(log1p.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))
52.0ms	n	@	0	(/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)

end2.6s (0.9%)

Compiler: Compiled 3902 to 2242 computations (42.5% saved)

preprocess1.6s (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 (32.5%)

eval44.0s (14.8%)

simplify39.2s (13.2%)

rewrite28.5s (9.6%)

prune28.2s (9.5%)

regimes27.6s (9.3%)

soundness7.7s (2.6%)

bsearch6.7s (2.2%)

localize6.1s (2.1%)

analyze5.4s (1.8%)

series3.3s (1.1%)

end2.6s (0.9%)

preprocess1.6s (0.5%)

Profiling