Details

sample586.0ms

Algorithm

intervals

Results

389.0ms

2290×

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

Counts

2 → 1

localize65.0ms

Local error

Found 4 expressions with local error:

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

rewrite142.0ms

Algorithm

rewrite-expression-head

Rules

116×	`add-sqr-sqrt`
76×	`-un-lft-identity` `associate-l*`
44×	`associate-r`
36×	`unswap-sqr`
32×	`distribute-lft-out--` `difference-of-squares`
24×	`flip3--` `flip--`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `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`

Counts

4 → 184

Calls

4 calls:

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

series698.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify55.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 1 (30.0ms)

Iter	Nodes	Cost
0	1297	2052
1	5002	1964

prune2.1s

Filtered

196 candidates to 132 candidates (67.3%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	176	20	196
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	177	20	197

Merged error: 16.8b

Counts

197 → 20

localize71.0ms

Local error

Found 4 expressions with local error:

8.9b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.9b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.1b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.0b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite149.0ms

Algorithm

rewrite-expression-head

Rules

116×	`add-sqr-sqrt`
76×	`-un-lft-identity` `associate-l*`
44×	`associate-r`
36×	`unswap-sqr`
32×	`distribute-lft-out--` `difference-of-squares`
24×	`flip3--` `flip--`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `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`

Counts

4 → 184

Calls

4 calls:

34.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
36.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
32.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
39.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series732.0ms

Counts

4 → 12

Calls

4 calls:

180.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
185.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
182.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
184.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify127.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	980	2052
1	4579	1932
2	5001	1932

prune2.5s

Filtered

196 candidates to 128 candidates (65.3%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	192	4	196
Fresh	4	15	19
Picked	1	0	1
Done	0	0	0
Total	197	19	216

Merged error: 16.8b

Counts

216 → 19

localize80.0ms

Local error

Found 4 expressions with local error:

8.9b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.9b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.1b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.0b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite145.0ms

Algorithm

rewrite-expression-head

Rules

116×	`add-sqr-sqrt`
76×	`-un-lft-identity` `associate-l*`
44×	`associate-r`
36×	`unswap-sqr`
32×	`distribute-lft-out--` `difference-of-squares`
24×	`flip3--` `flip--`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `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`

Counts

4 → 184

Calls

4 calls:

36.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
32.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
36.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
32.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series716.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify127.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	980	2052
1	4579	1932
2	5001	1932

prune2.6s

Filtered

196 candidates to 128 candidates (65.3%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	196	0	196
Fresh	0	18	18
Picked	0	1	1
Done	0	0	0
Total	196	19	215

Merged error: 16.8b

Counts

215 → 19

localize68.0ms

Local error

Found 4 expressions with local error:

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

rewrite136.0ms

Algorithm

rewrite-expression-head

Rules

116×	`add-sqr-sqrt`
76×	`-un-lft-identity` `associate-l*`
44×	`associate-r`
36×	`unswap-sqr`
32×	`distribute-lft-out--` `difference-of-squares`
24×	`flip3--` `flip--`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `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`

Counts

4 → 184

Calls

4 calls:

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

series718.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify50.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 1 (29.0ms)

Iter	Nodes	Cost
0	1297	2052
1	5002	1964

prune2.3s

Filtered

196 candidates to 132 candidates (67.3%)

Pruning

19 alts after pruning (17 fresh and 2 done)

	Pruned	Kept	Total
New	195	1	196
Fresh	1	16	17
Picked	0	1	1
Done	0	1	1
Total	196	19	215

Merged error: 16.8b

Counts

215 → 19

regimes4.9s

Accuracy

-19.1% (10.6b remaining)

Error of 29.6b against oracle of 19.0b and baseline of 27.9b

bsearch1.1s

Steps

Iters	Range		Point
9	9.041070039949845e-25	2.407669329583555e-19	7.422918951710804e-22
7	-2.2265498926823633e-98	-6.793446681071331e-100	-3.3408941414902213e-99

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	179	153
1	181	153
2	181	153

end0.0ms

sample17.0s

Algorithm

intervals

Results

11.8s

70022×

body

valid