Details

sample901.0ms

Algorithm

intervals

Results

517.0ms

2301×

body

valid

simplify31.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5427	95

prune21.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 26.6b

Counts

2 → 1

localize67.0ms

Local error

Found 4 expressions with local error:

8.5b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.7b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.7b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.6b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

15.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series247.0ms

Counts

4 → 12

Calls

4 calls:

90.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
52.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
55.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
50.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify67.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5007	2984

prune477.0ms

Filtered

101 candidates to 132 candidates (-30.7%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	111	21	132
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	112	21	133

Merged error: 17.4b

Counts

133 → 21

localize70.0ms

Local error

Found 4 expressions with local error:

8.5b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.6b	(* (- (* y x) (* t z)) (* i (neg c)))
8.7b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.6b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

19×	`flip3--` `flip--`
17×	`add-sqr-sqrt`
15×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`frac-times` `associate-l`
11×	`add-cube-cbrt` `*-un-lft-identity`
10×	`associate-r`
8×	`associate-*l/`
6×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`*-commutative` `add-log-exp`
3×	`unswap-sqr`
2×	`distribute-rgt-neg-out`

Counts

4 → 111

Calls

4 calls:

9.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.0ms	(* (- (* y x) (* t z)) (* i (neg c)))
9.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series184.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
29.0ms	(* (- (* y x) (* t z)) (* i (neg c)))
49.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
54.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify54.0ms

Algorithm

egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5105	2547

prune385.0ms

Filtered

90 candidates to 123 candidates (-36.7%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	119	4	123
Fresh	3	17	20
Picked	1	0	1
Done	0	0	0
Total	123	21	144

Merged error: 16.9b

Counts

144 → 21

localize73.0ms

Local error

Found 4 expressions with local error:

8.7b	(* (- (* x y2) (* z y3)) (- (* c y0) (* a y1)))
8.7b	(* (- (* x y2) (* z y3)) (- (* c y0) (* a y1)))
8.7b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.6b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

10.0ms	(* (- (* x y2) (* z y3)) (- (* c y0) (* a y1)))
10.0ms	(* (- (* x y2) (* z y3)) (- (* c y0) (* a y1)))
10.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
15.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series214.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(* (- (* x y2) (* z y3)) (- (* c y0) (* a y1)))
61.0ms	(* (- (* x y2) (* z y3)) (- (* c y0) (* a y1)))
53.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
50.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify56.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5159	2984

prune418.0ms

Filtered

99 candidates to 132 candidates (-33.3%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	131	1	132
Fresh	0	20	20
Picked	1	0	1
Done	0	0	0
Total	132	21	153

Merged error: 16.8b

Counts

153 → 21

localize76.0ms

Local error

Found 4 expressions with local error:

8.7b	(* (- (* x y2) (* z y3)) (- (* c y0) (* a y1)))
8.7b	(* (- (* x y2) (* z y3)) (- (* c y0) (* a y1)))
8.7b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.6b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

10.0ms	(* (- (* x y2) (* z y3)) (- (* c y0) (* a y1)))
10.0ms	(* (- (* x y2) (* z y3)) (- (* c y0) (* a y1)))
10.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series205.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(* (- (* x y2) (* z y3)) (- (* c y0) (* a y1)))
51.0ms	(* (- (* x y2) (* z y3)) (- (* c y0) (* a y1)))
50.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
52.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify51.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5159	2984

prune188.0ms

Filtered

99 candidates to 132 candidates (-33.3%)

Pruning

21 alts after pruning (20 fresh and 1 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	20	20
Picked	0	1	1
Done	0	0	0
Total	132	21	153

Merged error: 16.8b

Counts

153 → 21

regimes6.3s

Accuracy

-10.8% (10.2b remaining)

Error of 28.0b against oracle of 17.7b and baseline of 27.0b

bsearch1.2s

Steps

Iters	Range		Point
6	3.5673475537051853e-62	2.68544995599618e-61	1.1540556555880223e-61
3	5.51089476575975e-169	7.67285522055475e-169	6.186507407883186e-169
4	6.592727540540718e-233	1.1471565383888001e-232	9.689130496912162e-233
10	-4.886711475397662e-73	-1.4544441448791e-86	-3.5540461749966587e-84

simplify48.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	2291	523
1	2291	523

end0.0ms

sample28.8s

Algorithm

intervals

Results

16.9s

72229×

body

valid

Details

sample901.0ms

simplify31.0ms

prune21.0ms

localize67.0ms

rewrite47.0ms

series247.0ms

simplify67.0ms

prune477.0ms

localize70.0ms

rewrite40.0ms

series184.0ms

simplify54.0ms

prune385.0ms

localize73.0ms

rewrite48.0ms

series214.0ms

simplify56.0ms

prune418.0ms

localize76.0ms

rewrite43.0ms

series205.0ms

simplify51.0ms

prune188.0ms

regimes6.3s

bsearch1.2s

simplify48.0ms

end0.0ms

sample28.8s

Profiling