Details

sample353.0ms

Algorithm

intervals

Results

63.0ms	68×	body	1280	valid
32.0ms	47×	body	640	valid
17.0ms	120×	body	80	valid
10.0ms	24×	body	320	valid
5.0ms	43×	body	80	nan
4.0ms	13×	body	160	valid

simplify501.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	4951	26
1	4951	26

prune17.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: 8.3b

Counts

2 → 2

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite64.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:

14.0ms	(* F (/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B)))
19.0ms	(* x (/ 1.0 (tan B)))
10.0ms	(/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B))
13.0ms	(pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0))

series248.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify77.0ms

Algorithm

egg-herbie

Counts

190 → 190

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4957	3681
1	4957	3681

prune492.0ms

Filtered

150 candidates to 190 candidates (-26.7%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	177	13	190
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	178	14	192

Merged error: 7.9b

Counts

192 → 14

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (* x 1.0) (tan B))
0.2b	(* F (/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B)))
0.4b	(/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B))
16.8b	(pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0))

rewrite47.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))
16.0ms	(* F (/ (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)) (sin B))
10.0ms	(pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0))

series232.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(/ (* x 1.0) (tan B))
96.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))
23.0ms	(pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0))

simplify73.0ms

Algorithm

egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4952	3595
1	4952	3595

prune427.0ms

Filtered

140 candidates to 179 candidates (-27.9%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	176	3	179
Fresh	2	11	13
Picked	0	1	1
Done	0	0	0
Total	178	15	193

Merged error: 7.9b

Counts

193 → 15

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (/ (tan B) (* x 1.0)))
0.2b	(* F (/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B)))
0.4b	(/ (pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0)) (sin B))
16.8b	(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)))
14.0ms	(* F (/ (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)) (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)))
94.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))
25.0ms	(pow (+ (* F F) (+ 2.0 (* x 2.0))) (/ (neg 1.0) 2.0))

simplify77.0ms

Algorithm

egg-herbie

Counts

213 → 213

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4958	3947
1	4958	3947

prune483.0ms

Filtered

155 candidates to 213 candidates (-37.4%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	212	1	213
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	212	16	228

Merged error: 7.9b

Counts

228 → 16

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

59×	`add-exp-log`
53×	`add-sqr-sqrt`
49×	`times-frac`
43×	`add-cube-cbrt` `*-un-lft-identity`
34×	`pow-unpow` `associate-r`
33×	`prod-exp`
23×	`add-cbrt-cube`
9×	`pow1` `distribute-lft-neg-in` `distribute-rgt-neg-in` `div-exp` `cbrt-unprod`
8×	`associate-*r/`
7×	`pow-neg` `unpow-prod-down` `distribute-frac-neg` `associate-l`
6×	`pow-to-exp` `pow-exp`
5×	`unswap-sqr`
4×	`neg-sub0` `rec-exp` `1-exp` `div-sub` `un-div-inv` `pow-sub` `add-log-exp`
3×	`cbrt-undiv` `frac-times` `neg-mul-1` `associate-l/` `-commutative` `div-inv` `sqr-pow`
2×	`pow-prod-down`
1×	`tan-quot` `pow-pow` `associate-/r/`

Counts

4 → 162

Calls

4 calls:

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

series210.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify66.0ms

Algorithm

egg-herbie

Counts

174 → 174

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4942	2797
1	4942	2797

prune277.0ms

Filtered

114 candidates to 174 candidates (-52.6%)

Pruning

15 alts after pruning (12 fresh and 3 done)

	Pruned	Kept	Total
New	172	2	174
Fresh	3	10	13
Picked	0	1	1
Done	0	2	2
Total	175	15	190

Merged error: 7.9b

Counts

190 → 15

regimes461.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	63	26
1	63	26

end0.0ms

sample4.0s

Algorithm

intervals

Results

1.5s	1675×	body	1280	valid
798.0ms	1350×	body	640	valid
660.0ms	4771×	body	80	valid
297.0ms	711×	body	320	valid
164.0ms	1626×	body	80	nan
98.0ms	353×	body	160	valid

Details

sample353.0ms

simplify501.0ms

prune17.0ms

localize25.0ms

rewrite64.0ms

series248.0ms

simplify77.0ms

prune492.0ms

localize23.0ms

rewrite47.0ms

series232.0ms

simplify73.0ms

prune427.0ms

localize24.0ms

rewrite47.0ms

series227.0ms

simplify77.0ms

prune483.0ms

localize24.0ms

rewrite48.0ms

series210.0ms

simplify66.0ms

prune277.0ms

regimes461.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample4.0s

Profiling