Date:	Saturday, February 13th, 2021
Commit:	39812786 on mpmf-cost-tuning-only
Hostname:	warfa with Racket 7.9
Seed:	2021044
Parameters:	256 points for 4 iterations
Flags:	`setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:fallback` default

Details

sample1.3min (86.5%)

Algorithm

56×

intervals

Results

30.0s	36690×	body	2048	valid
22.3s	66171×	body	1024	valid
6.5s	34922×	body	512	valid
3.8s	73987×	body	128	valid
2.0s	17127×	body	256	valid
1.5s	1547×	body	1024	nan
1.1s	2271×	body	4096	valid
877.0ms	43014×	pre	128	true
667.0ms	2975×	body	128	overflowed
394.0ms	693×	body	512	nan
231.0ms	600×	body	1024	overflowed
229.0ms	3741×	body	128	nan
227.0ms	374×	body	2048	overflowed
190.0ms	164×	body	1024	invalid
168.0ms	259×	body	512	invalid
128.0ms	1740×	body	128	invalid
117.0ms	369×	body	256	nan
73.0ms	285×	body	512	overflowed
57.0ms	151×	body	256	invalid
26.0ms	165×	body	256	overflowed
7.0ms	5×	body	2048	nan
3.0ms	5×	body	2048	invalid

Compiler

Compiled 1810 to 1580 computations (12.7% saved)

analyze11.9s (13%)

Algorithm

28×

search

Search

True	Other	False	Iter
0%	90.9%	9.1%	0
14.3%	76.7%	9.1%	1
21.4%	67.8%	10.9%	2
33.2%	51.7%	15.1%	3
37.6%	44.1%	18.2%	4
43.8%	36.2%	19.9%	5
46.6%	32.5%	20.9%	6
48.1%	29.6%	22.3%	7
49.9%	27.4%	22.7%	8
51.1%	25.4%	23.5%	9
51.5%	24.3%	24.2%	10
52.4%	22.9%	24.7%	11
53.2%	21.5%	25.2%	12
53.5%	20.9%	25.6%	13
53.9%	20.1%	26%	14

Compiler

Compiled 332 to 278 computations (16.3% saved)

localize306.0ms (0.3%)

prune119.0ms (0.1%)

Compiler: Compiled 564 to 472 computations (16.3% saved)

rewrite53.0ms (0.1%)

Algorithm

28×	rewrite-expression-head

Rules

Calls

144 calls:

3.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
3.0ms	(-.f64 (exp.f64 x) 1)
3.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
3.0ms	(-.f64 x (sin.f64 x))
2.0ms	(-.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (.f64 n (log.f64 n)))

Profiling

Loading profile data...