Details

sample42.0ms

Algorithm

intervals

Results

22.0ms

392×

body

valid

simplify54.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	32	8
1	69	8
2	134	8
3	225	8
4	378	8
5	598	8
6	815	8
7	1035	8
8	1143	8
9	1211	8
10	1211	8

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: 0.3b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
0.0b	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
0.0b	(+ (* x y) (/ (* z t) 16.0))
0.2b	(/ (* z t) 16.0)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-log-exp`
13×	`*-un-lft-identity`
9×	`add-exp-log` `add-cbrt-cube`
8×	`add-sqr-sqrt`
6×	`add-cube-cbrt` `sum-log`
4×	`pow1` `diff-log`
3×	`associate-+l+` `flip3-+` `times-frac` `associate-/r*` `flip-+`
2×	`cbrt-undiv` `+-commutative` `sub-neg` `div-exp` `associate--l+` `frac-sub` `distribute-lft-out` `distribute-lft-out--`
1×	`associate-+l-` `flip3--` `frac-2neg` `prod-exp` `clear-num` `flip--` `cbrt-unprod` `div-inv` `associate-/l*` `difference-of-squares`

Counts

4 → 69

Calls

4 calls:

8.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
11.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
5.0ms	(+ (* x y) (/ (* z t) 16.0))
4.0ms	(/ (* z t) 16.0)

series286.0ms

Counts

4 → 12

Calls

4 calls:

80.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
144.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
44.0ms	(+ (* x y) (/ (* z t) 16.0))
17.0ms	(/ (* z t) 16.0)

simplify46.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	376	628
1	1475	597
2	5001	590

prune193.0ms

Filtered

81 candidates to 60 candidates (74.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	78	3	81
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	3	82

Merged error: 0b

Counts

82 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0))
0.0b	(* z (/ t 16.0))
0.0b	(+ (- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0)) c)
0.0b	(+ (* x y) (* z (/ t 16.0)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-log-exp`
19×	`add-sqr-sqrt` `*-un-lft-identity`
13×	`associate-r`
12×	`add-cube-cbrt`
10×	`times-frac`
9×	`add-exp-log` `add-cbrt-cube`
6×	`pow1` `sum-log`
4×	`diff-log`
3×	`associate-+l+` `flip3-+` `associate-l` `flip-+`
2×	`+-commutative` `sub-neg` `prod-exp` `associate--l+` `frac-sub` `cbrt-unprod` `distribute-lft-out` `distribute-lft-out--` `unswap-sqr`
1×	`cbrt-undiv` `associate-+l-` `flip3--` `associate-r/` `div-exp` `pow-prod-down` `-commutative` `flip--` `div-inv` `difference-of-squares`

Counts

4 → 80

Calls

4 calls:

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

series281.0ms

Counts

4 → 12

Calls

4 calls:

81.0ms	(- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0))
17.0ms	(* z (/ t 16.0))
141.0ms	(+ (- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0)) c)
40.0ms	(+ (* x y) (* z (/ t 16.0)))

simplify47.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	429	676
1	1720	645
2	5001	638

prune207.0ms

Filtered

92 candidates to 68 candidates (73.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	92	3	95

Merged error: 0b

Counts

95 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x y) (/ z (/ 16.0 t))) (/ (* a b) 4.0))
0.0b	(+ (- (+ (* x y) (/ z (/ 16.0 t))) (/ (* a b) 4.0)) c)
0.0b	(+ (* x y) (/ z (/ 16.0 t)))
0.5b	(/ z (/ 16.0 t))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

75×	`times-frac`
53×	`*-un-lft-identity`
48×	`add-sqr-sqrt`
46×	`add-cube-cbrt`
20×	`add-log-exp`
13×	`associate-/r*`
9×	`add-exp-log` `add-cbrt-cube`
6×	`sum-log`
5×	`div-inv`
4×	`pow1` `diff-log`
3×	`cbrt-undiv` `associate-+l+` `flip3-+` `div-exp` `flip-+` `associate-/l*`
2×	`+-commutative` `sub-neg` `associate--l+` `frac-sub` `distribute-lft-out` `distribute-lft-out--`
1×	`associate-+l-` `flip3--` `frac-2neg` `clear-num` `associate-/r/` `flip--` `difference-of-squares`

Counts

4 → 118

Calls

4 calls:

14.0ms	(- (+ (* x y) (/ z (/ 16.0 t))) (/ (* a b) 4.0))
17.0ms	(+ (- (+ (* x y) (/ z (/ 16.0 t))) (/ (* a b) 4.0)) c)
10.0ms	(+ (* x y) (/ z (/ 16.0 t)))
6.0ms	(/ z (/ 16.0 t))

series287.0ms

Counts

4 → 12

Calls

4 calls:

85.0ms	(- (+ (* x y) (/ z (/ 16.0 t))) (/ (* a b) 4.0))
142.0ms	(+ (- (+ (* x y) (/ z (/ 16.0 t))) (/ (* a b) 4.0)) c)
40.0ms	(+ (* x y) (/ z (/ 16.0 t)))
21.0ms	(/ z (/ 16.0 t))

simplify58.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	589	995
1	2266	959
2	5002	958

prune328.0ms

Filtered

130 candidates to 102 candidates (78.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	130	0	130
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	130	3	133

Merged error: 0b

Counts

133 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (* z t) 16.0)
0.3b	(* (sqrt (+ (* x y) (/ (* z t) 16.0))) (sqrt (+ (* x y) (/ (* z t) 16.0))))
2.0b	(sqrt (+ (* x y) (/ (* z t) 16.0)))
2.0b	(sqrt (+ (* x y) (/ (* z t) 16.0)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt`
24×	`sqrt-prod`
21×	`pow1`
16×	`add-cube-cbrt` `*-un-lft-identity` `sqrt-div`
11×	`add-exp-log` `add-cbrt-cube`
10×	`sqrt-pow1` `pow1/2`
8×	`flip3-+` `swap-sqr` `flip-+`
6×	`associate-r` `associate-l`
5×	`pow-prod-up`
4×	`frac-times` `add-log-exp` `unswap-sqr`
3×	`times-frac` `pow-prod-down` `associate-/r*` `pow-sqr`
2×	`cbrt-undiv` `rem-sqrt-square` `associate-r/` `div-exp` `associate-l/` `prod-exp` `cbrt-unprod`
1×	`pow2` `frac-2neg` `pow-plus` `sqrt-unprod` `clear-num` `rem-square-sqrt` `-commutative` `div-inv` `associate-/l`

Counts

4 → 108

Calls

4 calls:

5.0ms	(/ (* z t) 16.0)
13.0ms	(* (sqrt (+ (* x y) (/ (* z t) 16.0))) (sqrt (+ (* x y) (/ (* z t) 16.0))))
5.0ms	(sqrt (+ (* x y) (/ (* z t) 16.0)))
5.0ms	(sqrt (+ (* x y) (/ (* z t) 16.0)))

series368.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(/ (* z t) 16.0)
54.0ms	(* (sqrt (+ (* x y) (/ (* z t) 16.0))) (sqrt (+ (* x y) (/ (* z t) 16.0))))
135.0ms	(sqrt (+ (* x y) (/ (* z t) 16.0)))
152.0ms	(sqrt (+ (* x y) (/ (* z t) 16.0)))

simplify75.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (59.0ms)

Iter	Nodes	Cost
0	329	942
1	1461	849
2	5001	828

prune293.0ms

Filtered

120 candidates to 75 candidates (62.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	120	3	123

Merged error: 0b

Counts

123 → 3

regimes297.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	8
1	22	8

end0.0ms

sample1.1s

Algorithm

intervals

Results

623.0ms

11943×

body

valid

Details

sample42.0ms

simplify54.0ms

prune3.0ms

localize12.0ms

rewrite30.0ms

series286.0ms

simplify46.0ms

prune193.0ms

localize12.0ms

rewrite32.0ms

series281.0ms

simplify47.0ms

prune207.0ms

localize12.0ms

rewrite51.0ms

series287.0ms

simplify58.0ms

prune328.0ms

localize14.0ms

rewrite31.0ms

series368.0ms

simplify75.0ms

prune293.0ms

regimes297.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling