Details

sample42.0ms

Algorithm

intervals

Results

21.0ms

395×

body

valid

simplify124.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: 22.6b

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 9.0) y)
0.3b	(- (* (* x 9.0) y) (* (* (* z 4.0) t) a))
4.7b	(* (* (* z 4.0) t) a)
20.5b	(/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-exp-log` `add-cbrt-cube`
18×	`pow1`
12×	`*-un-lft-identity`
10×	`prod-exp` `cbrt-unprod`
9×	`pow-prod-down`
8×	`add-sqr-sqrt` `add-cube-cbrt`
6×	`associate-r` `add-log-exp`
4×	`times-frac` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `associate-l` `*-commutative` `associate-/l/` `distribute-lft-out`
1×	`associate-+l-` `sub-neg` `flip3--` `frac-2neg` `flip3-+` `diff-log` `div-sub` `clear-num` `associate-/r*` `flip--` `flip-+` `div-inv`

Counts

4 → 77

Calls

4 calls:

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

series325.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(* (* x 9.0) y)
80.0ms	(- (* (* x 9.0) y) (* (* (* z 4.0) t) a))
28.0ms	(* (* (* z 4.0) t) a)
197.0ms	(/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))

simplify78.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	491	675
1	2345	574
2	5002	574

prune249.0ms

Filtered

89 candidates to 57 candidates (64.0%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	78	11	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	11	90

Merged error: 9.3b

Counts

90 → 11

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 9.0 (/ (* x y) (* z c)))
4.7b	(/ b (* z c))
6.2b	(/ (* a t) c)
11.0b	(/ (* x y) (* z c))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-exp-log` `add-cbrt-cube`
15×	`prod-exp` `cbrt-unprod`
12×	`cbrt-undiv` `add-sqr-sqrt` `div-exp`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`times-frac`
6×	`pow1`
5×	`associate-r` `associate-/r` `associate-/l`
4×	`div-inv` `add-log-exp`
3×	`frac-2neg` `associate-l` `clear-num`
1×	`associate-r/` `pow-prod-down` `-commutative` `unswap-sqr`

Counts

4 → 92

Calls

4 calls:

7.0ms	(* 9.0 (/ (* x y) (* z c)))
4.0ms	(/ b (* z c))
4.0ms	(/ (* a t) c)
6.0ms	(/ (* x y) (* z c))

series111.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(* 9.0 (/ (* x y) (* z c)))
20.0ms	(/ b (* z c))
19.0ms	(/ (* a t) c)
32.0ms	(/ (* x y) (* z c))

simplify61.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	420	503
1	2365	384
2	5002	384

prune248.0ms

Filtered

104 candidates to 62 candidates (59.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	96	8	104
Fresh	8	2	10
Picked	1	0	1
Done	0	0	0
Total	105	10	115

Merged error: 0.0b

Counts

115 → 10

localize15.0ms

Local error

Found 4 expressions with local error:

4.7b	(/ b (* z c))
4.7b	(/ x (/ (* z c) y))
6.2b	(/ (* a t) c)
6.3b	(/ (* z c) y)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

42×	`times-frac`
28×	`add-exp-log` `add-cbrt-cube`
26×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
14×	`associate-/r*`
11×	`cbrt-undiv` `div-exp`
8×	`div-inv` `associate-/l*`
4×	`pow1` `frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `add-log-exp`
1×	`associate-/r/`

Counts

4 → 111

Calls

4 calls:

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

series93.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(/ b (* z c))
31.0ms	(/ x (/ (* z c) y))
19.0ms	(/ (* a t) c)
23.0ms	(/ (* z c) y)

simplify57.0ms

Algorithm

egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	457	568
1	2237	494
2	5001	494

prune356.0ms

Filtered

123 candidates to 90 candidates (73.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	120	3	123
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	123	10	133

Merged error: 0.0b

Counts

133 → 10

localize20.0ms

Local error

Found 4 expressions with local error:

4.7b	(/ b (* z c))
4.7b	(/ x (/ (* z c) y))
6.3b	(* (* a t) (/ 1 c))
6.3b	(/ (* z c) y)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

48×	`times-frac`
45×	`add-exp-log`
35×	`add-cbrt-cube`
31×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
15×	`prod-exp`
13×	`div-exp` `associate-r`
11×	`cbrt-undiv` `associate-/r*`
9×	`pow1` `cbrt-unprod`
8×	`div-inv`
7×	`associate-/l*`
4×	`add-log-exp`
3×	`frac-2neg` `pow-prod-down` `clear-num`
2×	`rec-exp` `1-exp`
1×	`associate-r/` `associate-l` `associate-/r/` `un-div-inv` `-commutative`

Counts

4 → 128

Calls

4 calls:

4.0ms	(/ b (* z c))
6.0ms	(/ x (/ (* z c) y))
7.0ms	(* (* a t) (/ 1 c))
5.0ms	(/ (* z c) y)

series95.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(/ b (* z c))
38.0ms	(/ x (/ (* z c) y))
19.0ms	(* (* a t) (/ 1 c))
19.0ms	(/ (* z c) y)

simplify68.0ms

Algorithm

egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	588	666
1	2977	564
2	5002	551

prune344.0ms

Filtered

140 candidates to 94 candidates (67.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	140	10	150

Merged error: 0.0b

Counts

150 → 10

regimes705.0ms

Accuracy

33.8% (7.2b remaining)

Error of 7.6b against oracle of 0.4b and baseline of 11.3b

bsearch2.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	68	64
1	68	64

end0.0ms

sample1.2s

Algorithm

intervals

Results

724.0ms

12776×

body

valid