Details

sample60.0ms

Algorithm

intervals

Results

39.0ms

624×

body

valid

simplify71.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	51	14
1	155	14
2	430	14
3	1195	14
4	2526	14
5	5001	14

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

Counts

2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))))
0.0b	(* (* a a) (- 1.0 a))
0.3b	(pow (+ (* a a) (* b b)) 2.0)
1.0b	(* (* b b) (+ 3.0 a))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

15×	`pow1` `add-exp-log`
14×	`add-cbrt-cube`
12×	`add-sqr-sqrt` `*-un-lft-identity`
9×	`associate-r`
8×	`add-cube-cbrt`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
4×	`distribute-rgt-in` `distribute-lft-in` `associate-*r/`
3×	`unpow-prod-down` `pow-unpow`
2×	`sub-neg` `associate-+r+` `flip3-+` `associate-l` `*-commutative` `flip-+` `unswap-sqr`
1×	`+-commutative` `pow-to-exp` `flip3--` `pow-pow` `pow-exp` `sum-log` `flip--` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares` `sqr-pow`

Counts

4 → 81

Calls

4 calls:

7.0ms	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))))
8.0ms	(* (* a a) (- 1.0 a))
4.0ms	(pow (+ (* a a) (* b b)) 2.0)
8.0ms	(* (* b b) (+ 3.0 a))

series60.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))))
5.0ms	(* (* a a) (- 1.0 a))
21.0ms	(pow (+ (* a a) (* b b)) 2.0)
6.0ms	(* (* b b) (+ 3.0 a))

simplify69.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	549	670
1	2714	602
2	5001	598

prune147.0ms

Filtered

63 candidates to 93 candidates (-47.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	89	4	93
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	89	5	94

Merged error: 0.0b

Counts

94 → 5

localize22.0ms

Local error

Found 4 expressions with local error:

1.0b	(* (* b b) (+ 3.0 a))
18.9b	(cbrt (pow (+ (* a a) (* b b)) 2.0))
18.9b	(cbrt (pow (+ (* a a) (* b b)) 2.0))
18.9b	(cbrt (pow (+ (* a a) (* b b)) 2.0))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

21×	`cbrt-prod`
13×	`*-un-lft-identity`
12×	`add-sqr-sqrt`
11×	`add-cube-cbrt`
9×	`pow1` `add-exp-log` `unpow-prod-down` `add-cbrt-cube`
4×	`associate-r` `add-log-exp`
3×	`pow1/3` `pow-prod-down` `prod-exp` `cbrt-unprod` `sqr-pow`
2×	`associate-*r/`
1×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `associate-l` `*-commutative` `flip-+` `distribute-lft-out` `unswap-sqr`

Counts

4 → 69

Calls

4 calls:

8.0ms	(* (* b b) (+ 3.0 a))
4.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
4.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
4.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))

series111.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* (* b b) (+ 3.0 a))
34.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
37.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
34.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))

simplify38.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	292	649
1	1183	595
2	5002	577

prune240.0ms

Filtered

64 candidates to 81 candidates (-26.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	80	1	81
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	80	6	86

Merged error: 0b

Counts

86 → 6

localize24.0ms

Local error

Found 4 expressions with local error:

1.0b	(* (* b b) (+ 3.0 a))
11.5b	(cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))))
11.5b	(cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))))
11.5b	(cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

10×	`*-un-lft-identity`
9×	`pow1` `add-exp-log` `cbrt-prod` `add-sqr-sqrt` `add-cbrt-cube`
8×	`add-cube-cbrt`
6×	`cbrt-div`
4×	`flip3-+` `associate-r` `flip-+` `add-log-exp`
3×	`pow1/3` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`associate-*r/`
1×	`distribute-rgt-in` `distribute-lft-in` `associate-l` `*-commutative` `distribute-lft-out` `unswap-sqr`

Counts

4 → 63

Calls

4 calls:

8.0ms	(* (* b b) (+ 3.0 a))
6.0ms	(cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))))
6.0ms	(cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))))
6.0ms	(cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))))

series129.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* (* b b) (+ 3.0 a))
40.0ms	(cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))))
43.0ms	(cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))))
40.0ms	(cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))))

simplify50.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	366	1390
1	1549	1264
2	5001	1228

prune309.0ms

Filtered

61 candidates to 75 candidates (-23.0%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	75	0	75
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	75	6	81

Merged error: 0b

Counts

81 → 6

localize31.0ms

Local error

Found 4 expressions with local error:

11.5b	(cbrt (+ (* a a) (* b b)))
17.2b	(cbrt (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0))
18.9b	(cbrt (pow (+ (* a a) (* b b)) 2.0))
18.9b	(cbrt (pow (+ (* a a) (* b b)) 2.0))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

22×	`cbrt-prod`
10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
7×	`unpow-prod-down`
4×	`pow1` `add-exp-log` `pow1/3` `add-cbrt-cube` `add-log-exp`
3×	`sqr-pow`
2×	`cbrt-div`
1×	`flip3-+` `flip-+`

Counts

4 → 56

Calls

4 calls:

3.0ms	(cbrt (+ (* a a) (* b b)))
4.0ms	(cbrt (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0))
4.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
4.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))

series125.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt (+ (* a a) (* b b)))
34.0ms	(cbrt (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0))
33.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
35.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))

simplify109.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 3 (100.0ms)

Iter	Nodes	Cost
0	304	750
1	811	696
2	2484	672
3	5002	644

prune227.0ms

Filtered

58 candidates to 68 candidates (-17.2%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	68	6	74

Merged error: 0b

Counts

74 → 6

regimes342.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	14
1	25	14

end0.0ms

sample1.9s

Algorithm

intervals

Results

1.3s

20337×

body

valid

Details

sample60.0ms

simplify71.0ms

prune3.0ms

localize18.0ms

rewrite30.0ms

series60.0ms

simplify69.0ms

prune147.0ms

localize22.0ms

rewrite23.0ms

series111.0ms

simplify38.0ms

prune240.0ms

localize24.0ms

rewrite28.0ms

series129.0ms

simplify50.0ms

prune309.0ms

localize31.0ms

rewrite17.0ms

series125.0ms

simplify109.0ms

prune227.0ms

regimes342.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.9s

Profiling