Date:	Tuesday, December 20th, 2022
Commit:	d611f941 on main
Hostname:	nightly with Racket 8.6
Seed:	2022354
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

sample27.0min (24.4%)

Results

10.5min	3841744×	body	256	valid
3.8min	29463×	body	8192	exit
3.6min	297851×	body	1024	valid
2.0min	99988×	body	2048	valid
1.7min	444989×	body	256	infinite
1.3min	16393×	body	4096	valid
1.1min	161573×	body	512	valid
55.7s	268232×	body	256	invalid
35.0s	2830×	body	8192	valid
27.3s	34672×	body	1024	infinite
11.4s	1910×	body	4096	infinite
9.4s	15031×	body	1024	invalid
9.3s	18812×	body	512	infinite
8.3s	2421×	body	2048	infinite
6.6s	22914×	body	256	unsamplable
3.2s	8113×	body	512	invalid
1.1s	1245×	body	2048	invalid
1.1s	2899×	body	256	precondition
676.0ms	42×	body	8192	infinite
281.0ms	466×	body	1024	unsamplable
223.0ms	311×	body	2048	unsamplable
74.0ms	242×	body	512	unsamplable
22.0ms	2×	body	4096	unsamplable
5.0ms	2×	body	8192	invalid
5.0ms	3×	body	4096	invalid

Bogosity

regimes20.5min (18.5%)

Counts

117374 → 11816

Calls

1157 calls:

2.0min	x
1.8min	y
1.6min	a
1.6min	z
1.4min	t

Results

Compiler

Compiled 2104980 to 1143060 computations (45.7% saved)

eval15.7min (14.2%)

Compiler: Compiled 49110167 to 26391749 computations (46.3% saved)

simplify12.9min (11.6%)

Algorithm

7024×

egg-herbie

Rules

3927692×	`associate-r`
3584510×	`associate-/l*`
3448410×	`*-commutative`
3419174×	`associate-l`
3194744×	`distribute-lft-in`

Stop Event

36×	unsound
818×	saturated
113×	done
420×	fuel
6170×	node limit

Counts

1063940 → 1252487

Compiler

Compiled 158151 to 96350 computations (39.1% saved)

rewrite9.4min (8.5%)

Algorithm

5956×	batch-egg-rewrite
47×	egg-rewrite-iter-limit
58×	egg-rewrite

Rules

4165200×	`add-sqr-sqrt`
4091114×	`*-un-lft-identity`
3839570×	`add-cube-cbrt`
3794526×	`add-cbrt-cube`
2384368×	`add-exp-log`

Stop Event

52×	unsound
47×	iter limit
5962×	node limit

Counts

13823 → 735812

prune9.3min (8.4%)

Counts: 1519524 → 43636
Compiler: Compiled 1584647 to 1125408 computations (29% saved)

bsearch4.6min (4.1%)

Algorithm

7053×	binary-search
738×	left-value

Results

2.4min	782948×	body	256	valid
35.4s	34253×	body	1024	valid
23.2s	3982×	body	4096	valid
19.1s	8872×	body	2048	valid
12.8s	24168×	body	512	valid
8.4s	46216×	body	256	invalid
7.5s	39599×	body	256	infinite
4.9s	325×	body	8192	valid
1.1s	149×	body	4096	infinite
1.0s	319×	body	2048	infinite
768.0ms	794×	body	1024	infinite
431.0ms	969×	body	512	infinite
287.0ms	609×	body	1024	invalid
229.0ms	8×	body	8192	infinite
137.0ms	288×	body	256	unsamplable
137.0ms	350×	body	512	invalid
5.0ms	7×	body	2048	invalid
2.0ms	5×	body	1024	unsamplable
2.0ms	6×	body	512	unsamplable

Compiler

Compiled 1715911 to 1245555 computations (27.4% saved)

localize3.6min (3.2%)

Compiler: Compiled 426827 to 217011 computations (49.2% saved)

analyze2.9min (2.6%)

Algorithm

538×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.7%	13.3%	0%	0%	0%	0
2.4%	2.1%	84.6%	13.3%	0%	0%	0%	1
3.6%	3.1%	83%	13.3%	0%	0.6%	0%	2
11.6%	9.8%	74.9%	13.3%	0.3%	1.7%	0%	3
15.9%	13.2%	69.8%	13.3%	1.2%	2.2%	0.2%	4
23.9%	19.6%	62.7%	13.3%	1.6%	2.6%	0.2%	5
28.6%	23.1%	57.8%	13.3%	2.5%	3%	0.3%	6
35.9%	28.4%	50.6%	13.3%	3.5%	3.8%	0.3%	7
40.4%	31.6%	46.5%	13.4%	4%	4.1%	0.4%	8
46%	35.4%	41.6%	13.4%	4.8%	4.5%	0.4%	9
50.5%	38.3%	37.5%	13.4%	5.4%	5%	0.4%	10
54.7%	41%	34%	13.4%	6%	5.2%	0.4%	11
58.2%	43.2%	31.1%	13.4%	6.4%	5.5%	0.5%	12

Compiler

Compiled 11846 to 8206 computations (30.7% saved)

soundness1.9min (1.7%)

Algorithm

850×	egg-herbie

Rules

455644×	`associate-r`
444932×	`fma-def`
437398×	`*-commutative`
393232×	`associate-/l*`
381986×	`+-commutative`

Stop Event

1×	unsound
174×	saturated
675×	node limit

Compiler

Compiled 318413 to 190548 computations (40.2% saved)

series1.2min (1.1%)

Counts

13823 → 327593

Calls

87438 calls:

Time	Variable		Point	Expression
297.0ms	im	@	0	(/.f64 (atan2.f64 im re) (log.f64 10))
293.0ms	cosTheta_i	@	0	(/.f32 (/.f32 cosTheta_i (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v)))
273.0ms	x	@	inf	(.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))) x)))
253.0ms	b	@	inf	(/.f64 r (/.f64 (-.f64 (.f64 (+.f64 (.f64 -1/2 (.f64 a a)) 1) (cos.f64 b)) (.f64 a (sin.f64 b))) (sin.f64 b)))
251.0ms	w	@	inf	(pow.f64 l (exp.f64 w))

end1.1min (1%)

Compiler: Compiled 153157 to 74583 computations (51.3% saved)

preprocess36.5s (0.5%)

Algorithm

1070×

egg-herbie

Rules

321680×	`fma-def`
215682×	`*-commutative`
191062×	`distribute-lft-in`
189720×	`+-commutative`
168910×	`associate-r`

Stop Event

682×	saturated
99×	unsound
289×	node limit

Compiler

Compiled 11265 to 8076 computations (28.3% saved)

Details

sample27.0min (24.4%)

regimes20.5min (18.5%)

eval15.7min (14.2%)

simplify12.9min (11.6%)

rewrite9.4min (8.5%)

prune9.3min (8.4%)

bsearch4.6min (4.1%)

localize3.6min (3.2%)

analyze2.9min (2.6%)

soundness1.9min (1.7%)

series1.2min (1.1%)

end1.1min (1%)

preprocess36.5s (0.5%)

Profiling