Details

sample69.0ms

Algorithm

intervals

Results

42.0ms

639×

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

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.3b

Counts

2 → 1

localize16.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.1b	(* (* a a) (- 1.0 a))
0.3b	(pow (+ (* a a) (* b b)) 2.0)
1.1b	(* (* b b) (+ 3.0 a))

rewrite29.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))

series62.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify68.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

prune162.0ms

Filtered

93 candidates to 63 candidates (32.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	87	6	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	88	6	94

Merged error: 0.0b

Counts

94 → 6

localize21.0ms

Local error

Found 4 expressions with local error:

1.1b	(* (* b b) (+ 3.0 a))
1.1b	(* (* b b) (+ 3.0 a))
7.3b	(sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))))
7.3b	(sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 78

Calls

4 calls:

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

series76.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify47.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	321	932
1	1454	858
2	5002	856

prune234.0ms

Filtered

90 candidates to 60 candidates (33.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	88	2	90
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	89	7	96

Merged error: 0.0b

Counts

96 → 7

localize26.0ms

Local error

Found 4 expressions with local error:

7.3b	(sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))))
7.3b	(sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))))
7.3b	(sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))))
7.3b	(sqrt (+ (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

12×	`add-sqr-sqrt` `sqrt-prod`
8×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `sqrt-div`
4×	`add-exp-log` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `add-cbrt-cube` `flip-+` `add-log-exp`

Counts

4 → 60

Calls

4 calls:

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

series127.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))))
33.0ms	(sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))))
31.0ms	(sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))))
31.0ms	(sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))))

simplify109.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 3 (96.0ms)

Iter	Nodes	Cost
0	180	1368
1	663	1304
2	3434	1300
3	5001	1296

prune432.0ms

Filtered

72 candidates to 56 candidates (22.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	70	2	72
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	70	9	79

Merged error: 0.0b

Counts

79 → 9

localize21.0ms

Local error

Found 4 expressions with local error:

1.1b	(* (* b b) (+ 3.0 a))
19.0b	(cbrt (pow (+ (* a a) (* b b)) 2.0))
19.0b	(cbrt (pow (+ (* a a) (* b b)) 2.0))
19.0b	(cbrt (pow (+ (* a a) (* b b)) 2.0))

rewrite22.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))

series113.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* (* b b) (+ 3.0 a))
34.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
35.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
36.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))

simplify37.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

prune230.0ms

Filtered

81 candidates to 64 candidates (21.0%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	80	1	81
Fresh	1	5	6
Picked	0	1	1
Done	0	2	2
Total	81	9	90

Merged error: 0.0b

Counts

90 → 9

regimes311.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	27	30
1	27	30

end0.0ms

sample2.0s

Algorithm

intervals

Results

1.4s

20583×

body

valid

Details

sample69.0ms

simplify71.0ms

prune3.0ms

localize16.0ms

rewrite29.0ms

series62.0ms

simplify68.0ms

prune162.0ms

localize21.0ms

rewrite30.0ms

series76.0ms

simplify47.0ms

prune234.0ms

localize26.0ms

rewrite28.0ms

series127.0ms

simplify109.0ms

prune432.0ms

localize21.0ms

rewrite22.0ms

series113.0ms

simplify37.0ms

prune230.0ms

regimes311.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.0s

Profiling