Details

sample76.0ms

Algorithm

intervals

Results

40.0ms

614×

body

valid

simplify87.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	43	14
1	96	14
2	291	14
3	825	14
4	2021	14
5	5001	14

prune4.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: 11.4b

Counts

2 → 1

localize26.0ms

Local error

Found 4 expressions with local error:

0.3b	(- (* y z) (* t a))
4.8b	(* b (- (* c z) (* t i)))
4.9b	(* j (- (* c a) (* y i)))
6.2b	(* x (- (* y z) (* t a)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

7×	`sub-neg`
6×	`distribute-rgt-in` `distribute-lft-in` `associate-*r/`
4×	`flip3--` `flip--`
3×	`*-commutative`

Counts

4 → 25

Calls

4 calls:

4.0ms	(- (* y z) (* t a))
5.0ms	(* b (- (* c z) (* t i)))
5.0ms	(* j (- (* c a) (* y i)))
5.0ms	(* x (- (* y z) (* t a)))

series232.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(- (* y z) (* t a))
66.0ms	(* b (- (* c z) (* t i)))
66.0ms	(* j (- (* c a) (* y i)))
64.0ms	(* x (- (* y z) (* t a)))

simplify68.0ms

Algorithm

egg-herbie

Counts

37 → 37

Iterations

Useful iterations: 2 (22.0ms)

Iter	Nodes	Cost
0	230	166
1	644	162
2	1840	160
3	5001	160

prune139.0ms

Filtered

37 candidates to 20 candidates (54.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	27	10	37
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	28	10	38

Merged error: 8.6b

Counts

38 → 10

localize23.0ms

Local error

Found 4 expressions with local error:

4.8b	(* b (- (* c z) (* t i)))
4.9b	(* j (- (* c a) (* y i)))
5.3b	(* x (* y z))
5.5b	(* x (- (* t a)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

7×	`associate-r` `*-commutative`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
2×	`distribute-lft-neg-in` `flip3--` `distribute-rgt-neg-in` `flip--`
1×	`neg-mul-1` `distribute-rgt-neg-out`

Counts

4 → 24

Calls

4 calls:

5.0ms	(* b (- (* c z) (* t i)))
5.0ms	(* j (- (* c a) (* y i)))
3.0ms	(* x (* y z))
4.0ms	(* x (- (* t a)))

series183.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(* b (- (* c z) (* t i)))
64.0ms	(* j (- (* c a) (* y i)))
23.0ms	(* x (* y z))
29.0ms	(* x (- (* t a)))

simplify130.0ms

Algorithm

egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	182	109
1	470	105
2	1230	105
3	3431	105
4	5002	105

prune166.0ms

Filtered

36 candidates to 24 candidates (66.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	31	5	36
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	35	11	46

Merged error: 5.7b

Counts

46 → 11

localize23.0ms

Local error

Found 4 expressions with local error:

4.2b	(* (* x a) (- t))
4.8b	(* b (- (* c z) (* t i)))
4.9b	(* j (- (* c a) (* y i)))
5.3b	(* x (* y z))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

6×	`*-commutative`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
3×	`associate-r`
2×	`flip3--` `associate-l` `flip--`
1×	`neg-mul-1` `distribute-rgt-neg-out`

Counts

4 → 22

Calls

4 calls:

4.0ms	(* (* x a) (- t))
5.0ms	(* b (- (* c z) (* t i)))
5.0ms	(* j (- (* c a) (* y i)))
3.0ms	(* x (* y z))

series182.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (* x a) (- t))
66.0ms	(* b (- (* c z) (* t i)))
65.0ms	(* j (- (* c a) (* y i)))
24.0ms	(* x (* y z))

simplify127.0ms

Algorithm

egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	181	108
1	477	104
2	1267	104
3	3618	104
4	5001	104

prune144.0ms

Filtered

34 candidates to 22 candidates (64.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	29	5	34
Fresh	6	4	10
Picked	1	0	1
Done	0	0	0
Total	36	9	45

Merged error: 5.0b

Counts

45 → 9

localize22.0ms

Local error

Found 4 expressions with local error:

4.1b	(* (* x y) z)
4.2b	(* (* x a) (- t))
4.8b	(* b (- (* c z) (* t i)))
4.9b	(* j (- (* c a) (* y i)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

6×	`*-commutative`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l*`
2×	`flip3--` `flip--`
1×	`neg-mul-1` `associate-r` `distribute-rgt-neg-out`

Counts

4 → 22

Calls

4 calls:

3.0ms	(* (* x y) z)
4.0ms	(* (* x a) (- t))
7.0ms	(* b (- (* c z) (* t i)))
5.0ms	(* j (- (* c a) (* y i)))

series179.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* (* x y) z)
27.0ms	(* (* x a) (- t))
65.0ms	(* b (- (* c z) (* t i)))
62.0ms	(* j (- (* c a) (* y i)))

simplify127.0ms

Algorithm

egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	179	108
1	480	104
2	1271	104
3	3622	104
4	5001	104

prune106.0ms

Filtered

34 candidates to 22 candidates (64.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	28	6	34
Fresh	4	4	8
Picked	1	0	1
Done	0	0	0
Total	33	10	43

Merged error: 4.8b

Counts

43 → 10

regimes603.0ms

Accuracy

2.8% (6.2b remaining)

Error of 12.3b against oracle of 6.1b and baseline of 12.5b

bsearch159.0ms

Steps

Iters	Range		Point
5	5.407946233580678e-287	1.2657600356107714e-286	1.246464219829099e-286
9	-2.720696637836631e-258	-1.6537649165595881e-267	-5.139389599098911e-263

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	28
1	62	28
2	69	28
3	69	28

end0.0ms

sample2.1s

Algorithm

intervals

Results

1.2s

18804×

body

valid