Details

sample39.0ms

Algorithm

intervals

Results

18.0ms

390×

body

valid

simplify142.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	37	9
1	94	9
2	287	9
3	741	9
4	1662	9
5	4195	9
6	5001	9

prune3.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.2b

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* z 4.0) t)
0.4b	(- (* (* x 9.0) y) (* (* (* z 4.0) t) a))
7.5b	(* (* (* z 4.0) t) a)
20.9b	(/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

8×	`associate-l`
6×	`*-commutative`
2×	`associate-/r*` `associate-/l/`
1×	`associate-+l-` `sub-neg` `flip3--` `frac-2neg` `flip3-+` `div-sub` `clear-num` `flip--` `flip-+` `div-inv`

Counts

4 → 20

Calls

4 calls:

3.0ms	(* (* z 4.0) t)
9.0ms	(- (* (* x 9.0) y) (* (* (* z 4.0) t) a))
5.0ms	(* (* (* z 4.0) t) a)
12.0ms	(/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))

series343.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* (* z 4.0) t)
82.0ms	(- (* (* x 9.0) y) (* (* (* z 4.0) t) a))
30.0ms	(* (* (* z 4.0) t) a)
208.0ms	(/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))

simplify200.0ms

Algorithm

egg-herbie

Counts

32 → 32

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	207	175
1	809	175
2	4364	175
3	5001	175

prune115.0ms

Filtered

32 candidates to 24 candidates (75.0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	24	8	32
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	25	8	33

Merged error: 6.4b

Counts

33 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 9.0 (/ (* x y) (* z c)))
3.9b	(/ (* a t) c)
6.6b	(/ b (* z c))
9.8b	(/ (* x y) (* z c))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

15×	`*-commutative`
8×	`times-frac`
7×	`associate-*r/`
6×	`associate-/r` `associate-/l`
5×	`associate-r` `clear-num`
4×	`frac-2neg` `div-inv`
1×	`un-div-inv`

Counts

4 → 35

Calls

4 calls:

5.0ms	(* 9.0 (/ (* x y) (* z c)))
3.0ms	(/ (* a t) c)
3.0ms	(/ b (* z c))
4.0ms	(/ (* x y) (* z c))

series115.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(* 9.0 (/ (* x y) (* z c)))
20.0ms	(/ (* a t) c)
25.0ms	(/ b (* z c))
29.0ms	(/ (* x y) (* z c))

simplify113.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	105	98
1	320	98
2	906	98
3	2301	98
4	3312	98
5	4003	98
6	5002	98

prune177.0ms

Filtered

47 candidates to 35 candidates (74.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	39	8	47
Fresh	4	3	7
Picked	1	0	1
Done	0	0	0
Total	44	11	55

Merged error: 0.2b

Counts

55 → 11

localize20.0ms

Local error

Found 4 expressions with local error:

3.9b	(/ (* a t) c)
4.3b	(/ (* 9.0 x) (/ (* z c) y))
4.4b	(/ (* z c) y)
6.6b	(/ b (* z c))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

8×	`associate-/l*`
7×	`div-inv`
6×	`*-commutative`
5×	`frac-2neg` `clear-num` `associate-/r/`
3×	`associate-/r*`
2×	`times-frac`

Counts

4 → 28

Calls

4 calls:

3.0ms	(/ (* a t) c)
5.0ms	(/ (* 9.0 x) (/ (* z c) y))
3.0ms	(/ (* z c) y)
3.0ms	(/ b (* z c))

series119.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(/ (* a t) c)
55.0ms	(/ (* 9.0 x) (/ (* z c) y))
22.0ms	(/ (* z c) y)
22.0ms	(/ b (* z c))

simplify76.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 2 (11.0ms)

Iter	Nodes	Cost
0	111	96
1	287	94
2	1106	93
3	3933	93
4	5002	93

prune149.0ms

Filtered

40 candidates to 30 candidates (75.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	35	5	40
Fresh	5	5	10
Picked	1	0	1
Done	0	0	0
Total	41	10	51

Merged error: 0.2b

Counts

51 → 10

localize15.0ms

Local error

Found 4 expressions with local error:

3.9b	(/ (* a t) c)
4.1b	(/ (/ (* z c) y) x)
4.4b	(/ (* z c) y)
6.6b	(/ b (* z c))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

7×	`associate-/l*`
5×	`frac-2neg` `clear-num` `div-inv` `associate-/l/`
4×	`*-commutative`
2×	`associate-/r*`

Counts

4 → 24

Calls

4 calls:

3.0ms	(/ (* a t) c)
4.0ms	(/ (/ (* z c) y) x)
4.0ms	(/ (* z c) y)
3.0ms	(/ b (* z c))

series92.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(/ (* a t) c)
27.0ms	(/ (/ (* z c) y) x)
24.0ms	(/ (* z c) y)
21.0ms	(/ b (* z c))

simplify103.0ms

Algorithm

egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	80	72
1	135	71
2	293	71
3	601	71
4	1177	71
5	1931	71
6	3549	71
7	5002	71

prune110.0ms

Filtered

36 candidates to 24 candidates (66.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	32	4	36
Fresh	4	5	9
Picked	1	0	1
Done	0	0	0
Total	37	9	46

Merged error: 0.2b

Counts

46 → 9

regimes612.0ms

Accuracy

27.3% (8.2b remaining)

Error of 8.3b against oracle of 0.1b and baseline of 11.4b

bsearch218.0ms

Steps

Iters	Range		Point
8	2.687641205378425e+125	2.690166866494385e+128	1.0295253098100572e+127
8	1.437759422872514e-82	7.788909384568339e-78	2.0316591372049902e-81
7	-1.493412812220107e-26	-2.395638346577384e-28	-3.1961472743277424e-28

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	65	42
1	65	42

end0.0ms

sample1.1s

Algorithm

intervals

Results

624.0ms

12665×

body

valid