Date:	Thursday, June 2nd, 2022
Commit:	9e17743b on main
Hostname:	warfa with Racket 8.1
Seed:	2022153
Parameters:	256 points for 4 iterations
Flags:	`precision:fallbackreduce: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.8s (83.1%)

Results

1.9s	7497×	body	1024	valid
1.5s	4683×	body	2048	valid
570.0ms	3267×	body	512	valid
548.0ms	7922×	body	128	valid
171.0ms	1385×	body	256	valid
5.0ms	14×	body	4096	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 66 to 46 computations (30.3% saved)

analyze568.0ms (9.8%)

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
64%	27.6%	8.4%	8
67.4%	24.2%	8.4%	9
72.2%	19.4%	8.4%	10
74.6%	17%	8.4%	11
77.4%	14.2%	8.4%	12
80.6%	11%	8.4%	13
82.2%	9.4%	8.4%	14

Compiler

Compiled 33 to 23 computations (30.3% saved)

simplify104.0ms (1.8%)

Algorithm

7×	egg-herbie

Rules

1809×	`fma-def_binary64`
1152×	`distribute-rgt-in_binary64`
926×	`distribute-lft-in_binary64`
818×	`fma-neg_binary64`
729×	`unsub-neg_binary64`

Stop Event

3×	node limit
4×	saturated

Counts

62 → 58

end85.0ms (1.5%)

Stop Event

3×

done

Compiler

Compiled 47 to 38 computations (19.1% saved)

preprocess84.0ms (1.5%)

Algorithm

6×	egg-herbie

Rules

1449×	`fma-def_binary64`
743×	`sub-neg_binary64`
667×	`distribute-neg-in_binary64`
665×	`distribute-rgt-in_binary64`
579×	`distribute-lft-in_binary64`

Stop Event

1×	unsound
2×	node limit
3×	saturated

Compiler

Compiled 30 to 20 computations (33.3% saved)

regimes50.0ms (0.9%)

Counts: 12 → 3
Compiler: Compiled 412 to 288 computations (30.1% saved)

prune38.0ms (0.7%)

Counts: 65 → 7
Compiler: Compiled 607 to 384 computations (36.7% saved)

rewrite37.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

556×	`log1p-expm1-u_binary64`
556×	`expm1-log1p-u_binary64`
246×	`log-prod_binary64`
144×	`pow2_binary64`
121×	`fma-def_binary64`

Stop Event

1×	node limit

Counts

1 → 47

localize6.0ms (0.1%)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

1.0ms	(*.f64 x (+.f64 x 2))	x	-inf
1.0ms	(*.f64 x (+.f64 x 2))	x	inf
1.0ms	(*.f64 x (+.f64 x 2))	x	0

Details

sample4.8s (83.1%)

analyze568.0ms (9.8%)

simplify104.0ms (1.8%)

end85.0ms (1.5%)

preprocess84.0ms (1.5%)

regimes50.0ms (0.9%)

prune38.0ms (0.7%)

rewrite37.0ms (0.6%)

localize6.0ms (0.1%)

series2.0ms (0%)

Profiling