Date:	Wednesday, January 18th, 2023
Commit:	fcdb6f71 on main
Hostname:	nightly with Racket 8.6
Seed:	2023018
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

sample26.3min (24.4%)

Results

10.2min	3841832×	body	256	valid
3.8min	30523×	body	8192	exit
3.5min	297937×	body	1024	valid
1.9min	99969×	body	2048	valid
1.7min	441945×	body	256	infinite
1.3min	16353×	body	4096	valid
1.1min	161614×	body	512	valid
53.6s	266678×	body	256	invalid
34.3s	2860×	body	8192	valid
26.9s	35016×	body	1024	infinite
11.0s	1826×	body	4096	infinite
9.4s	15095×	body	1024	invalid
8.6s	2383×	body	2048	infinite
8.5s	18684×	body	512	infinite
6.4s	23476×	body	256	unsamplable
3.2s	8208×	body	512	invalid
1.2s	1255×	body	2048	invalid
1.0s	3061×	body	256	precondition
620.0ms	40×	body	8192	infinite
184.0ms	291×	body	2048	unsamplable
183.0ms	439×	body	1024	unsamplable
61.0ms	214×	body	512	unsamplable
41.0ms	1×	body	8192	invalid
13.0ms	1×	body	4096	unsamplable
2.0ms	1×	body	4096	invalid

Bogosity

regimes19.7min (18.2%)

Counts

115287 → 12045

Calls

1155 calls:

2.1min	x
1.6min	y
1.6min	z
1.5min	a
1.4min	t

Results

Compiler

Compiled 1960507 to 1009477 computations (48.5% saved)

eval15.4min (14.2%)

Compiler: Compiled 49231006 to 26373782 computations (46.4% saved)

simplify13.0min (12.1%)

Algorithm

6977×

egg-herbie

Rules

3861186×	`associate-r`
3569876×	`associate-/l*`
3422524×	`*-commutative`
3360340×	`associate-l`
3242204×	`distribute-lft-in`

Stop Event

27×	unsound
818×	saturated
116×	done
417×	fuel
6132×	node limit

Counts

1049976 → 1245599

Compiler

Compiled 160685 to 97050 computations (39.6% saved)

rewrite9.2min (8.6%)

Algorithm

5909×	batch-egg-rewrite
53×	egg-rewrite-iter-limit
80×	egg-rewrite

Rules

4168546×	`add-sqr-sqrt`
4094816×	`*-un-lft-identity`
3844754×	`add-cube-cbrt`
3791412×	`add-cbrt-cube`
2356544×	`add-exp-log`

Stop Event

58×	unsound
53×	iter limit
5931×	node limit

Counts

13675 → 727738

prune9.1min (8.4%)

Counts: 1515570 → 43324
Compiler: Compiled 1565425 to 1109962 computations (29.1% saved)

bsearch4.5min (4.1%)

Algorithm

7121×	binary-search
870×	left-value

Results

2.3min	786434×	body	256	valid
38.9s	41951×	body	1024	valid
20.4s	4056×	body	4096	valid
17.1s	8867×	body	2048	valid
12.8s	25127×	body	512	valid
7.7s	41843×	body	256	infinite
5.8s	32547×	body	256	invalid
5.8s	451×	body	8192	valid
2.1s	283×	body	4096	infinite
1.3s	1135×	body	1024	infinite
1.1s	278×	body	2048	infinite
395.0ms	676×	body	1024	invalid
379.0ms	720×	body	512	infinite
186.0ms	11×	body	8192	infinite
107.0ms	463×	body	256	unsamplable
95.0ms	254×	body	512	invalid
1.0ms	3×	body	512	unsamplable
0.0ms	1×	body	1024	unsamplable

Compiler

Compiled 1750439 to 1265899 computations (27.7% saved)

localize3.4min (3.1%)

Compiler: Compiled 418994 to 212387 computations (49.3% saved)

analyze2.8min (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.7min (1.6%)

Algorithm

826×	egg-herbie

Rules

429144×	`fma-def`
421828×	`associate-r`
420368×	`*-commutative`
382754×	`associate-/l*`
380260×	`associate-/r*`

Stop Event

1×	unsound
162×	saturated
663×	node limit

Compiler

Compiled 101944 to 57644 computations (43.5% saved)

series1.3min (1.2%)

Counts

13675 → 321703

Calls

85701 calls:

Time	Variable		Point	Expression
319.0ms	beta	@	0	(/.f64 (+.f64 i (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))
306.0ms	x	@	0	(pow.f64 (*.f64 (pow.f64 (hypot.f64 x x) 1/4) (pow.f64 (cbrt.f64 (hypot.f64 x x)) 1/4)) 2)
298.0ms	x	@	-inf	(log.f64 (*.f64 x y))
285.0ms	x	@	0	(.f32 (PI.f32) (.f32 x tau))
280.0ms	delta	@	0	(.f64 (sin.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))

end1.1min (1%)

Compiler: Compiled 156621 to 75421 computations (51.8% saved)

preprocess35.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

sample26.3min (24.4%)

regimes19.7min (18.2%)

eval15.4min (14.2%)

simplify13.0min (12.1%)

rewrite9.2min (8.6%)

prune9.1min (8.4%)

bsearch4.5min (4.1%)

localize3.4min (3.1%)

analyze2.8min (2.6%)

soundness1.7min (1.6%)

series1.3min (1.2%)

end1.1min (1%)

preprocess35.5s (0.5%)

Profiling