Date:	Friday, November 4th, 2022
Commit:	3b7366bf on main
Hostname:	warfa with Racket 8.6
Seed:	2022308
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

sample16.9s (25.5%)

Results

13.0s	70227×	body	256	valid
2.5s	4077×	body	2048	valid
688.0ms	2860×	body	256	infinite
495.0ms	2120×	body	256	invalid

Bogosity

eval15.9s (24.1%)

Compiler: Compiled 582636 to 351427 computations (39.7% saved)

simplify6.1s (9.2%)

Algorithm

79×	egg-herbie

Rules

31752×	`fma-def_binary64`
19219×	`fma-neg_binary64`
17862×	`times-frac_binary64`
15923×	`associate-/l*_binary64`
14362×	`associate-l_binary64`

Stop Event

31×	saturated
3×	done
6×	fuel
48×	node limit

Counts

9370 → 8335

Compiler

Compiled 3125 to 1930 computations (38.2% saved)

rewrite5.7s (8.6%)

Algorithm

61×	batch-egg-rewrite

Rules

23646×	`log-prod_binary64`
21502×	`pow1_binary64`
20260×	`add-log-exp_binary64`
20254×	`expm1-log1p-u_binary64`
20252×	`log1p-expm1-u_binary64`

Stop Event

61×	node limit

Counts

120 → 6679

regimes5.2s (7.8%)

Counts

659 → 110

Calls

19 calls:

1.0s	c
1.0s	a
603.0ms	b
441.0ms	y
324.0ms	x

Compiler

Compiled 15496 to 8837 computations (43% saved)

prune4.3s (6.6%)

Counts: 14297 → 362
Compiler: Compiled 14454 to 9933 computations (31.3% saved)

localize3.1s (4.8%)

Compiler: Compiled 6017 to 3259 computations (45.8% saved)

bsearch3.1s (4.7%)

Algorithm

48×	binary-search
20×	left-value

Compiler

Compiled 11352 to 7707 computations (32.1% saved)

analyze1.4s (2.1%)

Algorithm

9×

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%	94.4%	0.1%	0%	5.6%	0%	2
6.3%	5.6%	83.2%	0.1%	0%	11.1%	0%	3
18.3%	15.3%	68%	0.1%	2.8%	13.9%	0%	4
26.7%	21.5%	59%	0.1%	4.2%	15.3%	0%	5
33.8%	26.7%	52.4%	0.1%	4.9%	16%	0%	6
46.4%	35.7%	41.3%	0.1%	5.2%	17.7%	0%	7
52.1%	39.9%	36.8%	0.1%	5.4%	17.9%	0%	8
59.4%	45.1%	30.8%	0.1%	5.6%	18.5%	0%	9
67.1%	50.1%	24.6%	0.1%	5.7%	19.6%	0%	10
72.1%	53.5%	20.7%	0.1%	5.9%	19.8%	0%	11
76.6%	56.1%	17.2%	0.1%	6.4%	20.3%	0%	12

Compiler

Compiled 161 to 110 computations (31.7% saved)

series1.4s (2.1%)

Counts

120 → 2682

Calls

789 calls:

Time	Variable		Point	Expression
76.0ms	a	@	0	(cbrt.f64 (fma.f64 c (.f64 a -4) (.f64 b b)))
57.0ms	c	@	inf	(-.f64 (exp.f64 (log.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) b)
40.0ms	c	@	-inf	(pow.f64 (fma.f64 b b (.f64 c (.f64 a -4))) 1/4)
37.0ms	x	@	inf	(log1p.f64 (exp.f64 (+.f64 -1 (*.f64 x x))))
33.0ms	a	@	-inf	(pow.f64 (.f64 (pow.f64 (.f64 a 4) 1/4) (pow.f64 (/.f64 -1 c) -1/4)) 2)

soundness1.3s (2%)

Algorithm

12×	egg-herbie

Rules

6604×	`fma-def_binary64`
5292×	`times-frac_binary64`
4865×	`associate-r_binary64`
4557×	`associate-l_binary64`
3345×	`associate-/l*_binary64`

Stop Event

4×	saturated
8×	node limit

Compiler

Compiled 1577 to 1181 computations (25.1% saved)

end1.1s (1.7%)

Compiler: Compiled 3040 to 1707 computations (43.8% saved)

preprocess590.0ms (0.9%)

Algorithm

18×	egg-herbie

Rules

2992×	`fma-neg_binary64`
2715×	`fma-def_binary64`
2317×	`div-sub_binary64`
2137×	`associate-/l*_binary64`
1898×	`times-frac_binary64`

Stop Event

1×	unsound
13×	saturated
4×	node limit

Compiler

Compiled 169 to 118 computations (30.2% saved)

Details

sample16.9s (25.5%)

eval15.9s (24.1%)

simplify6.1s (9.2%)

rewrite5.7s (8.6%)

regimes5.2s (7.8%)

prune4.3s (6.6%)

localize3.1s (4.8%)

bsearch3.1s (4.7%)

analyze1.4s (2.1%)

series1.4s (2.1%)

soundness1.3s (2%)

end1.1s (1.7%)

preprocess590.0ms (0.9%)

Profiling