Details

sample23.0ms

Algorithm

intervals

Results

12.0ms

256×

body

valid

simplify38.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	26	8
1	61	8
2	141	8
3	347	8
4	792	8
5	5002	8

prune3.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: 10.0b

Counts

2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
0.9b	(- (* (* z 2.0) z) (* y t))
19.4b	(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-exp-log` `add-cbrt-cube`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
5×	`add-cube-cbrt`
3×	`pow1` `cbrt-undiv` `flip3--` `times-frac` `div-exp` `prod-exp` `associate-/r*` `flip--` `cbrt-unprod`
2×	`sub-neg` `diff-log` `associate-/r/`
1×	`frac-2neg` `clear-num` `div-inv` `associate-/l*` `distribute-lft-out--` `difference-of-squares`

Counts

3 → 51

Calls

3 calls:

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

series315.0ms

Counts

3 → 9

Calls

3 calls:

84.0ms	(- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
37.0ms	(- (* (* z 2.0) z) (* y t))
194.0ms	(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

simplify48.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	318	564
1	1519	493
2	5002	493

prune131.0ms

Filtered

60 candidates to 42 candidates (70.0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	53	7	60
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	54	7	61

Merged error: 4.4b

Counts

61 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (* (* y 2.0) (/ z (- (* 2.0 (pow z 2)) (* t y)))))
0.9b	(- (* 2.0 (pow z 2)) (* t y))
4.1b	(* (* y 2.0) (/ z (- (* 2.0 (pow z 2)) (* t y))))
17.9b	(/ z (- (* 2.0 (pow z 2)) (* t y)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`add-exp-log` `times-frac` `add-cbrt-cube`
15×	`associate-r`
9×	`pow1`
8×	`add-log-exp`
6×	`prod-exp` `cbrt-unprod`
4×	`flip3--` `associate-/r/` `flip--`
3×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-/r` `associate-/l`
2×	`sub-neg` `diff-log` `div-inv`
1×	`frac-2neg` `associate-r/` `associate-l` `clear-num` `-commutative`

Counts

4 → 88

Calls

4 calls:

3.0ms	(- x (* (* y 2.0) (/ z (- (* 2.0 (pow z 2)) (* t y)))))
4.0ms	(- (* 2.0 (pow z 2)) (* t y))
11.0ms	(* (* y 2.0) (/ z (- (* 2.0 (pow z 2)) (* t y))))
6.0ms	(/ z (- (* 2.0 (pow z 2)) (* t y)))

series363.0ms

Counts

4 → 12

Calls

4 calls:

88.0ms	(- x (* (* y 2.0) (/ z (- (* 2.0 (pow z 2)) (* t y)))))
38.0ms	(- (* 2.0 (pow z 2)) (* t y))
190.0ms	(* (* y 2.0) (/ z (- (* 2.0 (pow z 2)) (* t y))))
48.0ms	(/ z (- (* 2.0 (pow z 2)) (* t y)))

simplify66.0ms

Algorithm

egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	391	883
1	1978	774
2	5001	773

prune229.0ms

Filtered

100 candidates to 69 candidates (69.0%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	95	5	100
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	97	10	107

Merged error: 4.4b

Counts

107 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

4.1b	(* (* y 2.0) (/ z (- (* 2.0 (pow z 2)) (* t y))))
17.9b	(/ z (- (* 2.0 (pow z 2)) (* t y)))
17.9b	(/ z (- (* 2.0 (pow z 2)) (* t y)))
17.9b	(/ z (- (* 2.0 (pow z 2)) (* t y)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
35×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
22×	`add-exp-log` `add-cbrt-cube`
15×	`associate-r`
9×	`pow1` `associate-/r` `associate-/l`
8×	`associate-/r/`
6×	`prod-exp` `cbrt-unprod`
5×	`cbrt-undiv` `div-exp`
4×	`flip3--` `flip--` `div-inv` `add-log-exp`
3×	`frac-2neg` `pow-prod-down` `clear-num`
1×	`associate-r/` `associate-l` `-commutative`

Counts

4 → 122

Calls

4 calls:

11.0ms	(* (* y 2.0) (/ z (- (* 2.0 (pow z 2)) (* t y))))
6.0ms	(/ z (- (* 2.0 (pow z 2)) (* t y)))
6.0ms	(/ z (- (* 2.0 (pow z 2)) (* t y)))
6.0ms	(/ z (- (* 2.0 (pow z 2)) (* t y)))

series342.0ms

Counts

4 → 12

Calls

4 calls:

189.0ms	(* (* y 2.0) (/ z (- (* 2.0 (pow z 2)) (* t y))))
48.0ms	(/ z (- (* 2.0 (pow z 2)) (* t y)))
52.0ms	(/ z (- (* 2.0 (pow z 2)) (* t y)))
53.0ms	(/ z (- (* 2.0 (pow z 2)) (* t y)))

simplify67.0ms

Algorithm

egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	315	1176
1	1693	1035
2	5002	1032

prune428.0ms

Filtered

134 candidates to 99 candidates (73.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	134	0	134
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	134	10	144

Merged error: 4.4b

Counts

144 → 10

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (* (* (* y 2.0) z) (/ 1 (- (* (* z 2.0) z) (* y t)))))
0.7b	(/ 1 (- (* (* z 2.0) z) (* y t)))
0.9b	(- (* (* z 2.0) z) (* y t))
18.9b	(* (* (* y 2.0) z) (/ 1 (- (* (* z 2.0) z) (* y t))))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

47×	`add-exp-log`
27×	`add-cbrt-cube`
24×	`prod-exp`
19×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`times-frac`
15×	`associate-r`
14×	`pow1`
12×	`cbrt-unprod`
8×	`div-exp` `add-log-exp`
6×	`pow-prod-down`
4×	`cbrt-undiv` `rec-exp` `flip3--` `1-exp` `associate-/r/` `flip--`
3×	`associate-/r` `associate-/l`
2×	`sub-neg` `diff-log` `div-inv`
1×	`pow-flip` `frac-2neg` `associate-r/` `associate-l` `clear-num` `un-div-inv` `-commutative` `inv-pow`

Counts

4 → 104

Calls

4 calls:

3.0ms	(- x (* (* (* y 2.0) z) (/ 1 (- (* (* z 2.0) z) (* y t)))))
7.0ms	(/ 1 (- (* (* z 2.0) z) (* y t)))
5.0ms	(- (* (* z 2.0) z) (* y t))
19.0ms	(* (* (* y 2.0) z) (/ 1 (- (* (* z 2.0) z) (* y t))))

series354.0ms

Counts

4 → 12

Calls

4 calls:

84.0ms	(- x (* (* (* y 2.0) z) (/ 1 (- (* (* z 2.0) z) (* y t)))))
36.0ms	(/ 1 (- (* (* z 2.0) z) (* y t)))
39.0ms	(- (* (* z 2.0) z) (* y t))
195.0ms	(* (* (* y 2.0) z) (/ 1 (- (* (* z 2.0) z) (* y t))))

simplify76.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 2 (65.0ms)

Iter	Nodes	Cost
0	472	1070
1	2528	902
2	5001	875

prune158.0ms

Filtered

116 candidates to 60 candidates (51.7%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	116	0	116
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	116	10	126

Merged error: 4.4b

Counts

126 → 10

regimes210.0ms

Accuracy

0% (2.2b remaining)

Error of 6.6b against oracle of 4.4b and baseline of 6.6b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	8
1	18	8

end0.0ms

sample749.0ms

Algorithm

intervals

Results

545.0ms

8000×

body

valid

Details

sample23.0ms

simplify38.0ms

prune3.0ms

localize11.0ms

rewrite24.0ms

series315.0ms

simplify48.0ms

prune131.0ms

localize15.0ms

rewrite26.0ms

series363.0ms

simplify66.0ms

prune229.0ms

localize17.0ms

rewrite33.0ms

series342.0ms

simplify67.0ms

prune428.0ms

localize12.0ms

rewrite37.0ms

series354.0ms

simplify76.0ms

prune158.0ms

regimes210.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample749.0ms

Profiling