Details

analyze1.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

sample35.0ms

Algorithm

intervals

Results

20.0ms	91×	body	1280	valid
5.0ms	140×	body	80	valid
3.0ms	15×	body	640	valid
1.0ms	8×	body	320	valid
0.0ms	2×	body	160	valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	29	12
1	29	12

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 13.6b

Counts

2 → 1

localize8.0ms

Local error

Found 1 expressions with local error:

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

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
1×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

1 → 13

Calls

1 calls:

3.0ms

(- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))

series14.0ms

Counts

1 → 3

Calls

1 calls:

14.0ms

(- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))

simplify42.0ms

Algorithm

egg-herbie

Counts

16 → 16

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4965	270
1	4965	270

prune32.0ms

Filtered

13 candidates to 16 candidates (-23.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	15	1	16
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	15	2	17

Merged error: 13.1b

Counts

17 → 2

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 58

Calls

3 calls:

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

series59.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify45.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4972	1282
1	4972	1282

prune132.0ms

Filtered

48 candidates to 67 candidates (-39.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	66	1	67
Fresh	0	0	0
Picked	0	1	1
Done	1	0	1
Total	67	2	69

Merged error: 13.1b

Counts

69 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))
0.0b	(pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)
0.5b	(cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3))
0.7b	(- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

37×	`*-un-lft-identity`
21×	`add-sqr-sqrt`
18×	`cbrt-prod`
12×	`unpow-prod-down` `cube-prod`
11×	`add-log-exp`
10×	`add-cube-cbrt` `distribute-lft-out--`
7×	`distribute-lft-out`
5×	`pow1` `add-exp-log` `add-cbrt-cube` `difference-of-squares`
4×	`cube-div`
3×	`pow-unpow` `flip3--` `flip--`
2×	`cube-mult` `cbrt-div` `diff-log` `unpow3` `sum-log` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `sub-neg` `pow-pow` `flip3-+` `pow1/3` `pow-exp` `sqrt-prod` `rem-cbrt-cube` `flip-+` `associate--r+` `rem-cube-cbrt`

Counts

4 → 89

Calls

4 calls:

3.0ms	(+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))
8.0ms	(pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)
9.0ms	(cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3))
10.0ms	(- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))

series40.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))
13.0ms	(pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)
6.0ms	(cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3))
6.0ms	(- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))

simplify58.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4970	1433
1	4970	1433

prune162.0ms

Filtered

54 candidates to 101 candidates (-87.0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	101	2	103

Merged error: 13.1b

Counts

103 → 2

regimes55.0ms

Accuracy

0% (0.0b remaining)

Error of 15.3b against oracle of 15.3b and baseline of 15.3b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	24
1	16	24

end0.0ms

analyze1.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

sample1.1s

Algorithm

intervals

Results

634.0ms	2890×	body	1280	valid
158.0ms	4003×	body	80	valid
115.0ms	638×	body	640	valid
38.0ms	317×	body	320	valid
12.0ms	152×	body	160	valid

Details

analyze1.0ms

sample35.0ms

simplify3.0ms

prune9.0ms

localize8.0ms

rewrite4.0ms

series14.0ms

simplify42.0ms

prune32.0ms

localize13.0ms

rewrite26.0ms

series59.0ms

simplify45.0ms

prune132.0ms

localize13.0ms

rewrite34.0ms

series40.0ms

simplify58.0ms

prune162.0ms

regimes55.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze1.0ms

sample1.1s

Profiling