Details

sample22.0ms

Algorithm

intervals

Results

6.0ms	270×	body	80	valid
5.0ms	273×	body	80	nan

simplify20.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	13	4
1	25	3
2	44	3
3	69	3
4	102	3
5	171	3
6	192	3
7	225	3
8	316	3
9	351	3
10	351	3

prune5.0ms

Filtered

1 candidates to 1 candidates (100.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.1b	(fma (sqrt x) y (- 1.0 x))

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 (sqrt x) y (- 1.0 x))

series42.0ms

Counts

1 → 3

Calls

1 calls:

42.0ms

(fma (sqrt x) y (- 1.0 x))

simplify40.0ms

Algorithm

egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 3 (14.0ms)

Iter	Nodes	Cost
0	64	71
1	162	57
2	476	55
3	1755	54
4	5001	54

prune31.0ms

Filtered

13 candidates to 12 candidates (92.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	10	3	13
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	10	4	14

Merged error: 0.0b

Counts

14 → 4

localize8.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt (fma (sqrt x) y (- 1.0 x)))
0.3b	(cbrt (fma (sqrt x) y (- 1.0 x)))
0.3b	(cbrt (fma (sqrt x) y (- 1.0 x)))
0.3b	(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 81

Calls

4 calls:

1.0ms	(cbrt (fma (sqrt x) y (- 1.0 x)))
1.0ms	(cbrt (fma (sqrt x) y (- 1.0 x)))
1.0ms	(cbrt (fma (sqrt x) y (- 1.0 x)))
5.0ms	(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))

series544.0ms

Counts

4 → 12

Calls

4 calls:

141.0ms	(cbrt (fma (sqrt x) y (- 1.0 x)))
140.0ms	(cbrt (fma (sqrt x) y (- 1.0 x)))
135.0ms	(cbrt (fma (sqrt x) y (- 1.0 x)))
127.0ms	(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))

simplify105.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 3 (96.0ms)

Iter	Nodes	Cost
0	238	888
1	762	823
2	3359	765
3	5002	747

prune238.0ms

Filtered

93 candidates to 72 candidates (77.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	89	4	93
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	90	7	97

Merged error: 0.0b

Counts

97 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))
0.3b	(* (cbrt (fma (sqrt x) y (- 1.0 x))) (* (cbrt (* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))) (cbrt (cbrt (fma (sqrt x) y (- 1.0 x))))))
0.3b	(cbrt (* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x)))))
0.4b	(cbrt (cbrt (fma (sqrt x) y (- 1.0 x))))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

30×	`cbrt-prod`
24×	`add-sqr-sqrt`
17×	`add-cube-cbrt`
16×	`pow1` `*-un-lft-identity`
12×	`associate-l`
11×	`add-exp-log` `pow1/3`
7×	`swap-sqr` `associate-r` `pow-prod-down`
5×	`add-cbrt-cube`
4×	`expm1-log1p-u` `prod-exp` `cbrt-unprod` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`pow-sqr` `*-commutative` `pow-prod-up`
1×	`pow2` `pow-plus`

Counts

4 → 94

Calls

4 calls:

6.0ms	(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))
8.0ms	(* (cbrt (fma (sqrt x) y (- 1.0 x))) (* (cbrt (* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))) (cbrt (cbrt (fma (sqrt x) y (- 1.0 x))))))
4.0ms	(cbrt (* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x)))))
2.0ms	(cbrt (cbrt (fma (sqrt x) y (- 1.0 x))))

series539.0ms

Counts

4 → 12

Calls

4 calls:

134.0ms	(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))
133.0ms	(* (cbrt (fma (sqrt x) y (- 1.0 x))) (* (cbrt (* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))) (cbrt (cbrt (fma (sqrt x) y (- 1.0 x))))))
135.0ms	(cbrt (* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x)))))
138.0ms	(cbrt (cbrt (fma (sqrt x) y (- 1.0 x))))

simplify52.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	388	1493
1	1295	1373
2	5001	1213

prune324.0ms

Filtered

106 candidates to 81 candidates (76.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	105	1	106
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	105	8	113

Merged error: 0.0b

Counts

113 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt (fma (sqrt x) y (- 1.0 x)))
0.3b	(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))
0.3b	(cbrt (* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x)))))
0.4b	(cbrt (cbrt (fma (sqrt x) y (- 1.0 x))))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

29×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 82

Calls

4 calls:

1.0ms	(cbrt (fma (sqrt x) y (- 1.0 x)))
6.0ms	(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))
4.0ms	(cbrt (* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x)))))
2.0ms	(cbrt (cbrt (fma (sqrt x) y (- 1.0 x))))

series552.0ms

Counts

4 → 12

Calls

4 calls:

142.0ms	(cbrt (fma (sqrt x) y (- 1.0 x)))
136.0ms	(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))
130.0ms	(cbrt (* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x)))))
144.0ms	(cbrt (cbrt (fma (sqrt x) y (- 1.0 x))))

simplify47.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	402	981
1	1241	913
2	5001	840

prune285.0ms

Filtered

94 candidates to 74 candidates (78.7%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	94	0	94
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	94	8	102

Merged error: 0.0b

Counts

102 → 8

regimes71.0ms

Accuracy

0% (0.0b 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	6	3

end0.0ms

sample619.0ms

Algorithm

intervals

Results

187.0ms	8539×	body	80	valid
165.0ms	8624×	body	80	nan
0.0ms	2×	body	1280	valid
0.0ms	1×	body	640	valid

Details

sample22.0ms

simplify20.0ms

prune5.0ms

localize5.0ms

rewrite1.0ms

series42.0ms

simplify40.0ms

prune31.0ms

localize8.0ms

rewrite11.0ms

series544.0ms

simplify105.0ms

prune238.0ms

localize18.0ms

rewrite21.0ms

series539.0ms

simplify52.0ms

prune324.0ms

localize14.0ms

rewrite14.0ms

series552.0ms

simplify47.0ms

prune285.0ms

regimes71.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample619.0ms

Profiling