Details

analyze1.1s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0.4%	99.4%	0.2%	10
5.6%	94.2%	0.2%	11
7.1%	92.7%	0.2%	12
8.8%	91%	0.2%	13
15.6%	84.2%	0.2%	14

sample23.0ms

Algorithm

intervals

Results

10.0ms	256×	body	80	valid
0.0ms	9×	body	80	invalid

simplify72.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4871	13
1	4871	13

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 2.0b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
0.0b	(/.f64 (+.f64 (-.f64 t z) 1) a)
6.5b	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

239×	`*-un-lft-identity_binary64`
203×	`times-frac_binary64`
136×	`add-sqr-sqrt_binary64`
87×	`add-cube-cbrt_binary64`
44×	`distribute-lft-out_binary64`
43×	`distribute-lft-out--_binary64`
23×	`difference-of-squares_binary64`
22×	`associate-/r*_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-/l*_binary64`
8×	`div-inv_binary64`
5×	`add-log-exp_binary64`
4×	`associate-/l/_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
3×	`pow1_binary64` `div-sub_binary64`
2×	`flip3--_binary64` `clear-num_binary64` `frac-2neg_binary64` `flip--_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `diff-log_binary64` `associate--r-_binary64` `associate-/r/_binary64` `associate-+l-_binary64` `flip-+_binary64`

Counts

3 → 191

Calls

3 calls:

37.0ms	(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
9.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)
14.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))

series72.0ms

Counts

3 → 9

Calls

3 calls:

35.0ms	(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
7.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)
30.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))

simplify60.0ms

Algorithm

egg-herbie

Counts

200 → 200

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5837	3533

prune127.0ms

Filtered

118 candidates to 200 candidates (-69.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	196	4	200
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	197	4	201

Merged error: 0b

Counts

201 → 4

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(-.f64 x (/.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) (/.f64 1 a)))
0.0b	(/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1))
0.7b	(/.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) (/.f64 1 a))

rewrite189.0ms

Algorithm

rewrite-expression-head

Rules

1079×	`times-frac_binary64`
929×	`*-un-lft-identity_binary64`
570×	`add-sqr-sqrt_binary64`
393×	`add-cube-cbrt_binary64`
153×	`distribute-lft-out--_binary64`
152×	`distribute-lft-out_binary64`
83×	`difference-of-squares_binary64`
48×	`div-inv_binary64`
36×	`associate-/l*_binary64`
31×	`associate-/r/_binary64`
27×	`add-exp-log_binary64`
18×	`associate-/r*_binary64`
17×	`add-cbrt-cube_binary64` `div-exp_binary64`
15×	`flip3-+_binary64` `flip-+_binary64`
9×	`cbrt-undiv_binary64`
5×	`add-log-exp_binary64` `div-sub_binary64`
3×	`associate-/l/_binary64` `pow1_binary64`
2×	`flip3--_binary64` `1-exp_binary64` `clear-num_binary64` `frac-2neg_binary64` `rec-exp_binary64` `flip--_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `associate--r-_binary64`

Counts

3 → 544

Calls

3 calls:

106.0ms	(-.f64 x (/.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) (/.f64 1 a)))
11.0ms	(/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1))
27.0ms	(/.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) (/.f64 1 a))

series80.0ms

Counts

3 → 9

Calls

3 calls:

32.0ms	(-.f64 x (/.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) (/.f64 1 a)))
11.0ms	(/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1))
37.0ms	(/.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) (/.f64 1 a))

simplify113.0ms

Algorithm

egg-herbie

Counts

553 → 553

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5958	12741

prune216.0ms

Filtered

227 candidates to 553 candidates (-143.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	553	0	553
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	553	4	557

Merged error: 0b

Counts

557 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 a)
0.5b	(cbrt.f64 a)
0.8b	(.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) (cbrt.f64 a))))
2.8b	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) (cbrt.f64 a)))

rewrite142.0ms

Algorithm

rewrite-expression-head

Rules

731×	`*-un-lft-identity_binary64`
675×	`times-frac_binary64`
410×	`add-sqr-sqrt_binary64`
263×	`add-cube-cbrt_binary64`
175×	`associate-r_binary64`
172×	`cbrt-prod_binary64`
135×	`distribute-lft-out--_binary64`
132×	`distribute-lft-out_binary64`
69×	`difference-of-squares_binary64`
34×	`associate-/r*_binary64`
30×	`add-exp-log_binary64`
21×	`add-cbrt-cube_binary64`
13×	`div-inv_binary64`
9×	`pow1_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `prod-exp_binary64` `div-exp_binary64`
5×	`associate-/l*_binary64`
4×	`add-log-exp_binary64` `unswap-sqr_binary64`
3×	`pow-prod-down_binary64`
2×	`associate-/l/_binary64` `pow1/3_binary64` `associate-/r/_binary64`
1×	`flip3--_binary64` `associate-r/_binary64` `associate-l_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `flip--_binary64` `-commutative_binary64`

Counts

4 → 452

Calls

4 calls:

2.0ms	(cbrt.f64 a)
2.0ms	(cbrt.f64 a)
54.0ms	(.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) (cbrt.f64 a))))
19.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) (cbrt.f64 a)))

series109.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(cbrt.f64 a)
14.0ms	(cbrt.f64 a)
25.0ms	(.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) (cbrt.f64 a))))
55.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) (cbrt.f64 a)))

simplify91.0ms

Algorithm

egg-herbie

Counts

464 → 464

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5223	8267

prune222.0ms

Filtered

251 candidates to 464 candidates (-84.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	464	0	464
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	464	4	468

Merged error: 0b

Counts

468 → 4

localize20.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (-.f64 y z))
0.5b	(cbrt.f64 (-.f64 y z))
0.5b	(cbrt.f64 (-.f64 y z))
2.1b	(/.f64 (cbrt.f64 (-.f64 y z)) (/.f64 (cbrt.f64 (+.f64 (-.f64 t z) 1)) a))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

440×	`times-frac_binary64`
399×	`*-un-lft-identity_binary64`
295×	`cbrt-prod_binary64`
264×	`add-sqr-sqrt_binary64`
200×	`add-cube-cbrt_binary64`
59×	`distribute-lft-out--_binary64`
54×	`distribute-lft-out_binary64`
32×	`difference-of-squares_binary64`
28×	`associate-/r*_binary64`
10×	`div-inv_binary64`
9×	`add-exp-log_binary64`
8×	`cbrt-div_binary64` `associate-/l*_binary64`
6×	`add-cbrt-cube_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `flip3--_binary64` `flip--_binary64`
3×	`cbrt-undiv_binary64` `pow1/3_binary64` `div-exp_binary64`
2×	`associate-/l/_binary64`
1×	`associate-/r/_binary64` `clear-num_binary64` `frac-2neg_binary64`

Counts

4 → 322

Calls

4 calls:

3.0ms	(cbrt.f64 (-.f64 y z))
3.0ms	(cbrt.f64 (-.f64 y z))
3.0ms	(cbrt.f64 (-.f64 y z))
21.0ms	(/.f64 (cbrt.f64 (-.f64 y z)) (/.f64 (cbrt.f64 (+.f64 (-.f64 t z) 1)) a))

series154.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt.f64 (-.f64 y z))
27.0ms	(cbrt.f64 (-.f64 y z))
25.0ms	(cbrt.f64 (-.f64 y z))
77.0ms	(/.f64 (cbrt.f64 (-.f64 y z)) (/.f64 (cbrt.f64 (+.f64 (-.f64 t z) 1)) a))

simplify88.0ms

Algorithm

egg-herbie

Counts

334 → 334

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5081	7800

prune330.0ms

Filtered

232 candidates to 334 candidates (-44.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	334	0	334
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	334	4	338

Merged error: 0b

Counts

338 → 4

regimes241.0ms

Accuracy

0% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch0.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	140	15
1	140	15

end0.0ms

sample609.0ms

Algorithm

intervals

Results

324.0ms	8000×	body	80	valid
22.0ms	482×	body	80	invalid

Details

analyze1.1s

sample23.0ms

simplify72.0ms

prune3.0ms

localize9.0ms

rewrite71.0ms

series72.0ms

simplify60.0ms

prune127.0ms

localize10.0ms

rewrite189.0ms

series80.0ms

simplify113.0ms

prune216.0ms

localize15.0ms

rewrite142.0ms

series109.0ms

simplify91.0ms

prune222.0ms

localize20.0ms

rewrite55.0ms

series154.0ms

simplify88.0ms

prune330.0ms

regimes241.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample609.0ms

Profiling