Details

sample917.0ms

Algorithm

intervals

Results

544.0ms

2404×

body

valid

simplify14.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (12.0ms)

Iter	Nodes	Cost
0	5250	95

prune19.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: 28.6b

Counts

2 → 1

localize63.0ms

Local error

Found 4 expressions with local error:

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

series196.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify42.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	4997	2980
1	4997	2980

prune468.0ms

Filtered

102 candidates to 132 candidates (-29.4%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	110	22	132
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	111	22	133

Merged error: 19.4b

Counts

133 → 22

localize74.0ms

Local error

Found 4 expressions with local error:

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

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:

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

series194.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify44.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5000	2980

prune446.0ms

Filtered

99 candidates to 132 candidates (-33.3%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	126	6	132
Fresh	1	20	21
Picked	1	0	1
Done	0	0	0
Total	128	26	154

Merged error: 16.4b

Counts

154 → 26

localize82.0ms

Local error

Found 4 expressions with local error:

7.2b	(cbrt (- (* j x) (* k z)))
9.4b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
10.1b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
12.4b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 103

Calls

4 calls:

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

series181.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify49.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5115	2468

prune423.0ms

Filtered

90 candidates to 115 candidates (-27.8%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	112	3	115
Fresh	3	22	25
Picked	1	0	1
Done	0	0	0
Total	116	25	141

Merged error: 15.4b

Counts

141 → 25

localize79.0ms

Local error

Found 4 expressions with local error:

7.2b	(cbrt (- (* x j) (* z k)))
7.2b	(cbrt (- (* j x) (* k z)))
10.1b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
12.4b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 86

Calls

4 calls:

3.0ms	(cbrt (- (* x j) (* z k)))
3.0ms	(cbrt (- (* j x) (* k z)))
8.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series169.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(cbrt (- (* x j) (* z k)))
36.0ms	(cbrt (- (* j x) (* k z)))
48.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
47.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify32.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	4990	1952
1	4990	1952

prune162.0ms

Filtered

82 candidates to 98 candidates (-19.5%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	92	6	98
Fresh	5	19	24
Picked	1	0	1
Done	0	0	0
Total	98	25	123

Merged error: 14.4b

Counts

123 → 25

regimes7.2s

Accuracy

8.8% (12.2b remaining)

Error of 26.4b against oracle of 14.1b and baseline of 27.5b

bsearch1.7s

Steps

Iters	Range		Point
10	8.276165630272398e+62	3.726480250683284e+74	3.2209544221888385e+67
9	2.8542241390309e-235	9.237790484397407e-227	8.848345495261139e-234
8	-9.338221261851526e-293	-5.5709519883537975e-297	-5.654823670192366e-297
6	-8.290857839129854e+19	-8.83149824007248e+18	-9.178303677176228e+18

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	244	638
1	244	638

end0.0ms

sample27.6s

Algorithm

intervals

Results

16.6s

72560×

body

valid

Details

sample917.0ms

simplify14.0ms

prune19.0ms

localize63.0ms

rewrite35.0ms

series196.0ms

simplify42.0ms

prune468.0ms

localize74.0ms

rewrite41.0ms

series194.0ms

simplify44.0ms

prune446.0ms

localize82.0ms

rewrite30.0ms

series181.0ms

simplify49.0ms

prune423.0ms

localize79.0ms

rewrite31.0ms

series169.0ms

simplify32.0ms

prune162.0ms

regimes7.2s

bsearch1.7s

simplify4.0ms

end0.0ms

sample27.6s

Profiling