Date:	Wednesday, January 18th, 2023
Commit:	fcdb6f71 on main
Hostname:	nightly with Racket 8.6
Seed:	2023018
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

regimes10.8min (25.4%)

Counts

41762 → 7305

Calls

490 calls:

1.7min	x
1.6min	y
1.5min	z
1.2min	t
1.0min	a

Results

Compiler

Compiled 575415 to 276989 computations (51.9% saved)

sample7.6min (17.9%)

Results

4.8min	2132249×	body	256	valid
1.2min	334349×	body	256	infinite
29.6s	50869×	body	1024	valid
27.7s	135801×	body	256	invalid
13.6s	35435×	body	512	valid
7.7s	10208×	body	2048	valid
3.6s	9268×	body	1024	infinite
1.9s	1599×	body	8192	exit
1.6s	5526×	body	512	infinite
543.0ms	359×	body	4096	valid
303.0ms	700×	body	1024	invalid
180.0ms	565×	body	512	invalid

Bogosity

simplify5.7min (13.4%)

Algorithm

3300×

egg-herbie

Rules

1770006×	`associate-r`
1640012×	`associate-/l*`
1570184×	`associate-l`
1540380×	`*-commutative`
1505844×	`distribute-lft-in`

Stop Event

67×	done
6×	unsound
436×	saturated
202×	fuel
2858×	node limit

Counts

481361 → 541182

Compiler

Compiled 84037 to 48252 computations (42.6% saved)

eval4.8min (11.3%)

Compiler: Compiled 16659881 to 7744089 computations (53.5% saved)

rewrite4.1min (9.7%)

Algorithm

2761×	batch-egg-rewrite
6×	egg-rewrite-iter-limit
6×	egg-rewrite

Rules

2196374×	`add-sqr-sqrt`
2164468×	`*-un-lft-identity`
2025784×	`add-cube-cbrt`
2002264×	`add-cbrt-cube`
1112698×	`add-exp-log`

Stop Event

6×	unsound
6×	iter limit
2761×	node limit

Counts

5778 → 325453

prune3.4min (8%)

Counts: 627801 → 15834
Compiler: Compiled 431991 to 303230 computations (29.8% saved)

bsearch1.9min (4.6%)

Algorithm

4743×	binary-search
559×	left-value

Results

1.5min	561354×	body	256	valid
5.3s	31681×	body	256	infinite
4.8s	7503×	body	1024	valid
3.0s	8215×	body	512	valid
1.4s	9574×	body	256	invalid
84.0ms	191×	body	2048	valid
6.0ms	16×	body	512	infinite
5.0ms	10×	body	1024	infinite
5.0ms	16×	body	1024	invalid
4.0ms	21×	body	512	invalid
1.0ms	2×	body	4096	valid

Compiler

Compiled 1083498 to 785481 computations (27.5% saved)

analyze1.1min (2.7%)

Algorithm

270×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.7%	0.1%	0%	0.2%	0%	2
5.7%	5.6%	93.3%	0.1%	0.2%	0.7%	0%	3
8.5%	8.3%	89.2%	0.1%	1.2%	1.2%	0%	4
16.6%	16.1%	80.8%	0.1%	1.6%	1.4%	0%	5
21.4%	20.4%	74.8%	0.1%	2.7%	2%	0%	6
30.2%	28.1%	64.9%	0.1%	4%	2.8%	0%	7
35.6%	32.7%	59.4%	0.1%	4.5%	3.3%	0%	8
41.9%	38%	52.7%	0.1%	5.4%	3.7%	0%	9
47.4%	42.3%	46.9%	0.1%	6.4%	4.3%	0%	10
52.3%	46.1%	42%	0.1%	7.1%	4.6%	0%	11
56.4%	49.2%	38.1%	0.1%	7.7%	4.9%	0%	12

Compiler

Compiled 4021 to 2770 computations (31.1% saved)

localize55.5s (2.2%)

Compiler: Compiled 127998 to 57735 computations (54.9% saved)

soundness43.7s (1.7%)

Algorithm

321×	egg-herbie

Rules

184464×	`fma-def`
149436×	`*-commutative`
145268×	`associate-r`
133216×	`distribute-lft-in`
131944×	`+-commutative`

Stop Event

96×	saturated
1×	unsound
224×	node limit

Compiler

Compiled 33972 to 17545 computations (48.4% saved)

end34.8s (1.4%)

Compiler: Compiled 82258 to 37123 computations (54.9% saved)

series27.3s (1.1%)

Counts

5778 → 155638

Calls

40659 calls:

Time	Variable		Point	Expression
298.0ms	x	@	-inf	(log.f64 (*.f64 x y))
255.0ms	x	@	inf	(pow.f64 (cbrt.f64 (/.f64 1 (-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y))))) 3)
244.0ms	x	@	-inf	(/.f64 (-.f64 (pow.f64 (log.f64 x) 2) (pow.f64 (log.f64 y) 2)) (/.f64 (log.f64 (*.f64 x y)) x))
191.0ms	y	@	inf	(log.f64 (/.f64 y (sinh.f64 y)))
171.0ms	a	@	0	(/.f64 (*.f64 (-.f64 t x) (+.f64 y (neg.f64 a))) z)

preprocess17.2s (0.7%)

Algorithm

540×	egg-herbie

Rules

183176×	`fma-def`
105626×	`*-commutative`
101564×	`+-commutative`
95266×	`distribute-lft-in`
86488×	`associate-+l-`

Stop Event

59×	unsound
353×	saturated
128×	node limit

Compiler

Compiled 4571 to 3320 computations (27.4% saved)

Details

regimes10.8min (25.4%)

sample7.6min (17.9%)

simplify5.7min (13.4%)

eval4.8min (11.3%)

rewrite4.1min (9.7%)

prune3.4min (8%)

bsearch1.9min (4.6%)

analyze1.1min (2.7%)

localize55.5s (2.2%)

soundness43.7s (1.7%)

end34.8s (1.4%)

series27.3s (1.1%)

preprocess17.2s (0.7%)

Profiling