Details

sample709.0ms

Algorithm

intervals

Results

500.0ms

2214×

body

valid

simplify48.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 3 (46.0ms)

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

prune30.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: 25.6b

Counts

2 → 1

localize58.0ms

Local error

Found 4 expressions with local error:

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

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

series644.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify46.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	1182	1700
1	5001	1612

prune2.1s

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.1b

Counts

149 → 23

localize75.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.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:

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

series541.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify106.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 1 (22.0ms)

Iter	Nodes	Cost
0	792	1161
1	3566	1063
2	5002	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.1b

Counts

137 → 22

localize69.0ms

Local error

Found 4 expressions with local error:

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

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

series661.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify50.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 1 (31.0ms)

Iter	Nodes	Cost
0	1181	1700
1	5001	1612

prune2.3s

Filtered

148 candidates to 120 candidates (81.1%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	144	4	148
Fresh	1	20	21
Picked	1	0	1
Done	0	0	0
Total	146	24	170

Merged error: 16.3b

Counts

170 → 24

localize66.0ms

Local error

Found 4 expressions with local error:

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

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

series664.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify50.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 1 (31.0ms)

Iter	Nodes	Cost
0	1184	1700
1	5002	1612

prune1.9s

Filtered

148 candidates to 120 candidates (81.1%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	145	3	148
Fresh	1	22	23
Picked	1	0	1
Done	0	0	0
Total	147	25	172

Merged error: 16.3b

Counts

172 → 25

regimes6.5s

Accuracy

-24.6% (12.9b remaining)

Error of 29.1b against oracle of 16.2b and baseline of 26.6b

bsearch1.7s

Steps

Iters	Range		Point
2	1.5796108801030305e-163	1.8716927627088587e-163	1.7621620567316728e-163
6	8.063756942741368e-296	1.0063783454432412e-294	8.061501214270864e-295
6	-8.099239928107902e-240	-9.196253984862611e-241	-7.744411971382531e-240
9	-621510797568.4246	-267106.0391279486	-123751703179.15927

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	188	251
1	196	251
2	204	251
3	204	251

end0.0ms

sample21.3s

Algorithm

intervals

Results

15.6s

72294×

body

valid