Date:	Friday, December 9th, 2022
Commit:	758c3f52 on main
Hostname:	nightly with Racket 8.6
Seed:	2022343
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

sample1.5min (22.9%)

Results

46.4s	297073×	body	256	valid
17.7s	14894×	body	2048	valid
11.6s	21629×	body	1024	valid
5.1s	18822×	body	256	infinite
4.1s	12303×	body	512	valid
1.5s	202×	body	8192	exit
743.0ms	853×	body	4096	valid
584.0ms	2857×	body	256	invalid
167.0ms	223×	body	1024	infinite
84.0ms	238×	body	512	infinite
84.0ms	461×	body	256	unsamplable
22.0ms	23×	body	2048	infinite

Bogosity

eval1.2min (19.2%)

Compiler: Compiled 3669020 to 2097292 computations (42.8% saved)

simplify55.9s (14.4%)

Algorithm

524×	egg-herbie

Rules

291596×	`associate-r`
254726×	`associate-l`
254462×	`*-commutative`
252440×	`associate-/l*`
247968×	`distribute-lft-in`

Stop Event

2×	unsound
10×	done
58×	saturated
32×	fuel
464×	node limit

Counts

75050 → 95298

Compiler

Compiled 8444 to 5234 computations (38% saved)

rewrite42.6s (11%)

Algorithm

440×	batch-egg-rewrite
9×	egg-rewrite-iter-limit
14×	egg-rewrite

Rules

319158×	`add-sqr-sqrt`
312386×	`*-un-lft-identity`
294922×	`add-cube-cbrt`
286276×	`add-cbrt-cube`
170190×	`add-exp-log`

Stop Event

9×	iter limit
454×	node limit

Counts

1013 → 54919

prune40.8s (10.5%)

Counts: 117649 → 2585
Compiler: Compiled 78735 to 53240 computations (32.4% saved)

regimes32.2s (8.3%)

Counts

5008 → 572

Calls

95 calls:

6.4s	a
4.8s	c
3.3s	b
2.1s	d
1.5s	v

Compiler

Compiled 87358 to 49469 computations (43.4% saved)

localize14.2s (3.7%)

Compiler: Compiled 32796 to 18586 computations (43.3% saved)

analyze11.1s (2.9%)

Algorithm

43×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	54.5%	45.5%	0%	0%	0%	0
6.4%	3.5%	51%	45.5%	0%	0%	0%	1
6.4%	3.5%	51%	45.5%	0%	0%	0%	2
20.5%	10.9%	42.4%	45.5%	0%	1.2%	0%	3
26.9%	14.3%	38.7%	45.5%	0%	1.5%	0%	4
34.9%	18.2%	34%	45.6%	0.6%	1.7%	0%	5
38.2%	19.4%	31.4%	45.6%	1.9%	1.7%	0%	6
44.8%	22%	27.2%	45.6%	3%	2.2%	0%	7
48.2%	23.4%	25.2%	45.7%	3.6%	2.2%	0.1%	8
52.7%	25%	22.5%	45.7%	4.1%	2.5%	0.1%	9
57.3%	26.9%	20%	45.7%	4.5%	2.7%	0.2%	10
61%	28.3%	18%	45.7%	4.9%	2.8%	0.2%	11
64.7%	29.7%	16.2%	45.7%	5.2%	2.9%	0.3%	12

Compiler

Compiled 1441 to 1017 computations (29.4% saved)

bsearch8.9s (2.3%)

Algorithm

307×	binary-search
11×	left-value

Results

6.2s	36785×	body	256	valid
705.0ms	1833×	body	1024	valid
302.0ms	1141×	body	512	valid
269.0ms	417×	body	1024	infinite
204.0ms	2029×	body	256	invalid
194.0ms	1080×	body	256	infinite
172.0ms	251×	body	2048	valid
89.0ms	239×	body	512	infinite
3.0ms	6×	body	4096	valid

Compiler

Compiled 80762 to 54762 computations (32.2% saved)

soundness6.4s (1.7%)

Algorithm

51×	egg-herbie

Rules

32866×	`fma-def`
27232×	`+-commutative`
26680×	`*-commutative`
26404×	`associate-r`
24732×	`distribute-lft-in`

Stop Event

7×	saturated
44×	node limit

Compiler

Compiled 19046 to 13298 computations (30.2% saved)

series5.0s (1.3%)

Counts

1013 → 20089

Calls

5538 calls:

Time	Variable		Point	Expression
85.0ms	t	@	0	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3) 3)
67.0ms	x1	@	0	(+.f64 (.f64 x1 (.f64 x1 -6)) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (/.f64 2 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))))))) (.f64 (.f64 x1 x1) 4))))
62.0ms	x2	@	inf	(.f64 x1 (+.f64 (.f64 (.f64 2 (+.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (-.f64 (.f64 2 x2) x1)) (fma.f64 x1 x1 1)) -3)) (/.f64 (fma.f64 x1 (.f64 x1 3) (-.f64 (.f64 2 x2) x1)) (fma.f64 x1 x1 1))) (.f64 x1 (fma.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (-.f64 (.f64 2 x2) x1)) (fma.f64 x1 x1 1)) 4 -6))))
62.0ms	c	@	-inf	(pow.f64 (.f64 (.f64 c a) -4) 1/4)
58.0ms	a	@	0	(log.f64 (+.f64 1 (expm1.f64 (+.f64 (+.f64 b d) (+.f64 c a)))))

end4.2s (1.1%)

Compiler: Compiled 8065 to 4262 computations (47.2% saved)

preprocess2.7s (0.7%)

Algorithm

84×	egg-herbie

Rules

23512×	`fma-def`
17930×	`distribute-lft-in`
17024×	`*-commutative`
15010×	`+-commutative`
14462×	`distribute-rgt-in`

Stop Event

5×	unsound
54×	saturated
25×	node limit

Compiler

Compiled 913 to 679 computations (25.6% saved)

Details

sample1.5min (22.9%)

eval1.2min (19.2%)

simplify55.9s (14.4%)

rewrite42.6s (11%)

prune40.8s (10.5%)

regimes32.2s (8.3%)

localize14.2s (3.7%)

analyze11.1s (2.9%)

bsearch8.9s (2.3%)

soundness6.4s (1.7%)

series5.0s (1.3%)

end4.2s (1.1%)

preprocess2.7s (0.7%)

Profiling