Details

sample722.0ms

Algorithm

intervals

Results

518.0ms

2368×

body

valid

simplify46.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

prune12.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: 25.3b

Counts

2 → 1

localize64.0ms

Local error

Found 4 expressions with local error:

8.1b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.2b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.4b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.2b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

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

series684.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify42.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	1076	1572
1	5001	1484

prune2.1s

Filtered

132 candidates to 100 candidates (75.8%)

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

Counts

133 → 21

localize74.0ms

Local error

Found 4 expressions with local error:

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

series710.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify44.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (28.0ms)

Iter	Nodes	Cost
0	1076	1572
1	5002	1484

prune2.0s

Filtered

132 candidates to 100 candidates (75.8%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	127	5	132
Fresh	1	19	20
Picked	1	0	1
Done	0	0	0
Total	129	24	153

Merged error: 14.0b

Counts

153 → 24

localize76.0ms

Local error

Found 4 expressions with local error:

8.2b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.2b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.4b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.2b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 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 y) (* z t)) (- (* a b) (* c i)))
9.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series704.0ms

Counts

4 → 12

Calls

4 calls:

177.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
178.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
173.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
175.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify137.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (21.0ms)

Iter	Nodes	Cost
0	818	1572
1	3997	1452
2	5001	1452

prune2.0s

Filtered

132 candidates to 96 candidates (72.7%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	130	2	132
Fresh	0	23	23
Picked	1	0	1
Done	0	0	0
Total	131	25	156

Merged error: 14.0b

Counts

156 → 25

localize81.0ms

Local error

Found 4 expressions with local error:

8.2b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.2b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.4b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.2b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 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 y) (* z t)) (- (* a b) (* c i)))
9.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series701.0ms

Counts

4 → 12

Calls

4 calls:

173.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
175.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
178.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
174.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify107.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (20.0ms)

Iter	Nodes	Cost
0	818	1572
1	3997	1452
2	5001	1452

prune2.1s

Filtered

132 candidates to 96 candidates (72.7%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	130	2	132
Fresh	1	23	24
Picked	1	0	1
Done	0	0	0
Total	132	25	157

Merged error: 14.0b

Counts

157 → 25

regimes7.0s

Accuracy

-22.8% (12.7b remaining)

Error of 29.2b against oracle of 16.5b and baseline of 26.8b

bsearch1.4s

Steps

Iters	Range	Point
5	2.6322117839073838e-154	9.964136124914871e-154	3.9686189083417754e-154
5	-3.565818650115285e-236	-1.1395866372598689e-236	-1.9272598207649449e-236
8	-1.927154512038462e-47	-6.055708700127963e-52	-1.2429448197091803e-50

Iters

Range

Point

2.6322117839073838e-154

9.964136124914871e-154

3.9686189083417754e-154

-3.565818650115285e-236

-1.1395866372598689e-236

-1.9272598207649449e-236

-1.927154512038462e-47

-6.055708700127963e-52

-1.2429448197091803e-50

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	204	204
1	208	204
2	208	204

end0.0ms

sample21.7s

Algorithm

intervals

Results

16.1s

73062×

body

valid

Details

sample722.0ms

simplify46.0ms

prune12.0ms

localize64.0ms

rewrite37.0ms

series684.0ms

simplify42.0ms

prune2.1s

localize74.0ms

rewrite38.0ms

series710.0ms

simplify44.0ms

prune2.0s

localize76.0ms

rewrite38.0ms

series704.0ms

simplify137.0ms

prune2.0s

localize81.0ms

rewrite38.0ms

series701.0ms

simplify107.0ms

prune2.1s

regimes7.0s

bsearch1.4s

simplify4.0ms

end0.0ms

sample21.7s

Profiling