Details

sample894.0ms

Algorithm

intervals

Results

529.0ms

2365×

body

valid

simplify43.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	132	47
1	350	47
2	1758	47
3	5001	47

prune11.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: 28.5b

Counts

2 → 1

localize60.0ms

Local error

Found 4 expressions with local error:

8.9b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.1b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.6b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.4b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))

rewrite35.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:

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

series194.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify40.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (23.0ms)

Iter	Nodes	Cost
0	1076	1572
1	5001	1484

prune438.0ms

Filtered

132 candidates to 100 candidates (24.2%)

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

Counts

133 → 21

localize71.0ms

Local error

Found 4 expressions with local error:

8.9b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.1b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.6b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.4b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))

rewrite38.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:

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

series203.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify40.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	1076	1572
1	5001	1484

prune372.0ms

Filtered

132 candidates to 100 candidates (24.2%)

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

Counts

153 → 21

localize71.0ms

Local error

Found 4 expressions with local error:

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

rewrite35.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:

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

series196.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify39.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	1076	1572
1	5002	1484

prune421.0ms

Filtered

132 candidates to 100 candidates (24.2%)

Pruning

25 alts after pruning (24 fresh and 1 done)

	Pruned	Kept	Total
New	127	5	132
Fresh	0	19	19
Picked	1	0	1
Done	0	1	1
Total	128	25	153

Merged error: 17.3b

Counts

153 → 25

localize66.0ms

Local error

Found 4 expressions with local error:

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

rewrite35.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:

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

series196.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify44.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	1081	1572
1	5001	1484

prune175.0ms

Filtered

132 candidates to 100 candidates (24.2%)

Pruning

26 alts after pruning (25 fresh and 1 done)

	Pruned	Kept	Total
New	130	2	132
Fresh	0	23	23
Picked	1	0	1
Done	0	1	1
Total	131	26	157

Merged error: 17.3b

Counts

157 → 26

regimes6.8s

Accuracy

-32.9% (14.4b remaining)

Error of 30.8b against oracle of 16.4b and baseline of 27.2b

bsearch1.4s

Steps

Iters	Range		Point
9	2469.6773511799042	29413810544.346367	129538056.02436355
7	1.8830475067427376e-158	2.0514875976416818e-156	3.0710871652651865e-157
7	9.907892903943698e-228	2.7719064616375588e-226	1.6803299165892748e-226
5	-1.3229331409008778e-228	-6.350807947861882e-229	-1.1545279586232272e-228

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	206	255
1	214	255
2	214	255

end0.0ms

sample26.9s

Algorithm

intervals

Results

16.2s

73612×

body

valid

Details

sample894.0ms

simplify43.0ms

prune11.0ms

localize60.0ms

rewrite35.0ms

series194.0ms

simplify40.0ms

prune438.0ms

localize71.0ms

rewrite38.0ms

series203.0ms

simplify40.0ms

prune372.0ms

localize71.0ms

rewrite35.0ms

series196.0ms

simplify39.0ms

prune421.0ms

localize66.0ms

rewrite35.0ms

series196.0ms

simplify44.0ms

prune175.0ms

regimes6.8s

bsearch1.4s

simplify5.0ms

end0.0ms

sample26.9s

Profiling