Date:	Saturday, December 3rd, 2022
Commit:	6874172d on main
Hostname:	nightly with Racket 8.6
Seed:	2022337
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

sample44.9s (31.7%)

Results

14.4s	113117×	body	256	valid
13.0s	27893×	body	1024	valid
7.7s	3249×	body	8192	exit
4.2s	14196×	body	512	valid
2.3s	4895×	body	1024	invalid
1.1s	1658×	body	2048	valid
621.0ms	3263×	body	256	infinite
612.0ms	2441×	body	512	invalid
370.0ms	2787×	body	256	invalid
139.0ms	215×	body	1024	infinite
99.0ms	234×	body	512	infinite
25.0ms	146×	body	256	unsamplable
5.0ms	2×	body	8192	invalid
2.0ms	2×	body	2048	invalid
1.0ms	1×	body	4096	invalid
1.0ms	1×	body	2048	infinite

Bogosity

eval17.0s (12%)

Compiler: Compiled 990496 to 472582 computations (52.3% saved)

simplify16.6s (11.7%)

Algorithm

224×	egg-herbie

Rules

63836×	`fma-def_binary64`
57715×	`fma-neg_binary64`
53452×	`log-prod_binary64`
42080×	`unswap-sqr_binary64`
39045×	`distribute-rgt-in_binary64`

Stop Event

6×	unsound
1×	done
32×	saturated
18×	fuel
186×	node limit

Counts

29021 → 30766

Compiler

Compiled 2353 to 1451 computations (38.3% saved)

regimes14.8s (10.4%)

Counts

4690 → 164

Calls

53 calls:

2.2s	x
1.8s	a
1.2s	r
1.1s	b
1.1s	c

Compiler

Compiled 70309 to 33745 computations (52% saved)

rewrite12.4s (8.7%)

Algorithm

186×	batch-egg-rewrite
3×	egg-rewrite
1×	egg-rewrite-iter-limit

Rules

73602×	`pow1_binary64`
68700×	`add-log-exp_binary64`
68671×	`expm1-log1p-u_binary64`
68665×	`log1p-expm1-u_binary64`
60967×	`add-exp-log_binary64`

Stop Event

1×	iter limit
189×	node limit

Counts

437 → 19835

prune12.3s (8.7%)

Counts: 38300 → 1953
Compiler: Compiled 54337 to 36833 computations (32.2% saved)

analyze10.5s (7.4%)

Algorithm

19×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	72.3%	27.7%	0%	0%	0%	0
9.1%	6.6%	65.7%	27.7%	0%	0%	0%	1
10.9%	7.9%	64.4%	27.7%	0%	0%	0%	2
32.8%	23.7%	48.6%	27.7%	0%	0%	0%	3
42.8%	30.9%	41.4%	27.7%	0%	0%	0%	4
48.9%	34.9%	36.5%	27.7%	0%	1%	0%	5
53.3%	37.5%	32.9%	27.7%	0.5%	1.2%	0.3%	6
58.9%	41%	28.7%	27.7%	0.6%	1.7%	0.3%	7
62.4%	43.1%	26%	27.7%	0.9%	1.8%	0.5%	8
65.8%	45.2%	23.5%	27.7%	0.9%	2.2%	0.5%	9
69.2%	47.3%	21%	27.7%	1.1%	2.3%	0.6%	10
71.3%	48.5%	19.5%	27.7%	1.3%	2.5%	0.6%	11
73.2%	49.6%	18.2%	27.7%	1.4%	2.5%	0.6%	12

Compiler

Compiled 288 to 205 computations (28.8% saved)

localize3.7s (2.6%)

Compiler: Compiled 8318 to 3597 computations (56.8% saved)

series2.8s (2%)

Counts

437 → 9167

Calls

2400 calls:

Time	Variable		Point	Expression
81.0ms	w	@	-inf	(log1p.f64 (pow.f64 l (exp.f64 w)))
68.0ms	x	@	-inf	(log.f64 (sqrt.f64 (exp.f64 (-.f64 (tan.f64 (+.f64 z y)) (-.f64 (tan.f64 a) x)))))
60.0ms	b	@	inf	(log.f64 (cbrt.f64 (exp.f64 (cos.f64 (+.f64 a b)))))
50.0ms	a	@	inf	(log.f64 (cbrt.f64 (exp.f64 (cos.f64 (+.f64 a b)))))
47.0ms	x	@	0	(log.f64 (fmod.f64 (exp.f64 x) 1))

soundness2.6s (1.8%)

Algorithm

27×	egg-herbie

Rules

6588×	`fma-def_binary64`
6554×	`unswap-sqr_binary64`
5829×	`log-prod_binary64`
5569×	`sqr-pow_binary64`
5531×	`*-commutative_binary64`

Stop Event

4×	saturated
23×	node limit

Compiler

Compiled 5332 to 3983 computations (25.3% saved)

bsearch2.0s (1.4%)

Algorithm

57×	binary-search
2×	left-value

Results

933.0ms	5312×	body	256	valid
443.0ms	757×	body	1024	valid
174.0ms	1095×	body	256	infinite
156.0ms	459×	body	512	valid
69.0ms	334×	body	256	invalid
43.0ms	53×	body	2048	valid
8.0ms	17×	body	1024	infinite
7.0ms	24×	body	512	infinite

Compiler

Compiled 11423 to 7616 computations (33.3% saved)

preprocess1.2s (0.8%)

Algorithm

38×	egg-herbie

Rules

3290×	`fma-def_binary64`
3008×	`associate-/l/_binary64`
2962×	`fma-neg_binary64`
2814×	`unswap-sqr_binary64`
2779×	`sqr-pow_binary64`

Stop Event

3×	unsound
28×	saturated
7×	node limit

Compiler

Compiled 214 to 157 computations (26.6% saved)

end1.1s (0.8%)

Compiler: Compiled 2294 to 1112 computations (51.5% saved)

Details

sample44.9s (31.7%)

eval17.0s (12%)

simplify16.6s (11.7%)

regimes14.8s (10.4%)

rewrite12.4s (8.7%)

prune12.3s (8.7%)

analyze10.5s (7.4%)

localize3.7s (2.6%)

series2.8s (2%)

soundness2.6s (1.8%)

bsearch2.0s (1.4%)

preprocess1.2s (0.8%)

end1.1s (0.8%)

Profiling