Date:	Tuesday, June 6th, 2023
Commit:	0bfa15a6 on pareto-tweaks
Hostname:	nightly with Racket 8.6
Seed:	2023157
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

sample3.0s (57.6%)

Results

1.1s	4707×	body	2048	valid
872.0ms	6698×	body	1024	valid
592.0ms	8406×	body	256	valid
286.0ms	2969×	body	512	valid
142.0ms	1982×	body	256	infinite
1.0ms	6×	body	4096	valid

Bogosity

soundness926.0ms (17.6%)

Rules

12860×	`fma-def`
3176×	`unsub-neg`
3024×	`fma-neg`
2570×	`log-prod`
2524×	`distribute-rgt-in`

Stop Event

1×	saturated
5×	node limit

Compiler

Compiled 218 to 149 computations (31.7% saved)

simplify450.0ms (8.5%)

Algorithm

8×	egg-herbie

Rules

11808×	`fma-def`
3910×	`fma-neg`
3212×	`unsub-neg`
2680×	`distribute-rgt-in`
2542×	`distribute-lft-in`

Stop Event

1×	done
4×	saturated
2×	fuel
4×	node limit

Counts

83 → 95

Compiler

Compiled 42 to 26 computations (38.1% saved)

preprocess319.0ms (6.1%)

Algorithm

6×	egg-herbie

Rules

8528×	`fma-neg`
3230×	`fma-def`
2498×	`sub-neg`
2324×	`distribute-neg-in`
1784×	`unsub-neg`

Stop Event

1×	unsound
3×	saturated
2×	node limit

Compiler

Compiled 35 to 25 computations (28.6% saved)

end252.0ms (4.8%)

Compiler: Compiled 146 to 90 computations (38.4% saved)

rewrite110.0ms (2.1%)

Algorithm

2×	batch-egg-rewrite

Rules

2946×	`pow1`
2748×	`add-exp-log`
2746×	`expm1-log1p-u`
2746×	`log1p-expm1-u`
2700×	`add-log-exp`

Stop Event

2×	node limit

Counts

2 → 56

regimes98.0ms (1.9%)

Counts

14 → 7

Calls

8 calls:

79.0ms	x
3.0ms	(+.f64 x 1)
3.0ms	(*.f64 (+.f64 x 1) (+.f64 x 1))
2.0ms	z
2.0ms	y

Compiler

Compiled 131 to 81 computations (38.2% saved)

bsearch21.0ms (0.4%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Results

19.0ms

240×

body

256

valid

Compiler

Compiled 164 to 101 computations (38.4% saved)

prune19.0ms (0.4%)

Counts: 111 → 19
Compiler: Compiled 80 to 60 computations (25% saved)

eval19.0ms (0.4%)

Compiler: Compiled 1014 to 676 computations (33.3% saved)

localize14.0ms (0.3%)

Compiler: Compiled 37 to 19 computations (48.6% saved)

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	-inf	(*.f64 x (-.f64 x -2))
0.0ms	x	@	inf	(*.f64 x (-.f64 x -2))
0.0ms	x	@	0	(+.f64 (.f64 x x) (.f64 x 2))
0.0ms	x	@	-inf	(+.f64 (.f64 x x) (.f64 x 2))
0.0ms	x	@	0	(*.f64 x (-.f64 x -2))

analyze1.0ms (0%)

Algorithm

3×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 33 to 23 computations (30.3% saved)

Details

sample3.0s (57.6%)

soundness926.0ms (17.6%)

simplify450.0ms (8.5%)

preprocess319.0ms (6.1%)

end252.0ms (4.8%)

rewrite110.0ms (2.1%)

regimes98.0ms (1.9%)

bsearch21.0ms (0.4%)

prune19.0ms (0.4%)

eval19.0ms (0.4%)

localize14.0ms (0.3%)

series2.0ms (0%)

analyze1.0ms (0%)

Profiling