Details

sample43.0ms

Algorithm

intervals

Results

20.0ms

419×

body

valid

simplify160.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	37	9
1	94	9
2	287	9
3	741	9
4	1662	9
5	4195	9
6	5001	9

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

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.4b	(- (* (* x 9.0) y) (* (* (* z 4.0) t) a))
0.4b	(* (* x 9.0) y)
6.7b	(* (* (* z 4.0) t) a)
18.0b	(/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))

rewrite151.0ms

Algorithm

rewrite-expression-head

Rules

596×	`*-un-lft-identity`
523×	`associate-l`
192×	`times-frac`
189×	`add-sqr-sqrt`
169×	`distribute-lft-out`
168×	`distribute-lft-out--`
78×	`add-cube-cbrt`
66×	`associate-r`
61×	`unswap-sqr`
23×	`add-exp-log` `add-cbrt-cube`
22×	`*-commutative`
18×	`pow1`
16×	`associate-/l*`
12×	`associate-/r*` `difference-of-squares`
10×	`prod-exp` `cbrt-unprod`
9×	`pow-prod-down`
6×	`add-log-exp`
2×	`cbrt-undiv` `div-exp` `associate-/l/`
1×	`associate-+l-` `sub-neg` `flip3--` `frac-2neg` `flip3-+` `diff-log` `div-sub` `clear-num` `flip--` `flip-+` `div-inv`

Counts

4 → 349

Calls

4 calls:

44.0ms	(- (* (* x 9.0) y) (* (* (* z 4.0) t) a))
7.0ms	(* (* x 9.0) y)
12.0ms	(* (* (* z 4.0) t) a)
63.0ms	(/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))

series358.0ms

Counts

4 → 12

Calls

4 calls:

85.0ms	(- (* (* x 9.0) y) (* (* (* z 4.0) t) a))
22.0ms	(* (* x 9.0) y)
31.0ms	(* (* (* z 4.0) t) a)
220.0ms	(/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))

simplify146.0ms

Algorithm

egg-herbie

Counts

361 → 361

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	811	3878
1	3477	3777
2	5001	3777

prune444.0ms

Filtered

361 candidates to 135 candidates (62.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	349	12	361
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	350	12	362

Merged error: 7.8b

Counts

362 → 12

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(* 9.0 (/ (* x y) (* z c)))
6.0b	(/ b (* z c))
6.3b	(/ (* a t) c)
7.9b	(/ (* x y) (* z c))

rewrite101.0ms

Algorithm

rewrite-expression-head

Rules

364×	`times-frac`
350×	`add-sqr-sqrt`
328×	`associate-r`
214×	`*-un-lft-identity`
212×	`add-cube-cbrt`
184×	`associate-l`
69×	`unswap-sqr`
61×	`*-commutative`
44×	`add-exp-log` `add-cbrt-cube`
41×	`associate-/l*`
39×	`associate-/r*`
27×	`associate-*r/`
15×	`prod-exp` `cbrt-unprod`
12×	`cbrt-undiv` `div-exp`
6×	`pow1`
5×	`clear-num`
4×	`frac-2neg` `div-inv` `add-log-exp`
3×	`un-div-inv`
1×	`pow-prod-down`

Counts

4 → 521

Calls

4 calls:

44.0ms	(* 9.0 (/ (* x y) (* z c)))
7.0ms	(/ b (* z c))
7.0ms	(/ (* a t) c)
12.0ms	(/ (* x y) (* z c))

series121.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(* 9.0 (/ (* x y) (* z c)))
22.0ms	(/ b (* z c))
21.0ms	(/ (* a t) c)
30.0ms	(/ (* x y) (* z c))

simplify84.0ms

Algorithm

egg-herbie

Counts

533 → 533

Iterations

Useful iterations: 1 (46.0ms)

Iter	Nodes	Cost
0	1774	3063
1	5001	2944

prune1.4s

Filtered

533 candidates to 369 candidates (30.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	524	9	533
Fresh	6	5	11
Picked	1	0	1
Done	0	0	0
Total	531	14	545

Merged error: 1.0b

Counts

545 → 14

localize24.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
4.5b	(* (* a (* (cbrt t) (cbrt t))) (/ (cbrt t) c))
6.0b	(/ b (* z c))
7.9b	(/ (* x y) (* z c))

rewrite78.0ms

Algorithm

rewrite-expression-head

Rules

344×	`add-sqr-sqrt`
218×	`times-frac`
145×	`associate-r`
143×	`associate-l`
136×	`*-un-lft-identity`
135×	`add-cube-cbrt`
116×	`unswap-sqr`
78×	`add-cbrt-cube`
65×	`cbrt-prod`
50×	`cbrt-unprod`
42×	`add-exp-log`
37×	`*-commutative`
27×	`associate-/r*`
22×	`associate-/l*`
18×	`cbrt-undiv`
17×	`prod-exp`
14×	`swap-sqr`
13×	`pow1`
12×	`associate-*r/`
9×	`div-exp`
6×	`pow-prod-down`
4×	`clear-num` `add-log-exp`
3×	`frac-2neg` `div-inv`
2×	`un-div-inv`
1×	`pow1/3`

Counts

4 → 407

Calls

4 calls:

1.0ms	(cbrt t)
35.0ms	(* (* a (* (cbrt t) (cbrt t))) (/ (cbrt t) c))
7.0ms	(/ b (* z c))
12.0ms	(/ (* x y) (* z c))

series287.0ms

Counts

4 → 12

Calls

4 calls:

186.0ms	(cbrt t)
49.0ms	(* (* a (* (cbrt t) (cbrt t))) (/ (cbrt t) c))
21.0ms	(/ b (* z c))
30.0ms	(/ (* x y) (* z c))

simplify84.0ms

Algorithm

egg-herbie

Counts

419 → 419

Iterations

Useful iterations: 1 (43.0ms)

Iter	Nodes	Cost
0	1741	3308
1	5001	2952

prune1.1s

Filtered

419 candidates to 285 candidates (32.0%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	418	1	419
Fresh	0	13	13
Picked	1	0	1
Done	0	0	0
Total	419	14	433

Merged error: 0.7b

Counts

433 → 14

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
4.5b	(* (* a (* (cbrt t) (cbrt t))) (/ (cbrt t) c))
6.0b	(/ b (* z c))
9.0b	(* (/ y c) (/ x z))

rewrite78.0ms

Algorithm

rewrite-expression-head

Rules

280×	`add-sqr-sqrt`
113×	`*-un-lft-identity`
111×	`add-cube-cbrt`
96×	`times-frac`
94×	`unswap-sqr`
81×	`frac-times`
80×	`associate-r`
78×	`associate-l` `add-cbrt-cube`
75×	`associate-/r*`
71×	`associate-/l*`
65×	`cbrt-prod`
50×	`cbrt-unprod`
42×	`add-exp-log`
24×	`clear-num`
22×	`frac-2neg`
21×	`associate-*r/`
18×	`cbrt-undiv`
17×	`prod-exp`
15×	`pow1`
14×	`swap-sqr`
12×	`*-commutative`
9×	`div-exp` `associate-*l/`
7×	`pow-prod-down`
4×	`un-div-inv` `div-inv` `add-log-exp`
1×	`pow1/3`

Counts

4 → 369

Calls

4 calls:

1.0ms	(cbrt t)
38.0ms	(* (* a (* (cbrt t) (cbrt t))) (/ (cbrt t) c))
6.0ms	(/ b (* z c))
14.0ms	(* (/ y c) (/ x z))

series288.0ms

Counts

4 → 12

Calls

4 calls:

190.0ms	(cbrt t)
44.0ms	(* (* a (* (cbrt t) (cbrt t))) (/ (cbrt t) c))
22.0ms	(/ b (* z c))
32.0ms	(* (/ y c) (/ x z))

simplify73.0ms

Algorithm

egg-herbie

Counts

381 → 381

Iterations

Useful iterations: 1 (43.0ms)

Iter	Nodes	Cost
0	1715	2820
1	5001	2521

prune1.1s

Filtered

381 candidates to 265 candidates (30.4%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	376	5	381
Fresh	4	9	13
Picked	1	0	1
Done	0	0	0
Total	381	14	395

Merged error: 0.0b

Counts

395 → 14

regimes891.0ms

Accuracy

34.4% (8.0b remaining)

Error of 8.0b against oracle of 0.1b and baseline of 12.2b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	84	85
1	84	85

end0.0ms

sample1.1s

Algorithm

intervals

Results

616.0ms

12605×

body

valid