Details

sample29.0ms

Algorithm

intervals

Results

13.0ms

256×

body

valid

simplify35.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	27	8
1	63	8
2	149	8
3	358	8
4	840	8
5	5001	8

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

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
0.2b	(* (* y 2.0) z)
0.6b	(- (* (* z 2.0) z) (* y t))
17.1b	(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

28×	`prod-diff`
25×	`add-sqr-sqrt` `*-un-lft-identity`
23×	`add-cube-cbrt`
18×	`add-exp-log` `add-cbrt-cube`
12×	`times-frac`
9×	`pow1`
8×	`associate-/r/` `add-log-exp`
6×	`flip3--` `prod-exp` `flip--` `cbrt-unprod`
4×	`expm1-log1p-u` `fma-neg` `log1p-expm1-u` `div-inv`
3×	`cbrt-undiv` `div-exp` `associate-r` `pow-prod-down` `associate-/r*`
2×	`sub-neg` `diff-log`
1×	`frac-2neg` `associate-l` `clear-num` `-commutative` `associate-/l` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 109

Calls

4 calls:

9.0ms	(- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
5.0ms	(* (* y 2.0) z)
5.0ms	(- (* (* z 2.0) z) (* y t))
9.0ms	(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

series322.0ms

Counts

4 → 12

Calls

4 calls:

83.0ms	(- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
17.0ms	(* (* y 2.0) z)
39.0ms	(- (* (* z 2.0) z) (* y t))
182.0ms	(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

simplify90.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 2 (73.0ms)

Iter	Nodes	Cost
0	536	2048
1	2643	1465
2	5001	1464

prune239.0ms

Filtered

121 candidates to 76 candidates (62.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	114	7	121
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	115	7	122

Merged error: 4.1b

Counts

122 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
0.6b	(- (* (* z 2.0) z) (* y t))
4.3b	(/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z))
16.7b	(/ (- (* (* z 2.0) z) (* y t)) z)

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

106×	`times-frac`
71×	`add-sqr-sqrt` `*-un-lft-identity`
69×	`add-cube-cbrt`
55×	`prod-diff`
18×	`add-exp-log` `add-cbrt-cube`
16×	`associate-/r*`
10×	`div-inv`
8×	`add-log-exp`
7×	`cbrt-undiv` `div-exp`
4×	`pow1` `expm1-log1p-u` `fma-neg` `associate-/r/` `log1p-expm1-u` `associate-/l*`
3×	`flip3--` `flip--`
2×	`sub-neg` `frac-2neg` `diff-log` `prod-exp` `clear-num` `cbrt-unprod` `associate-/l/`
1×	`div-sub` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 169

Calls

4 calls:

15.0ms	(- x (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
5.0ms	(- (* (* z 2.0) z) (* y t))
8.0ms	(/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z))
7.0ms	(/ (- (* (* z 2.0) z) (* y t)) z)

series357.0ms

Counts

4 → 12

Calls

4 calls:

82.0ms	(- x (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
36.0ms	(- (* (* z 2.0) z) (* y t))
187.0ms	(/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z))
51.0ms	(/ (- (* (* z 2.0) z) (* y t)) z)

simplify122.0ms

Algorithm

egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 2 (92.0ms)

Iter	Nodes	Cost
0	836	3783
1	3745	2919
2	5001	2916

prune336.0ms

Filtered

181 candidates to 120 candidates (66.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	179	2	181
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	183	5	188

Merged error: 1.4b

Counts

188 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* z 2.0) (/ (* t y) z))
0.0b	(- x (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
3.9b	(/ (* t y) z)
4.3b	(/ (* y 2.0) (- (* z 2.0) (/ (* t y) z)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

34×	`prod-diff`
28×	`add-sqr-sqrt` `*-un-lft-identity`
26×	`add-cube-cbrt`
18×	`times-frac`
14×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/r/` `add-log-exp`
6×	`flip3--` `associate-/r*` `flip--` `div-inv`
4×	`pow1` `cbrt-undiv` `expm1-log1p-u` `fma-neg` `div-exp` `log1p-expm1-u`
2×	`sub-neg` `frac-2neg` `diff-log` `prod-exp` `clear-num` `cbrt-unprod` `associate-/l*`
1×	`distribute-lft-out--` `difference-of-squares`

Counts

4 → 116

Calls

4 calls:

5.0ms	(- (* z 2.0) (/ (* t y) z))
9.0ms	(- x (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
4.0ms	(/ (* t y) z)
8.0ms	(/ (* y 2.0) (- (* z 2.0) (/ (* t y) z)))

series304.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(- (* z 2.0) (/ (* t y) z))
70.0ms	(- x (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
20.0ms	(/ (* t y) z)
176.0ms	(/ (* y 2.0) (- (* z 2.0) (/ (* t y) z)))

simplify87.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 2 (69.0ms)

Iter	Nodes	Cost
0	613	1989
1	2847	1406
2	5001	1405

prune224.0ms

Filtered

128 candidates to 82 candidates (64.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	126	2	128
Fresh	2	2	4
Picked	1	0	1
Done	0	0	0
Total	129	4	133

Merged error: 0.5b

Counts

133 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* z 2.0) (* t (/ y z)))
0.0b	(- x (/ (* y 2.0) (- (* z 2.0) (* t (/ y z)))))
4.3b	(/ (* y 2.0) (- (* z 2.0) (* t (/ y z))))
5.2b	(* t (/ y z))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

37×	`add-sqr-sqrt`
32×	`*-un-lft-identity`
30×	`add-cube-cbrt`
28×	`prod-diff`
22×	`times-frac`
14×	`add-exp-log` `add-cbrt-cube`
13×	`associate-r`
8×	`associate-/r/` `add-log-exp`
6×	`pow1` `flip3--` `flip--`
5×	`div-inv`
4×	`expm1-log1p-u` `fma-neg` `log1p-expm1-u`
3×	`cbrt-undiv` `div-exp` `associate-l` `prod-exp` `associate-/r*` `cbrt-unprod`
2×	`sub-neg` `diff-log` `unswap-sqr`
1×	`frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `associate-/l*` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 121

Calls

4 calls:

3.0ms	(- (* z 2.0) (* t (/ y z)))
8.0ms	(- x (/ (* y 2.0) (- (* z 2.0) (* t (/ y z)))))
6.0ms	(/ (* y 2.0) (- (* z 2.0) (* t (/ y z))))
6.0ms	(* t (/ y z))

series310.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(- (* z 2.0) (* t (/ y z)))
68.0ms	(- x (/ (* y 2.0) (- (* z 2.0) (* t (/ y z)))))
168.0ms	(/ (* y 2.0) (- (* z 2.0) (* t (/ y z))))
22.0ms	(* t (/ y z))

simplify102.0ms

Algorithm

egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 2 (81.0ms)

Iter	Nodes	Cost
0	588	1923
1	2608	1386
2	5001	1385

prune225.0ms

Filtered

133 candidates to 89 candidates (66.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	132	1	133
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	132	5	137

Merged error: 0.5b

Counts

137 → 5

regimes122.0ms

Accuracy

38.3% (1.1b remaining)

Error of 1.6b against oracle of 0.5b and baseline of 2.3b

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	22
1	30	22

end0.0ms

sample541.0ms

Algorithm

intervals

Results

321.0ms

8000×

body

valid