Details

sample28.0ms

Algorithm

intervals

Results

11.0ms

386×

body

valid

simplify9.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	4
1	32	4
2	57	4
3	63	4
4	63	4

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

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (* x x) (* (* y 4.0) z))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `sub-neg` `flip3--` `*-un-lft-identity` `diff-log` `add-cbrt-cube` `flip--`

Counts

1 → 12

Calls

1 calls:

3.0ms

(- (* x x) (* (* y 4.0) z))

series8.0ms

Counts

1 → 3

Calls

1 calls:

8.0ms

(- (* x x) (* (* y 4.0) z))

simplify61.0ms

Algorithm

egg-herbie

Counts

15 → 15

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	99	103
1	400	93
2	1856	93
3	5002	93

prune25.0ms

Filtered

15 candidates to 10 candidates (33.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	13	2	15
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	13	3	16

Merged error: 0.0b

Counts

16 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x x) (* (* y 4.0) z))
0.2b	(* (sqrt (- (* x x) (* (* y 4.0) z))) (sqrt (- (* x x) (* (* y 4.0) z))))
4.5b	(sqrt (- (* x x) (* (* y 4.0) z)))
4.5b	(sqrt (- (* x x) (* (* y 4.0) z)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
24×	`sqrt-prod`
21×	`pow1`
16×	`sqrt-div`
14×	`add-cube-cbrt` `*-un-lft-identity`
10×	`sqrt-pow1` `pow1/2`
9×	`flip3--` `flip--`
8×	`swap-sqr`
6×	`add-exp-log` `associate-r` `associate-l` `add-cbrt-cube` `add-log-exp`
5×	`pow-prod-up`
4×	`frac-times` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
2×	`rem-sqrt-square` `associate-r/` `associate-l/`
1×	`pow2` `sub-neg` `pow-plus` `sqrt-unprod` `diff-log` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 99

Calls

4 calls:

3.0ms	(- (* x x) (* (* y 4.0) z))
10.0ms	(* (sqrt (- (* x x) (* (* y 4.0) z))) (sqrt (- (* x x) (* (* y 4.0) z))))
3.0ms	(sqrt (- (* x x) (* (* y 4.0) z)))
3.0ms	(sqrt (- (* x x) (* (* y 4.0) z)))

series45.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(- (* x x) (* (* y 4.0) z))
10.0ms	(* (sqrt (- (* x x) (* (* y 4.0) z))) (sqrt (- (* x x) (* (* y 4.0) z))))
13.0ms	(sqrt (- (* x x) (* (* y 4.0) z)))
13.0ms	(sqrt (- (* x x) (* (* y 4.0) z)))

simplify40.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	220	916
1	896	840
2	5001	814

prune128.0ms

Filtered

111 candidates to 64 candidates (42.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	109	2	111
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	110	4	114

Merged error: 0b

Counts

114 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (sqrt (sqrt (- (* x x) (* (* y 4.0) z)))) (sqrt (sqrt (- (* x x) (* (* y 4.0) z)))))
4.5b	(sqrt (- (* x x) (* (* y 4.0) z)))
4.5b	(sqrt (- (* x x) (* (* y 4.0) z)))
4.5b	(sqrt (- (* x x) (* (* y 4.0) z)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

75×	`sqrt-prod`
52×	`add-sqr-sqrt`
35×	`sqrt-pow1`
30×	`pow1` `sqrt-div`
19×	`add-cube-cbrt` `*-un-lft-identity` `pow1/2`
15×	`swap-sqr`
9×	`flip3--` `associate-r` `associate-l` `pow-prod-up` `flip--` `unswap-sqr`
6×	`add-exp-log` `add-cbrt-cube`
5×	`pow-prod-down` `pow-sqr`
4×	`frac-times` `add-log-exp`
3×	`rem-sqrt-square`
2×	`associate-r/` `associate-l/`
1×	`pow2` `pow-plus` `sqrt-unprod` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 128

Calls

4 calls:

13.0ms	(* (sqrt (sqrt (- (* x x) (* (* y 4.0) z)))) (sqrt (sqrt (- (* x x) (* (* y 4.0) z)))))
3.0ms	(sqrt (- (* x x) (* (* y 4.0) z)))
3.0ms	(sqrt (- (* x x) (* (* y 4.0) z)))
5.0ms	(sqrt (- (* x x) (* (* y 4.0) z)))

series56.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(* (sqrt (sqrt (- (* x x) (* (* y 4.0) z)))) (sqrt (sqrt (- (* x x) (* (* y 4.0) z)))))
13.0ms	(sqrt (- (* x x) (* (* y 4.0) z)))
13.0ms	(sqrt (- (* x x) (* (* y 4.0) z)))
13.0ms	(sqrt (- (* x x) (* (* y 4.0) z)))

simplify46.0ms

Algorithm

egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	240	1238
1	986	1154
2	5001	1128

prune206.0ms

Filtered

140 candidates to 78 candidates (44.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	140	4	144

Merged error: 0b

Counts

144 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x x) (* (* y 4.0) z))
0.3b	(* (* (* y 4.0) z) (* (* y 4.0) z))
1.5b	(+ (neg (* (* (* y 4.0) z) (* (* y 4.0) z))) (pow x 4))
28.0b	(/ (+ (neg (* (* (* y 4.0) z) (* (* y 4.0) z))) (pow x 4)) (+ (* x x) (* (* y 4.0) z)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

118×	`pow1`
66×	`pow-prod-down`
42×	`add-exp-log` `add-cbrt-cube`
27×	`prod-exp` `cbrt-unprod`
23×	`*-un-lft-identity`
13×	`add-sqr-sqrt` `add-cube-cbrt`
12×	`times-frac`
10×	`add-log-exp`
9×	`pow-sqr` `pow-prod-up`
5×	`distribute-lft-out`
4×	`flip3-+` `flip-+` `associate-/l*`
3×	`pow-plus` `associate-/r*` `sum-log`
2×	`+-commutative` `neg-sub0` `associate-+l-` `associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `pow2` `frac-2neg` `div-sub` `swap-sqr` `div-exp` `associate-r` `associate-l` `neg-log` `clear-num` `*-commutative` `div-inv`

Counts

4 → 121

Calls

4 calls:

3.0ms	(+ (* x x) (* (* y 4.0) z))
10.0ms	(* (* (* y 4.0) z) (* (* y 4.0) z))
7.0ms	(+ (neg (* (* (* y 4.0) z) (* (* y 4.0) z))) (pow x 4))
11.0ms	(/ (+ (neg (* (* (* y 4.0) z) (* (* y 4.0) z))) (pow x 4)) (+ (* x x) (* (* y 4.0) z)))

series65.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(+ (* x x) (* (* y 4.0) z))
7.0ms	(* (* (* y 4.0) z) (* (* y 4.0) z))
21.0ms	(+ (neg (* (* (* y 4.0) z) (* (* y 4.0) z))) (pow x 4))
29.0ms	(/ (+ (neg (* (* (* y 4.0) z) (* (* y 4.0) z))) (pow x 4)) (+ (* x x) (* (* y 4.0) z)))

simplify83.0ms

Algorithm

egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 2 (70.0ms)

Iter	Nodes	Cost
0	459	1287
1	2449	1076
2	5002	1052

prune133.0ms

Filtered

133 candidates to 63 candidates (52.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	133	0	133
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	133	4	137

Merged error: 0b

Counts

137 → 4

regimes332.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	10	4
1	10	4

end0.0ms

sample713.0ms

Algorithm

intervals

Results

345.0ms

12100×

body

valid

Details

sample28.0ms

simplify9.0ms

prune3.0ms

localize6.0ms

rewrite3.0ms

series8.0ms

simplify61.0ms

prune25.0ms

localize8.0ms

rewrite23.0ms

series45.0ms

simplify40.0ms

prune128.0ms

localize10.0ms

rewrite30.0ms

series56.0ms

simplify46.0ms

prune206.0ms

localize12.0ms

rewrite36.0ms

series65.0ms

simplify83.0ms

prune133.0ms

regimes332.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample713.0ms

Profiling