Date:	Wednesday, March 1st, 2023
Commit:	b6e17b25 on asinh-taylor-bug
Hostname:	nightly with Racket 8.6
Seed:	2023060
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 (28%)

Results

1.2min	439302×	body	256	valid
56.9s	7859×	body	8192	exit
14.3s	23501×	body	1024	valid
8.2s	14935×	body	1024	infinite
5.0s	29288×	body	256	infinite
4.4s	12263×	body	512	valid
2.2s	6648×	body	512	infinite
1.9s	2673×	body	2048	valid
1.1s	4732×	body	256	invalid
703.0ms	4186×	body	256	unsamplable
687.0ms	1109×	body	4096	valid
284.0ms	234×	body	2048	infinite

Bogosity

eval1.9min (19.1%)

Compiler: Compiled 5587231 to 3298757 computations (41% saved)

simplify1.4min (13.9%)

Algorithm

723×	egg-herbie

Rules

370692×	`associate-r`
362594×	`*-commutative`
346994×	`associate-/l*`
334182×	`distribute-lft-in`
319970×	`associate-+r+`

Stop Event

5×	unsound
20×	done
85×	saturated
38×	fuel
633×	node limit

Counts

91375 → 116810

Compiler

Compiled 12954 to 8683 computations (33% saved)

rewrite57.7s (9.5%)

Algorithm

607×	batch-egg-rewrite
25×	egg-rewrite
15×	egg-rewrite-iter-limit

Rules

449354×	`add-sqr-sqrt`
439340×	`*-un-lft-identity`
415092×	`add-cube-cbrt`
410242×	`add-cbrt-cube`
266014×	`add-exp-log`

Stop Event

18×	unsound
15×	iter limit
614×	node limit

Counts

1364 → 65101

prune54.3s (8.9%)

Counts: 145792 → 4176
Compiler: Compiled 211362 to 161082 computations (23.8% saved)

regimes47.3s (7.8%)

Counts

9175 → 829

Calls

134 calls:

5.4s	x.im
4.0s	x.re
3.0s	z
2.7s	y.im
2.7s	y.re

Compiler

Compiled 234905 to 163158 computations (30.5% saved)

localize29.0s (4.8%)

Compiler: Compiled 61670 to 37531 computations (39.1% saved)

soundness11.4s (1.9%)

Algorithm

93×	egg-herbie

Rules

46826×	`associate-+r+`
46470×	`associate-/l*`
44584×	`associate-r`
42982×	`*-commutative`
42590×	`distribute-lft-in`

Stop Event

19×	saturated
74×	node limit

Compiler

Compiled 11803 to 6714 computations (43.1% saved)

bsearch10.1s (1.7%)

Algorithm

435×	binary-search
36×	left-value

Results

7.6s	45640×	body	256	valid
516.0ms	1320×	body	1024	valid
294.0ms	1237×	body	512	valid
189.0ms	481×	body	2048	valid
182.0ms	298×	body	4096	valid
170.0ms	800×	body	256	infinite
128.0ms	145×	body	1024	infinite
59.0ms	142×	body	512	infinite
13.0ms	10×	body	2048	infinite

Compiler

Compiled 89275 to 61713 computations (30.9% saved)

series8.5s (1.4%)

Counts

1364 → 26216

Calls

7137 calls:

Time	Variable		Point	Expression
301.0ms	x.re	@	0	(cos.f64 (+.f64 (.f64 (log.f64 x.im) y.im) (.f64 y.re (atan2.f64 x.im x.re))))
176.0ms	y.re	@	-inf	(pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) 3)
165.0ms	y.re	@	0	(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)
117.0ms	u1	@	0	(pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1)))) 3)
97.0ms	x.im	@	inf	(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)

analyze8.4s (1.4%)

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)

end6.0s (1%)

Compiler: Compiled 12882 to 7534 computations (41.5% saved)

preprocess4.1s (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 (28%)

eval1.9min (19.1%)

simplify1.4min (13.9%)

rewrite57.7s (9.5%)

prune54.3s (8.9%)

regimes47.3s (7.8%)

localize29.0s (4.8%)

soundness11.4s (1.9%)

bsearch10.1s (1.7%)

series8.5s (1.4%)

analyze8.4s (1.4%)

end6.0s (1%)

preprocess4.1s (0.7%)

Profiling