Details

analyze517.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
6.2%	93.7%	0.1%	5
6.2%	90.5%	3.2%	6
21.9%	67.1%	11%	7
23.4%	64.8%	11.8%	8
32%	52.7%	15.3%	9
33.2%	51.3%	15.5%	10
37.7%	45.2%	17.2%	11
38.3%	44.4%	17.2%	12
40.6%	41.3%	18%	13
41%	41%	18%	14

sample40.0ms

Algorithm

intervals

Results

9.0ms	180×	body	80	valid
6.0ms	36×	body	640	valid
5.0ms	29×	body	1280	nan
3.0ms	13×	body	1280	valid
3.0ms	23×	body	640	nan
3.0ms	22×	body	320	valid
1.0ms	13×	body	320	nan
0.0ms	5×	body	160	valid
0.0ms	5×	body	160	nan
0.0ms	9×	body	80	nan

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	23	12
1	23	12

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

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
0.0b	(/ (- x y) (- 1.0 y))
1.5b	(- 1.0 (/ (- x y) (- 1.0 y)))
3.5b	(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

59×	`add-sqr-sqrt`
51×	`*-un-lft-identity`
28×	`times-frac`
19×	`difference-of-squares`
18×	`add-cube-cbrt`
17×	`distribute-lft-out--`
12×	`log-prod`
7×	`add-exp-log` `add-log-exp`
6×	`pow1` `flip3--` `add-cbrt-cube` `flip--` `associate--r+`
5×	`associate-/r` `associate-/l`
4×	`log-div`
3×	`associate--r-`
2×	`sub-neg` `diff-log` `div-sub` `associate-/r/` `log-pow` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `rem-log-exp` `clear-num` `div-inv`

Counts

4 → 106

Calls

4 calls:

16.0ms	(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
8.0ms	(/ (- x y) (- 1.0 y))
16.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
14.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

series44.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
6.0ms	(/ (- x y) (- 1.0 y))
10.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
13.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify66.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5102	1663

prune202.0ms

Filtered

90 candidates to 118 candidates (-31.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	113	5	118
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	114	5	119

Merged error: 0.2b

Counts

119 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
0.0b	(/ (- x y) (- 1.0 y))
0.1b	(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
1.5b	(- 1.0 (/ (- x y) (- 1.0 y)))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

101×	`add-sqr-sqrt`
77×	`*-un-lft-identity`
69×	`times-frac`
37×	`add-cube-cbrt`
28×	`difference-of-squares`
24×	`log-prod`
20×	`distribute-lft-out--`
11×	`associate-/r*`
9×	`add-exp-log`
8×	`add-cbrt-cube` `associate-/l*`
6×	`associate-/r/` `add-log-exp`
5×	`pow1` `flip3--` `flip--`
3×	`div-exp` `div-inv`
2×	`cbrt-undiv` `frac-2neg` `div-sub` `rem-log-exp` `clear-num` `associate-/l/`
1×	`sub-neg` `log-div` `diff-log` `log-pow` `associate--r-`

Counts

4 → 143

Calls

4 calls:

15.0ms	(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
8.0ms	(/ (- x y) (- 1.0 y))
17.0ms	(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
13.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))

series56.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
6.0ms	(/ (- x y) (- 1.0 y))
20.0ms	(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
10.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))

simplify70.0ms

Algorithm

egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5054	2574

prune266.0ms

Filtered

118 candidates to 155 candidates (-31.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	154	1	155
Fresh	2	2	4
Picked	0	1	1
Done	0	0	0
Total	156	4	160

Merged error: 0b

Counts

160 → 4

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(log (* 1.0 (* (exp 1.0) (- (+ x 1) y))))
0.2b	(* (exp 1.0) (- (+ x 1) y))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

10×	`pow1`
9×	`*-un-lft-identity`
8×	`add-exp-log` `add-sqr-sqrt`
6×	`associate-r/` `associate-r*`
4×	`add-cube-cbrt` `pow-prod-down` `prod-exp` `add-cbrt-cube`
3×	`rem-log-exp` `associate-l` `log-pow`
2×	`distribute-rgt-in` `sub-neg` `log-div` `flip3--` `distribute-lft-in` `associate--l+` `flip--` `distribute-lft-out--` `add-log-exp`
1×	`log-prod` `*-commutative` `cbrt-unprod` `distribute-lft-out` `difference-of-squares` `unswap-sqr`

Counts

2 → 43

Calls

2 calls:

10.0ms	(log (* 1.0 (* (exp 1.0) (- (+ x 1) y))))
10.0ms	(* (exp 1.0) (- (+ x 1) y))

series19.0ms

Counts

2 → 6

Calls

2 calls:

13.0ms	(log (* 1.0 (* (exp 1.0) (- (+ x 1) y))))
6.0ms	(* (exp 1.0) (- (+ x 1) y))

simplify59.0ms

Algorithm

egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4955	499
1	4955	499

prune72.0ms

Filtered

36 candidates to 49 candidates (-36.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	48	1	49
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	49	4	53

Merged error: 0b

Counts

53 → 4

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ 1.0 (log (+ x (- 1 y))))
3.5b	(log (+ x (- 1 y)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

17×	`*-un-lft-identity`
10×	`log-prod`
6×	`distribute-lft-out`
5×	`associate-+r+`
4×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `log-div`
3×	`add-exp-log` `flip3-+` `flip-+` `add-log-exp`
2×	`associate-+r-` `log-pow` `add-cbrt-cube` `distribute-lft-out--`
1×	`+-commutative` `rem-log-exp` `sum-log`

Counts

2 → 36

Calls

2 calls:

8.0ms	(+ 1.0 (log (+ x (- 1 y))))
6.0ms	(log (+ x (- 1 y)))

series15.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(+ 1.0 (log (+ x (- 1 y))))
7.0ms	(log (+ x (- 1 y)))

simplify31.0ms

Algorithm

egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	4885	435
1	4885	435

prune60.0ms

Filtered

30 candidates to 42 candidates (-40.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	42	0	42
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	42	4	46

Merged error: 0b

Counts

46 → 4

regimes173.0ms

Accuracy

99.1% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	39
1	24	39

end0.0ms

analyze585.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
6.2%	93.7%	0.1%	5
6.2%	90.5%	3.2%	6
21.9%	67.1%	11%	7
23.4%	64.8%	11.8%	8
32%	52.7%	15.3%	9
33.2%	51.3%	15.5%	10
37.7%	45.2%	17.2%	11
38.3%	44.4%	17.2%	12
40.6%	41.3%	18%	13
41%	41%	18%	14

sample1.2s

Algorithm

intervals

Results

265.0ms	5735×	body	80	valid
185.0ms	779×	body	1280	valid
139.0ms	821×	body	640	valid
135.0ms	757×	body	1280	nan
110.0ms	800×	body	640	nan
57.0ms	437×	body	320	valid
44.0ms	434×	body	320	nan
18.0ms	228×	body	160	valid
17.0ms	254×	body	160	nan
13.0ms	334×	body	80	nan

Details

analyze517.0ms

sample40.0ms

simplify3.0ms

prune3.0ms

localize8.0ms

rewrite57.0ms

series44.0ms

simplify66.0ms

prune202.0ms

localize12.0ms

rewrite59.0ms

series56.0ms

simplify70.0ms

prune266.0ms

localize10.0ms

rewrite21.0ms

series19.0ms

simplify59.0ms

prune72.0ms

localize10.0ms

rewrite15.0ms

series15.0ms

simplify31.0ms

prune60.0ms

regimes173.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze585.0ms

sample1.2s

Profiling