Details

sample28.0ms

Algorithm

intervals

Results

11.0ms

392×

body

valid

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

simplify60.0ms

Algorithm

egg-herbie

Counts

15 → 15

Iterations

Useful iterations: 1 (4.0ms)

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

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

localize10.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (- (* x x) (* (* y 4.0) z))) (cbrt (- (* x x) (* (* y 4.0) z))))
3.5b	(cbrt (- (* x x) (* (* y 4.0) z)))
3.5b	(cbrt (- (* x x) (* (* y 4.0) z)))
3.5b	(cbrt (- (* x x) (* (* y 4.0) z)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3--` `pow1/3` `flip--`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `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 → 87

Calls

4 calls:

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

series99.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (cbrt (- (* x x) (* (* y 4.0) z))) (cbrt (- (* x x) (* (* y 4.0) z))))
23.0ms	(cbrt (- (* x x) (* (* y 4.0) z)))
23.0ms	(cbrt (- (* x x) (* (* y 4.0) z)))
26.0ms	(cbrt (- (* x x) (* (* y 4.0) z)))

simplify43.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	290	1261
1	1059	1182
2	5001	1095

prune336.0ms

Filtered

99 candidates to 75 candidates (24.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	99	3	102

Merged error: 0.0b

Counts

102 → 3

localize11.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))
2.2b	(+ (neg (* (* (* y 4.0) z) (* (* y 4.0) z))) (pow x 4))
30.4b	(/ (+ (neg (* (* (* y 4.0) z) (* (* y 4.0) z))) (pow x 4)) (+ (* x x) (* (* y 4.0) z)))

rewrite37.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))
9.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:

11.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))
26.0ms	(/ (+ (neg (* (* (* y 4.0) z) (* (* y 4.0) z))) (pow x 4)) (+ (* x x) (* (* y 4.0) z)))

simplify120.0ms

Algorithm

egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 2 (101.0ms)

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

prune331.0ms

Filtered

133 candidates to 63 candidates (52.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Merged error: 0b

Counts

136 → 4

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* (* y 4.0) z) (* (* y 4.0) z))
4.2b	(+ (neg (pow x 8)) (pow (* (* y 4.0) z) 4))
30.4b	(/ (/ (+ (neg (pow x 8)) (pow (* (* y 4.0) z) 4)) (- (neg (* (* (* y 4.0) z) (* (* y 4.0) z))) (pow x 4))) (+ (* x x) (* (* y 4.0) z)))
44.0b	(/ (+ (neg (pow x 8)) (pow (* (* y 4.0) z) 4)) (- (neg (* (* (* y 4.0) z) (* (* y 4.0) z))) (pow x 4)))

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

312×	`*-un-lft-identity`
298×	`times-frac`
242×	`add-sqr-sqrt`
118×	`pow1`
112×	`add-cube-cbrt`
78×	`difference-of-squares`
74×	`distribute-lft-out`
66×	`pow-prod-down`
47×	`add-exp-log` `add-cbrt-cube`
46×	`associate-/l*`
37×	`distribute-rgt-neg-in`
27×	`prod-exp` `cbrt-unprod`
26×	`unpow-prod-down` `distribute-lft-out--` `sqr-pow`
12×	`associate-/r/`
10×	`associate-/r*`
9×	`pow-sqr` `pow-prod-up`
8×	`add-log-exp`
6×	`div-inv`
5×	`flip3--` `flip--`
4×	`cbrt-undiv` `div-exp`
3×	`neg-sub0` `associate-+l-` `flip3-+` `pow-plus` `div-sub` `flip-+` `associate-/l/`
2×	`frac-2neg` `clear-num` `sum-log`
1×	`+-commutative` `pow2` `swap-sqr` `associate-r` `associate-l` `neg-log` `*-commutative`

Counts

4 → 324

Calls

4 calls:

10.0ms	(* (* (* y 4.0) z) (* (* y 4.0) z))
8.0ms	(+ (neg (pow x 8)) (pow (* (* y 4.0) z) 4))
24.0ms	(/ (/ (+ (neg (pow x 8)) (pow (* (* y 4.0) z) 4)) (- (neg (* (* (* y 4.0) z) (* (* y 4.0) z))) (pow x 4))) (+ (* x x) (* (* y 4.0) z)))
21.0ms	(/ (+ (neg (pow x 8)) (pow (* (* y 4.0) z) 4)) (- (neg (* (* (* y 4.0) z) (* (* y 4.0) z))) (pow x 4)))

series106.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* (* (* y 4.0) z) (* (* y 4.0) z))
26.0ms	(+ (neg (pow x 8)) (pow (* (* y 4.0) z) 4))
33.0ms	(/ (/ (+ (neg (pow x 8)) (pow (* (* y 4.0) z) 4)) (- (neg (* (* (* y 4.0) z) (* (* y 4.0) z))) (pow x 4))) (+ (* x x) (* (* y 4.0) z)))
39.0ms	(/ (+ (neg (pow x 8)) (pow (* (* y 4.0) z) 4)) (- (neg (* (* (* y 4.0) z) (* (* y 4.0) z))) (pow x 4)))

simplify186.0ms

Algorithm

egg-herbie

Counts

336 → 336

Iterations

Useful iterations: 2 (114.0ms)

Iter	Nodes	Cost
0	1018	8621
1	4702	8074
2	5002	8064

prune1.7s

Filtered

336 candidates to 168 candidates (50.0%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	336	0	336
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	336	4	340

Merged error: 0b

Counts

340 → 4

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

sample725.0ms

Algorithm

intervals

Results

330.0ms

12372×

body

valid

Details

sample28.0ms

simplify7.0ms

prune3.0ms

localize6.0ms

rewrite3.0ms

series8.0ms

simplify60.0ms

prune32.0ms

localize10.0ms

rewrite22.0ms

series99.0ms

simplify43.0ms

prune336.0ms

localize11.0ms

rewrite37.0ms

series65.0ms

simplify120.0ms

prune331.0ms

localize18.0ms

rewrite84.0ms

series106.0ms

simplify186.0ms

prune1.7s

regimes344.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample725.0ms

Profiling