Details

analyze573.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%	99.8%	0.2%	7
0%	99.8%	0.2%	8
18.7%	81.1%	0.2%	9
21.8%	78%	0.2%	10
25%	74.9%	0.2%	11
34.7%	64.9%	0.4%	12
47.2%	51.9%	0.9%	13
49%	49.2%	1.8%	14

sample19.0ms

Algorithm

intervals

Results

7.0ms	256×	body	80	valid
1.0ms	53×	body	80	invalid

simplify6.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	67	7
1	67	7

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

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

11.2b

(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`cbrt-unprod_binary64` `cbrt-undiv_binary64` `prod-exp_binary64` `div-exp_binary64`
1×	`-un-lft-identity_binary64` `associate-/r_binary64` `add-log-exp_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `clear-num_binary64` `frac-2neg_binary64` `add-sqr-sqrt_binary64` `associate-/l*_binary64` `times-frac_binary64` `div-inv_binary64`

Counts

1 → 21

Calls

1 calls:

6.0ms

(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

simplify55.0ms

Algorithm

egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5102	191

prune46.0ms

Filtered

13 candidates to 24 candidates (-84.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	17	7	24
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	17	8	25

Merged error: 0.1b

Counts

25 → 8

localize7.0ms

Local error

Found 2 expressions with local error:

0.3b	(/.f64 1 (/.f64 (.f64 b1 b2) (.f64 a1 a2)))
11.1b	(/.f64 (.f64 b1 b2) (.f64 a1 a2))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

58×	`add-exp-log_binary64`
32×	`add-cbrt-cube_binary64`
26×	`div-exp_binary64`
20×	`times-frac_binary64`
16×	`prod-exp_binary64`
13×	`cbrt-undiv_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
8×	`cbrt-unprod_binary64`
6×	`associate-/r*_binary64` `div-inv_binary64`
5×	`1-exp_binary64` `rec-exp_binary64`
4×	`associate-/l*_binary64`
3×	`pow1_binary64`
2×	`add-log-exp_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`associate-/r/_binary64` `inv-pow_binary64` `pow-flip_binary64`

Counts

2 → 77

Calls

2 calls:

8.0ms	(/.f64 1 (/.f64 (.f64 b1 b2) (.f64 a1 a2)))
6.0ms	(/.f64 (.f64 b1 b2) (.f64 a1 a2))

series22.0ms

Counts

2 → 6

Calls

2 calls:

13.0ms	(/.f64 1 (/.f64 (.f64 b1 b2) (.f64 a1 a2)))
9.0ms	(/.f64 (.f64 b1 b2) (.f64 a1 a2))

simplify60.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4985	780
1	4985	780

prune64.0ms

Filtered

35 candidates to 83 candidates (-137.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	80	3	83
Fresh	1	5	6
Picked	0	1	1
Done	1	0	1
Total	82	9	91

Merged error: 0.0b

Counts

91 → 9

localize7.0ms

Local error

Found 3 expressions with local error:

0.3b	(/.f64 1 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))
4.9b	(*.f64 (/.f64 b1 a1) b2)
6.3b	(/.f64 (*.f64 (/.f64 b1 a1) b2) a2)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-exp-log_binary64`
46×	`times-frac_binary64`
34×	`add-sqr-sqrt_binary64`
31×	`add-cbrt-cube_binary64`
29×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
25×	`div-exp_binary64`
13×	`cbrt-undiv_binary64` `associate-l_binary64`
10×	`associate-/r*_binary64` `prod-exp_binary64`
7×	`div-inv_binary64`
6×	`pow1_binary64` `cbrt-unprod_binary64`
4×	`1-exp_binary64` `rec-exp_binary64` `associate-/l*_binary64`
3×	`add-log-exp_binary64` `associate-r_binary64`
2×	`unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `inv-pow_binary64` `pow-flip_binary64` `*-commutative_binary64`

Counts

3 → 116

Calls

3 calls:

8.0ms	(/.f64 1 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))
6.0ms	(*.f64 (/.f64 b1 a1) b2)
7.0ms	(/.f64 (*.f64 (/.f64 b1 a1) b2) a2)

series24.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(/.f64 1 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))
6.0ms	(*.f64 (/.f64 b1 a1) b2)
9.0ms	(/.f64 (*.f64 (/.f64 b1 a1) b2) a2)

simplify62.0ms

Algorithm

egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5043	1107

prune103.0ms

Filtered

75 candidates to 125 candidates (-66.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	122	3	125
Fresh	1	6	7
Picked	1	0	1
Done	0	1	1
Total	124	10	134

Merged error: 0.0b

Counts

134 → 10

localize8.0ms

Local error

Found 3 expressions with local error:

0.3b	(/.f64 1 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))
3.5b	(*.f64 b1 (/.f64 b2 a1))
6.3b	(/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-exp-log_binary64`
46×	`times-frac_binary64`
34×	`add-sqr-sqrt_binary64`
31×	`add-cbrt-cube_binary64`
29×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
25×	`div-exp_binary64`
13×	`associate-r_binary64` `cbrt-undiv_binary64`
10×	`associate-/r*_binary64` `prod-exp_binary64`
7×	`div-inv_binary64`
6×	`pow1_binary64` `cbrt-unprod_binary64`
4×	`1-exp_binary64` `rec-exp_binary64` `associate-/l*_binary64`
3×	`add-log-exp_binary64` `associate-l_binary64`
2×	`associate-*r/_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`pow-prod-down_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `inv-pow_binary64` `pow-flip_binary64` `*-commutative_binary64`

Counts

3 → 116

Calls

3 calls:

8.0ms	(/.f64 1 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))
7.0ms	(*.f64 b1 (/.f64 b2 a1))
6.0ms	(/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)

series25.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(/.f64 1 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))
5.0ms	(*.f64 b1 (/.f64 b2 a1))
9.0ms	(/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)

simplify59.0ms

Algorithm

egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4984	1101
1	4984	1101

prune76.0ms

Filtered

71 candidates to 125 candidates (-76.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	121	4	125
Fresh	3	5	8
Picked	1	0	1
Done	1	0	1
Total	126	9	135

Merged error: 0b

Counts

135 → 9

regimes585.0ms

Accuracy

49.8% (5.8b remaining)

Error of 5.8b against oracle of 0.0b and baseline of 11.6b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	31	63
1	31	63

end0.0ms

sample492.0ms

Algorithm

intervals

Results

217.0ms	8000×	body	80	valid
48.0ms	1843×	body	80	invalid

Details

analyze573.0ms

sample19.0ms

simplify6.0ms

prune3.0ms

localize5.0ms

rewrite6.0ms

series9.0ms

simplify55.0ms

prune46.0ms

localize7.0ms

rewrite17.0ms

series22.0ms

simplify60.0ms

prune64.0ms

localize7.0ms

rewrite25.0ms

series24.0ms

simplify62.0ms

prune103.0ms

localize8.0ms

rewrite25.0ms

series25.0ms

simplify59.0ms

prune76.0ms

regimes585.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample492.0ms

Profiling