Details

analyze468.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

sample25.0ms

Algorithm

intervals

Results

9.0ms	256×	body	80	valid
3.0ms	83×	body	80	nan
1.0ms	28×	body	80	invalid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.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: 18.3b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.9b	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
4.5b	(/.f64 A (*.f64 V l))
15.0b	(sqrt.f64 (/.f64 A (*.f64 V l)))

rewrite21.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:

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

series33.0ms

Counts

3 → 9

Calls

3 calls:

16.0ms	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
6.0ms	(/.f64 A (*.f64 V l))
12.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))

simplify69.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5085	561

prune138.0ms

Filtered

57 candidates to 75 candidates (-31.6%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	57	18	75
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	18	76

Merged error: 4.8b

Counts

76 → 18

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 A)
0.9b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
4.0b	(.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))
15.0b	(sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

40×	`add-sqr-sqrt_binary64`
28×	`times-frac_binary64`
27×	`add-exp-log_binary64`
26×	`associate-r_binary64`
22×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
20×	`add-cbrt-cube_binary64`
14×	`cbrt-prod_binary64`
11×	`pow1_binary64`
10×	`associate-l_binary64`
9×	`cbrt-unprod_binary64` `prod-exp_binary64`
7×	`cbrt-undiv_binary64` `unswap-sqr_binary64` `div-exp_binary64`
6×	`associate-*r/_binary64` `sqrt-div_binary64`
4×	`add-log-exp_binary64`
3×	`pow-prod-down_binary64` `frac-times_binary64` `associate-*l/_binary64`
2×	`sqrt-pow1_binary64` `div-inv_binary64` `sqrt-prod_binary64` `*-commutative_binary64`
1×	`pow1/2_binary64` `pow1/3_binary64`

Counts

4 → 106

Calls

4 calls:

1.0ms	(cbrt.f64 A)
12.0ms	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
14.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))
8.0ms	(sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))

series63.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(cbrt.f64 A)
23.0ms	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
10.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))
14.0ms	(sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))

simplify75.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4939	972
1	4939	972

prune143.0ms

Filtered

86 candidates to 118 candidates (-37.2%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	114	4	118
Fresh	4	13	17
Picked	0	1	1
Done	0	0	0
Total	118	18	136

Merged error: 2.9b

Counts

136 → 18

localize9.0ms

Local error

Found 4 expressions with local error:

4.5b	(/.f64 A (*.f64 V l))
4.5b	(/.f64 A (*.f64 V l))
15.0b	(sqrt.f64 (/.f64 A (*.f64 V l)))
15.0b	(sqrt.f64 (/.f64 A (*.f64 V l)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 78

Calls

4 calls:

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

series31.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify66.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4542	600
1	4542	600

prune114.0ms

Filtered

66 candidates to 90 candidates (-36.4%)

Pruning

18 alts after pruning (16 fresh and 2 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	16	16
Picked	0	1	1
Done	0	1	1
Total	90	18	108

Merged error: 2.9b

Counts

108 → 18

localize9.0ms

Local error

Found 4 expressions with local error:

4.5b	(/.f64 A (*.f64 V l))
4.5b	(/.f64 A (*.f64 V l))
15.0b	(sqrt.f64 (/.f64 A (*.f64 V l)))
15.0b	(sqrt.f64 (/.f64 A (*.f64 V l)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 78

Calls

4 calls:

5.0ms	(/.f64 A (*.f64 V l))
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)))

series34.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/.f64 A (*.f64 V l))
5.0ms	(/.f64 A (*.f64 V l))
10.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))
11.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))

simplify67.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4542	600
1	4542	600

prune63.0ms

Filtered

66 candidates to 90 candidates (-36.4%)

Pruning

18 alts after pruning (15 fresh and 3 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	15	15
Picked	0	1	1
Done	0	2	2
Total	90	18	108

Merged error: 2.9b

Counts

108 → 18

regimes1.0s

Accuracy

34.5% (8.9b remaining)

Error of 13.2b against oracle of 4.3b and baseline of 17.9b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	44	70
1	44	70

end0.0ms

sample703.0ms

Algorithm

intervals

Results

282.0ms	8000×	body	80	valid
105.0ms	2960×	body	80	nan
31.0ms	838×	body	80	invalid

Details

analyze468.0ms

sample25.0ms

simplify5.0ms

prune3.0ms

localize7.0ms

rewrite21.0ms

series33.0ms

simplify69.0ms

prune138.0ms

localize13.0ms

rewrite39.0ms

series63.0ms

simplify75.0ms

prune143.0ms

localize9.0ms

rewrite21.0ms

series31.0ms

simplify66.0ms

prune114.0ms

localize9.0ms

rewrite19.0ms

series34.0ms

simplify67.0ms

prune63.0ms

regimes1.0s

bsearch1.0ms

simplify2.0ms

end0.0ms

sample703.0ms

Profiling