Details

sample44.0ms

Algorithm

intervals

Results

25.0ms

266×

body

valid

simplify103.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	41	16
1	88	16
2	254	16
3	663	16
4	1615	16
5	2362	16
6	2584	16
7	3122	16
8	5001	16

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

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
0.1b	(* (+ (* x y) z) y)
28.2b	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

10.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
14.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
6.0ms	(* (+ (* x y) z) y)
24.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series480.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
66.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
37.0ms	(* (+ (* x y) z) y)
324.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify63.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	505	1241
1	2228	1133
2	5001	1131

prune411.0ms

Filtered

103 candidates to 76 candidates (73.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	93	10	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	94	10	104

Merged error: 27.8b

Counts

104 → 10

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
0.1b	(* (+ (* x y) z) y)
0.3b	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
28.1b	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt`
25×	`*-un-lft-identity`
24×	`add-cube-cbrt`
21×	`add-exp-log` `associate-r`
20×	`times-frac`
15×	`add-cbrt-cube`
11×	`pow1`
9×	`associate-l`
6×	`flip3-+` `associate-*l/` `prod-exp` `flip-+`
5×	`unswap-sqr`
4×	`div-exp` `associate-/r/` `cbrt-unprod` `add-log-exp`
3×	`pow-prod-down` `associate-/r` `-commutative` `associate-/l*`
2×	`cbrt-undiv` `frac-times` `rec-exp` `1-exp` `div-inv`
1×	`pow-flip` `frac-2neg` `associate-*r/` `clear-num` `un-div-inv` `inv-pow`

Counts

4 → 115

Calls

4 calls:

12.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
6.0ms	(* (+ (* x y) z) y)
13.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
28.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

series503.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
32.0ms	(* (+ (* x y) z) y)
52.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
353.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify75.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	557	1654
1	2723	1470
2	5001	1444

prune458.0ms

Filtered

127 candidates to 80 candidates (63.0%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	127	10	137

Merged error: 27.8b

Counts

137 → 10

localize27.0ms

Local error

Found 4 expressions with local error:

23.4b	(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
23.4b	(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
23.4b	(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
28.2b	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i))

rewrite78.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`cbrt-prod` `times-frac`
6×	`add-exp-log` `cbrt-div` `add-cbrt-cube`
5×	`flip3-+` `flip-+`
4×	`pow1` `add-log-exp`
3×	`pow1/3` `associate-/r` `associate-/l`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 70

Calls

4 calls:

9.0ms	(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
9.0ms	(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
9.0ms	(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
50.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i))

series725.0ms

Counts

4 → 12

Calls

4 calls:

129.0ms	(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
134.0ms	(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
133.0ms	(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
328.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i))

simplify123.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 3 (107.0ms)

Iter	Nodes	Cost
0	304	1973
1	1036	1795
2	4576	1763
3	5001	1751

prune398.0ms

Filtered

82 candidates to 68 candidates (82.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	82	10	92

Merged error: 27.8b

Counts

92 → 10

localize36.0ms

Local error

Found 4 expressions with local error:

18.3b	(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
18.3b	(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
18.3b	(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
22.8b	(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))

rewrite91.0ms

Algorithm

rewrite-expression-head

Rules

30×	`cbrt-div`
16×	`add-exp-log`
15×	`flip3-+` `flip-+`
9×	`cbrt-prod`
8×	`frac-times` `associate-/r/` `add-cbrt-cube` `associate-/l/`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `cbrt-undiv` `associate-r/` `div-exp` `associate-l/` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`pow1/3`
1×	`frac-2neg` `times-frac` `clear-num` `associate-/r` `div-inv` `associate-/l`

Counts

4 → 76

Calls

4 calls:

11.0ms	(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
11.0ms	(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
11.0ms	(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
54.0ms	(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))

series2.7s

Counts

4 → 12

Calls

4 calls:

151.0ms	(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
136.0ms	(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
139.0ms	(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
2.3s	(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))

simplify98.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 3 (80.0ms)

Iter	Nodes	Cost
0	390	2285
1	1087	1962
2	4296	1903
3	5001	1901

prune494.0ms

Filtered

88 candidates to 75 candidates (85.2%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	87	1	88
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	87	11	98

Merged error: 27.8b

Counts

98 → 11

regimes540.0ms

Accuracy

0% (1.1b remaining)

Error of 29.3b against oracle of 28.2b and baseline of 29.3b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	17
1	46	17

end0.0ms

sample1.1s

Algorithm

intervals

Results

725.0ms

8260×

body

valid

Details

sample44.0ms

simplify103.0ms

prune4.0ms

localize22.0ms

rewrite56.0ms

series480.0ms

simplify63.0ms

prune411.0ms

localize23.0ms

rewrite66.0ms

series503.0ms

simplify75.0ms

prune458.0ms

localize27.0ms

rewrite78.0ms

series725.0ms

simplify123.0ms

prune398.0ms

localize36.0ms

rewrite91.0ms

series2.7s

simplify98.0ms

prune494.0ms

regimes540.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling