Date:	Wednesday, May 31st, 2023
Commit:	55347e10 on better-large-numbers
Hostname:	nightly with Racket 8.6
Seed:	2023151
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

regimes12.3min (25.8%)

Counts

42108 → 7513

Calls

494 calls:

2.0min	y
1.9min	x
1.7min	z
1.5min	t
1.2min	a

Results

Compiler

Compiled 531030 to 285066 computations (46.3% saved)

sample8.3min (17.3%)

Results

5.2min	2132503×	body	256	valid
1.4min	337407×	body	256	infinite
32.1s	136305×	body	256	invalid
30.8s	50954×	body	1024	valid
14.4s	34960×	body	512	valid
8.7s	10369×	body	2048	valid
4.3s	9095×	body	1024	infinite
2.1s	5568×	body	512	infinite
2.1s	1649×	body	8192	exit
527.0ms	334×	body	4096	valid
327.0ms	737×	body	1024	invalid
325.0ms	595×	body	512	invalid
1.0ms	1×	body	2048	infinite

Bogosity

simplify5.9min (12.4%)

Algorithm

3340×

egg-herbie

Rules

2525476×	`fma-def`
1859360×	`log-prod`
1365466×	`unswap-sqr`
1322110×	`fma-neg`
1248686×	`distribute-lft-in`

Stop Event

64×	done
14×	unsound
437×	saturated
205×	fuel
2889×	node limit

Counts

443392 → 441000

Compiler

Compiled 87819 to 49634 computations (43.5% saved)

rewrite4.3min (9%)

Algorithm

2801×

batch-egg-rewrite

Rules

2151584×	`pow1`
2035186×	`log-prod`
2000282×	`log1p-expm1-u`
2000218×	`expm1-log1p-u`
1999524×	`add-exp-log`

Stop Event

2×	unsound
2799×	node limit

Counts

5891 → 285012

eval4.3min (8.9%)

Compiler: Compiled 12938317 to 5966542 computations (53.9% saved)

soundness4.0min (8.3%)

Rules

1278142×	`fma-def`
811472×	`log-prod`
745784×	`fma-neg`
602194×	`times-frac`
552920×	`associate-r`

Stop Event

156×	saturated
7×	unsound
1591×	node limit

Compiler

Compiled 127266 to 69929 computations (45.1% saved)

prune2.7min (5.6%)

Counts: 520515 → 15806
Compiler: Compiled 408167 to 286966 computations (29.7% saved)

bsearch2.3min (4.7%)

Algorithm

4989×	binary-search
489×	left-value

Stop Event

4914×	narrow-enough
4×	predicate-failed
71×	predicate-same

Results

1.8min	591632×	body	256	valid
5.8s	32149×	body	256	infinite
4.2s	5834×	body	1024	valid
2.4s	6345×	body	512	valid
1.4s	9487×	body	256	invalid
112.0ms	201×	body	2048	valid
7.0ms	22×	body	512	infinite
0.0ms	1×	body	4096	valid

Compiler

Compiled 1174873 to 852520 computations (27.4% saved)

analyze1.2min (2.5%)

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)

localize1.0min (2.2%)

Compiler: Compiled 129592 to 57964 computations (55.3% saved)

end39.7s (1.4%)

Compiler: Compiled 86260 to 38071 computations (55.9% saved)

series33.4s (1.2%)

Counts

5891 → 158110

Calls

40701 calls:

Time	Variable		Point	Expression
306.0ms	x	@	inf	(.f64 (/.f64 1/2 (.f64 y c)) (/.f64 x (+.f64 5/6 (+.f64 a (/.f64 -2/3 t)))))
238.0ms	x	@	0	(pow.f64 (*.f64 x 9) 3/2)
213.0ms	x	@	0	(*.f64 x (log.f64 y))
192.0ms	x	@	-inf	(log.f64 (/.f64 x (cbrt.f64 y)))
148.0ms	x	@	-inf	(log1p.f64 (.f64 1/3 (acos.f64 (.f64 1/18 (/.f64 (sqrt.f64 t) (*.f64 z (/.f64 y x)))))))

preprocess21.3s (0.7%)

Algorithm

540×	egg-herbie

Rules

268784×	`fma-def`
112036×	`fma-neg`
103534×	`sub-neg`
90584×	`div-sub`
79236×	`distribute-lft-in`

Stop Event

59×	unsound
353×	saturated
128×	node limit

Compiler

Compiled 4571 to 3320 computations (27.4% saved)

Details

regimes12.3min (25.8%)

sample8.3min (17.3%)

simplify5.9min (12.4%)

rewrite4.3min (9%)

eval4.3min (8.9%)

soundness4.0min (8.3%)

prune2.7min (5.6%)

bsearch2.3min (4.7%)

analyze1.2min (2.5%)

localize1.0min (2.2%)

end39.7s (1.4%)

series33.4s (1.2%)

preprocess21.3s (0.7%)

Profiling