Details

sample18.0ms

Algorithm

intervals

Results

8.0ms

333×

body

valid

simplify29.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	4
1	20	4
2	34	4
3	49	4
4	57	4
5	69	4
6	90	4
7	127	4
8	176	4
9	304	4
10	439	4
11	449	4
12	449	4

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 2 expressions with local error:

0.0b	(+ (* x y) (* z (- 1.0 y)))
0.0b	(* z (- 1.0 y))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 41

Calls

2 calls:

4.0ms	(+ (* x y) (* z (- 1.0 y)))
9.0ms	(* z (- 1.0 y))

series90.0ms

Counts

2 → 6

Calls

2 calls:

44.0ms	(+ (* x y) (* z (- 1.0 y)))
46.0ms	(* z (- 1.0 y))

simplify103.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	194	208
1	748	188
2	3250	188
3	5001	188

prune66.0ms

Filtered

47 candidates to 30 candidates (63.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	45	2	47
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	46	2	48

Merged error: 0.0b

Counts

48 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* z 1.0) (* y (- x z)))
0.0b	(* y (- x z))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 41

Calls

2 calls:

4.0ms	(+ (* z 1.0) (* y (- x z)))
6.0ms	(* y (- x z))

series69.0ms

Counts

2 → 6

Calls

2 calls:

35.0ms	(+ (* z 1.0) (* y (- x z)))
34.0ms	(* y (- x z))

simplify111.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	195	202
1	878	188
2	4351	188
3	5001	188

prune58.0ms

Filtered

47 candidates to 30 candidates (63.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.0b

Counts

49 → 2

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (- 1.0 y))
0.0b	(sqrt (+ (* x y) (* z (- 1.0 y))))
0.0b	(sqrt (+ (* x y) (* z (- 1.0 y))))
0.3b	(* (sqrt (+ (* x y) (* z (- 1.0 y)))) (sqrt (+ (* x y) (* z (- 1.0 y)))))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

34×	`add-sqr-sqrt`
24×	`sqrt-prod`
23×	`pow1`
18×	`*-un-lft-identity`
16×	`add-cube-cbrt` `sqrt-div`
11×	`associate-r`
10×	`sqrt-pow1` `pow1/2`
9×	`associate-l`
8×	`add-exp-log` `flip3-+` `swap-sqr` `add-cbrt-cube` `flip-+`
5×	`pow-prod-up` `unswap-sqr`
4×	`frac-times` `associate-*r/` `pow-prod-down` `add-log-exp`
3×	`pow-sqr`
2×	`distribute-rgt-in` `sub-neg` `rem-sqrt-square` `distribute-lft-in` `associate-l/` `prod-exp` `-commutative` `cbrt-unprod`
1×	`pow2` `flip3--` `pow-plus` `sqrt-unprod` `rem-square-sqrt` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 113

Calls

4 calls:

6.0ms	(* z (- 1.0 y))
3.0ms	(sqrt (+ (* x y) (* z (- 1.0 y))))
3.0ms	(sqrt (+ (* x y) (* z (- 1.0 y))))
10.0ms	(* (sqrt (+ (* x y) (* z (- 1.0 y)))) (sqrt (+ (* x y) (* z (- 1.0 y)))))

series281.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(* z (- 1.0 y))
108.0ms	(sqrt (+ (* x y) (* z (- 1.0 y))))
113.0ms	(sqrt (+ (* x y) (* z (- 1.0 y))))
29.0ms	(* (sqrt (+ (* x y) (* z (- 1.0 y)))) (sqrt (+ (* x y) (* z (- 1.0 y)))))

simplify54.0ms

Algorithm

egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	344	993
1	1407	881
2	5001	849

prune232.0ms

Filtered

125 candidates to 72 candidates (57.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	124	1	125
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	125	2	127

Merged error: 0b

Counts

127 → 2

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (sqrt (+ (* x y) (* z (- 1.0 y)))))
0.1b	(sqrt (sqrt (+ (* x y) (* z (- 1.0 y)))))
0.2b	(* (pow (sqrt (sqrt (+ (* x y) (* z (- 1.0 y))))) 3) (sqrt (sqrt (+ (* x y) (* z (- 1.0 y))))))
0.4b	(pow (sqrt (sqrt (+ (* x y) (* z (- 1.0 y))))) 3)

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

107×	`sqrt-prod`
74×	`add-sqr-sqrt`
36×	`sqrt-div`
27×	`unpow-prod-down` `cube-prod`
25×	`add-cube-cbrt` `*-un-lft-identity`
24×	`associate-l` `unswap-sqr`
12×	`pow1` `sqrt-pow1`
10×	`add-exp-log`
9×	`flip3-+` `associate-r` `flip-+`
8×	`cube-div`
7×	`add-cbrt-cube`
6×	`pow1/2`
5×	`pow-pow` `sqr-pow`
4×	`frac-times` `rem-sqrt-square` `add-log-exp`
3×	`pow-unpow` `prod-exp`
2×	`cube-mult` `pow-to-exp` `unpow3` `associate-r/` `associate-l/` `pow-exp`
1×	`pow-plus` `*-commutative` `pow-prod-up` `sqrt-pow2` `cbrt-unprod` `rem-cube-cbrt`

Counts

4 → 163

Calls

4 calls:

4.0ms	(sqrt (sqrt (+ (* x y) (* z (- 1.0 y)))))
4.0ms	(sqrt (sqrt (+ (* x y) (* z (- 1.0 y)))))
17.0ms	(* (pow (sqrt (sqrt (+ (* x y) (* z (- 1.0 y))))) 3) (sqrt (sqrt (+ (* x y) (* z (- 1.0 y))))))
6.0ms	(pow (sqrt (sqrt (+ (* x y) (* z (- 1.0 y))))) 3)

series493.0ms

Counts

4 → 12

Calls

4 calls:

135.0ms	(sqrt (sqrt (+ (* x y) (* z (- 1.0 y)))))
131.0ms	(sqrt (sqrt (+ (* x y) (* z (- 1.0 y)))))
32.0ms	(* (pow (sqrt (sqrt (+ (* x y) (* z (- 1.0 y))))) 3) (sqrt (sqrt (+ (* x y) (* z (- 1.0 y))))))
195.0ms	(pow (sqrt (sqrt (+ (* x y) (* z (- 1.0 y))))) 3)

simplify82.0ms

Algorithm

egg-herbie

Counts

175 → 175

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	497	2166
1	2090	1905
2	5001	1691

prune312.0ms

Filtered

175 candidates to 90 candidates (51.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

177 → 2

regimes54.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	11	4
1	11	4

end0.0ms

sample471.0ms

Algorithm

intervals

Results

264.0ms

10010×

body

valid

Iter	Nodes	Cost
0	13	4
1	20	4
2	34	4
3	49	4
4	57	4
5	69	4
6	90	4
7	127	4
8	176	4
9	304	4
10	439	4
11	449	4
12	449	4

Iter	Nodes	Cost
0	13	4
1	20	4
2	34	4
3	49	4
4	57	4
5	69	4
6	90	4
7	127	4
8	176	4
9	304	4
10	439	4
11	449	4
12	449	4

Details

sample18.0ms

simplify29.0ms

prune2.0ms

localize6.0ms

rewrite14.0ms

series90.0ms

simplify103.0ms

prune66.0ms

localize6.0ms

rewrite11.0ms

series69.0ms

simplify111.0ms

prune58.0ms

localize8.0ms

rewrite26.0ms

series281.0ms

simplify54.0ms

prune232.0ms

localize11.0ms

rewrite37.0ms

series493.0ms

simplify82.0ms

prune312.0ms

regimes54.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample471.0ms

Profiling

Iter	Nodes	Cost
0	13	4
1	20	4
2	34	4
3	49	4
4	57	4
5	69	4
6	90	4
7	127	4
8	176	4
9	304	4
10	439	4
11	449	4
12	449	4