Details

sample306.0ms

Algorithm

intervals

Results

37.0ms

519×

body

valid

simplify86.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 3 (22.0ms)

Iter	Nodes	Cost
0	51	14
1	155	14
2	675	14
3	3242	13
4	5001	13

prune14.0ms

Filtered

1 candidates to 1 candidates (100.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: 9.2b

Counts

2 → 2

localize33.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (* w w) r) r) 4.5)
0.5b	(/ 2.0 (* r r))
5.1b	(* (* (* w w) r) r)
8.4b	(* (* w w) r)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-exp-log` `add-cbrt-cube`
18×	`pow1`
10×	`prod-exp` `cbrt-unprod`
9×	`add-sqr-sqrt` `pow-prod-down`
8×	`add-cube-cbrt` `*-un-lft-identity`
6×	`associate-r`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`times-frac` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `associate-l` `*-commutative`
1×	`frac-2neg` `clear-num` `associate-/r*` `fma-udef` `div-inv` `unswap-sqr`

Counts

4 → 77

Calls

4 calls:

1.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (* w w) r) r) 4.5)
4.0ms	(/ 2.0 (* r r))
7.0ms	(* (* (* w w) r) r)
8.0ms	(* (* w w) r)

series194.0ms

Counts

4 → 12

Calls

4 calls:

102.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (* w w) r) r) 4.5)
24.0ms	(/ 2.0 (* r r))
42.0ms	(* (* (* w w) r) r)
26.0ms	(* (* w w) r)

simplify44.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	320	459
1	1457	382
2	5001	374

prune261.0ms

Filtered

89 candidates to 58 candidates (65.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	79	10	89
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	80	11	91

Merged error: 0.1b

Counts

91 → 11

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* w r)) (fabs (* w r))) 4.5) 3.0)
0.1b	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* w r)) (fabs (* w r))) 4.5)
0.3b	(* (fabs (* w r)) (fabs (* w r)))
0.5b	(/ 2.0 (* r r))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt`
19×	`*-un-lft-identity`
17×	`add-cube-cbrt`
11×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`prod-diff`
6×	`add-log-exp`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`times-frac` `fma-neg` `swap-sqr` `associate-r` `associate-l` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `fma-udef`
1×	`pow2` `sub-neg` `flip3--` `frac-2neg` `pow-plus` `diff-log` `pow-prod-down` `associate--l+` `clear-num` `associate-/r` `pow-sqr` `-commutative` `pow-prod-up` `flip--` `div-inv` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 89

Calls

4 calls:

4.0ms	(- (fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* w r)) (fabs (* w r))) 4.5) 3.0)
1.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* w r)) (fabs (* w r))) 4.5)
4.0ms	(* (fabs (* w r)) (fabs (* w r)))
4.0ms	(/ 2.0 (* r r))

series191.0ms

Counts

4 → 12

Calls

4 calls:

81.0ms	(- (fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* w r)) (fabs (* w r))) 4.5) 3.0)
78.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* w r)) (fabs (* w r))) 4.5)
8.0ms	(* (fabs (* w r)) (fabs (* w r)))
24.0ms	(/ 2.0 (* r r))

simplify46.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	378	1079
1	1315	875
2	5001	837

prune322.0ms

Filtered

101 candidates to 69 candidates (68.3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	92	9	101
Fresh	8	2	10
Picked	1	0	1
Done	0	0	0
Total	101	11	112

Merged error: 0.0b

Counts

112 → 11

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
0.1b	(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* w r)) (fabs (* w r))))
0.3b	(* (fabs (* w r)) (fabs (* w r)))
0.5b	(/ 2.0 (* r r))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

37×	`add-exp-log` `add-cbrt-cube`
23×	`add-sqr-sqrt`
20×	`*-un-lft-identity`
16×	`pow1`
14×	`add-cube-cbrt` `associate-l` `prod-exp` `cbrt-unprod`
13×	`times-frac`
8×	`cbrt-undiv` `div-exp`
6×	`associate-/r*`
4×	`expm1-log1p-u` `associate-r` `pow-prod-down` `associate-/r/` `log1p-expm1-u` `associate-/l*` `add-log-exp`
3×	`flip3--` `swap-sqr` `flip--` `div-inv` `distribute-lft-out--` `difference-of-squares`
2×	`frac-2neg` `associate-r/` `clear-num` `-commutative` `associate-/l/` `unswap-sqr`
1×	`pow2` `pow-plus` `associate-*l/` `pow-sqr` `pow-prod-up`

Counts

4 → 119

Calls

4 calls:

9.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
14.0ms	(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* w r)) (fabs (* w r))))
4.0ms	(* (fabs (* w r)) (fabs (* w r)))
5.0ms	(/ 2.0 (* r r))

series138.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
59.0ms	(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* w r)) (fabs (* w r))))
8.0ms	(* (fabs (* w r)) (fabs (* w r)))
24.0ms	(/ 2.0 (* r r))

simplify74.0ms

Algorithm

egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	604	1050
1	2763	834
2	5001	822

prune362.0ms

Filtered

131 candidates to 87 candidates (66.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	128	3	131
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	132	10	142

Merged error: 0.0b

Counts

142 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
0.2b	(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (fabs (* w r)))
0.3b	(* (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (fabs (* w r))) (fabs (* w r)))
0.5b	(/ 2.0 (* r r))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

37×	`add-exp-log` `add-cbrt-cube`
20×	`add-sqr-sqrt`
18×	`*-un-lft-identity`
14×	`prod-exp` `cbrt-unprod`
13×	`times-frac`
12×	`add-cube-cbrt` `associate-l`
11×	`pow1`
8×	`cbrt-undiv` `div-exp`
6×	`associate-r` `associate-/r*`
4×	`expm1-log1p-u` `pow-prod-down` `associate-/r/` `log1p-expm1-u` `associate-/l*` `add-log-exp`
3×	`flip3--` `associate-*l/` `flip--` `div-inv` `distribute-lft-out--` `difference-of-squares`
2×	`frac-2neg` `associate-r/` `clear-num` `-commutative` `associate-/l/`
1×	`unswap-sqr`

Counts

4 → 112

Calls

4 calls:

9.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
11.0ms	(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (fabs (* w r)))
12.0ms	(* (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (fabs (* w r))) (fabs (* w r)))
7.0ms	(/ 2.0 (* r r))

series177.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
44.0ms	(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (fabs (* w r)))
59.0ms	(* (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (fabs (* w r))) (fabs (* w r)))
24.0ms	(/ 2.0 (* r r))

simplify71.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 2 (59.0ms)

Iter	Nodes	Cost
0	631	1140
1	2886	921
2	5001	907

prune317.0ms

Filtered

124 candidates to 86 candidates (69.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	123	11	134

Merged error: 0.0b

Counts

134 → 11

regimes338.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	16
1	28	16

end0.0ms

sample1.5s

Algorithm

intervals

Results

1.2s

17153×

body

valid

Details

sample306.0ms

simplify86.0ms

prune14.0ms

localize33.0ms

rewrite24.0ms

series194.0ms

simplify44.0ms

prune261.0ms

localize20.0ms

rewrite15.0ms

series191.0ms

simplify46.0ms

prune322.0ms

localize17.0ms

rewrite36.0ms

series138.0ms

simplify74.0ms

prune362.0ms

localize17.0ms

rewrite42.0ms

series177.0ms

simplify71.0ms

prune317.0ms

regimes338.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.5s

Profiling