Details

analyze2.0s

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
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	93.6%	6.4%	8
9.4%	84.3%	6.4%	9
14.8%	75.7%	9.5%	10
16%	71.4%	12.6%	11
20.9%	65.7%	13.4%	12
24.2%	60.5%	15.3%	13
24.8%	58.6%	16.6%	14

sample139.0ms

Algorithm

intervals

Results

56.0ms	59×	body	1280	valid
32.0ms	42×	body	640	valid
17.0ms	117×	body	80	valid
9.0ms	21×	body	320	valid
5.0ms	17×	body	160	valid
3.0ms	23×	body	80	invalid
0.0ms	1×	body	80	nan

simplify443.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	4951	26
1	4951	26

prune25.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: 10.8b

Counts

2 → 2

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b	(* x (/ 1.0 (tan B)))
0.3b	(* F (/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B)))
0.3b	(/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B))
17.4b	(pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

85×	`times-frac`
79×	`add-sqr-sqrt`
64×	`add-cube-cbrt` `*-un-lft-identity`
39×	`associate-r`
34×	`pow-unpow`
25×	`add-exp-log` `unpow-prod-down`
16×	`add-cbrt-cube`
9×	`pow1` `distribute-lft-neg-in` `distribute-rgt-neg-in` `sqr-pow`
7×	`div-exp` `associate-/l*`
6×	`associate-l` `prod-exp` `unswap-sqr`
4×	`cbrt-unprod` `div-inv` `add-log-exp`
3×	`cbrt-undiv` `pow-to-exp` `neg-mul-1` `pow-exp` `associate-/r*`
2×	`neg-sub0` `pow-neg` `div-sub` `associate-r/` `distribute-frac-neg` `pow-prod-down` `-commutative` `associate-/l/` `pow-sub`
1×	`tan-quot` `pow-pow` `frac-2neg` `clear-num` `associate-/r/`

Counts

4 → 178

Calls

4 calls:

7.0ms	(* x (/ 1.0 (tan B)))
13.0ms	(* F (/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B)))
9.0ms	(/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B))
12.0ms	(pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0))

series252.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* x (/ 1.0 (tan B)))
96.0ms	(* F (/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B)))
92.0ms	(/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B))
37.0ms	(pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0))

simplify74.0ms

Algorithm

egg-herbie

Counts

190 → 190

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4957	3681
1	4957	3681

prune522.0ms

Filtered

150 candidates to 190 candidates (-26.7%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	172	18	190
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	173	19	192

Merged error: 10.4b

Counts

192 → 19

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (* x 1.0) (tan B))
0.3b	(* F (/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B)))
0.3b	(/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B))
17.4b	(pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

78×	`times-frac`
68×	`add-sqr-sqrt`
58×	`add-cube-cbrt` `*-un-lft-identity`
34×	`pow-unpow`
25×	`add-exp-log` `unpow-prod-down` `associate-r`
16×	`add-cbrt-cube`
9×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `sqr-pow`
8×	`div-exp` `associate-/l*`
7×	`pow1`
6×	`associate-/r*`
5×	`prod-exp`
4×	`cbrt-undiv` `div-inv` `add-log-exp` `unswap-sqr`
3×	`pow-to-exp` `neg-mul-1` `associate-l` `pow-exp` `cbrt-unprod`
2×	`neg-sub0` `pow-neg` `frac-2neg` `div-sub` `distribute-frac-neg` `clear-num` `associate-/l/` `pow-sub`
1×	`tan-quot` `pow-pow` `associate-r/` `pow-prod-down` `associate-/r/` `-commutative`

Counts

4 → 167

Calls

4 calls:

4.0ms	(/ (* x 1.0) (tan B))
13.0ms	(* F (/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B)))
9.0ms	(/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B))
9.0ms	(pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0))

series234.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(/ (* x 1.0) (tan B))
95.0ms	(* F (/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B)))
91.0ms	(/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B))
22.0ms	(pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0))

simplify70.0ms

Algorithm

egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4952	3595
1	4952	3595

prune440.0ms

Filtered

139 candidates to 179 candidates (-28.8%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	176	3	179
Fresh	2	16	18
Picked	1	0	1
Done	0	0	0
Total	179	19	198

Merged error: 10.4b

Counts

198 → 19

localize26.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (/ x (sin B)) (cos B))
0.3b	(* F (/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B)))
0.3b	(/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B))
17.4b	(pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

85×	`times-frac`
79×	`add-sqr-sqrt`
64×	`add-cube-cbrt` `*-un-lft-identity`
34×	`pow-unpow`
28×	`associate-r`
25×	`add-exp-log` `unpow-prod-down`
16×	`associate-l` `add-cbrt-cube`
9×	`pow1` `distribute-lft-neg-in` `distribute-rgt-neg-in` `sqr-pow`
7×	`div-exp` `associate-/l*`
6×	`prod-exp` `unswap-sqr`
4×	`cbrt-unprod` `div-inv` `add-log-exp`
3×	`cbrt-undiv` `pow-to-exp` `neg-mul-1` `pow-exp` `associate-/r*`
2×	`neg-sub0` `pow-neg` `div-sub` `distribute-frac-neg` `pow-prod-down` `*-commutative` `associate-/l/` `pow-sub`
1×	`pow-pow` `frac-2neg` `associate-r/` `associate-l/` `clear-num`

Counts

4 → 177

Calls

4 calls:

6.0ms	(* (/ x (sin B)) (cos B))
14.0ms	(* F (/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B)))
9.0ms	(/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B))
9.0ms	(pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0))

series228.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(* (/ x (sin B)) (cos B))
97.0ms	(* F (/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B)))
88.0ms	(/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B))
26.0ms	(pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0))

simplify72.0ms

Algorithm

egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4949	3698
1	4949	3698

prune467.0ms

Filtered

149 candidates to 189 candidates (-26.8%)

Pruning

22 alts after pruning (21 fresh and 1 done)

	Pruned	Kept	Total
New	185	4	189
Fresh	1	17	18
Picked	0	1	1
Done	0	0	0
Total	186	22	208

Merged error: 10.4b

Counts

208 → 22

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (/ (tan B) (* x 1.0)))
0.3b	(* F (/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B)))
0.3b	(/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B))
17.4b	(pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

108×	`times-frac`
82×	`add-sqr-sqrt`
72×	`add-cube-cbrt` `*-un-lft-identity`
41×	`add-exp-log`
34×	`pow-unpow`
25×	`unpow-prod-down` `associate-r`
20×	`add-cbrt-cube`
18×	`div-exp`
10×	`associate-/r` `associate-/l`
9×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `sqr-pow`
8×	`pow1` `div-inv`
7×	`cbrt-undiv` `prod-exp`
4×	`add-log-exp` `unswap-sqr`
3×	`pow-to-exp` `neg-mul-1` `rec-exp` `1-exp` `associate-l` `pow-exp` `cbrt-unprod`
2×	`neg-sub0` `pow-neg` `frac-2neg` `div-sub` `distribute-frac-neg` `clear-num` `associate-/l/` `pow-sub`
1×	`pow-flip` `pow-pow` `associate-r/` `pow-prod-down` `associate-/r/` `-commutative` `inv-pow`

Counts

4 → 201

Calls

4 calls:

6.0ms	(/ 1 (/ (tan B) (* x 1.0)))
15.0ms	(* F (/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B)))
9.0ms	(/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B))
10.0ms	(pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0))

series227.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(/ 1 (/ (tan B) (* x 1.0)))
95.0ms	(* F (/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B)))
91.0ms	(/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B))
22.0ms	(pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0))

simplify79.0ms

Algorithm

egg-herbie

Counts

213 → 213

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4958	3947
1	4958	3947

prune409.0ms

Filtered

154 candidates to 213 candidates (-38.3%)

Pruning

22 alts after pruning (20 fresh and 2 done)

	Pruned	Kept	Total
New	212	1	213
Fresh	1	19	20
Picked	0	1	1
Done	0	1	1
Total	213	22	235

Merged error: 10.4b

Counts

235 → 22

regimes595.0ms

Accuracy

0% (0.4b remaining)

Error of 10.4b against oracle of 10.0b and baseline of 10.4b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	81	29
1	81	29

end0.0ms

sample3.8s

Algorithm

intervals

Results

1.6s	1740×	body	1280	valid
849.0ms	1381×	body	640	valid
539.0ms	3836×	body	80	valid
283.0ms	669×	body	320	valid
106.0ms	374×	body	160	valid
102.0ms	708×	body	80	invalid
12.0ms	126×	body	80	nan
1.0ms	1×	body	1280	invalid

Details

analyze2.0s

sample139.0ms

simplify443.0ms

prune25.0ms

localize25.0ms

rewrite49.0ms

series252.0ms

simplify74.0ms

prune522.0ms

localize24.0ms

rewrite43.0ms

series234.0ms

simplify70.0ms

prune440.0ms

localize26.0ms

rewrite45.0ms

series228.0ms

simplify72.0ms

prune467.0ms

localize24.0ms

rewrite47.0ms

series227.0ms

simplify79.0ms

prune409.0ms

regimes595.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample3.8s

Profiling