Details

analyze260.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
0%	99.9%	0.1%	5
12.5%	87.4%	0.1%	6
28.1%	71.8%	0.1%	7
42.1%	57.7%	0.1%	8
43.7%	56.2%	0.1%	9
64.4%	35.5%	0.1%	10
71.6%	28.3%	0.1%	11
72.2%	27.7%	0.1%	12
81.6%	18.2%	0.2%	13
84.9%	14.9%	0.2%	14

sample18.0ms

Algorithm

intervals

Results

8.0ms	256×	body	80	valid
0.0ms	11×	body	80	invalid

simplify95.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	4901	11
1	4901	11

prune10.0ms

Filtered

1 candidates to 1 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: 2.3b

Counts

2 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- -1 (/ u t1))
0.1b	(* (+ t1 u) (- -1 (/ u t1)))
4.9b	(/ v (* (+ t1 u) (- -1 (/ u t1))))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 75

Calls

3 calls:

6.0ms	(- -1 (/ u t1))
14.0ms	(* (+ t1 u) (- -1 (/ u t1)))
12.0ms	(/ v (* (+ t1 u) (- -1 (/ u t1))))

series23.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(- -1 (/ u t1))
5.0ms	(* (+ t1 u) (- -1 (/ u t1)))
15.0ms	(/ v (* (+ t1 u) (- -1 (/ u t1))))

simplify37.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5052	995

prune112.0ms

Filtered

62 candidates to 84 candidates (-35.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	79	5	84
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	80	6	86

Merged error: 0.2b

Counts

86 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- -1 (/ u t1))
0.0b	(/ v (+ t1 u))
1.4b	(/ (/ v (+ t1 u)) (- -1 (/ u t1)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

224×	`times-frac`
187×	`add-sqr-sqrt`
177×	`*-un-lft-identity`
87×	`add-cube-cbrt`
40×	`difference-of-squares`
25×	`distribute-lft-out`
21×	`associate-/l*`
20×	`distribute-lft-out--`
18×	`associate-/r/`
10×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
9×	`div-inv`
8×	`flip3-+` `flip-+`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`pow1`
2×	`flip3--` `frac-2neg` `clear-num` `flip--`
1×	`sub-neg` `diff-log` `associate-/l/`

Counts

3 → 196

Calls

3 calls:

8.0ms	(- -1 (/ u t1))
5.0ms	(/ v (+ t1 u))
15.0ms	(/ (/ v (+ t1 u)) (- -1 (/ u t1)))

series24.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(- -1 (/ u t1))
6.0ms	(/ v (+ t1 u))
15.0ms	(/ (/ v (+ t1 u)) (- -1 (/ u t1)))

simplify56.0ms

Algorithm

egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5013	3730

prune198.0ms

Filtered

138 candidates to 205 candidates (-48.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	204	1	205
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	205	6	211

Merged error: 0.2b

Counts

211 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (/ u t1) 1)
0.0b	(/ v (+ t1 u))
0.4b	(/ -1 (+ (/ u t1) 1))
1.2b	(* (/ v (+ t1 u)) (/ -1 (+ (/ u t1) 1)))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

68×	`*-un-lft-identity`
52×	`times-frac`
50×	`add-sqr-sqrt`
38×	`add-cube-cbrt`
20×	`add-exp-log` `add-cbrt-cube`
18×	`associate-r` `associate-l`
15×	`distribute-lft-out`
8×	`associate-/r*` `associate-/r/`
6×	`pow1` `cbrt-undiv` `div-exp` `associate-/l*` `add-log-exp`
5×	`flip3-+` `flip-+`
4×	`prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
2×	`frac-2neg` `clear-num`
1×	`+-commutative` `frac-times` `associate-r/` `pow-prod-down` `associate-l/` `sum-log` `*-commutative`

Counts

4 → 138

Calls

4 calls:

7.0ms	(+ (/ u t1) 1)
5.0ms	(/ v (+ t1 u))
8.0ms	(/ -1 (+ (/ u t1) 1))
20.0ms	(* (/ v (+ t1 u)) (/ -1 (+ (/ u t1) 1)))

series31.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(+ (/ u t1) 1)
6.0ms	(/ v (+ t1 u))
5.0ms	(/ -1 (+ (/ u t1) 1))
17.0ms	(* (/ v (+ t1 u)) (/ -1 (+ (/ u t1) 1)))

simplify43.0ms

Algorithm

egg-herbie

Counts

150 → 150

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	4984	1614
1	4984	1614

prune151.0ms

Filtered

105 candidates to 150 candidates (-42.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	150	0	150
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	150	6	156

Merged error: 0.2b

Counts

156 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(- -1 (/ u t1))
0.0b	(/ 1 (+ t1 u))
1.0b	(* (/ 1 (+ t1 u)) (/ v (- -1 (/ u t1))))
1.5b	(/ v (- -1 (/ u t1)))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

99×	`add-sqr-sqrt`
75×	`times-frac`
74×	`*-un-lft-identity`
42×	`add-cube-cbrt`
32×	`add-exp-log`
24×	`associate-r`
20×	`add-cbrt-cube`
18×	`associate-l`
16×	`difference-of-squares`
11×	`div-exp`
10×	`associate-/r*`
8×	`prod-exp` `associate-/r/` `distribute-lft-out--`
7×	`pow1` `distribute-lft-out`
6×	`cbrt-undiv` `associate-/l*` `add-log-exp` `unswap-sqr`
4×	`cbrt-unprod` `div-inv`
3×	`rec-exp` `flip3--` `1-exp` `flip--`
2×	`frac-2neg` `flip3-+` `clear-num` `flip-+`
1×	`frac-times` `sub-neg` `pow-flip` `diff-log` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `inv-pow`

Counts

4 → 164

Calls

4 calls:

6.0ms	(- -1 (/ u t1))
5.0ms	(/ 1 (+ t1 u))
22.0ms	(* (/ 1 (+ t1 u)) (/ v (- -1 (/ u t1))))
8.0ms	(/ v (- -1 (/ u t1)))

series37.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(- -1 (/ u t1))
4.0ms	(/ 1 (+ t1 u))
22.0ms	(* (/ 1 (+ t1 u)) (/ v (- -1 (/ u t1))))
7.0ms	(/ v (- -1 (/ u t1)))

simplify49.0ms

Algorithm

egg-herbie

Counts

176 → 176

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5138	1922

prune163.0ms

Filtered

118 candidates to 176 candidates (-49.2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	176	0	176
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	176	6	182

Merged error: 0.2b

Counts

182 → 6

regimes203.0ms

Accuracy

0% (1.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	11
1	26	11

end0.0ms

sample434.0ms

Algorithm

intervals

Results

257.0ms	8000×	body	80	valid
11.0ms	275×	body	80	invalid

Details

analyze260.0ms

sample18.0ms

simplify95.0ms

prune10.0ms

localize7.0ms

rewrite35.0ms

series23.0ms

simplify37.0ms

prune112.0ms

localize7.0ms

rewrite39.0ms

series24.0ms

simplify56.0ms

prune198.0ms

localize9.0ms

rewrite44.0ms

series31.0ms

simplify43.0ms

prune151.0ms

localize9.0ms

rewrite49.0ms

series37.0ms

simplify49.0ms

prune163.0ms

regimes203.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample434.0ms

Profiling