Date:	Monday, October 24th, 2022
Commit:	f5f822ae on pareto-combine
Hostname:	warfa with Racket 8.5
Seed:	2022297
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.8min (26.6%)

Results

55.5s	296930×	body	256	valid
22.6s	14998×	body	2048	valid
14.7s	21702×	body	1024	valid
7.5s	22501×	body	256	invalid
4.4s	12242×	body	512	valid
1.7s	202×	body	8192	exit
1.0s	880×	body	4096	valid
144.0ms	202×	body	1024	invalid
137.0ms	265×	body	512	invalid
29.0ms	22×	body	2048	invalid

eval52.0s (12.7%)

Compiler: Compiled 1764422 to 1063354 computations (39.7% saved)

simplify45.5s (11.1%)

Algorithm

463×	egg-herbie

Rules

160876×	`fma-def_binary64`
109112×	`unswap-sqr_binary64`
103800×	`associate-l_binary64`
91461×	`times-frac_binary64`
90510×	`sqr-pow_binary64`

Stop Event

11×	done
118×	saturated
31×	fuel
345×	node limit

Counts

55889 → 48196

Compiler

Compiled 8198 to 5089 computations (37.9% saved)

regimes40.0s (9.8%)

Counts

4229 → 516

Calls

92 calls:

5.6s	a
5.0s	c
4.7s	b
2.2s	d
1.9s	x

Compiler

Compiled 69896 to 41076 computations (41.2% saved)

rewrite38.0s (9.3%)

Algorithm

379×	batch-egg-rewrite

Rules

146184×	`pow1_binary64`
137499×	`add-log-exp_binary64`
137461×	`expm1-log1p-u_binary64`
137456×	`log1p-expm1-u_binary64`
127945×	`add-exp-log_binary64`

Stop Event

379×	node limit

Counts

882 → 39174

series32.2s (7.9%)

Counts

882 → 16673

Calls

4749 calls:

Time	Variable		Point	Expression
27.0s	a	@	0	(.f64 (-.f64 (pow.f64 (pow.f64 (.f64 b b) 3/2) 1/3) b) (/.f64 1/2 a))
171.0ms	t	@	0	(pow.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 3)
145.0ms	x2	@	-inf	(/.f64 (+.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3) (+.f64 (pow.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 2) -9))
140.0ms	x2	@	inf	(+.f64 (.f64 x1 (.f64 x1 -6)) (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (/.f64 2 (/.f64 (fma.f64 x1 x1 1) (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))))))) (.f64 (.f64 x1 x1) 4))))
140.0ms	t	@	0	(.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))

bsearch26.4s (6.5%)

Algorithm

277×	binary-search
9×	left-value

Compiler

Compiled 30298 to 20947 computations (30.9% saved)

localize19.5s (4.8%)

Compiler: Compiled 31106 to 18159 computations (41.6% saved)

prune15.9s (3.9%)

Counts: 59855 → 2170
Compiler: Compiled 65894 to 45200 computations (31.4% saved)

analyze13.5s (3.3%)

Algorithm

43×	search
2×	random

Search

True	Other	False	Iter
0%	54.5%	45.5%	0
3.5%	51%	45.5%	1
3.5%	51%	45.5%	2
10.9%	42.4%	46.7%	3
14.3%	38.7%	47%	4
18.2%	34%	47.8%	5
19.4%	31.4%	49.2%	6
22%	27.2%	50.8%	7
23.4%	25.2%	51.5%	8
25%	22.5%	52.5%	9
26.9%	20%	53.1%	10
28.3%	18%	53.7%	11
29.7%	16.2%	54.1%	12

Compiler

Compiled 1441 to 1017 computations (29.4% saved)

end7.4s (1.8%)

Compiler: Compiled 7948 to 4356 computations (45.2% saved)

soundness6.2s (1.5%)

Algorithm

39×	egg-herbie

Rules

17735×	`fma-def_binary64`
12783×	`fma-neg_binary64`
9355×	`times-frac_binary64`
7414×	`div-sub_binary64`
7117×	`distribute-rgt-in_binary64`

Stop Event

11×	saturated
28×	node limit

Compiler

Compiled 15564 to 10763 computations (30.8% saved)

preprocess3.4s (0.8%)

Algorithm

84×	egg-herbie

Rules

15213×	`fma-def_binary64`
8199×	`fma-neg_binary64`
7730×	`distribute-rgt-in_binary64`
5512×	`unsub-neg_binary64`
5438×	`div-sub_binary64`

Stop Event

6×	unsound
53×	saturated
25×	node limit

Compiler

Compiled 913 to 679 computations (25.6% saved)

Details

sample1.8min (26.6%)

eval52.0s (12.7%)

simplify45.5s (11.1%)

regimes40.0s (9.8%)

rewrite38.0s (9.3%)

series32.2s (7.9%)

bsearch26.4s (6.5%)

localize19.5s (4.8%)

prune15.9s (3.9%)

analyze13.5s (3.3%)

end7.4s (1.8%)

soundness6.2s (1.5%)

preprocess3.4s (0.8%)

Profiling