Date:	Thursday, December 22nd, 2022
Commit:	d611f941 on main
Hostname:	nightly with Racket 8.6
Seed:	2022356
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

sample8.7min (36.1%)

Results

2.7min	17040×	body	8192	exit
1.5min	69768×	body	1024	valid
1.2min	8811×	body	4096	valid
1.0min	294821×	body	256	valid
39.4s	14561×	body	2048	valid
32.4s	1626×	body	8192	valid
21.3s	35091×	body	512	valid
12.1s	6424×	body	1024	infinite
6.5s	881×	body	4096	infinite
6.2s	21598×	body	256	infinite
5.5s	1194×	body	2048	infinite
5.4s	17355×	body	256	unsamplable
4.1s	21487×	body	256	invalid
3.4s	3142×	body	512	infinite
1.2s	1643×	body	1024	invalid
1.1s	1235×	body	2048	invalid
540.0ms	1135×	body	512	invalid
415.0ms	28×	body	8192	infinite
217.0ms	928×	body	256	precondition
9.0ms	12×	body	512	unsamplable
6.0ms	4×	body	1024	unsamplable

Bogosity

regimes3.9min (16.2%)

Counts

25961 → 1044

Calls

143 calls:

13.0s	C
12.7s	phi2
12.3s	A
12.1s	lambda1
12.0s	b

Results

Compiler

Compiled 716803 to 368813 computations (48.5% saved)

eval3.7min (15.4%)

Compiler: Compiled 10615142 to 5935027 computations (44.1% saved)

simplify1.7min (7.1%)

Algorithm

782×	egg-herbie

Rules

462876×	`associate-r`
428926×	`associate-/l*`
422284×	`*-commutative`
394766×	`associate-l`
374432×	`associate-/r*`

Stop Event

2×	unsound
68×	saturated
7×	done
42×	fuel
712×	node limit

Counts

127608 → 156308

Compiler

Compiled 20178 to 12717 computations (37% saved)

prune1.5min (6.3%)

Counts: 211338 → 8888
Compiler: Compiled 488229 to 341277 computations (30.1% saved)

bsearch1.4min (5.6%)

Algorithm

540×	binary-search
46×	left-value

Results

23.1s	12985×	body	1024	valid
19.9s	2560×	body	4096	valid
14.8s	40224×	body	256	valid
13.2s	4324×	body	2048	valid
5.6s	5681×	body	512	valid
955.0ms	57×	body	8192	valid
652.0ms	143×	body	1024	infinite
589.0ms	2808×	body	256	invalid
323.0ms	735×	body	256	infinite
243.0ms	35×	body	4096	infinite
119.0ms	50×	body	512	infinite
112.0ms	31×	body	2048	infinite
43.0ms	3×	body	8192	infinite
20.0ms	36×	body	1024	invalid
6.0ms	17×	body	512	invalid

Compiler

Compiled 205033 to 148668 computations (27.5% saved)

rewrite1.1min (4.4%)

Algorithm

682×	batch-egg-rewrite
10×	egg-rewrite
7×	egg-rewrite-iter-limit

Rules

415886×	`add-sqr-sqrt`
407412×	`*-un-lft-identity`
383174×	`add-cube-cbrt`
380870×	`add-cbrt-cube`
280478×	`add-exp-log`

Stop Event

10×	unsound
7×	iter limit
682×	node limit

Counts

1775 → 86273

analyze44.4s (3.1%)

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
2.4%	1.9%	77.5%	20.6%	0%	0%	0%	1
5.1%	4%	75%	21%	0%	0%	0%	2
12.7%	9.8%	67.2%	21.2%	0.5%	1.4%	0%	3
20.5%	15.3%	59.4%	21.2%	1.1%	2.6%	0.5%	4
26.8%	19.7%	53.7%	21.2%	1.3%	3.4%	0.7%	5
32.2%	23.1%	48.7%	21.2%	1.7%	4.2%	1.1%	6
35%	24.7%	45.9%	21.2%	2%	4.9%	1.2%	7
37.7%	26.3%	43.5%	21.3%	2.3%	5.3%	1.4%	8
41.6%	28.6%	40.1%	21.3%	2.7%	6%	1.5%	9
43.1%	29.4%	38.8%	21.3%	2.7%	6.3%	1.6%	10
45.8%	31%	36.7%	21.3%	2.8%	6.6%	1.6%	11
48.4%	32.6%	34.7%	21.3%	2.8%	7%	1.7%	12

Compiler

Compiled 1919 to 1338 computations (30.3% saved)

localize37.3s (2.6%)

Compiler: Compiled 93260 to 46731 computations (49.9% saved)

soundness18.3s (1.3%)

Algorithm

127×	egg-herbie

Rules

76878×	`*-commutative`
72742×	`associate-/r*`
72114×	`associate-/l*`
71428×	`associate-r`
61812×	`+-commutative`

Stop Event

12×	saturated
115×	node limit

Compiler

Compiled 61577 to 37429 computations (39.2% saved)

series13.1s (0.9%)

Counts

1775 → 41284

Calls

11415 calls:

Time	Variable		Point	Expression
317.0ms	x	@	0	(-.f64 (log.f64 2) (log.f64 x))
288.0ms	lambda2	@	0	(-.f64 (+.f64 (.f64 -1 (.f64 (cos.f64 (.f64 -1/2 phi2)) (.f64 phi1 (sin.f64 (.f64 -1/2 phi2))))) 1) (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda1 lambda2))) 2))))
83.0ms	a	@	-inf	(log.f64 (+.f64 1 (expm1.f64 (*.f64 (sqrt.f64 512) (pow.f64 a 3)))))
76.0ms	lambda2	@	inf	(log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (sin.f64 lambda1))))
60.0ms	C	@	0	(/.f64 (-.f64 C (neg.f64 B)) B)

end8.3s (0.6%)

Compiler: Compiled 19152 to 9326 computations (51.3% saved)

preprocess3.7s (0.3%)

Algorithm

102×	egg-herbie

Rules

32198×	`fma-def`
26296×	`*-commutative`
22918×	`+-commutative`
19502×	`distribute-lft-in`
19386×	`associate-/r*`

Stop Event

60×	saturated
5×	unsound
37×	node limit

Compiler

Compiled 1762 to 1250 computations (29.1% saved)

Details

sample8.7min (36.1%)

regimes3.9min (16.2%)

eval3.7min (15.4%)

simplify1.7min (7.1%)

prune1.5min (6.3%)

bsearch1.4min (5.6%)

rewrite1.1min (4.4%)

analyze44.4s (3.1%)

localize37.3s (2.6%)

soundness18.3s (1.3%)

series13.1s (0.9%)

end8.3s (0.6%)

preprocess3.7s (0.3%)

Profiling