Date:	Friday, March 31st, 2023
Commit:	40cc2e0b on Aditya-Branch
Hostname:	nightly with Racket 8.6
Seed:	2023090
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.0min (26.7%)

Counts

17697 → 1370

Calls

152 calls:

23.4s	l
13.6s	t
9.6s	k
8.0s	x
5.8s	M

Compiler

Compiled 277419 to 139351 computations (49.8% saved)

sample2.1min (18.8%)

Results

38.7s	190512×	body	256	valid
26.0s	34204×	body	1024	valid
17.1s	83223×	body	256	invalid
8.2s	11112×	body	2048	valid
7.6s	16068×	body	512	valid
6.7s	28878×	body	256	infinite
4.2s	977×	body	4096	infinite
3.9s	6197×	body	1024	invalid
3.4s	2806×	body	4096	valid
2.3s	4367×	body	1024	infinite
2.3s	991×	body	2048	infinite
1.8s	1234×	body	8192	valid
1.5s	3350×	body	512	invalid
999.0ms	2622×	body	512	infinite
62.0ms	262×	body	256	unsamplable
12.0ms	14×	body	8192	exit
1.0ms	1×	body	2048	invalid

Bogosity

eval1.4min (12.8%)

Compiler: Compiled 4522297 to 2615744 computations (42.2% saved)

simplify1.2min (10.8%)

Algorithm

555×	egg-herbie

Rules

350374×	`associate-/l*`
324406×	`associate-r`
313808×	`associate-/r*`
313448×	`*-commutative`
283396×	`associate-l`

Stop Event

1×	done
3×	unsound
39×	saturated
30×	fuel
513×	node limit

Counts

100869 → 116018

Compiler

Compiled 24278 to 14718 computations (39.4% saved)

rewrite50.4s (7.6%)

Algorithm

493×	batch-egg-rewrite
5×	egg-rewrite-iter-limit
7×	egg-rewrite

Rules

260936×	`add-sqr-sqrt`
255188×	`*-un-lft-identity`
240492×	`add-cube-cbrt`
239202×	`add-cbrt-cube`
191396×	`associate-*l/`

Stop Event

7×	unsound
5×	iter limit
493×	node limit

Counts

1386 → 66495

bsearch48.4s (7.3%)

Algorithm

805×	binary-search
139×	left-value

Stop Event

783×	narrow-enough
22×	predicate-same

Results

18.0s	75187×	body	256	valid
11.0s	14095×	body	1024	valid
5.3s	22111×	body	256	invalid
4.4s	8375×	body	512	valid
2.5s	8841×	body	256	infinite
2.1s	1794×	body	2048	valid
663.0ms	164×	body	4096	infinite
648.0ms	420×	body	4096	valid
496.0ms	400×	body	2048	infinite
293.0ms	739×	body	1024	invalid
168.0ms	189×	body	1024	infinite
127.0ms	213×	body	512	infinite
124.0ms	456×	body	512	invalid
46.0ms	49×	body	8192	valid

Compiler

Compiled 268761 to 194559 computations (27.6% saved)

prune47.1s (7.1%)

Counts: 137638 → 3986
Compiler: Compiled 137734 to 97240 computations (29.4% saved)

localize16.8s (2.5%)

Compiler: Compiled 40135 to 19652 computations (51% saved)

analyze15.3s (2.3%)

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.2s (1.4%)

Algorithm

93×	egg-herbie

Rules

60448×	`*-commutative`
56844×	`associate-/r*`
55544×	`associate-r`
54752×	`associate-/l*`
52986×	`associate-*r/`

Stop Event

5×	saturated
88×	node limit

Compiler

Compiled 16756 to 8993 computations (46.3% saved)

end8.8s (1.3%)

Compiler: Compiled 23646 to 11530 computations (51.2% saved)

series8.0s (1.2%)

Counts

1386 → 34343

Calls

9978 calls:

Time	Variable		Point	Expression
109.0ms	f	@	0	(pow.f64 (cbrt.f64 (*.f64 (/.f64 4 (PI.f64)) (log.f64 (/.f64 (PI.f64) (/.f64 4 f))))) 3)
90.0ms	h	@	0	(pow.f64 (*.f64 l h) -1/2)
78.0ms	d	@	0	(log.f64 (*.f64 (/.f64 d w0) d))
78.0ms	B	@	inf	(fma.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2) (/.f64 (neg.f64 x) (tan.f64 B)))
76.0ms	k	@	-inf	(*.f64 a (pow.f64 k m))

preprocess2.3s (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.0min (26.7%)

sample2.1min (18.8%)

eval1.4min (12.8%)

simplify1.2min (10.8%)

rewrite50.4s (7.6%)

bsearch48.4s (7.3%)

prune47.1s (7.1%)

localize16.8s (2.5%)

analyze15.3s (2.3%)

soundness9.2s (1.4%)

end8.8s (1.3%)

series8.0s (1.2%)

preprocess2.3s (0.3%)

Profiling