Details

analyze466.0ms

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%	93.6%	6.4%	7
3.1%	84.2%	12.7%	8
12.5%	67.1%	20.5%	9
16%	63.5%	20.5%	10
17.9%	57.7%	24.4%	11
22.6%	48.7%	28.7%	12
28.7%	37.8%	33.6%	13
30.4%	35.9%	33.7%	14

sample26.0ms

Algorithm

intervals

Results

9.0ms	256×	body	80	valid
4.0ms	114×	body	80	nan
1.0ms	27×	body	80	invalid

simplify6.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	14	8
1	14	8

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: 15.5b

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.9b	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
4.8b	(/.f64 A (*.f64 V l))
13.8b	(sqrt.f64 (/.f64 A (*.f64 V l)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64`
15×	`sqrt-prod_binary64`
11×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
10×	`associate-r_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`times-frac_binary64`
6×	`pow1_binary64`
3×	`add-log-exp_binary64` `associate-l_binary64` `associate-/l*_binary64` `div-inv_binary64`
2×	`cbrt-unprod_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `div-exp_binary64` `sqrt-div_binary64`
1×	`pow-prod-down_binary64` `associate-/r_binary64` `pow1/2_binary64` `associate-r/_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `clear-num_binary64` `frac-2neg_binary64` `*-commutative_binary64`

Counts

3 → 66

Calls

3 calls:

7.0ms	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
4.0ms	(/.f64 A (*.f64 V l))
4.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))

series36.0ms

Counts

3 → 9

Calls

3 calls:

19.0ms	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
6.0ms	(/.f64 A (*.f64 V l))
11.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))

simplify70.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	5085	561

prune127.0ms

Filtered

57 candidates to 75 candidates (-31.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	63	12	75
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	64	12	76

Merged error: 5.4b

Counts

76 → 12

localize9.0ms

Local error

Found 4 expressions with local error:

4.8b	(/.f64 A (*.f64 V l))
4.8b	(/.f64 A (*.f64 V l))
15.6b	(cbrt.f64 (/.f64 A (*.f64 V l)))
15.6b	(cbrt.f64 (/.f64 A (*.f64 V l)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `cbrt-prod_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `times-frac_binary64`
6×	`associate-/l*_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `cbrt-undiv_binary64` `div-inv_binary64` `div-exp_binary64`
2×	`cbrt-div_binary64` `associate-/r*_binary64` `cbrt-unprod_binary64` `pow1/3_binary64` `clear-num_binary64` `prod-exp_binary64` `frac-2neg_binary64`

Counts

4 → 74

Calls

4 calls:

5.0ms	(/.f64 A (*.f64 V l))
7.0ms	(/.f64 A (*.f64 V l))
4.0ms	(cbrt.f64 (/.f64 A (*.f64 V l)))
4.0ms	(cbrt.f64 (/.f64 A (*.f64 V l)))

series58.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(/.f64 A (*.f64 V l))
6.0ms	(/.f64 A (*.f64 V l))
24.0ms	(cbrt.f64 (/.f64 A (*.f64 V l)))
22.0ms	(cbrt.f64 (/.f64 A (*.f64 V l)))

simplify43.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5647	614

prune102.0ms

Filtered

64 candidates to 86 candidates (-34.4%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	84	2	86
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	84	14	98

Merged error: 5.4b

Counts

98 → 14

localize14.0ms

Local error

Found 4 expressions with local error:

4.8b	(/.f64 A (*.f64 V l))
13.8b	(sqrt.f64 (/.f64 A (*.f64 V l)))
13.8b	(sqrt.f64 (/.f64 A (*.f64 V l)))
15.6b	(cbrt.f64 (/.f64 A (*.f64 V l)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64` `sqrt-prod_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `times-frac_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
7×	`cbrt-prod_binary64`
6×	`pow1_binary64`
4×	`add-log-exp_binary64` `div-inv_binary64`
3×	`associate-/l*_binary64`
2×	`pow1/2_binary64` `cbrt-undiv_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `div-exp_binary64` `sqrt-div_binary64`
1×	`cbrt-div_binary64` `associate-/r*_binary64` `cbrt-unprod_binary64` `pow1/3_binary64` `clear-num_binary64` `prod-exp_binary64` `frac-2neg_binary64`

Counts

4 → 73

Calls

4 calls:

5.0ms	(/.f64 A (*.f64 V l))
4.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))
4.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))
4.0ms	(cbrt.f64 (/.f64 A (*.f64 V l)))

series51.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(/.f64 A (*.f64 V l))
12.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))
10.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))
22.0ms	(cbrt.f64 (/.f64 A (*.f64 V l)))

simplify55.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4931	606
1	4931	606

prune103.0ms

Filtered

66 candidates to 85 candidates (-28.8%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	12	12
Picked	0	1	1
Done	0	1	1
Total	85	14	99

Merged error: 5.4b

Counts

99 → 14

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 A)
4.8b	(/.f64 A (*.f64 V l))
12.3b	(cbrt.f64 (*.f64 V l))
15.6b	(cbrt.f64 (/.f64 A (*.f64 V l)))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

11×	`cbrt-prod_binary64`
9×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64`
6×	`times-frac_binary64`
4×	`add-log-exp_binary64` `pow1_binary64`
3×	`pow1/3_binary64` `associate-/l*_binary64`
2×	`cbrt-undiv_binary64` `div-inv_binary64` `div-exp_binary64`
1×	`cbrt-div_binary64` `associate-/r*_binary64` `cbrt-unprod_binary64` `clear-num_binary64` `prod-exp_binary64` `frac-2neg_binary64`

Counts

4 → 57

Calls

4 calls:

1.0ms	(cbrt.f64 A)
4.0ms	(/.f64 A (*.f64 V l))
2.0ms	(cbrt.f64 (*.f64 V l))
3.0ms	(cbrt.f64 (/.f64 A (*.f64 V l)))

series61.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(cbrt.f64 A)
6.0ms	(/.f64 A (*.f64 V l))
14.0ms	(cbrt.f64 (*.f64 V l))
22.0ms	(cbrt.f64 (/.f64 A (*.f64 V l)))

simplify53.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4985	413
1	4985	413

prune54.0ms

Filtered

52 candidates to 69 candidates (-32.7%)

Pruning

15 alts after pruning (12 fresh and 3 done)

	Pruned	Kept	Total
New	67	2	69
Fresh	1	10	11
Picked	0	1	1
Done	0	2	2
Total	68	15	83

Merged error: 3.3b

Counts

83 → 15

regimes867.0ms

Accuracy

34.4% (5.2b remaining)

Error of 9.6b against oracle of 4.4b and baseline of 12.3b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	42	48
1	42	48

end0.0ms

sample674.0ms

Algorithm

intervals

Results

279.0ms	8000×	body	80	valid
100.0ms	3073×	body	80	nan
28.0ms	856×	body	80	invalid

Details

analyze466.0ms

sample26.0ms

simplify6.0ms

prune3.0ms

localize6.0ms

rewrite17.0ms

series36.0ms

simplify70.0ms

prune127.0ms

localize9.0ms

rewrite22.0ms

series58.0ms

simplify43.0ms

prune102.0ms

localize14.0ms

rewrite17.0ms

series51.0ms

simplify55.0ms

prune103.0ms

localize14.0ms

rewrite13.0ms

series61.0ms

simplify53.0ms

prune54.0ms

regimes867.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample674.0ms

Profiling