Date:	Friday, March 31st, 2023
Commit:	40cc2e0b on Aditya-Branch
Hostname:	nightly with Racket 8.6
Seed:	2023090
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

sample49.4s (29%)

Results

15.3s	113220×	body	256	valid
14.4s	27847×	body	1024	valid
8.6s	3211×	body	8192	exit
4.9s	14153×	body	512	valid
2.4s	4905×	body	1024	invalid
1.3s	1644×	body	2048	valid
747.0ms	2449×	body	512	invalid
741.0ms	3274×	body	256	infinite
422.0ms	2833×	body	256	invalid
155.0ms	246×	body	1024	infinite
93.0ms	254×	body	512	infinite
25.0ms	143×	body	256	unsamplable
3.0ms	6×	body	2048	invalid
3.0ms	1×	body	8192	invalid
1.0ms	1×	body	4096	invalid
1.0ms	1×	body	2048	infinite

Bogosity

simplify25.4s (14.9%)

Algorithm

232×	egg-herbie

Rules

123628×	`*-commutative`
116798×	`associate-r`
105044×	`associate-/l*`
98416×	`associate-l`
97154×	`distribute-lft-in`

Stop Event

3×	done
5×	unsound
32×	saturated
16×	fuel
195×	node limit

Counts

32243 → 37084

Compiler

Compiled 1846 to 1210 computations (34.5% saved)

eval23.0s (13.5%)

Compiler: Compiled 1278732 to 600554 computations (53% saved)

rewrite18.0s (10.6%)

Algorithm

194×	batch-egg-rewrite

Rules

153246×	`add-sqr-sqrt`
150876×	`*-un-lft-identity`
141032×	`add-cube-cbrt`
134830×	`add-cbrt-cube`
93692×	`add-exp-log`

Stop Event

194×	node limit

Counts

457 → 23091

prune14.7s (8.6%)

Counts: 45658 → 1817
Compiler: Compiled 46759 to 31107 computations (33.5% saved)

regimes13.0s (7.6%)

Counts

3675 → 161

Calls

53 calls:

2.6s	b
1.7s	a
1.5s	x
1.3s	r
536.0ms	c

Compiler

Compiled 46098 to 20180 computations (56.2% saved)

analyze12.0s (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)

localize3.9s (2.3%)

Compiler: Compiled 8898 to 4031 computations (54.7% saved)

soundness3.8s (2.2%)

Algorithm

24×	egg-herbie

Rules

15238×	`*-commutative`
15018×	`associate-/r*`
14736×	`sqr-pow`
14500×	`associate-r`
10606×	`associate-/l*`

Stop Event

2×	saturated
22×	node limit

Compiler

Compiled 1652 to 726 computations (56.1% saved)

series2.5s (1.5%)

Counts

457 → 9133

Calls

2502 calls:

Time	Variable		Point	Expression
222.0ms	b	@	0	(pow.f64 (cbrt.f64 (*.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))) r)) 3)
83.0ms	x	@	0	(.f64 (.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) (sqrt.f64 x)) (pow.f64 2 1/4))
61.0ms	x	@	-inf	(pow.f64 (pow.f64 (cos.f64 x) 1/4) 2)
50.0ms	y	@	-inf	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))
49.0ms	a	@	-inf	(log1p.f64 (-.f64 x (tan.f64 a)))

bsearch2.1s (1.2%)

Algorithm

58×	binary-search
5×	left-value

Stop Event

51×	narrow-enough
4×	predicate-failed
3×	predicate-same

Results

917.0ms	5454×	body	256	valid
427.0ms	762×	body	1024	valid
212.0ms	1199×	body	256	infinite
185.0ms	446×	body	512	valid
124.0ms	1479×	body	256	invalid
91.0ms	66×	body	2048	valid
4.0ms	10×	body	1024	infinite
2.0ms	7×	body	512	infinite

Compiler

Compiled 9900 to 7009 computations (29.2% saved)

preprocess1.6s (0.9%)

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.1s (0.7%)

Compiler: Compiled 1804 to 923 computations (48.8% saved)

Details

sample49.4s (29%)

simplify25.4s (14.9%)

eval23.0s (13.5%)

rewrite18.0s (10.6%)

prune14.7s (8.6%)

regimes13.0s (7.6%)

analyze12.0s (7%)

localize3.9s (2.3%)

soundness3.8s (2.2%)

series2.5s (1.5%)

bsearch2.1s (1.2%)

preprocess1.6s (0.9%)

end1.1s (0.7%)

Profiling