Details

sample38.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 100%

Results

19.0ms	87×	body	1280	valid
5.0ms	134×	body	80	valid
4.0ms	21×	body	640	valid
1.0ms	9×	body	320	valid
0.0ms	5×	body	160	valid

simplify9.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	6
1	24	6
2	28	6
3	30	6
4	35	6
5	37	6
6	37	6

prune3.0ms

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

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))
0.0b	(+ 1.0 (/ 1.0 (hypot 1.0 x)))
0.0b	(/ 1.0 (hypot 1.0 x))
2.0b	(- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

16×	`*-un-lft-identity`
14×	`add-sqr-sqrt`
12×	`add-cube-cbrt`
9×	`times-frac`
8×	`add-log-exp`
7×	`pow1`
6×	`add-exp-log` `add-cbrt-cube`
3×	`associate-/r` `associate-/l`
2×	`sqrt-pow1` `flip3-+` `sqrt-div` `associate-*r/` `flip-+`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `flip3--` `frac-2neg` `pow1/2` `diff-log` `div-exp` `pow-prod-down` `clear-num` `sum-log` `sqrt-prod` `flip--` `div-inv` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 66

Calls

4 calls:

6.0ms	(sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))
5.0ms	(+ 1.0 (/ 1.0 (hypot 1.0 x)))
3.0ms	(/ 1.0 (hypot 1.0 x))
4.0ms	(- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))

series41.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))
6.0ms	(+ 1.0 (/ 1.0 (hypot 1.0 x)))
4.0ms	(/ 1.0 (hypot 1.0 x))
18.0ms	(- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))

simplify68.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 2 (17.0ms)

Iter	Nodes	Cost
0	221	492
1	697	465
2	2311	463
3	5001	463

prune142.0ms

Filtered

55 candidates to 78 candidates (-41.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	72	6	78
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	73	6	79

Merged error: 15.0b

Counts

79 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))
0.0b	(/ 1.0 (hypot 1.0 x))
0.0b	(/ 1.0 (hypot 1.0 x))
1.4b	(- (* 1.0 (- 1.0 0.5)) (* 0.5 (/ 1.0 (hypot 1.0 x))))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity`
20×	`add-sqr-sqrt` `add-cube-cbrt`
18×	`times-frac`
8×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
6×	`associate-/r` `associate-/l`
4×	`pow1` `associate-*r/` `associate--l+`
3×	`sub-neg`
2×	`cbrt-undiv` `distribute-rgt-in` `flip3--` `frac-2neg` `distribute-lft-in` `div-exp` `clear-num` `frac-sub` `flip--` `div-inv`
1×	`+-commutative` `flip3-+` `diff-log` `sum-log` `flip-+` `distribute-lft-out`

Counts

4 → 84

Calls

4 calls:

3.0ms	(+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))
3.0ms	(/ 1.0 (hypot 1.0 x))
3.0ms	(/ 1.0 (hypot 1.0 x))
6.0ms	(- (* 1.0 (- 1.0 0.5)) (* 0.5 (/ 1.0 (hypot 1.0 x))))

series28.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))
4.0ms	(/ 1.0 (hypot 1.0 x))
4.0ms	(/ 1.0 (hypot 1.0 x))
6.0ms	(- (* 1.0 (- 1.0 0.5)) (* 0.5 (/ 1.0 (hypot 1.0 x))))

simplify141.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	306	616
1	1080	568
2	4837	560
3	5001	560

prune233.0ms

Filtered

69 candidates to 96 candidates (-39.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	90	6	96
Fresh	3	2	5
Picked	1	0	1
Done	0	0	0
Total	94	8	102

Merged error: 15.0b

Counts

102 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1.0 (hypot 1.0 x))
0.0b	(+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))
1.4b	(- (* 1.0 (- 1.0 0.5)) (* 0.5 (log (exp (/ 1.0 (hypot 1.0 x))))))
1.9b	(log (exp (/ 1.0 (hypot 1.0 x))))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity`
22×	`add-sqr-sqrt` `add-cube-cbrt`
18×	`times-frac`
14×	`log-pow`
13×	`exp-prod`
9×	`log-prod`
8×	`add-log-exp`
6×	`add-exp-log` `add-cbrt-cube` `associate--r+`
5×	`pow1` `distribute-rgt-in` `distribute-lft-in`
4×	`associate--l+`
3×	`sub-neg` `associate-/r` `associate-/l`
2×	`div-inv`
1×	`cbrt-undiv` `+-commutative` `flip3--` `frac-2neg` `flip3-+` `diff-log` `div-exp` `rem-log-exp` `clear-num` `sum-log` `flip--` `flip-+` `distribute-lft-out`

Counts

4 → 86

Calls

4 calls:

3.0ms	(/ 1.0 (hypot 1.0 x))
3.0ms	(+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))
8.0ms	(- (* 1.0 (- 1.0 0.5)) (* 0.5 (log (exp (/ 1.0 (hypot 1.0 x))))))
4.0ms	(log (exp (/ 1.0 (hypot 1.0 x))))

series28.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ 1.0 (hypot 1.0 x))
13.0ms	(+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))
6.0ms	(- (* 1.0 (- 1.0 0.5)) (* 0.5 (log (exp (/ 1.0 (hypot 1.0 x))))))
4.0ms	(log (exp (/ 1.0 (hypot 1.0 x))))

simplify113.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 3 (103.0ms)

Iter	Nodes	Cost
0	326	652
1	964	592
2	3858	578
3	5001	576

prune271.0ms

Filtered

72 candidates to 98 candidates (-36.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	95	3	98
Fresh	2	5	7
Picked	1	0	1
Done	0	0	0
Total	98	8	106

Merged error: 15.0b

Counts

106 → 8

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow (/ 1.0 (hypot 1.0 x)) 3)
1.4b	(- (* 1.0 (- 1.0 0.5)) (* 0.5 (log (exp (/ 1.0 (hypot 1.0 x))))))
1.9b	(log (exp (/ 1.0 (hypot 1.0 x))))
22.1b	(cbrt (pow (/ 1.0 (hypot 1.0 x)) 3))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

45×	`times-frac`
44×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
32×	`cbrt-prod`
26×	`unpow-prod-down` `cube-prod`
14×	`log-pow`
13×	`exp-prod`
9×	`log-prod`
7×	`add-exp-log` `add-cbrt-cube`
6×	`pow1` `associate--r+` `add-log-exp`
5×	`distribute-rgt-in` `distribute-lft-in` `div-inv`
4×	`associate--l+`
3×	`sub-neg` `pow-unpow`
2×	`cube-div` `cube-mult` `unpow3` `pow-exp` `rem-cube-cbrt` `sqr-pow`
1×	`cbrt-undiv` `pow-to-exp` `cbrt-div` `flip3--` `pow-pow` `pow1/3` `diff-log` `div-exp` `rem-log-exp` `flip--` `rem-cbrt-cube`

Counts

4 → 135

Calls

4 calls:

5.0ms	(pow (/ 1.0 (hypot 1.0 x)) 3)
8.0ms	(- (* 1.0 (- 1.0 0.5)) (* 0.5 (log (exp (/ 1.0 (hypot 1.0 x))))))
4.0ms	(log (exp (/ 1.0 (hypot 1.0 x))))
7.0ms	(cbrt (pow (/ 1.0 (hypot 1.0 x)) 3))

series24.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(pow (/ 1.0 (hypot 1.0 x)) 3)
6.0ms	(- (* 1.0 (- 1.0 0.5)) (* 0.5 (log (exp (/ 1.0 (hypot 1.0 x))))))
4.0ms	(log (exp (/ 1.0 (hypot 1.0 x))))
4.0ms	(cbrt (pow (/ 1.0 (hypot 1.0 x)) 3))

simplify71.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	463	917
1	1913	810
2	5002	802

prune304.0ms

Filtered

82 candidates to 147 candidates (-79.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	146	1	147
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	147	8	155

Merged error: 15.0b

Counts

155 → 8

regimes496.0ms

Accuracy

0% (0.0b remaining)

Error of 15.2b against oracle of 15.2b and baseline of 15.2b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	15
1	21	15

end0.0ms

sample1.1s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 100%

Results

613.0ms	2769×	body	1280	valid
167.0ms	4093×	body	80	valid
114.0ms	654×	body	640	valid
44.0ms	326×	body	320	valid
13.0ms	158×	body	160	valid

Details

sample38.0ms

simplify9.0ms

prune3.0ms

localize8.0ms

rewrite20.0ms

series41.0ms

simplify68.0ms

prune142.0ms

localize13.0ms

rewrite16.0ms

series28.0ms

simplify141.0ms

prune233.0ms

localize16.0ms

rewrite20.0ms

series28.0ms

simplify113.0ms

prune271.0ms

localize19.0ms

rewrite28.0ms

series24.0ms

simplify71.0ms

prune304.0ms

regimes496.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling