Details

sample14.0ms

Algorithm

intervals

Results

6.0ms

339×

body

valid

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	3
1	23	3
2	38	3
3	47	3
4	47	3

prune2.0ms

Filtered

1 candidates to 0 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 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

0.1b	(* x (- 1.0 (* x y)))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
7×	`-un-lft-identity` `associate-r*`
4×	`associate-l`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
1×	`flip3--` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `add-log-exp`

Counts

1 → 28

Calls

1 calls:

9.0ms

(* x (- 1.0 (* x y)))

series44.0ms

Counts

1 → 3

Calls

1 calls:

44.0ms

(* x (- 1.0 (* x y)))

simplify82.0ms

Algorithm

egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	140	141
1	586	124
2	3067	124
3	5002	124

prune41.0ms

Filtered

31 candidates to 18 candidates (41.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	25	6	31
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	25	7	32

Merged error: 0.0b

Counts

32 → 7

localize8.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (- 1.0 (* x y)))
0.2b	(cbrt (- 1.0 (* x y)))
0.2b	(cbrt (- 1.0 (* x y)))
0.2b	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

65×	`cbrt-prod`
63×	`*-un-lft-identity`
58×	`add-sqr-sqrt`
22×	`distribute-lft-out--`
21×	`associate-l`
18×	`cbrt-div`
16×	`swap-sqr`
15×	`add-cube-cbrt`
14×	`difference-of-squares`
11×	`pow1` `unswap-sqr`
10×	`associate-r`
9×	`flip3--` `pow1/3` `flip--`
8×	`add-cbrt-cube`
6×	`add-exp-log`
4×	`frac-times` `cbrt-unprod` `add-log-exp`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative`

Counts

4 → 120

Calls

4 calls:

6.0ms	(cbrt (- 1.0 (* x y)))
9.0ms	(cbrt (- 1.0 (* x y)))
6.0ms	(cbrt (- 1.0 (* x y)))
19.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))

series958.0ms

Counts

4 → 12

Calls

4 calls:

250.0ms	(cbrt (- 1.0 (* x y)))
239.0ms	(cbrt (- 1.0 (* x y)))
238.0ms	(cbrt (- 1.0 (* x y)))
231.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))

simplify58.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	390	1419
1	1468	1345
2	5001	1208

prune264.0ms

Filtered

132 candidates to 87 candidates (34.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	130	2	132
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	131	8	139

Merged error: 0.0b

Counts

139 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (- 1.0 (* x y)))
0.2b	(* (* (cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))) (cbrt (cbrt (- 1.0 (* x y))))) (cbrt (- 1.0 (* x y))))
0.2b	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
0.2b	(cbrt (cbrt (- 1.0 (* x y))))

rewrite149.0ms

Algorithm

rewrite-expression-head

Rules

438×	`cbrt-prod`
387×	`add-sqr-sqrt`
360×	`cbrt-div`
208×	`unswap-sqr`
184×	`associate-l`
140×	`frac-times`
119×	`*-un-lft-identity`
116×	`flip3--` `flip--`
70×	`associate-*l/`
51×	`swap-sqr`
43×	`associate-r`
40×	`distribute-lft-out--`
32×	`add-cube-cbrt`
28×	`associate-*r/`
24×	`difference-of-squares`
23×	`add-cbrt-cube`
22×	`cbrt-unprod`
16×	`pow1`
13×	`*-commutative`
11×	`add-exp-log` `pow1/3`
7×	`pow-prod-down`
4×	`prod-exp` `add-log-exp`
2×	`pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus`

Counts

4 → 378

Calls

4 calls:

6.0ms	(cbrt (- 1.0 (* x y)))
79.0ms	(* (* (cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))) (cbrt (cbrt (- 1.0 (* x y))))) (cbrt (- 1.0 (* x y))))
19.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
8.0ms	(cbrt (cbrt (- 1.0 (* x y))))

series966.0ms

Counts

4 → 12

Calls

4 calls:

249.0ms	(cbrt (- 1.0 (* x y)))
233.0ms	(* (* (cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))) (cbrt (cbrt (- 1.0 (* x y))))) (cbrt (- 1.0 (* x y))))
236.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
248.0ms	(cbrt (cbrt (- 1.0 (* x y))))

simplify180.0ms

Algorithm

egg-herbie

Counts

390 → 390

Iterations

Useful iterations: 2 (102.0ms)

Iter	Nodes	Cost
0	1410	9043
1	4903	8719
2	5001	8684

prune1.1s

Filtered

390 candidates to 264 candidates (32.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	388	2	390
Fresh	1	4	5
Picked	1	0	1
Done	1	1	2
Total	391	7	398

Merged error: 0.0b

Counts

398 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* (cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))) (cbrt (cbrt (- 1.0 (* x y))))) (cbrt (- 1.0 (* x y))))
0.2b	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
0.2b	(cbrt (cbrt (- 1.0 (* x y))))
0.3b	(pow (cbrt (- 1.0 (* x y))) 3)

rewrite184.0ms

Algorithm

rewrite-expression-head

Rules

438×	`cbrt-prod`
389×	`add-sqr-sqrt`
358×	`cbrt-div`
208×	`unswap-sqr`
184×	`associate-l`
140×	`frac-times`
121×	`*-un-lft-identity`
115×	`flip3--` `flip--`
70×	`associate-*l/`
51×	`swap-sqr`
43×	`associate-r`
40×	`distribute-lft-out--`
34×	`add-cube-cbrt`
28×	`associate-*r/`
24×	`add-cbrt-cube` `difference-of-squares`
22×	`cbrt-unprod`
17×	`pow1`
13×	`*-commutative`
12×	`add-exp-log`
11×	`pow1/3`
10×	`unpow-prod-down`
7×	`pow-prod-down`
4×	`prod-exp` `add-log-exp`
3×	`pow-unpow`
2×	`pow-pow` `pow-sqr` `pow-prod-up` `rem-cube-cbrt`
1×	`pow2` `pow-to-exp` `pow-plus` `unpow3` `pow-exp` `sqr-pow`

Counts

4 → 389

Calls

4 calls:

80.0ms	(* (* (cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))) (cbrt (cbrt (- 1.0 (* x y))))) (cbrt (- 1.0 (* x y))))
18.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
7.0ms	(cbrt (cbrt (- 1.0 (* x y))))
7.0ms	(pow (cbrt (- 1.0 (* x y))) 3)

series1.0s

Counts

4 → 12

Calls

4 calls:

235.0ms	(* (* (cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))) (cbrt (cbrt (- 1.0 (* x y))))) (cbrt (- 1.0 (* x y))))
229.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
248.0ms	(cbrt (cbrt (- 1.0 (* x y))))
327.0ms	(pow (cbrt (- 1.0 (* x y))) 3)

simplify108.0ms

Algorithm

egg-herbie

Counts

401 → 401

Iterations

Useful iterations: 1 (32.0ms)

Iter	Nodes	Cost
0	1472	8674
1	5001	8371

prune1.2s

Filtered

401 candidates to 252 candidates (37.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	401	0	401
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	401	7	408

Merged error: 0.0b

Counts

408 → 7

regimes82.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	8	3
1	8	3

end0.0ms

sample350.0ms

Algorithm

intervals

Results

190.0ms

10621×

body

valid