Details

sample994.0ms

Algorithm

intervals

Results

586.0ms

2496×

body

valid

simplify14.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (12.0ms)

Iter	Nodes	Cost
0	5250	95

prune22.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: 24.0b

Counts

2 → 1

localize63.0ms

Local error

Found 4 expressions with local error:

7.3b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
7.4b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
7.9b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.3b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 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 y) (* z t)) (- (* a b) (* c i)))
8.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series206.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify46.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5000	2980

prune468.0ms

Filtered

102 candidates to 132 candidates (-29.4%)

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

Counts

133 → 21

localize69.0ms

Local error

Found 4 expressions with local error:

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

rewrite41.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	(* (- (* y x) (* t z)) (- (* a b) (* c i)))
14.0ms	(* (- (* y x) (* t z)) (- (* a b) (* c i)))
7.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series387.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify54.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5104	2980

prune399.0ms

Filtered

99 candidates to 132 candidates (-33.3%)

Pruning

22 alts after pruning (21 fresh and 1 done)

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

Merged error: 14.1b

Counts

153 → 22

localize71.0ms

Local error

Found 4 expressions with local error:

6.6b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
7.4b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
7.9b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.3b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite41.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 y2) (* z y3)) (- (* y0 c) (* y1 a)))
14.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
7.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series203.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify47.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4996	2980
1	4996	2980

prune489.0ms

Filtered

105 candidates to 132 candidates (-25.7%)

Pruning

28 alts after pruning (27 fresh and 1 done)

	Pruned	Kept	Total
New	124	8	132
Fresh	1	19	20
Picked	1	0	1
Done	0	1	1
Total	126	28	154

Merged error: 11.8b

Counts

154 → 28

localize79.0ms

Local error

Found 4 expressions with local error:

6.6b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
7.4b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
7.9b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.3b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 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	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
7.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series209.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify44.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	4997	2980
1	4997	2980

prune204.0ms

Filtered

105 candidates to 132 candidates (-25.7%)

Pruning

31 alts after pruning (30 fresh and 1 done)

	Pruned	Kept	Total
New	126	6	132
Fresh	2	24	26
Picked	1	0	1
Done	0	1	1
Total	129	31	160

Merged error: 9.9b

Counts

160 → 31

regimes8.5s

Accuracy

3.7% (14.3b remaining)

Error of 27.3b against oracle of 12.9b and baseline of 27.8b

bsearch3.5s

Steps

Iters	Range		Point
7	3.834437350666363e+87	1.0547948424940175e+89	6.163579243288948e+88
8	3.0344545857277137e+25	6.387620203386383e+29	6.018779839634722e+25
7	1.3328251095141616e-13	1.517592002384111e-11	1.9735607264676477e-13
8	1.4637135914956354e-135	2.2773788322580427e-132	1.6574213571291207e-134
9	4.424916696101885e-169	3.256503796828234e-164	5.378173828996073e-167
7	-1.4892431004322145e-308	4.416158564549126e-307	1.892414870634963e-307
8	-2.9354047927994983e-111	-7.381255412768325e-115	-1.809885944269682e-111
8	-9.876507347430774e+63	-1.3725461203819106e+61	-3.158225853517435e+61

simplify6.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	278	1053
1	278	1053

end0.0ms

sample28.4s

Algorithm

intervals

Results

17.1s

73520×

body

valid

Details

sample994.0ms

simplify14.0ms

prune22.0ms

localize63.0ms

rewrite35.0ms

series206.0ms

simplify46.0ms

prune468.0ms

localize69.0ms

rewrite41.0ms

series387.0ms

simplify54.0ms

prune399.0ms

localize71.0ms

rewrite41.0ms

series203.0ms

simplify47.0ms

prune489.0ms

localize79.0ms

rewrite35.0ms

series209.0ms

simplify44.0ms

prune204.0ms

regimes8.5s

bsearch3.5s

simplify6.0ms

end0.0ms

sample28.4s

Profiling