Date:	Sunday, February 26th, 2023
Commit:	0a0aee13 on main
Hostname:	nightly with Racket 8.6
Seed:	2023057
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

sample2.9min (28.2%)

Results

1.3min	439574×	body	256	valid
59.7s	7966×	body	8192	exit
13.3s	23267×	body	1024	valid
8.2s	14355×	body	1024	infinite
5.8s	29297×	body	256	infinite
3.8s	12304×	body	512	valid
2.3s	6511×	body	512	infinite
1.9s	2598×	body	2048	valid
1.1s	4733×	body	256	invalid
647.0ms	1105×	body	4096	valid
630.0ms	4270×	body	256	unsamplable
297.0ms	231×	body	2048	infinite

Bogosity

eval2.0min (19.1%)

Compiler: Compiled 5741581 to 3572914 computations (37.8% saved)

simplify1.4min (13.8%)

Algorithm

731×	egg-herbie

Rules

367348×	`associate-r`
357118×	`*-commutative`
344610×	`distribute-lft-in`
341434×	`associate-/l*`
332628×	`+-commutative`

Stop Event

12×	unsound
84×	saturated
19×	done
39×	fuel
635×	node limit

Counts

94873 → 122228

Compiler

Compiled 11739 to 7975 computations (32.1% saved)

rewrite58.4s (9.4%)

Algorithm

615×	batch-egg-rewrite
10×	egg-rewrite-iter-limit
12×	egg-rewrite

Rules

448754×	`add-sqr-sqrt`
438430×	`*-un-lft-identity`
414908×	`add-cube-cbrt`
407146×	`add-cbrt-cube`
278310×	`add-exp-log`

Stop Event

13×	unsound
10×	iter limit
614×	node limit

Counts

1431 → 68582

prune54.2s (8.7%)

Counts: 149747 → 4020
Compiler: Compiled 193099 to 147929 computations (23.4% saved)

regimes47.5s (7.7%)

Counts

9023 → 794

Calls

134 calls:

7.3s	x.re
5.6s	x.im
4.1s	y.im
3.6s	y.re
2.6s	x

Compiler

Compiled 178894 to 117067 computations (34.6% saved)

localize32.0s (5.2%)

Compiler: Compiled 67764 to 42252 computations (37.6% saved)

soundness11.5s (1.9%)

Algorithm

101×	egg-herbie

Rules

51530×	`associate-/l*`
46854×	`associate-r`
46636×	`*-commutative`
46282×	`associate-+r+`
45800×	`fma-def`

Stop Event

19×	saturated
82×	node limit

Compiler

Compiled 12804 to 7675 computations (40.1% saved)

bsearch11.5s (1.9%)

Algorithm

409×	binary-search
30×	left-value

Results

7.0s	42834×	body	256	valid
1.1s	1254×	body	1024	infinite
505.0ms	1323×	body	1024	valid
447.0ms	1045×	body	2048	valid
309.0ms	1188×	body	512	valid
289.0ms	490×	body	4096	valid
274.0ms	496×	body	512	infinite
225.0ms	923×	body	256	infinite
129.0ms	38×	body	2048	infinite

Compiler

Compiled 79295 to 55393 computations (30.1% saved)

analyze9.1s (1.5%)

Algorithm

58×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.3%	13.7%	0%	0%	0%	0
7%	6%	80.3%	13.7%	0%	0%	0%	1
13.1%	11%	73.3%	13.7%	0%	1.7%	0.2%	2
23.6%	19.2%	62%	13.7%	0.5%	4.3%	0.3%	3
29.2%	23.2%	56.3%	13.7%	1.9%	4.5%	0.4%	4
41.4%	32.6%	46.2%	13.7%	2.4%	4.6%	0.4%	5
46.7%	36.2%	41.3%	13.7%	3.5%	4.9%	0.4%	6
54.8%	41.1%	33.8%	13.7%	5.2%	5.8%	0.4%	7
58.6%	43.6%	30.7%	13.7%	5.7%	5.9%	0.4%	8
63.7%	46.7%	26.6%	13.7%	6.7%	5.9%	0.4%	9
67.5%	48.8%	23.5%	13.7%	7.2%	6.4%	0.4%	10
70.8%	50.6%	20.9%	13.7%	7.9%	6.4%	0.4%	11
73.3%	52.2%	19%	13.7%	8.3%	6.4%	0.4%	12

Compiler

Compiled 1558 to 994 computations (36.2% saved)

series7.8s (1.3%)

Counts

1431 → 26233

Calls

7215 calls:

Time	Variable		Point	Expression
102.0ms	x.re	@	inf	(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)
100.0ms	y.re	@	0	(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)
88.0ms	x	@	0	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
81.0ms	base	@	-inf	(log.f64 (+.f64 1 (expm1.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base)))))
62.0ms	y.im	@	inf	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))

end5.5s (0.9%)

Compiler: Compiled 11479 to 6741 computations (41.3% saved)

preprocess3.7s (0.6%)

Algorithm

116×	egg-herbie

Rules

21178×	`fma-def`
20488×	`*-commutative`
18344×	`associate-r`
17546×	`distribute-lft-in`
17206×	`sqr-pow`

Stop Event

71×	saturated
14×	unsound
31×	node limit

Compiler

Compiled 1606 to 1052 computations (34.5% saved)

Details

sample2.9min (28.2%)

eval2.0min (19.1%)

simplify1.4min (13.8%)

rewrite58.4s (9.4%)

prune54.2s (8.7%)

regimes47.5s (7.7%)

localize32.0s (5.2%)

soundness11.5s (1.9%)

bsearch11.5s (1.9%)

analyze9.1s (1.5%)

series7.8s (1.3%)

end5.5s (0.9%)

preprocess3.7s (0.6%)

Profiling