Details

sample702.0ms

Algorithm

intervals

Results

508.0ms

2179×

body

valid

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

prune14.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.0b

Counts

2 → 1

localize58.0ms

Local error

Found 4 expressions with local error:

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

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

series651.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify42.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	1081	1572
1	5001	1484

prune1.7s

Filtered

132 candidates to 100 candidates (75.8%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	113	19	132
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	114	19	133

Merged error: 17.4b

Counts

133 → 19

localize66.0ms

Local error

Found 4 expressions with local error:

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

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:

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

series660.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify43.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1076	1572
1	5002	1484

prune1.9s

Filtered

132 candidates to 100 candidates (75.8%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	124	8	132
Fresh	2	16	18
Picked	1	0	1
Done	0	0	0
Total	127	24	151

Merged error: 15.3b

Counts

151 → 24

localize67.0ms

Local error

Found 4 expressions with local error:

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

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

series655.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify42.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	1077	1572
1	5002	1484

prune1.9s

Filtered

132 candidates to 100 candidates (75.8%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	131	1	132
Fresh	0	23	23
Picked	1	0	1
Done	0	0	0
Total	132	24	156

Merged error: 15.3b

Counts

156 → 24

localize72.0ms

Local error

Found 4 expressions with local error:

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

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

series701.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify44.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (28.0ms)

Iter	Nodes	Cost
0	1076	1572
1	5002	1484

prune1.7s

Filtered

132 candidates to 100 candidates (75.8%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	130	2	132
Fresh	2	21	23
Picked	1	0	1
Done	0	0	0
Total	133	23	156

Merged error: 15.3b

Counts

156 → 23

regimes6.0s

Accuracy

-7% (11.6b remaining)

Error of 28.7b against oracle of 17.1b and baseline of 28.0b

bsearch1.1s

Steps

Iters	Range		Point
8	2.0617394008607914e-203	3.7678989998968176e-199	9.880341132407863e-200
6	-4.153070884752926e-231	-2.8926079074443022e-232	-6.11676293180201e-232

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	166	171
1	170	171
2	170	171

end0.0ms

sample22.4s

Algorithm

intervals

Results

16.8s

71506×

body

valid

Details

sample702.0ms

simplify44.0ms

prune14.0ms

localize58.0ms

rewrite39.0ms

series651.0ms

simplify42.0ms

prune1.7s

localize66.0ms

rewrite43.0ms

series660.0ms

simplify43.0ms

prune1.9s

localize67.0ms

rewrite45.0ms

series655.0ms

simplify42.0ms

prune1.9s

localize72.0ms

rewrite39.0ms

series701.0ms

simplify44.0ms

prune1.7s

regimes6.0s

bsearch1.1s

simplify4.0ms

end0.0ms

sample22.4s

Profiling