Details

sample50.0ms

Algorithm

intervals

Results

34.0ms

658×

body

valid

simplify137.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	3
1	30	3
2	73	3
3	217	3
4	819	3
5	4243	3
6	5001	3

prune2.0ms

Filtered

1 candidates to 0 candidates (0.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.0b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (pow x 4.0) (pow y 4.0))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

53×	`unpow-prod-down`
49×	`prod-diff`
43×	`add-sqr-sqrt`
35×	`*-un-lft-identity`
31×	`add-cube-cbrt`
21×	`sqr-pow`
9×	`difference-of-squares`
7×	`fma-neg`
3×	`add-log-exp`
2×	`distribute-lft-out--`
1×	`pow1` `add-exp-log` `expm1-log1p-u` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `log1p-expm1-u`

Counts

1 → 81

Calls

1 calls:

9.0ms

(- (pow x 4.0) (pow y 4.0))

series52.0ms

Counts

1 → 3

Calls

1 calls:

52.0ms

(- (pow x 4.0) (pow y 4.0))

simplify144.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 3 (133.0ms)

Iter	Nodes	Cost
0	315	1099
1	873	775
2	4757	725
3	5001	720

prune113.0ms

Filtered

84 candidates to 43 candidates (51.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	82	2	84
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	82	3	85

Merged error: 0b

Counts

85 → 3

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
0.3b	(* (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))))
12.0b	(sqrt (pow x 4.0))
12.0b	(sqrt (pow x 4.0))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

140×	`prod-diff`
128×	`sqrt-prod`
120×	`unpow-prod-down`
118×	`add-sqr-sqrt`
101×	`*-un-lft-identity`
95×	`add-cube-cbrt`
72×	`distribute-rgt-in` `distribute-lft-in`
46×	`sqr-pow`
16×	`associate-r`
12×	`difference-of-squares`
10×	`fma-def`
6×	`pow1` `add-exp-log` `rem-sqrt-square` `add-cbrt-cube` `add-log-exp`
4×	`expm1-log1p-u` `frac-times` `flip3-+` `associate-l` `flip-+` `log1p-expm1-u`
3×	`flip3--` `flip--`
2×	`sub-neg` `sqrt-pow1` `pow1/2` `associate-r/` `associate-l/` `distribute-lft-out`
1×	`+-commutative` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `distribute-lft-out--` `unswap-sqr`

Counts

4 → 252

Calls

4 calls:

8.0ms	(+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
27.0ms	(* (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))))
2.0ms	(sqrt (pow x 4.0))
2.0ms	(sqrt (pow x 4.0))

series1.7s

Counts

4 → 12

Calls

4 calls:

170.0ms	(+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
825.0ms	(* (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))))
345.0ms	(sqrt (pow x 4.0))
359.0ms	(sqrt (pow x 4.0))

simplify135.0ms

Algorithm

egg-herbie

Counts

264 → 264

Iterations

Useful iterations: 2 (87.0ms)

Iter	Nodes	Cost
0	1150	6288
1	4387	4919
2	5001	4864

prune403.0ms

Filtered

264 candidates to 119 candidates (45.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	264	0	264
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	264	3	267

Merged error: 0b

Counts

267 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0))))
17.6b	(cbrt (- (pow x 4.0) (pow y 4.0)))
17.6b	(cbrt (- (pow x 4.0) (pow y 4.0)))
17.6b	(cbrt (- (pow x 4.0) (pow y 4.0)))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

107×	`add-sqr-sqrt`
106×	`cbrt-prod`
63×	`difference-of-squares`
56×	`unpow-prod-down`
49×	`*-un-lft-identity`
42×	`sqr-pow`
19×	`swap-sqr`
18×	`cbrt-div`
17×	`associate-r` `associate-l`
16×	`distribute-lft-out--`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3--` `pow1/3` `flip--`
6×	`add-exp-log`
4×	`expm1-log1p-u` `frac-times` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 163

Calls

4 calls:

22.0ms	(* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0))))
11.0ms	(cbrt (- (pow x 4.0) (pow y 4.0)))
7.0ms	(cbrt (- (pow x 4.0) (pow y 4.0)))
7.0ms	(cbrt (- (pow x 4.0) (pow y 4.0)))

series348.0ms

Counts

4 → 12

Calls

4 calls:

106.0ms	(* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0))))
80.0ms	(cbrt (- (pow x 4.0) (pow y 4.0)))
80.0ms	(cbrt (- (pow x 4.0) (pow y 4.0)))
81.0ms	(cbrt (- (pow x 4.0) (pow y 4.0)))

simplify94.0ms

Algorithm

egg-herbie

Counts

175 → 175

Iterations

Useful iterations: 3 (76.0ms)

Iter	Nodes	Cost
0	318	1880
1	1028	1812
2	4058	1708
3	5002	1702

prune458.0ms

Filtered

175 candidates to 138 candidates (78.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	175	0	175
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	175	3	178

Merged error: 0b

Counts

178 → 3

regimes88.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	3

end0.0ms

sample1.3s

Algorithm

intervals

Results

932.0ms

20498×

body

valid