Date:	Wednesday, March 29th, 2023
Commit:	045006ab on Aditya-Branch
Hostname:	nightly with Racket 8.6
Seed:	2023088
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.8min (26.4%)

Counts

42408 → 7944

Calls

490 calls:

1.9min	x
1.8min	y
1.5min	z
1.3min	t
1.2min	a

Results

Compiler

Compiled 526925 to 287553 computations (45.4% saved)

sample7.7min (17.1%)

Results

4.8min	2132186×	body	256	valid
1.3min	338363×	body	256	infinite
30.0s	137377×	body	256	invalid
28.6s	51235×	body	1024	valid
12.8s	34877×	body	512	valid
9.1s	10531×	body	2048	valid
4.0s	9209×	body	1024	infinite
1.9s	1611×	body	8192	exit
1.7s	5657×	body	512	infinite
545.0ms	291×	body	4096	valid
258.0ms	696×	body	1024	invalid
157.0ms	565×	body	512	invalid
1.0ms	3×	body	2048	infinite

Bogosity

simplify6.1min (13.6%)

Algorithm

3302×

egg-herbie

Rules

1774302×	`associate-r`
1635512×	`associate-/l*`
1573214×	`associate-l`
1554150×	`*-commutative`
1530248×	`distribute-lft-in`

Stop Event

72×	done
8×	unsound
437×	saturated
197×	fuel
2857×	node limit

Counts

488656 → 548516

Compiler

Compiled 91715 to 51915 computations (43.4% saved)

eval5.0min (11.1%)

Compiler: Compiled 17493003 to 8084864 computations (53.8% saved)

rewrite4.3min (9.7%)

Algorithm

2763×	batch-egg-rewrite
9×	egg-rewrite-iter-limit
8×	egg-rewrite

Rules

2100122×	`add-sqr-sqrt`
2069436×	`*-un-lft-identity`
1937368×	`add-cube-cbrt`
1915230×	`add-cbrt-cube`
1113468×	`add-exp-log`

Stop Event

10×	unsound
9×	iter limit
2761×	node limit

Counts

5782 → 327959

prune3.5min (7.8%)

Counts: 635878 → 15680
Compiler: Compiled 420564 to 296104 computations (29.6% saved)

bsearch2.3min (5.1%)

Algorithm

5458×	binary-search
429×	left-value

Stop Event

5358×	narrow-enough
100×	predicate-same

Results

1.8min	650539×	body	256	valid
5.5s	34192×	body	256	infinite
4.8s	7561×	body	1024	valid
3.2s	7197×	body	512	valid
1.1s	8870×	body	256	invalid
261.0ms	524×	body	2048	valid
67.0ms	200×	body	1024	invalid
64.0ms	99×	body	512	invalid
9.0ms	20×	body	512	infinite
2.0ms	3×	body	1024	infinite
1.0ms	3×	body	4096	valid

Compiler

Compiled 1244256 to 913621 computations (26.6% saved)

analyze1.1min (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)

localize56.6s (2.1%)

Compiler: Compiled 130221 to 58494 computations (55.1% saved)

soundness44.5s (1.7%)

Algorithm

327×	egg-herbie

Rules

181932×	`fma-def`
159902×	`*-commutative`
154674×	`associate-r`
137362×	`distribute-lft-in`
135350×	`+-commutative`

Stop Event

98×	saturated
1×	unsound
228×	node limit

Compiler

Compiled 33418 to 17214 computations (48.5% saved)

end35.0s (1.3%)

Compiler: Compiled 89013 to 39652 computations (55.5% saved)

series28.6s (1.1%)

Counts

5782 → 160427

Calls

41670 calls:

Time	Variable		Point	Expression
247.0ms	t	@	-inf	(log.f64 (.f64 (pow.f64 t (+.f64 a -1/2)) (.f64 z y)))
168.0ms	y	@	0	(-.f64 (log.f64 (neg.f64 x)) (log.f64 (neg.f64 y)))
165.0ms	x	@	inf	(*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))
160.0ms	y	@	inf	(/.f64 (-.f64 (.f64 x x) (.f64 y y)) (/.f64 (-.f64 x y) (*.f64 2 x)))
143.0ms	x	@	0	(*.f64 x (log.f64 y))

preprocess18.5s (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.8min (26.4%)

sample7.7min (17.1%)

simplify6.1min (13.6%)

eval5.0min (11.1%)

rewrite4.3min (9.7%)

prune3.5min (7.8%)

bsearch2.3min (5.1%)

analyze1.1min (2.4%)

localize56.6s (2.1%)

soundness44.5s (1.7%)

end35.0s (1.3%)

series28.6s (1.1%)

preprocess18.5s (0.7%)

Profiling