Date:	Thursday, October 27th, 2022
Commit:	20216197 on main
Hostname:	warfa with Racket 8.6
Seed:	2022300
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

sample4.2s (73.4%)

Results

1.7s	7531×	body	1024	valid
1.3s	4699×	body	2048	valid
685.0ms	9217×	body	256	valid
427.0ms	3304×	body	512	valid
5.0ms	17×	body	4096	valid
0.0ms	1×	body	256	invalid

soundness448.0ms (7.9%)

Algorithm

3×	egg-herbie

Rules

3892×	`fma-neg_binary64`
1524×	`unsub-neg_binary64`
1342×	`fma-def_binary64`
1131×	`distribute-rgt-in_binary64`
938×	`distribute-neg-in_binary64`

Stop Event

1×	saturated
2×	node limit

Compiler

Compiled 130 to 96 computations (26.2% saved)

simplify415.0ms (7.3%)

Algorithm

7×	egg-herbie

Rules

3892×	`fma-neg_binary64`
1823×	`fma-def_binary64`
1524×	`unsub-neg_binary64`
1161×	`distribute-rgt-in_binary64`
1082×	`sqr-pow_binary64`

Stop Event

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

Counts

36 → 32

Compiler

Compiled 42 to 27 computations (35.7% saved)

preprocess253.0ms (4.5%)

Algorithm

6×	egg-herbie

Rules

4414×	`fma-neg_binary64`
1453×	`fma-def_binary64`
1196×	`sub-neg_binary64`
1192×	`distribute-neg-in_binary64`
884×	`unsub-neg_binary64`

Stop Event

1×	unsound
3×	saturated
2×	node limit

Compiler

Compiled 35 to 25 computations (28.6% saved)

analyze202.0ms (3.6%)

Algorithm

3×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
33.3%	66.6%	0.1%	3
41.6%	49.9%	8.4%	4
50%	41.6%	8.4%	5
54.1%	37.4%	8.4%	6
60.4%	31.2%	8.4%	7
63.5%	28.1%	8.4%	8
67.1%	24.4%	8.4%	9
72.1%	19.5%	8.4%	10
74.6%	17%	8.4%	11
77.4%	14.2%	8.4%	12

Compiler

Compiled 33 to 23 computations (30.3% saved)

end46.0ms (0.8%)

Compiler: Compiled 47 to 30 computations (36.2% saved)

regimes43.0ms (0.8%)

Counts

14 → 7

Calls

8 calls:

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

Compiler

Compiled 131 to 84 computations (35.9% saved)

rewrite41.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

593×	`pow1_binary64`
557×	`add-log-exp_binary64`
556×	`log1p-expm1-u_binary64`
556×	`expm1-log1p-u_binary64`
548×	`add-exp-log_binary64`

Stop Event

1×	node limit

Counts

1 → 21

bsearch29.0ms (0.5%)

Algorithm

2×	binary-search

Compiler

Compiled 14 to 11 computations (21.4% saved)

localize14.0ms (0.2%)

Compiler: Compiled 38 to 21 computations (44.7% saved)

prune13.0ms (0.2%)

Counts: 48 → 19
Compiler: Compiled 80 to 62 computations (22.5% saved)

eval8.0ms (0.1%)

Compiler: Compiled 302 to 198 computations (34.4% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

Details

sample4.2s (73.4%)

soundness448.0ms (7.9%)

simplify415.0ms (7.3%)

preprocess253.0ms (4.5%)

analyze202.0ms (3.6%)

end46.0ms (0.8%)

regimes43.0ms (0.8%)

rewrite41.0ms (0.7%)

bsearch29.0ms (0.5%)

localize14.0ms (0.2%)

prune13.0ms (0.2%)

eval8.0ms (0.1%)

series2.0ms (0%)

Profiling