Details

sample21.0ms

Algorithm

intervals

Results

11.0ms

256×

body

valid

simplify14.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	14	6
1	25	6
2	31	6
3	32	6
4	32	6

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

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* x x) (* y y))
0.0b	(+ (+ (* x x) (* y y)) (* z z))
34.9b	(sqrt (+ (+ (* x x) (* y y)) (* z z)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
7×	`add-sqr-sqrt`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `fma-def` `sum-log`
3×	`add-exp-log` `expm1-log1p-u` `flip3-+` `sqrt-prod` `add-cbrt-cube` `flip-+` `log1p-expm1-u`
2×	`+-commutative` `sqrt-div`
1×	`rem-sqrt-square` `associate-+l+` `sqrt-pow1` `pow1/2` `hypot-def`

Counts

3 → 50

Calls

3 calls:

8.0ms	(+ (* x x) (* y y))
6.0ms	(+ (+ (* x x) (* y y)) (* z z))
6.0ms	(sqrt (+ (+ (* x x) (* y y)) (* z z)))

series189.0ms

Counts

3 → 9

Calls

3 calls:

30.0ms	(+ (* x x) (* y y))
42.0ms	(+ (+ (* x x) (* y y)) (* z z))
117.0ms	(sqrt (+ (+ (* x x) (* y y)) (* z z)))

simplify106.0ms

Algorithm

egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 3 (100.0ms)

Iter	Nodes	Cost
0	225	355
1	1043	323
2	3749	312
3	5001	309

prune164.0ms

Filtered

59 candidates to 49 candidates (83.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	53	6	59
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	54	6	60

Merged error: 13.2b

Counts

60 → 6

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x x) (* y y))
29.4b	(sqrt (+ (* x x) (* y y)))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `add-log-exp`
3×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `sqrt-prod`
2×	`add-exp-log` `expm1-log1p-u` `flip3-+` `sqrt-div` `add-cbrt-cube` `flip-+` `log1p-expm1-u`
1×	`+-commutative` `rem-sqrt-square` `fma-def` `sqrt-pow1` `pow1/2` `sum-log` `hypot-def`

Counts

2 → 32

Calls

2 calls:

4.0ms	(+ (* x x) (* y y))
4.0ms	(sqrt (+ (* x x) (* y y)))

series72.0ms

Counts

2 → 6

Calls

2 calls:

33.0ms	(+ (* x x) (* y y))
39.0ms	(sqrt (+ (* x x) (* y y)))

simplify65.0ms

Algorithm

egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 3 (61.0ms)

Iter	Nodes	Cost
0	136	177
1	589	162
2	1761	158
3	5002	156

prune103.0ms

Filtered

38 candidates to 32 candidates (84.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	36	2	38
Fresh	5	0	5
Picked	1	0	1
Done	0	0	0
Total	42	2	44

Merged error: 0b

Counts

44 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(hypot x y)

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `hypot-udef` `*-un-lft-identity` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

1.0ms

(hypot x y)

series57.0ms

Counts

1 → 3

Calls

1 calls:

57.0ms

(hypot x y)

simplify118.0ms

Algorithm

egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	22	27
1	25	24
2	29	24
3	34	24
4	53	24
5	107	24
6	513	24
7	1687	24
8	5001	24

prune34.0ms

Filtered

13 candidates to 13 candidates (100.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	13	0	13
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	13	2	15

Merged error: 0b

Counts

15 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

29.4b	(sqrt (* (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))) (cbrt (+ (* x x) (* y y)))))
30.4b	(cbrt (+ (* x x) (* y y)))
30.4b	(cbrt (+ (* x x) (* y y)))
30.4b	(cbrt (+ (* x x) (* y y)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

60×	`cbrt-div`
30×	`flip3-+` `flip-+`
28×	`frac-times`
26×	`sqrt-div`
24×	`pow1`
15×	`sqrt-pow1`
14×	`associate-*l/`
12×	`pow1/3`
9×	`cbrt-prod` `pow-prod-up`
8×	`associate-*r/`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`pow-plus`
5×	`pow-prod-down`
4×	`add-exp-log` `expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
3×	`pow-sqr`
2×	`pow2`
1×	`pow1/2` `pow3` `sqrt-prod`

Counts

4 → 97

Calls

4 calls:

21.0ms	(sqrt (* (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))) (cbrt (+ (* x x) (* y y)))))
4.0ms	(cbrt (+ (* x x) (* y y)))
4.0ms	(cbrt (+ (* x x) (* y y)))
4.0ms	(cbrt (+ (* x x) (* y y)))

series355.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(sqrt (* (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))) (cbrt (+ (* x x) (* y y)))))
105.0ms	(cbrt (+ (* x x) (* y y)))
103.0ms	(cbrt (+ (* x x) (* y y)))
105.0ms	(cbrt (+ (* x x) (* y y)))

simplify215.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 3 (198.0ms)

Iter	Nodes	Cost
0	299	1566
1	751	1522
2	3301	1502
3	5001	1470

prune310.0ms

Filtered

109 candidates to 80 candidates (73.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	109	2	111

Merged error: 0b

Counts

111 → 2

regimes92.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	2

end0.0ms

sample503.0ms

Algorithm

intervals

Results

328.0ms

8000×

body

valid

Details

sample21.0ms

simplify14.0ms

prune3.0ms

localize9.0ms

rewrite21.0ms

series189.0ms

simplify106.0ms

prune164.0ms

localize8.0ms

rewrite9.0ms

series72.0ms

simplify65.0ms

prune103.0ms

localize5.0ms

rewrite1.0ms

series57.0ms

simplify118.0ms

prune34.0ms

localize12.0ms

rewrite37.0ms

series355.0ms

simplify215.0ms

prune310.0ms

regimes92.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample503.0ms

Profiling