Date:	Sunday, May 21st, 2023
Commit:	7039a485 on odyssey-paper
Hostname:	nightly with Racket 8.6
Seed:	2023141
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.8min (27.1%)

Results

1.2min	438947×	body	256	valid
58.1s	7917×	body	8192	exit
13.9s	23942×	body	1024	valid
8.9s	14705×	body	1024	infinite
5.7s	29177×	body	256	infinite
3.8s	12290×	body	512	valid
2.5s	6505×	body	512	infinite
1.8s	2610×	body	2048	valid
994.0ms	4817×	body	256	invalid
519.0ms	1059×	body	4096	valid
510.0ms	4139×	body	256	unsamplable
266.0ms	217×	body	2048	infinite

Bogosity

eval2.1min (20%)

Compiler: Compiled 6019837 to 3662004 computations (39.2% saved)

simplify1.4min (13.4%)

Algorithm

721×	egg-herbie

Rules

364222×	`*-commutative`
359536×	`associate-r`
356860×	`associate-/l*`
323784×	`distribute-lft-in`
321838×	`associate-/r*`

Stop Event

7×	unsound
84×	saturated
20×	done
38×	fuel
630×	node limit

Counts

92066 → 119722

Compiler

Compiled 12031 to 7977 computations (33.7% saved)

prune58.1s (9.2%)

Counts: 150092 → 4291
Compiler: Compiled 223921 to 170522 computations (23.8% saved)

rewrite57.6s (9.2%)

Algorithm

605×	batch-egg-rewrite
16×	egg-rewrite-iter-limit
18×	egg-rewrite

Rules

415930×	`add-sqr-sqrt`
405850×	`*-un-lft-identity`
384410×	`add-cube-cbrt`
379958×	`add-cbrt-cube`
263066×	`add-exp-log`

Stop Event

20×	unsound
16×	iter limit
603×	node limit

Counts

1369 → 67141

regimes49.2s (7.8%)

Counts

9457 → 793

Calls

133 calls:

6.6s	x.re
5.4s	x.im
4.9s	y.re
4.1s	y.im
2.3s	x

Compiler

Compiled 198070 to 126507 computations (36.1% saved)

localize32.4s (5.2%)

Compiler: Compiled 63882 to 39376 computations (38.4% saved)

soundness11.5s (1.8%)

Algorithm

104×	egg-herbie

Rules

50630×	`*-commutative`
48302×	`associate-/l*`
46878×	`fma-def`
45990×	`associate-/r*`
45632×	`associate-*r/`

Stop Event

20×	saturated
84×	node limit

Compiler

Compiled 15490 to 9599 computations (38% saved)

bsearch11.1s (1.8%)

Algorithm

401×	binary-search
30×	left-value

Stop Event

393×	narrow-enough
8×	predicate-same

Results

7.6s	43045×	body	256	valid
817.0ms	1552×	body	1024	valid
310.0ms	557×	body	4096	valid
287.0ms	731×	body	2048	valid
259.0ms	883×	body	512	valid
224.0ms	202×	body	1024	infinite
187.0ms	283×	body	512	infinite
142.0ms	775×	body	256	infinite
2.0ms	2×	body	2048	infinite

Compiler

Compiled 84460 to 59585 computations (29.5% saved)

analyze10.1s (1.6%)

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)

series8.1s (1.3%)

Counts

1369 → 24867

Calls

6906 calls:

Time	Variable		Point	Expression
223.0ms	u1	@	-inf	(log.f64 (fma.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1))) 1/6 1/2))
175.0ms	y.re	@	0	(pow.f64 (expm1.f64 (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) 3)) 3)
155.0ms	base	@	0	(.f64 (/.f64 1 (log.f64 base)) (.f64 3 (log.f64 (cbrt.f64 (hypot.f64 re im)))))
154.0ms	y.re	@	0	(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)
104.0ms	x.im	@	0	(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)

end5.3s (0.8%)

Compiler: Compiled 11664 to 6523 computations (44.1% saved)

preprocess4.3s (0.7%)

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

eval2.1min (20%)

simplify1.4min (13.4%)

prune58.1s (9.2%)

rewrite57.6s (9.2%)

regimes49.2s (7.8%)

localize32.4s (5.2%)

soundness11.5s (1.8%)

bsearch11.1s (1.8%)

analyze10.1s (1.6%)

series8.1s (1.3%)

end5.3s (0.8%)

preprocess4.3s (0.7%)

Profiling