Date:	Tuesday, March 7th, 2023
Commit:	0a0aee13 on main
Hostname:	nightly with Racket 8.6
Seed:	2023066
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

regimes3.1min (26.9%)

Counts

16678 → 1358

Calls

152 calls:

33.9s	l
10.6s	t
8.4s	k
6.0s	x
5.4s	th

Compiler

Compiled 257072 to 131285 computations (48.9% saved)

sample2.3min (20%)

Results

53.8s	190718×	body	256	valid
24.6s	34040×	body	1024	valid
16.6s	83797×	body	256	invalid
7.7s	11047×	body	2048	valid
7.1s	16014×	body	512	valid
6.2s	29033×	body	256	infinite
4.4s	6217×	body	1024	invalid
4.2s	1019×	body	4096	infinite
3.6s	2897×	body	4096	valid
2.5s	4444×	body	1024	infinite
2.0s	957×	body	2048	infinite
1.3s	1220×	body	8192	valid
1.3s	3164×	body	512	invalid
1.0s	2556×	body	512	infinite
66.0ms	250×	body	256	unsamplable
11.0ms	13×	body	8192	exit
1.0ms	1×	body	2048	invalid

Bogosity

eval1.4min (12%)

Compiler: Compiled 4435281 to 2497012 computations (43.7% saved)

simplify1.1min (10%)

Algorithm

534×	egg-herbie

Rules

343408×	`associate-/l*`
313308×	`associate-r`
301384×	`associate-/r*`
296728×	`*-commutative`
275158×	`associate-l`

Stop Event

2×	unsound
1×	done
39×	saturated
30×	fuel
493×	node limit

Counts

97197 → 110885

Compiler

Compiled 22338 to 13882 computations (37.9% saved)

prune49.8s (7.3%)

Counts: 136462 → 3900
Compiler: Compiled 132574 to 93546 computations (29.4% saved)

rewrite47.5s (6.9%)

Algorithm

472×	batch-egg-rewrite
5×	egg-rewrite-iter-limit
5×	egg-rewrite

Rules

234210×	`add-sqr-sqrt`
229024×	`*-un-lft-identity`
215886×	`add-cube-cbrt`
213198×	`add-cbrt-cube`
211606×	`associate-*r/`

Stop Event

7×	unsound
5×	iter limit
470×	node limit

Counts

1300 → 64272

bsearch40.0s (5.8%)

Algorithm

836×	binary-search
122×	left-value

Results

17.5s	79493×	body	256	valid
9.5s	12766×	body	1024	valid
4.0s	7919×	body	512	valid
3.4s	15717×	body	256	invalid
1.5s	6690×	body	256	infinite
620.0ms	841×	body	2048	valid
381.0ms	277×	body	4096	valid
241.0ms	152×	body	4096	infinite
218.0ms	217×	body	2048	infinite
141.0ms	326×	body	1024	invalid
77.0ms	284×	body	512	invalid
64.0ms	93×	body	1024	infinite
42.0ms	85×	body	512	infinite
1.0ms	1×	body	8192	exit

Compiler

Compiled 245347 to 182256 computations (25.7% saved)

localize32.6s (4.8%)

Compiler: Compiled 40508 to 19946 computations (50.8% saved)

analyze15.0s (2.2%)

Algorithm

31×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	98.2%	1.8%	0%	0%	0%	0
3.3%	3.2%	95%	1.8%	0%	0%	0%	1
4.2%	4%	92.6%	1.8%	0%	1.6%	0%	2
6.1%	5.6%	86.9%	1.8%	0.8%	4.8%	0%	3
8.2%	7.4%	83.1%	1.8%	0.8%	6.4%	0.4%	4
12.2%	11.1%	79.3%	1.8%	0.8%	6.4%	0.6%	5
15.1%	13.5%	75.8%	1.8%	1.6%	6.6%	0.7%	6
18.1%	15.7%	70.9%	1.8%	3.2%	7.3%	1.1%	7
21.3%	17.9%	66.4%	1.8%	4.1%	8.6%	1.2%	8
25.9%	21.5%	61.5%	1.8%	5%	8.9%	1.2%	9
28.4%	23%	58.1%	1.8%	6.5%	9.3%	1.3%	10
32.2%	25.7%	54%	1.8%	7.2%	9.9%	1.3%	11
34.4%	26.9%	51.4%	1.8%	8%	10.5%	1.4%	12

Compiler

Compiled 845 to 604 computations (28.5% saved)

soundness9.7s (1.4%)

Algorithm

95×	egg-herbie

Rules

62504×	`associate-/l*`
61628×	`associate-/r*`
59586×	`*-commutative`
52664×	`associate-*r/`
49104×	`associate-r`

Stop Event

5×	saturated
90×	node limit

Compiler

Compiled 15869 to 8811 computations (44.5% saved)

series8.3s (1.2%)

Counts

1300 → 32894

Calls

9399 calls:

Time	Variable		Point	Expression
293.0ms	w	@	0	(pow.f64 (pow.f64 (*.f64 w h) 3/2) 1/3)
240.0ms	k	@	0	(/.f64 (.f64 a (pow.f64 k m)) (/.f64 (-.f64 1 (.f64 (.f64 k k) (.f64 (+.f64 k 10) (+.f64 k 10)))) (-.f64 1 (*.f64 k (+.f64 k 10)))))
127.0ms	l	@	-inf	(pow.f64 (pow.f64 (/.f64 1 (*.f64 l h)) 3/2) 1/3)
86.0ms	M	@	-inf	(fma.f64 (/.f64 (/.f64 c0 w) h) (*.f64 (/.f64 d D) (/.f64 d D)) M)
75.0ms	t	@	0	(/.f64 (pow.f64 1/2 1/4) (*.f64 t (PI.f64)))

end7.4s (1.1%)

Compiler: Compiled 21864 to 11155 computations (49% saved)

preprocess2.2s (0.3%)

Algorithm

62×	egg-herbie

Rules

16384×	`fma-def`
16276×	`*-commutative`
15394×	`associate-r`
15392×	`associate-*r/`
13040×	`associate-l`

Stop Event

7×	unsound
30×	saturated
25×	node limit

Compiler

Compiled 904 to 666 computations (26.3% saved)

Details

regimes3.1min (26.9%)

sample2.3min (20%)

eval1.4min (12%)

simplify1.1min (10%)

prune49.8s (7.3%)

rewrite47.5s (6.9%)

bsearch40.0s (5.8%)

localize32.6s (4.8%)

analyze15.0s (2.2%)

soundness9.7s (1.4%)

series8.3s (1.2%)

end7.4s (1.1%)

preprocess2.2s (0.3%)

Profiling