Date:	Monday, May 15th, 2023
Commit:	1f5aabee on main
Hostname:	nightly with Racket 8.6
Seed:	2023135
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 (24.6%)

Counts

16367 → 1423

Calls

152 calls:

16.0s	l
9.1s	t
7.4s	h
7.1s	Ec
6.7s	d

Compiler

Compiled 259654 to 129064 computations (50.3% saved)

sample2.2min (18.5%)

Results

41.2s	190116×	body	256	valid
27.2s	34251×	body	1024	valid
18.8s	83481×	body	256	invalid
8.2s	11190×	body	2048	valid
7.9s	16220×	body	512	valid
7.1s	29004×	body	256	infinite
4.2s	6371×	body	1024	invalid
4.1s	2990×	body	4096	valid
4.0s	1051×	body	4096	infinite
3.2s	4371×	body	1024	infinite
2.4s	958×	body	2048	infinite
1.6s	3240×	body	512	invalid
1.5s	1169×	body	8192	valid
1.2s	2540×	body	512	infinite
69.0ms	266×	body	256	unsamplable
17.0ms	18×	body	8192	exit
4.0ms	5×	body	2048	invalid

Bogosity

eval1.6min (13.4%)

Compiler: Compiled 4439663 to 2532795 computations (43% saved)

simplify1.2min (9.9%)

Algorithm

537×	egg-herbie

Rules

322026×	`associate-/l*`
317722×	`associate-r`
314678×	`associate-/r*`
298988×	`*-commutative`
273072×	`associate-l`

Stop Event

2×	done
4×	unsound
40×	saturated
29×	fuel
493×	node limit

Counts

96696 → 109967

Compiler

Compiled 25662 to 15072 computations (41.3% saved)

rewrite1.2min (9.6%)

Algorithm

475×	batch-egg-rewrite
10×	egg-rewrite
8×	egg-rewrite-iter-limit

Rules

241700×	`add-sqr-sqrt`
236484×	`*-un-lft-identity`
222544×	`add-cube-cbrt`
221338×	`add-cbrt-cube`
205510×	`associate-/l*`

Stop Event

12×	unsound
8×	iter limit
473×	node limit

Counts

1296 → 62835

prune54.6s (7.6%)

Counts: 136919 → 3761
Compiler: Compiled 124679 to 88385 computations (29.1% saved)

bsearch47.5s (6.6%)

Algorithm

893×	binary-search
118×	left-value

Stop Event

854×	narrow-enough
39×	predicate-same

Results

21.5s	88868×	body	256	valid
10.3s	11097×	body	1024	valid
5.7s	22635×	body	256	invalid
2.6s	4603×	body	512	valid
2.3s	8476×	body	256	infinite
1.1s	1030×	body	2048	valid
627.0ms	712×	body	4096	valid
571.0ms	474×	body	8192	valid
122.0ms	302×	body	1024	invalid
74.0ms	73×	body	512	infinite
33.0ms	129×	body	512	invalid
29.0ms	39×	body	1024	infinite
9.0ms	10×	body	2048	infinite
5.0ms	3×	body	4096	infinite

Compiler

Compiled 300935 to 217392 computations (27.8% saved)

localize18.4s (2.5%)

Compiler: Compiled 38470 to 18857 computations (51% saved)

soundness17.4s (2.4%)

Algorithm

100×	egg-herbie

Rules

83938×	`associate-/r*`
81706×	`associate-*r/`
72954×	`associate-/l*`
72566×	`*-commutative`
68694×	`associate-r`

Stop Event

6×	saturated
1×	iter limit
159×	node limit

Compiler

Compiled 28315 to 15571 computations (45% saved)

analyze16.8s (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)

series8.5s (1.2%)

Counts

1296 → 33830

Calls

9552 calls:

Time	Variable		Point	Expression
268.0ms	U	@	0	(pow.f64 (/.f64 U J) 2)
142.0ms	f	@	0	(*.f64 (log.f64 (/.f64 (/.f64 8 (PI.f64)) f)) (/.f64 -4 (PI.f64)))
83.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)))
75.0ms	ky	@	-inf	(log1p.f64 (*.f64 (sin.f64 th) (/.f64 (sin.f64 ky) (hypot.f64 (sin.f64 ky) (sin.f64 kx)))))
74.0ms	f	@	-inf	(.f64 (log.f64 (/.f64 2 (.f64 (-.f64 (.f64 1/4 (PI.f64)) (.f64 -1/4 (PI.f64))) f))) (/.f64 -4 (PI.f64)))

end8.4s (1.2%)

Compiler: Compiled 24879 to 11734 computations (52.8% saved)

preprocess2.4s (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 (24.6%)

sample2.2min (18.5%)

eval1.6min (13.4%)

simplify1.2min (9.9%)

rewrite1.2min (9.6%)

prune54.6s (7.6%)

bsearch47.5s (6.6%)

localize18.4s (2.5%)

soundness17.4s (2.4%)

analyze16.8s (2.3%)

series8.5s (1.2%)

end8.4s (1.2%)

preprocess2.4s (0.3%)

Profiling