Details

sample727.0ms

Algorithm

intervals

Results

509.0ms

2232×

body

valid

simplify50.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 3 (48.0ms)

Iter	Nodes	Cost
0	145	47
1	392	45
2	1930	45
3	5001	44

prune31.0ms

Filtered

1 candidates to 1 candidates (100.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.0b

Counts

2 → 1

localize58.0ms

Local error

Found 4 expressions with local error:

8.2b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.8b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.2b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.8b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `distribute-rgt-in` `add-cube-cbrt` `-un-lft-identity` `distribute-lft-in` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`sub-neg` `associate-r/` `prod-diff` `associate-l/`
4×	`expm1-log1p-u` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `log1p-expm1-u` `add-log-exp` `unswap-sqr`

Counts

4 → 136

Calls

4 calls:

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

series665.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify48.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	1176	1700
1	5002	1612

prune2.3s

Filtered

148 candidates to 120 candidates (81.1%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	125	23	148
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	126	23	149

Merged error: 17.6b

Counts

149 → 23

localize71.0ms

Local error

Found 4 expressions with local error:

9.8b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.2b	(* (- (* t j) (* y k)) (fma y4 b (- (* i y5))))
10.8b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
46.8b	(fma (- i) y5 (* i y5))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
13×	`flip3--` `flip--`
10×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
9×	`associate-r` `associate-l`
8×	`frac-times`
7×	`distribute-rgt-in` `distribute-lft-in`
6×	`associate-*l/`
4×	`expm1-log1p-u` `sub-neg` `associate-*r/` `prod-diff` `log1p-expm1-u` `add-log-exp`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `fma-udef` `unswap-sqr`

Counts

4 → 102

Calls

4 calls:

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

series533.0ms

Counts

4 → 12

Calls

4 calls:

167.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
171.0ms	(* (- (* t j) (* y k)) (fma y4 b (- (* i y5))))
169.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
26.0ms	(fma (- i) y5 (* i y5))

simplify100.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 1 (20.0ms)

Iter	Nodes	Cost
0	788	1161
1	3556	1063
2	5001	1063

prune1.7s

Filtered

114 candidates to 89 candidates (78.1%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	113	1	114
Fresh	1	21	22
Picked	1	0	1
Done	0	0	0
Total	115	22	137

Merged error: 17.6b

Counts

137 → 22

localize74.0ms

Local error

Found 4 expressions with local error:

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

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `distribute-rgt-in` `add-cube-cbrt` `-un-lft-identity` `distribute-lft-in` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`sub-neg` `associate-r/` `prod-diff` `associate-l/`
4×	`expm1-log1p-u` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `log1p-expm1-u` `add-log-exp` `unswap-sqr`

Counts

4 → 136

Calls

4 calls:

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

series683.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify46.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 1 (28.0ms)

Iter	Nodes	Cost
0	1178	1700
1	5002	1612

prune2.2s

Filtered

148 candidates to 120 candidates (81.1%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	142	6	148
Fresh	0	21	21
Picked	1	0	1
Done	0	0	0
Total	143	27	170

Merged error: 15.8b

Counts

170 → 27

localize65.0ms

Local error

Found 4 expressions with local error:

10.2b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.8b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.8b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.8b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `distribute-rgt-in` `add-cube-cbrt` `-un-lft-identity` `distribute-lft-in` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`sub-neg` `associate-r/` `prod-diff` `associate-l/`
4×	`expm1-log1p-u` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `log1p-expm1-u` `add-log-exp` `unswap-sqr`

Counts

4 → 136

Calls

4 calls:

9.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series677.0ms

Counts

4 → 12

Calls

4 calls:

164.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
169.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
173.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
170.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

simplify94.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 1 (16.0ms)

Iter	Nodes	Cost
0	604	1700
1	2827	1580
2	5001	1580

prune2.0s

Filtered

148 candidates to 116 candidates (78.4%)

Pruning

27 alts after pruning (26 fresh and 1 done)

	Pruned	Kept	Total
New	148	0	148
Fresh	0	26	26
Picked	0	1	1
Done	0	0	0
Total	148	27	175

Merged error: 15.8b

Counts

175 → 27

regimes7.8s

Accuracy

-23.2% (13.2b remaining)

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

bsearch1.8s

Steps

Iters	Range		Point
8	2.6048282671931293e-185	3.234670669631389e-182	1.371493184211214e-184
4	-3.4846346848570164e-271	-1.8600088307398092e-271	-1.893301352547793e-271
6	-2.132111395167037e-270	-3.4846346848570164e-271	-1.935898342788836e-270
6	-6.594591308181159e+28	-1.6245017904251718e+28	-2.7406113097969565e+28

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	188	250
1	192	250
2	192	250

end0.0ms

sample20.7s

Algorithm

intervals

Results

15.2s

71895×

body

valid

Details

sample727.0ms

simplify50.0ms

prune31.0ms

localize58.0ms

rewrite42.0ms

series665.0ms

simplify48.0ms

prune2.3s

localize71.0ms

rewrite27.0ms

series533.0ms

simplify100.0ms

prune1.7s

localize74.0ms

rewrite40.0ms

series683.0ms

simplify46.0ms

prune2.2s

localize65.0ms

rewrite39.0ms

series677.0ms

simplify94.0ms

prune2.0s

regimes7.8s

bsearch1.8s

simplify5.0ms

end0.0ms

sample20.7s

Profiling