Details

sample300.0ms

Algorithm

intervals

Results

37.0ms

533×

body

valid

simplify88.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 3 (23.0ms)

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

prune28.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.0b

Counts

2 → 2

localize21.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))
6.7b	(* (* (* w w) r) r)
11.1b	(* (* 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)

series197.0ms

Counts

4 → 12

Calls

4 calls:

105.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (* w w) r) r) 4.5)
25.0ms	(/ 2.0 (* r r))
40.0ms	(* (* (* w w) r) r)
26.0ms	(* (* w w) r)

simplify45.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (38.0ms)

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

prune251.0ms

Filtered

89 candidates to 58 candidates (65.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	80	9	89
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	81	10	91

Merged error: 0.1b

Counts

91 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

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

series163.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
81.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)))
25.0ms	(/ 2.0 (* r r))

simplify57.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	484	688
1	2000	586
2	5001	573

prune339.0ms

Filtered

103 candidates to 73 candidates (70.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	96	7	103
Fresh	4	5	9
Picked	1	0	1
Done	0	0	0
Total	101	12	113

Merged error: 0.0b

Counts

113 → 12

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 140

Calls

4 calls:

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

series164.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
82.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* w r)) (fabs (* w r))) 4.5)
25.0ms	(/ (/ 2.0 r) r)
8.0ms	(* (fabs (* w r)) (fabs (* w r)))

simplify75.0ms

Algorithm

egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	692	1051
1	2867	930
2	5002	913

prune468.0ms

Filtered

152 candidates to 107 candidates (70.4%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	149	3	152
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	149	15	164

Merged error: 0.0b

Counts

164 → 15

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma (expm1 (log1p (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)))) (* (fabs (* w r)) (fabs (* w r))) 4.5)
0.4b	(* (fabs (* w r)) (fabs (* w r)))
0.5b	(/ 2.0 (* r r))
0.5b	(expm1 (log1p (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt`
11×	`pow1` `add-exp-log` `add-cbrt-cube`
10×	`add-cube-cbrt` `*-un-lft-identity`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`times-frac` `swap-sqr` `associate-r` `associate-l` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
1×	`pow2` `expm1-log1p` `frac-2neg` `pow-plus` `pow-prod-down` `clear-num` `associate-/r` `pow-sqr` `-commutative` `pow-prod-up` `fma-udef` `div-inv` `expm1-udef` `unswap-sqr`

Counts

4 → 71

Calls

4 calls:

1.0ms	(fma (expm1 (log1p (/ (* 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)))
5.0ms	(/ 2.0 (* r r))
1.0ms	(expm1 (log1p (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))))

series419.0ms

Counts

4 → 12

Calls

4 calls:

204.0ms	(fma (expm1 (log1p (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)))) (* (fabs (* w r)) (fabs (* w r))) 4.5)
13.0ms	(* (fabs (* w r)) (fabs (* w r)))
25.0ms	(/ 2.0 (* r r))
176.0ms	(expm1 (log1p (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))))

simplify39.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 2 (31.0ms)

Iter	Nodes	Cost
0	334	601
1	1241	507
2	5001	480

prune250.0ms

Filtered

83 candidates to 57 candidates (68.7%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	82	1	83
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	82	16	98

Merged error: 0.0b

Counts

98 → 16

regimes464.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	15
1	24	15

end0.0ms

sample1.5s

Algorithm

intervals

Results

1.1s

17200×

body

valid