Date:	Friday, December 9th, 2022
Commit:	758c3f52 on main
Hostname:	nightly with Racket 8.6
Seed:	2022343
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

regimes11.9min (27.6%)

Counts

43139 → 7485

Calls

492 calls:

1.8min	x
1.8min	y
1.6min	z
1.4min	t
1.2min	a

Results

Compiler

Compiled 592633 to 298822 computations (49.6% saved)

sample7.6min (17.6%)

Results

4.8min	2131812×	body	256	valid
1.3min	337409×	body	256	infinite
28.8s	51274×	body	1024	valid
27.7s	136110×	body	256	invalid
13.5s	35375×	body	512	valid
7.7s	10312×	body	2048	valid
3.6s	8907×	body	1024	infinite
1.9s	1609×	body	8192	exit
1.4s	5338×	body	512	infinite
627.0ms	347×	body	4096	valid
289.0ms	721×	body	1024	invalid
223.0ms	548×	body	512	invalid
3.0ms	4×	body	2048	infinite

Bogosity

simplify5.5min (12.7%)

Algorithm

3298×

egg-herbie

Rules

1754962×	`associate-r`
1655940×	`associate-/l*`
1557644×	`associate-l`
1533608×	`*-commutative`
1501948×	`distribute-lft-in`

Stop Event

9×	unsound
65×	done
435×	saturated
204×	fuel
2854×	node limit

Counts

479361 → 539753

Compiler

Compiled 89213 to 50195 computations (43.7% saved)

eval4.7min (11%)

Compiler: Compiled 16226839 to 7516257 computations (53.7% saved)

rewrite4.1min (9.4%)

Algorithm

2759×	batch-egg-rewrite
3×	egg-rewrite-iter-limit
2×	egg-rewrite

Rules

2151954×	`add-sqr-sqrt`
2120514×	`*-un-lft-identity`
1985008×	`add-cube-cbrt`
1957610×	`add-cbrt-cube`
1102224×	`add-exp-log`

Stop Event

3×	unsound
3×	iter limit
2758×	node limit

Counts

5720 → 324335

prune3.4min (7.9%)

Counts: 622504 → 15865
Compiler: Compiled 433705 to 304475 computations (29.8% saved)

bsearch2.0min (4.6%)

Algorithm

4920×	binary-search
535×	left-value

Results

1.5min	587661×	body	256	valid
5.5s	37575×	body	256	infinite
5.1s	7286×	body	1024	valid
2.5s	7234×	body	512	valid
1.5s	8319×	body	256	invalid
105.0ms	247×	body	2048	valid
33.0ms	47×	body	512	infinite
21.0ms	65×	body	1024	infinite
0.0ms	1×	body	1024	invalid

Compiler

Compiled 1137172 to 820868 computations (27.8% saved)

analyze1.0min (2.4%)

Algorithm

270×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.7%	0.1%	0%	0.2%	0%	2
5.7%	5.6%	93.3%	0.1%	0.2%	0.7%	0%	3
8.5%	8.3%	89.2%	0.1%	1.2%	1.2%	0%	4
16.6%	16.1%	80.8%	0.1%	1.6%	1.4%	0%	5
21.4%	20.4%	74.8%	0.1%	2.7%	2%	0%	6
30.2%	28.1%	64.9%	0.1%	4%	2.8%	0%	7
35.6%	32.7%	59.4%	0.1%	4.5%	3.3%	0%	8
41.9%	38%	52.7%	0.1%	5.4%	3.7%	0%	9
47.4%	42.3%	46.9%	0.1%	6.4%	4.3%	0%	10
52.3%	46.1%	42%	0.1%	7.1%	4.6%	0%	11
56.4%	49.2%	38.1%	0.1%	7.7%	4.9%	0%	12

Compiler

Compiled 4021 to 2770 computations (31.1% saved)

localize53.8s (2.1%)

Compiler: Compiled 124445 to 56594 computations (54.5% saved)

soundness36.9s (1.4%)

Algorithm

265×	egg-herbie

Rules

148544×	`fma-def`
120894×	`*-commutative`
117820×	`associate-r`
112242×	`associate-/l*`
109098×	`+-commutative`

Stop Event

79×	saturated
1×	unsound
185×	node limit

Compiler

Compiled 38286 to 20900 computations (45.4% saved)

series34.9s (1.4%)

Counts

5720 → 154756

Calls

40578 calls:

Time	Variable		Point	Expression
185.0ms	a	@	inf	(/.f64 y (.f64 (/.f64 t z) (.f64 a 1/2)))
184.0ms	y	@	0	(+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y)))
169.0ms	y	@	-inf	(log.f64 (*.f64 z y))
167.0ms	y	@	0	(+.f64 (.f64 x (.f64 3 (log.f64 (cbrt.f64 x)))) (*.f64 (neg.f64 (log.f64 y)) x))
159.0ms	x	@	0	(*.f64 x (log.f64 y))

end31.1s (1.2%)

Compiler: Compiled 86860 to 38238 computations (56% saved)

preprocess17.1s (0.7%)

Algorithm

540×	egg-herbie

Rules

183176×	`fma-def`
105626×	`*-commutative`
101564×	`+-commutative`
95266×	`distribute-lft-in`
86488×	`associate-+l-`

Stop Event

59×	unsound
353×	saturated
128×	node limit

Compiler

Compiled 4571 to 3320 computations (27.4% saved)

Details

regimes11.9min (27.6%)

sample7.6min (17.6%)

simplify5.5min (12.7%)

eval4.7min (11%)

rewrite4.1min (9.4%)

prune3.4min (7.9%)

bsearch2.0min (4.6%)

analyze1.0min (2.4%)

localize53.8s (2.1%)

soundness36.9s (1.4%)

series34.9s (1.4%)

end31.1s (1.2%)

preprocess17.1s (0.7%)

Profiling