Details

sample11.0ms

Algorithm

intervals

Results

5.0ms

257×

body

valid

simplify10.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	3
1	19	3
2	21	3
3	23	3
4	25	3
5	26	3
6	26	3

prune5.0ms

Filtered

1 candidates to 1 candidates (100.0%)

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

Counts

2 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

0.1b	(fma (/ 841.0 108.0) x (/ 4.0 29.0))

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `fma-udef` `log1p-expm1-u` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

1.0ms

(fma (/ 841.0 108.0) x (/ 4.0 29.0))

series36.0ms

Counts

1 → 3

Calls

1 calls:

36.0ms

(fma (/ 841.0 108.0) x (/ 4.0 29.0))

simplify64.0ms

Algorithm

egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	30	53
1	54	46
2	161	46
3	607	46
4	2687	46
5	5003	46

prune25.0ms

Filtered

13 candidates to 10 candidates (76.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	11	2	13
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	12	3	15

Merged error: 0.1b

Counts

15 → 3

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
0.2b	(* (/ 841.0 108.0) x)

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`associate-l`
10×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
7×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `add-log-exp`
3×	`associate-r`
2×	`expm1-log1p-u` `associate-*l/` `prod-exp` `cbrt-unprod` `log1p-expm1-u` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `fma-def` `flip3-+` `div-exp` `pow-prod-down` `frac-add` `sum-log` `*-commutative` `flip-+` `div-inv`

Counts

2 → 49

Calls

2 calls:

7.0ms	(+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
6.0ms	(* (/ 841.0 108.0) x)

series51.0ms

Counts

2 → 6

Calls

2 calls:

33.0ms	(+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
18.0ms	(* (/ 841.0 108.0) x)

simplify82.0ms

Algorithm

egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 3 (77.0ms)

Iter	Nodes	Cost
0	252	227
1	873	207
2	3441	206
3	5001	205

prune93.0ms

Filtered

55 candidates to 42 candidates (76.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	52	3	55
Fresh	2	0	2
Picked	0	1	1
Done	0	0	0
Total	54	4	58

Merged error: 0b

Counts

58 → 4

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (sqrt (/ 841.0 108.0)) (* (sqrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))
0.2b	(* (sqrt (/ 841.0 108.0)) x)
0.3b	(* (sqrt (/ 841.0 108.0)) (* (sqrt (/ 841.0 108.0)) x))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

32×	`associate-l`
28×	`sqrt-prod`
27×	`add-sqr-sqrt`
20×	`add-cube-cbrt` `*-un-lft-identity`
19×	`times-frac`
10×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`sqrt-div`
7×	`associate-*l/`
5×	`add-log-exp`
4×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
3×	`expm1-log1p-u` `frac-add` `log1p-expm1-u` `unswap-sqr`
2×	`frac-times` `associate-r/` `-commutative` `div-inv`
1×	`+-commutative` `fma-def` `flip3-+` `sum-log` `flip-+`

Counts

3 → 89

Calls

3 calls:

12.0ms	(+ (* (sqrt (/ 841.0 108.0)) (* (sqrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))
7.0ms	(* (sqrt (/ 841.0 108.0)) x)
11.0ms	(* (sqrt (/ 841.0 108.0)) (* (sqrt (/ 841.0 108.0)) x))

series201.0ms

Counts

3 → 9

Calls

3 calls:

82.0ms	(+ (* (sqrt (/ 841.0 108.0)) (* (sqrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))
47.0ms	(* (sqrt (/ 841.0 108.0)) x)
72.0ms	(* (sqrt (/ 841.0 108.0)) (* (sqrt (/ 841.0 108.0)) x))

simplify125.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	337	607
1	1140	534
2	4996	524
3	5001	524

prune174.0ms

Filtered

98 candidates to 75 candidates (76.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	98	4	102

Merged error: 0b

Counts

102 → 4

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (/ (* 841.0 x) 108.0) (/ 4.0 29.0))
0.7b	(/ (* 841.0 x) 108.0)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

8×	`*-un-lft-identity`
7×	`add-exp-log` `fma-def` `add-cbrt-cube`
6×	`add-sqr-sqrt` `add-cube-cbrt` `times-frac`
4×	`add-log-exp`
3×	`associate-/r*`
2×	`pow1` `cbrt-undiv` `expm1-log1p-u` `div-exp` `log1p-expm1-u` `div-inv`
1×	`+-commutative` `frac-2neg` `flip3-+` `frac-add` `prod-exp` `clear-num` `sum-log` `cbrt-unprod` `flip-+` `distribute-lft-out` `associate-/l*`

Counts

2 → 45

Calls

2 calls:

10.0ms	(+ (/ (* 841.0 x) 108.0) (/ 4.0 29.0))
4.0ms	(/ (* 841.0 x) 108.0)

series48.0ms

Counts

2 → 6

Calls

2 calls:

33.0ms	(+ (/ (* 841.0 x) 108.0) (/ 4.0 29.0))
14.0ms	(/ (* 841.0 x) 108.0)

simplify87.0ms

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 3 (83.0ms)

Iter	Nodes	Cost
0	210	190
1	817	170
2	3654	168
3	5001	167

prune69.0ms

Filtered

51 candidates to 41 candidates (80.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	51	0	51
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	51	4	55

Merged error: 0b

Counts

55 → 4

regimes44.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	4
1	11	4

end0.0ms

sample248.0ms

Algorithm

intervals

Results

163.0ms	8011×	body	80	valid
0.0ms	2×	body	1280	valid
0.0ms	1×	body	320	valid
0.0ms	1×	body	160	valid

Details

sample11.0ms

simplify10.0ms

prune5.0ms

localize5.0ms

rewrite1.0ms

series36.0ms

simplify64.0ms

prune25.0ms

localize5.0ms

rewrite14.0ms

series51.0ms

simplify82.0ms

prune93.0ms

localize7.0ms

rewrite34.0ms

series201.0ms

simplify125.0ms

prune174.0ms

localize9.0ms

rewrite16.0ms

series48.0ms

simplify87.0ms

prune69.0ms

regimes44.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample248.0ms

Profiling