Date:	Wednesday, May 17th, 2023
Commit:	5c5cbfdd on main
Hostname:	nightly with Racket 8.6
Seed:	2023137
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

sample9.0min (35.5%)

Results

2.7min	16838×	body	8192	exit
1.5min	69681×	body	1024	valid
1.3min	8891×	body	4096	valid
1.1min	294631×	body	256	valid
42.6s	14802×	body	2048	valid
33.0s	1605×	body	8192	valid
22.4s	34969×	body	512	valid
13.1s	6462×	body	1024	infinite
7.4s	21287×	body	256	infinite
6.6s	803×	body	4096	infinite
6.5s	1165×	body	2048	infinite
5.6s	16962×	body	256	unsamplable
4.2s	21500×	body	256	invalid
3.4s	3206×	body	512	infinite
1.2s	1219×	body	2048	invalid
1.2s	1722×	body	1024	invalid
573.0ms	1175×	body	512	invalid
532.0ms	30×	body	8192	infinite
108.0ms	932×	body	256	precondition
12.0ms	12×	body	512	unsamplable
3.0ms	2×	body	1024	unsamplable

Bogosity

regimes3.9min (15.4%)

Counts

27017 → 1210

Calls

143 calls:

14.3s	phi2
13.4s	phi1
13.4s	b
12.1s	lambda1
11.7s	a

Results

Compiler

Compiled 693628 to 351003 computations (49.4% saved)

eval3.4min (13.6%)

Compiler: Compiled 10039657 to 5625379 computations (44% saved)

simplify1.9min (7.5%)

Algorithm

800×	egg-herbie

Rules

463054×	`associate-r`
440624×	`associate-/l*`
428254×	`*-commutative`
411154×	`distribute-lft-in`
403106×	`associate-l`

Stop Event

71×	saturated
6×	done
44×	fuel
729×	node limit

Counts

125101 → 150409

Compiler

Compiled 22477 to 14061 computations (37.4% saved)

prune1.6min (6.5%)

Counts: 210793 → 9497
Compiler: Compiled 527119 to 366433 computations (30.5% saved)

rewrite1.6min (6.4%)

Algorithm

699×	batch-egg-rewrite

Rules

430548×	`add-sqr-sqrt`
421614×	`*-un-lft-identity`
396942×	`add-cube-cbrt`
392810×	`add-cbrt-cube`
275832×	`add-exp-log`

Stop Event

9×	unsound
690×	node limit

Counts

1792 → 84831

bsearch1.4min (5.4%)

Algorithm

622×	binary-search
75×	left-value

Stop Event

604×	narrow-enough
18×	predicate-same

Results

22.9s	13388×	body	1024	valid
15.9s	2516×	body	4096	valid
14.8s	47475×	body	256	valid
13.3s	5409×	body	2048	valid
5.8s	6225×	body	512	valid
3.6s	203×	body	8192	valid
842.0ms	105×	body	4096	infinite
623.0ms	2717×	body	256	invalid
559.0ms	137×	body	2048	infinite
266.0ms	131×	body	1024	infinite
214.0ms	844×	body	256	infinite
138.0ms	9×	body	8192	infinite
37.0ms	44×	body	512	infinite
12.0ms	15×	body	1024	invalid
11.0ms	26×	body	512	invalid

Compiler

Compiled 207156 to 148433 computations (28.3% saved)

analyze46.0s (3%)

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)

localize41.4s (2.7%)

Compiler: Compiled 92017 to 46332 computations (49.6% saved)

soundness33.0s (2.2%)

Rules

85876×	`associate-r`
80784×	`*-commutative`
80054×	`associate-/r*`
73210×	`+-commutative`
72018×	`associate-+r+`

Stop Event

12×	saturated
167×	node limit

Compiler

Compiled 30768 to 17941 computations (41.7% saved)

series14.1s (0.9%)

Counts

1792 → 40219

Calls

11226 calls:

Time	Variable		Point	Expression
312.0ms	eh	@	inf	(/.f64 1 (/.f64 (hypot.f64 1 (/.f64 (/.f64 eh (tan.f64 t)) ew)) (*.f64 ew (sin.f64 t))))
310.0ms	lambda2	@	0	(cos.f64 (/.f64 (+.f64 (-.f64 lambda2 phi2) (neg.f64 phi2)) 2))
125.0ms	b	@	0	(/.f64 (expm1.f64 (.f64 3 (log1p.f64 (.f64 b 4)))) (+.f64 (exp.f64 (log1p.f64 (.f64 b 4))) (+.f64 1 (pow.f64 (exp.f64 2) (log1p.f64 (.f64 b 4))))))
119.0ms	g	@	0	(pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 g (/.f64 a 1/2)))) 3)
117.0ms	c	@	0	(log.f64 (+.f64 1 (expm1.f64 (*.f64 -1/2 (/.f64 c b)))))

end8.0s (0.5%)

Compiler: Compiled 21309 to 10120 computations (52.5% saved)

preprocess4.6s (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

sample9.0min (35.5%)

regimes3.9min (15.4%)

eval3.4min (13.6%)

simplify1.9min (7.5%)

prune1.6min (6.5%)

rewrite1.6min (6.4%)

bsearch1.4min (5.4%)

analyze46.0s (3%)

localize41.4s (2.7%)

soundness33.0s (2.2%)

series14.1s (0.9%)

end8.0s (0.5%)

preprocess4.6s (0.3%)

Profiling