Details

analyze4.0ms

Algorithm: search

sample87.0ms

Algorithm

intervals

Results

54.0ms	120×	body	1280	valid
19.0ms	78×	body	640	valid
5.0ms	33×	body	320	valid
2.0ms	20×	body	160	valid
0.0ms	5×	body	80	valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	4
1	20	4
2	23	4
3	23	4

prune2.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: 58.9b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- 1.0 eps) (+ 1.0 eps))
4.9b	(log (/ (- 1.0 eps) (+ 1.0 eps)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

63×	`*-un-lft-identity`
41×	`add-sqr-sqrt`
40×	`times-frac`
26×	`log-prod`
23×	`add-cube-cbrt`
11×	`distribute-lft-out`
9×	`distribute-lft-out--` `difference-of-squares`
7×	`add-exp-log`
5×	`associate-/l*`
4×	`associate-/r*` `associate-/r/` `add-cbrt-cube`
3×	`pow1`
2×	`flip3-+` `div-exp` `rem-log-exp` `flip-+` `div-inv` `associate-/l/` `add-log-exp`
1×	`cbrt-undiv` `log-div` `flip3--` `frac-2neg` `div-sub` `clear-num` `log-pow` `flip--`

Counts

2 → 83

Calls

2 calls:

7.0ms	(/ (- 1.0 eps) (+ 1.0 eps))
7.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))

series8.0ms

Counts

2 → 6

Calls

2 calls:

3.0ms	(/ (- 1.0 eps) (+ 1.0 eps))
5.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))

simplify130.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (23.0ms)

Iter	Nodes	Cost
0	339	657
1	1040	623
2	4497	605
3	5001	605

prune148.0ms

Filtered

59 candidates to 89 candidates (-50.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	85	4	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	86	4	90

Merged error: 0.1b

Counts

90 → 4

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt`
6×	`*-un-lft-identity` `add-log-exp`
4×	`difference-of-squares`
2×	`diff-log` `distribute-lft-out--`
1×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `unpow-prod-down` `flip3--` `sum-log` `add-cbrt-cube` `flip--` `distribute-lft-out` `associate--r+` `unpow2` `sqr-pow`

Counts

1 → 20

Calls

1 calls:

26.0ms

(- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))

series9.0ms

Counts

1 → 3

Calls

1 calls:

8.0ms

(- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))

simplify52.0ms

Algorithm

egg-herbie

Counts

23 → 23

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	123	209
1	382	192
2	1701	192
3	5001	192

prune63.0ms

Filtered

14 candidates to 23 candidates (-64.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	21	2	23
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	21	6	27

Merged error: 0.1b

Counts

27 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))) (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))))
0.6b	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
0.6b	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
0.6b	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))

rewrite138.0ms

Algorithm

rewrite-expression-head

Rules

79×	`cbrt-prod`
74×	`*-un-lft-identity`
65×	`add-sqr-sqrt`
28×	`difference-of-squares`
22×	`distribute-lft-out--`
18×	`cbrt-div` `swap-sqr`
15×	`add-cube-cbrt`
12×	`associate-r` `associate-l`
11×	`pow1` `distribute-lft-out`
9×	`flip3--` `pow1/3` `flip--`
7×	`unpow-prod-down` `unpow2` `sqr-pow`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 129

Calls

4 calls:

58.0ms	(* (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))) (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))))
24.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
26.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
24.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))

series119.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(* (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))) (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))))
28.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
32.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
28.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))

simplify142.0ms

Algorithm

egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 3 (122.0ms)

Iter	Nodes	Cost
0	285	2271
1	954	2136
2	4304	1918
3	5001	1882

prune592.0ms

Filtered

83 candidates to 141 candidates (-69.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	139	2	141
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	141	6	147

Merged error: 0.1b

Counts

147 → 6

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))
0.2b	(* (pow eps 2/3) (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))))
0.6b	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
3.5b	(pow eps 2/3)

rewrite86.0ms

Algorithm

rewrite-expression-head

Rules

39×	`add-sqr-sqrt`
26×	`*-un-lft-identity`
21×	`cbrt-prod`
12×	`associate-r` `difference-of-squares`
11×	`add-cube-cbrt` `unpow-prod-down`
10×	`add-exp-log`
9×	`add-log-exp`
7×	`associate-l` `sqr-pow`
6×	`distribute-lft-out--` `unswap-sqr`
5×	`pow1` `add-cbrt-cube`
4×	`cbrt-div`
3×	`pow-unpow` `flip3--` `prod-exp` `flip--` `distribute-lft-out` `unpow2`
2×	`pow-to-exp` `diff-log` `associate-*r/` `pow-exp`
1×	`sub-neg` `pow-pow` `pow1/3` `sum-log` `*-commutative` `cbrt-unprod` `associate--r+`

Counts

4 → 95

Calls

4 calls:

24.0ms	(- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))
33.0ms	(* (pow eps 2/3) (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))))
24.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
2.0ms	(pow eps 2/3)

series89.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))
31.0ms	(* (pow eps 2/3) (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))))
30.0ms	(cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
20.0ms	(pow eps 2/3)

simplify47.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	364	1032
1	1280	953
2	5002	915

prune255.0ms

Filtered

70 candidates to 107 candidates (-52.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	105	2	107
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	107	6	113

Merged error: 0.1b

Counts

113 → 6

regimes46.0ms

Accuracy

0% (0.5b remaining)

Error of 0.6b against oracle of 0.2b and baseline of 0.6b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	9
1	15	9

end0.0ms

analyze4.0ms

Algorithm: search

sample2.6s

Algorithm

intervals

Results

1.6s	3471×	body	1280	valid
624.0ms	2470×	body	640	valid
188.0ms	1257×	body	320	valid
55.0ms	606×	body	160	valid
10.0ms	196×	body	80	valid

Details

analyze4.0ms

sample87.0ms

simplify5.0ms

prune2.0ms

localize5.0ms

rewrite17.0ms

series8.0ms

simplify130.0ms

prune148.0ms

localize9.0ms

rewrite27.0ms

series9.0ms

simplify52.0ms

prune63.0ms

localize14.0ms

rewrite138.0ms

series119.0ms

simplify142.0ms

prune592.0ms

localize16.0ms

rewrite86.0ms

series89.0ms

simplify47.0ms

prune255.0ms

regimes46.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze4.0ms

sample2.6s

Profiling