Date:	Tuesday, June 6th, 2023
Commit:	7cb3f216 on main
Hostname:	nightly with Racket 8.6
Seed:	2023157
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:simplifygenerate:proofs` default

Details

sample23.9min (18.6%)

Results

9.2min	3329461×	body	256	valid
4.0min	39815×	body	8192	exit
3.1min	273010×	body	1024	valid
1.7min	93069×	body	2048	valid
1.4min	524986×	body	256	infinite
1.1min	14432×	body	4096	valid
54.0s	148810×	body	512	valid
49.9s	256388×	body	256	invalid
30.1s	2391×	body	8192	valid
15.4s	20323×	body	1024	infinite
9.1s	49285×	body	256	unsamplable
8.5s	16288×	body	1024	invalid
7.9s	1303×	body	4096	infinite
6.1s	1590×	body	2048	infinite
5.0s	11109×	body	512	infinite
3.3s	8996×	body	512	invalid
2.2s	5539×	body	2048	invalid
870.0ms	2981×	body	256	precondition
472.0ms	27×	body	8192	infinite
375.0ms	507×	body	1024	unsamplable
163.0ms	275×	body	2048	unsamplable
62.0ms	249×	body	512	unsamplable
6.0ms	9×	body	4096	invalid
2.0ms	1×	body	8192	invalid

Bogosity

localize21.3min (16.6%)

Results

Compiler

Compiled 433707 to 224485 computations (48.2% saved)

regimes19.4min (15.1%)

Counts

121808 → 10355

Calls

1162 calls:

2.1min	x
1.8min	y
1.5min	z
1.4min	t
1.4min	a

Results

Compiler

Compiled 1918922 to 1021864 computations (46.7% saved)

eval14.3min (11.1%)

Compiler: Compiled 42649869 to 23276597 computations (45.4% saved)

simplify13.9min (10.8%)

Algorithm

7216×

egg-herbie

Rules

5352624×	`fma-def`
3637798×	`log-prod`
2921186×	`unswap-sqr`
2788436×	`distribute-lft-in`
2741196×	`fma-neg`

Stop Event

35×	unsound
825×	saturated
96×	done
435×	fuel
6356×	node limit

Counts

1007088 → 1088644

Compiler

Compiled 137189 to 84222 computations (38.6% saved)

rewrite9.8min (7.6%)

Algorithm

6150×

batch-egg-rewrite

Rules

4771430×	`log-prod`
4132818×	`pow1`
3863694×	`add-exp-log`
3861430×	`log1p-expm1-u`
3861070×	`expm1-log1p-u`

Stop Event

18×	unsound
6132×	node limit

Counts

14627 → 667994

soundness9.5min (7.4%)

Rules

2868322×	`fma-def`
2076220×	`log-prod`
1570626×	`fma-neg`
1409274×	`associate-r`
1319916×	`times-frac`

Stop Event

43×	unsound
237×	saturated
3836×	node limit

Compiler

Compiled 387494 to 220026 computations (43.2% saved)

prune7.5min (5.8%)

Counts: 1350251 → 58070
Compiler: Compiled 1983875 to 1402510 computations (29.3% saved)

bsearch3.2min (2.5%)

Algorithm

5808×	binary-search
702×	left-value

Stop Event

5661×	narrow-enough
5×	predicate-failed
142×	predicate-same

Results

1.8min	573303×	body	256	valid
22.6s	27733×	body	1024	valid
17.3s	78160×	body	256	infinite
8.5s	18085×	body	512	valid
7.1s	6732×	body	2048	valid
4.8s	27719×	body	256	invalid
3.0s	1562×	body	4096	valid
1.2s	684×	body	1024	infinite
1.2s	259×	body	2048	infinite
984.0ms	145×	body	4096	infinite
454.0ms	493×	body	512	infinite
262.0ms	641×	body	1024	invalid
166.0ms	208×	body	8192	exit
133.0ms	8×	body	8192	valid
97.0ms	425×	body	512	invalid
57.0ms	4×	body	8192	infinite
55.0ms	365×	body	256	unsamplable
1.0ms	3×	body	1024	unsamplable
0.0ms	2×	body	512	unsamplable
0.0ms	1×	body	2048	unsamplable

Compiler

Compiled 1325163 to 966271 computations (27.1% saved)

series2.0min (1.6%)

Counts

14627 → 338559

Calls

92259 calls:

Time	Variable		Point	Expression
496.0ms	z	@	-inf	(+.f64 (/.f64 x (/.f64 (+.f64 y z) (-.f64 (.f64 z z) (.f64 y y)))) y)
469.0ms	z	@	0	(log.f64 (*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))))))
414.0ms	x	@	-inf	(log.f64 (.f64 3 (log.f64 (+.f64 (.f64 2 (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))))))) (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))))))))))
412.0ms	b	@	inf	(log.f64 (pow.f64 (exp.f64 x) (exp.f64 (fma.f64 a (-.f64 (log1p.f64 z) b) (*.f64 y (-.f64 (log.f64 z) t))))))
382.0ms	x	@	inf	(log.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))

analyze1.5min (1.2%)

Algorithm

539×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.7%	13.3%	0%	0%	0%	0
40.6%	35.2%	51.6%	13.3%	0%	0%	0%	1
46.5%	40.1%	46.1%	13.3%	0%	0.6%	0%	2
56.1%	47.7%	37.3%	13.3%	0%	1.8%	0%	3
62.1%	52.4%	31.9%	13.3%	0%	2.4%	0%	4
67.8%	56.9%	27%	13.3%	0%	2.7%	0%	5
71.5%	59.7%	23.8%	13.3%	0%	3.2%	0%	6
75.4%	62.3%	20.3%	13.3%	0%	4.1%	0%	7
77.2%	63.5%	18.7%	13.3%	0%	4.4%	0%	8
79.8%	65.2%	16.5%	13.3%	0%	4.9%	0.1%	9
81.3%	66.1%	15.2%	13.3%	0%	5.3%	0.1%	10
83.6%	67.6%	13.3%	13.3%	0%	5.7%	0.1%	11
84.7%	68.3%	12.3%	13.3%	0%	6%	0.1%	12

Compiler

Compiled 11861 to 8220 computations (30.7% saved)

end1.3min (1%)

Compiler: Compiled 289520 to 144754 computations (50% saved)

preprocess44.4s (0.6%)

Algorithm

1070×

egg-herbie

Rules

509874×	`fma-def`
212664×	`fma-neg`
181204×	`sub-neg`
162764×	`div-sub`
161222×	`distribute-lft-in`

Stop Event

679×	saturated
104×	unsound
287×	node limit

Compiler

Compiled 11184 to 8005 computations (28.4% saved)

Details

sample23.9min (18.6%)

localize21.3min (16.6%)

regimes19.4min (15.1%)

eval14.3min (11.1%)

simplify13.9min (10.8%)

rewrite9.8min (7.6%)

soundness9.5min (7.4%)

prune7.5min (5.8%)

bsearch3.2min (2.5%)

series2.0min (1.6%)

analyze1.5min (1.2%)

end1.3min (1%)

preprocess44.4s (0.6%)

Profiling