Date:	Friday, March 24th, 2023
Commit:	0646f253 on main
Hostname:	nightly with Racket 8.6
Seed:	2023083
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.6%)

Results

1.2min	439704×	body	256	valid
55.6s	7762×	body	8192	exit
14.1s	23281×	body	1024	valid
8.8s	14451×	body	1024	infinite
5.6s	29277×	body	256	infinite
4.2s	12210×	body	512	valid
2.3s	6551×	body	512	infinite
1.5s	2604×	body	2048	valid
966.0ms	4858×	body	256	invalid
814.0ms	4219×	body	256	unsamplable
566.0ms	1049×	body	4096	valid
293.0ms	201×	body	2048	infinite

Bogosity

eval2.0min (19.7%)

Compiler: Compiled 5988414 to 3510921 computations (41.4% saved)

simplify1.5min (14.2%)

Algorithm

722×	egg-herbie

Rules

374896×	`associate-r`
357172×	`*-commutative`
345166×	`associate-/l*`
329752×	`+-commutative`
323680×	`associate-+r+`

Stop Event

9×	unsound
84×	saturated
20×	done
38×	fuel
629×	node limit

Counts

96941 → 122940

Compiler

Compiled 12963 to 8700 computations (32.9% saved)

rewrite59.7s (9.6%)

Algorithm

606×	batch-egg-rewrite
19×	egg-rewrite-iter-limit
21×	egg-rewrite

Rules

429988×	`add-sqr-sqrt`
419720×	`*-un-lft-identity`
397418×	`add-cube-cbrt`
394510×	`add-cbrt-cube`
263728×	`add-exp-log`

Stop Event

22×	unsound
19×	iter limit
605×	node limit

Counts

1421 → 70317

prune55.8s (9%)

Counts: 149991 → 4087
Compiler: Compiled 196795 to 148160 computations (24.7% saved)

regimes49.7s (8%)

Counts

10226 → 821

Calls

134 calls:

5.2s	x.re
5.0s	x.im
3.2s	y.im
3.1s	y.re
2.7s	x

Compiler

Compiled 227626 to 154401 computations (32.2% saved)

localize27.8s (4.5%)

Compiler: Compiled 60070 to 35794 computations (40.4% saved)

soundness10.0s (1.6%)

Algorithm

87×	egg-herbie

Rules

41428×	`*-commutative`
40960×	`associate-/l*`
39918×	`associate-+r+`
39786×	`associate-/r*`
39572×	`fma-def`

Stop Event

18×	saturated
69×	node limit

Compiler

Compiled 12564 to 7885 computations (37.2% saved)

bsearch9.2s (1.5%)

Algorithm

406×	binary-search
36×	left-value

Results

7.1s	44030×	body	256	valid
376.0ms	1385×	body	512	valid
314.0ms	709×	body	1024	valid
186.0ms	415×	body	2048	valid
160.0ms	325×	body	4096	valid
130.0ms	661×	body	256	infinite
58.0ms	60×	body	512	infinite
19.0ms	26×	body	1024	infinite
2.0ms	2×	body	2048	infinite

Compiler

Compiled 87770 to 59118 computations (32.6% saved)

series8.6s (1.4%)

Counts

1421 → 26566

Calls

7347 calls:

Time	Variable		Point	Expression
224.0ms	d3	@	0	(+.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (.f64 d1 d4) (*.f64 d1 d1)))
112.0ms	y.re	@	-inf	(pow.f64 (cbrt.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)
108.0ms	x.re	@	0	(sin.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 y.im (log.f64 (/.f64 -1 x.im)))))
90.0ms	y.re	@	0	(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)
85.0ms	x.re	@	-inf	(.f64 (/.f64 1 (hypot.f64 y.re y.im)) (+.f64 (.f64 -1 (/.f64 (*.f64 y.re x.im) y.im)) x.re))

analyze7.8s (1.3%)

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)

end5.7s (0.9%)

Compiler: Compiled 12640 to 7300 computations (42.2% saved)

preprocess4.0s (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.8min (27.6%)

eval2.0min (19.7%)

simplify1.5min (14.2%)

rewrite59.7s (9.6%)

prune55.8s (9%)

regimes49.7s (8%)

localize27.8s (4.5%)

soundness10.0s (1.6%)

bsearch9.2s (1.5%)

series8.6s (1.4%)

analyze7.8s (1.3%)

end5.7s (0.9%)

preprocess4.0s (0.6%)

Profiling