Date:	Saturday, November 26th, 2022
Commit:	ce9ba413 on main
Hostname:	nightly with Racket 8.6
Seed:	2022330
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

regimes9.6min (26.7%)

Counts

40069 → 7013

Calls

492 calls:

1.5min	x
1.4min	y
1.3min	z
1.1min	t
57.0s	a

Results

Compiler

Compiled 504844 to 277309 computations (45.1% saved)

sample7.3min (20.4%)

Results

4.6min	2132467×	body	256	valid
1.3min	337779×	body	256	infinite
27.3s	135250×	body	256	invalid
27.0s	51224×	body	1024	valid
11.9s	34804×	body	512	valid
7.8s	10286×	body	2048	valid
3.9s	9366×	body	1024	infinite
1.7s	1554×	body	8192	exit
1.5s	5490×	body	512	infinite
542.0ms	339×	body	4096	valid
296.0ms	682×	body	1024	invalid
280.0ms	565×	body	512	invalid
2.0ms	2×	body	2048	infinite

Bogosity

simplify4.0min (11.3%)

Algorithm

3324×

egg-herbie

Rules

1040922×	`fma-def_binary64`
894402×	`fma-neg_binary64`
867722×	`log-prod_binary64`
681193×	`unswap-sqr_binary64`
619567×	`times-frac_binary64`

Stop Event

17×	unsound
69×	done
436×	saturated
200×	fuel
2871×	node limit

Counts

420087 → 422896

Compiler

Compiled 82624 to 46382 computations (43.9% saved)

eval3.6min (10.2%)

Compiler: Compiled 12242733 to 5723754 computations (53.2% saved)

rewrite3.0min (8.2%)

Algorithm

2785×	batch-egg-rewrite
10×	egg-rewrite
5×	egg-rewrite-iter-limit

Rules

1183190×	`pow1_binary64`
1104496×	`add-log-exp_binary64`
1104045×	`expm1-log1p-u_binary64`
1103997×	`log1p-expm1-u_binary64`
1000970×	`add-exp-log_binary64`

Stop Event

5×	unsound
5×	iter limit
2790×	node limit

Counts

5851 → 261848

prune2.6min (7.2%)

Counts: 496439 → 15792
Compiler: Compiled 406180 to 286813 computations (29.4% saved)

bsearch1.8min (5.1%)

Algorithm

4609×	binary-search
416×	left-value

Results

1.4min	554018×	body	256	valid
4.7s	7960×	body	1024	valid
4.7s	27340×	body	256	infinite
2.7s	6946×	body	512	valid
851.0ms	6975×	body	256	invalid
212.0ms	433×	body	2048	valid
27.0ms	32×	body	512	infinite
8.0ms	7×	body	4096	valid
3.0ms	6×	body	1024	infinite

Compiler

Compiled 1035394 to 754898 computations (27.1% saved)

analyze1.0min (2.9%)

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)

localize52.9s (2.5%)

Compiler: Compiled 128482 to 57922 computations (54.9% saved)

series40.4s (1.9%)

Counts

5851 → 157969

Calls

41496 calls:

Time	Variable		Point	Expression
336.0ms	y	@	-inf	(log1p.f64 (.f64 1/3 (acos.f64 (.f64 (.f64 (sqrt.f64 t) 1/18) (/.f64 x (.f64 y z))))))
281.0ms	y	@	-inf	(-.f64 (log.f64 (+.f64 -1 x)) (log.f64 y))
269.0ms	y	@	inf	(+.f64 x (*.f64 (/.f64 y (+.f64 1 t)) (-.f64 a x)))
240.0ms	x	@	0	(*.f64 x (-.f64 (log.f64 (neg.f64 x)) (log.f64 (neg.f64 y))))
236.0ms	x	@	0	(*.f64 (log.f64 (cbrt.f64 (/.f64 x y))) 3)

soundness34.2s (1.6%)

Algorithm

327×	egg-herbie

Rules

125034×	`fma-def_binary64`
109344×	`fma-neg_binary64`
61572×	`associate-/l*_binary64`
56817×	`distribute-rgt-in_binary64`
50977×	`div-sub_binary64`

Stop Event

106×	saturated
1×	unsound
220×	node limit

Compiler

Compiled 50131 to 34999 computations (30.2% saved)

end30.7s (1.4%)

Compiler: Compiled 80326 to 35487 computations (55.8% saved)

preprocess16.2s (0.8%)

Algorithm

540×	egg-herbie

Rules

98329×	`fma-def_binary64`
92803×	`fma-neg_binary64`
46036×	`sub-neg_binary64`
45046×	`div-sub_binary64`
43640×	`distribute-rgt-in_binary64`

Stop Event

58×	unsound
354×	saturated
128×	node limit

Compiler

Compiled 4571 to 3320 computations (27.4% saved)

Details

regimes9.6min (26.7%)

sample7.3min (20.4%)

simplify4.0min (11.3%)

eval3.6min (10.2%)

rewrite3.0min (8.2%)

prune2.6min (7.2%)

bsearch1.8min (5.1%)

analyze1.0min (2.9%)

localize52.9s (2.5%)

series40.4s (1.9%)

soundness34.2s (1.6%)

end30.7s (1.4%)

preprocess16.2s (0.8%)

Profiling