Details

sample85.0ms

Algorithm

intervals

Results

24.0ms	586×	body	80	nan
24.0ms	550×	body	80	valid

simplify106.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	26	9
1	43	9
2	92	9
3	186	9
4	341	9
5	703	9
6	2167	9
7	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: 0.3b

Counts

2 → 1

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
0.3b	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1` `add-cbrt-cube`
7×	`add-exp-log` `add-sqr-sqrt` `associate-r`
6×	`associate-*l/`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`expm1-log1p-u` `flip3--` `*-commutative` `flip--` `log1p-expm1-u` `add-log-exp`
1×	`sqrt-prod` `unswap-sqr`

Counts

2 → 45

Calls

2 calls:

14.0ms	(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
9.0ms	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

series317.0ms

Counts

2 → 6

Calls

2 calls:

197.0ms	(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
120.0ms	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify59.0ms

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	342	490
1	1288	417
2	5001	410

prune194.0ms

Filtered

51 candidates to 39 candidates (76.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	43	8	51
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	43	9	52

Merged error: 0.0b

Counts

52 → 9

localize20.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0)))
0.2b	(* (- (* x 0.5) y) (sqrt z))
0.4b	(* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

19×	`pow1` `add-cbrt-cube`
16×	`add-exp-log`
15×	`associate-r`
13×	`add-sqr-sqrt`
12×	`associate-*l/`
10×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`add-cube-cbrt` `*-un-lft-identity`
7×	`sqrt-prod`
5×	`associate-l`
3×	`expm1-log1p-u` `flip3--` `*-commutative` `flip--` `log1p-expm1-u` `add-log-exp`
2×	`unswap-sqr`

Counts

3 → 76

Calls

3 calls:

16.0ms	(* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0)))
8.0ms	(* (- (* x 0.5) y) (sqrt z))
11.0ms	(* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))

series457.0ms

Counts

3 → 9

Calls

3 calls:

235.0ms	(* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0)))
72.0ms	(* (- (* x 0.5) y) (sqrt z))
150.0ms	(* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))

simplify76.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 2 (66.0ms)

Iter	Nodes	Cost
0	402	775
1	1806	660
2	5001	646

prune276.0ms

Filtered

85 candidates to 55 candidates (64.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	80	5	85
Fresh	4	3	7
Picked	0	1	1
Done	0	1	1
Total	84	10	94

Merged error: 0.0b

Counts

94 → 10

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0)))
0.3b	(* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0)))
0.4b	(* (sqrt z) (sqrt 2.0))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

21×	`pow1`
19×	`add-cbrt-cube`
17×	`add-sqr-sqrt`
16×	`add-exp-log`
12×	`pow-prod-down`
10×	`associate-r` `associate-l` `prod-exp` `sqrt-prod` `cbrt-unprod`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`associate-*l/`
4×	`unswap-sqr`
3×	`expm1-log1p-u` `*-commutative` `log1p-expm1-u` `add-log-exp`
2×	`flip3--` `sqrt-pow1` `pow1/2` `flip--`
1×	`sqrt-unprod`

Counts

3 → 79

Calls

3 calls:

16.0ms	(* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0)))
11.0ms	(* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0)))
7.0ms	(* (sqrt z) (sqrt 2.0))

series457.0ms

Counts

3 → 9

Calls

3 calls:

227.0ms	(* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0)))
154.0ms	(* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0)))
76.0ms	(* (sqrt z) (sqrt 2.0))

simplify75.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 2 (65.0ms)

Iter	Nodes	Cost
0	438	768
1	1894	659
2	5001	644

prune277.0ms

Filtered

88 candidates to 55 candidates (62.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	86	2	88
Fresh	1	6	7
Picked	1	0	1
Done	0	2	2
Total	88	10	98

Merged error: 0.0b

Counts

98 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (* (- (* x 0.5) y) (* (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0)))) (exp (/ (* t t) 2.0)))
0.3b	(* (- (* x 0.5) y) (* (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))))
0.3b	(* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
0.3b	(* (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0)))

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

52×	`pow1`
47×	`add-exp-log`
35×	`add-cbrt-cube`
34×	`pow-prod-down` `prod-exp` `cbrt-unprod`
14×	`associate-r`
13×	`add-sqr-sqrt`
11×	`add-cube-cbrt` `-un-lft-identity` `associate-l*`
7×	`sqrt-prod`
6×	`cbrt-prod` `associate-*l/`
4×	`expm1-log1p-u` `*-commutative` `log1p-expm1-u` `add-log-exp`
2×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 113

Calls

4 calls:

28.0ms	(* (* (- (* x 0.5) y) (* (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0)))) (exp (/ (* t t) 2.0)))
19.0ms	(* (- (* x 0.5) y) (* (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))))
12.0ms	(* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
22.0ms	(* (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0)))

series693.0ms

Counts

4 → 12

Calls

4 calls:

235.0ms	(* (* (- (* x 0.5) y) (* (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0)))) (exp (/ (* t t) 2.0)))
162.0ms	(* (- (* x 0.5) y) (* (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))))
214.0ms	(* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
82.0ms	(* (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0)))

simplify119.0ms

Algorithm

egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 2 (102.0ms)

Iter	Nodes	Cost
0	661	1922
1	3020	1394
2	5001	1263

prune383.0ms

Filtered

125 candidates to 76 candidates (60.8%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	125	0	125
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	125	10	135

Merged error: 0.0b

Counts

135 → 10

regimes755.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	9
1	19	9

end0.0ms

sample2.6s

Algorithm

intervals

Results

821.0ms	18051×	body	80	valid
779.0ms	18212×	body	80	nan

Details

sample85.0ms

simplify106.0ms

prune3.0ms

localize16.0ms

rewrite25.0ms

series317.0ms

simplify59.0ms

prune194.0ms

localize20.0ms

rewrite38.0ms

series457.0ms

simplify76.0ms

prune276.0ms

localize14.0ms

rewrite37.0ms

series457.0ms

simplify75.0ms

prune277.0ms

localize18.0ms

rewrite85.0ms

series693.0ms

simplify119.0ms

prune383.0ms

regimes755.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.6s

Profiling