Details

sample84.0ms

Algorithm

intervals

Results

30.0ms	95×	body	1280	valid
16.0ms	82×	body	640	valid
14.0ms	290×	body	80	valid
7.0ms	54×	body	320	valid
2.0ms	24×	body	160	valid

simplify90.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	4
1	28	4
2	56	4
3	98	4
4	143	4
5	310	4
6	877	4
7	1781	4
8	4989	4
9	5001	4

prune2.0ms

Filtered

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

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(cosh x)
0.0b	(* (cosh x) (/ (sin y) y))
0.1b	(/ (sin y) y)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
19×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
13×	`associate-r`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1`
3×	`cosh-def` `associate-l` `associate-/r` `associate-/l` `add-log-exp`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`frac-times` `frac-2neg` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `*-commutative`

Counts

3 → 69

Calls

3 calls:

1.0ms	(cosh x)
6.0ms	(* (cosh x) (/ (sin y) y))
4.0ms	(/ (sin y) y)

series143.0ms

Counts

3 → 9

Calls

3 calls:

43.0ms	(cosh x)
72.0ms	(* (cosh x) (/ (sin y) y))
29.0ms	(/ (sin y) y)

simplify39.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	291	432
1	1111	386
2	5001	364

prune153.0ms

Filtered

78 candidates to 59 candidates (75.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	70	8	78
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	70	9	79

Merged error: 0.0b

Counts

79 → 9

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(cosh x)
0.0b	(* (cosh x) (/ 1 (/ y (sin y))))
0.1b	(/ y (sin y))
0.1b	(/ 1 (/ y (sin y)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

156×	`times-frac`
104×	`add-sqr-sqrt`
92×	`*-un-lft-identity`
90×	`add-cube-cbrt`
44×	`associate-r`
36×	`add-exp-log`
20×	`add-cbrt-cube`
16×	`associate-/r*`
15×	`div-exp`
10×	`div-inv`
7×	`pow1` `cbrt-undiv` `prod-exp`
6×	`associate-/l*`
5×	`unswap-sqr`
4×	`rec-exp` `1-exp` `add-log-exp`
3×	`cosh-def` `associate-l` `cbrt-unprod`
2×	`frac-2neg` `clear-num` `associate-/r/`
1×	`frac-times` `pow-flip` `associate-r/` `pow-prod-down` `associate-l/` `un-div-inv` `*-commutative` `inv-pow`

Counts

4 → 186

Calls

4 calls:

1.0ms	(cosh x)
14.0ms	(* (cosh x) (/ 1 (/ y (sin y))))
3.0ms	(/ y (sin y))
6.0ms	(/ 1 (/ y (sin y)))

series164.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(cosh x)
72.0ms	(* (cosh x) (/ 1 (/ y (sin y))))
21.0ms	(/ y (sin y))
29.0ms	(/ 1 (/ y (sin y)))

simplify81.0ms

Algorithm

egg-herbie

Counts

198 → 198

Iterations

Useful iterations: 2 (64.0ms)

Iter	Nodes	Cost
0	644	1359
1	3041	1184
2	5002	1051

prune294.0ms

Filtered

198 candidates to 122 candidates (61.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	193	5	198
Fresh	5	2	7
Picked	1	0	1
Done	0	1	1
Total	199	8	207

Merged error: 0.0b

Counts

207 → 8

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(cosh x)
0.0b	(* (cosh x) (/ (/ 1 y) (/ 1 (sin y))))
0.1b	(/ 1 (sin y))
0.2b	(/ (/ 1 y) (/ 1 (sin y)))

rewrite95.0ms

Algorithm

rewrite-expression-head

Rules

854×	`times-frac`
427×	`add-sqr-sqrt`
398×	`*-un-lft-identity`
392×	`add-cube-cbrt`
174×	`associate-r`
106×	`add-exp-log`
66×	`div-exp`
57×	`div-inv`
36×	`add-cbrt-cube`
17×	`cbrt-undiv` `rec-exp` `1-exp` `prod-exp`
16×	`associate-/r` `associate-/l`
10×	`unswap-sqr`
7×	`pow1`
5×	`cbrt-unprod`
4×	`add-log-exp`
3×	`cosh-def` `associate-l`
2×	`frac-2neg` `clear-num` `associate-/r/`
1×	`frac-times` `pow-flip` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `associate-/l/` `inv-pow`

Counts

4 → 487

Calls

4 calls:

1.0ms	(cosh x)
41.0ms	(* (cosh x) (/ (/ 1 y) (/ 1 (sin y))))
4.0ms	(/ 1 (sin y))
14.0ms	(/ (/ 1 y) (/ 1 (sin y)))

series157.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(cosh x)
74.0ms	(* (cosh x) (/ (/ 1 y) (/ 1 (sin y))))
12.0ms	(/ 1 (sin y))
25.0ms	(/ (/ 1 y) (/ 1 (sin y)))

simplify82.0ms

Algorithm

egg-herbie

Counts

499 → 499

Iterations

Useful iterations: 1 (39.0ms)

Iter	Nodes	Cost
0	1854	4754
1	5001	4118

prune740.0ms

Filtered

499 candidates to 268 candidates (53.7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	498	1	499
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	498	9	507

Merged error: 0b

Counts

507 → 9

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (cosh x) (/ 1 (* y (/ 1 (sin y)))))
0.1b	(/ 1 (sin y))
0.1b	(/ 1 (* y (/ 1 (sin y))))
0.2b	(* y (/ 1 (sin y)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

104×	`add-exp-log`
44×	`prod-exp`
36×	`div-exp`
34×	`add-sqr-sqrt` `add-cbrt-cube`
26×	`*-un-lft-identity` `times-frac`
25×	`add-cube-cbrt`
22×	`associate-r`
18×	`rec-exp` `1-exp`
12×	`pow1`
10×	`cbrt-undiv` `cbrt-unprod`
6×	`associate-l` `associate-/l*`
4×	`associate-r/` `associate-/r` `associate-/r/` `un-div-inv` `div-inv` `add-log-exp` `unswap-sqr`
3×	`pow-flip` `pow-prod-down`
2×	`cosh-def` `frac-2neg` `clear-num` `*-commutative` `inv-pow`
1×	`frac-times` `associate-*l/`

Counts

4 → 153

Calls

4 calls:

11.0ms	(* (cosh x) (/ 1 (* y (/ 1 (sin y)))))
4.0ms	(/ 1 (sin y))
7.0ms	(/ 1 (* y (/ 1 (sin y))))
7.0ms	(* y (/ 1 (sin y)))

series136.0ms

Counts

4 → 12

Calls

4 calls:

73.0ms	(* (cosh x) (/ 1 (* y (/ 1 (sin y)))))
13.0ms	(/ 1 (sin y))
28.0ms	(/ 1 (* y (/ 1 (sin y))))
22.0ms	(* y (/ 1 (sin y)))

simplify63.0ms

Algorithm

egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	532	900
1	2400	706
2	5001	654

prune170.0ms

Filtered

165 candidates to 76 candidates (46.1%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	165	0	165
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	165	9	174

Merged error: 0b

Counts

174 → 9

regimes160.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	4
1	7	4

end0.0ms

sample2.4s

Algorithm

intervals

Results

952.0ms	2941×	body	1280	valid
529.0ms	2552×	body	640	valid
400.0ms	8539×	body	80	valid
188.0ms	1326×	body	320	valid
58.0ms	589×	body	160	valid

Details

sample84.0ms

simplify90.0ms

prune2.0ms

localize6.0ms

rewrite13.0ms

series143.0ms

simplify39.0ms

prune153.0ms

localize7.0ms

rewrite33.0ms

series164.0ms

simplify81.0ms

prune294.0ms

localize9.0ms

rewrite95.0ms

series157.0ms

simplify82.0ms

prune740.0ms

localize9.0ms

rewrite34.0ms

series136.0ms

simplify63.0ms

prune170.0ms

regimes160.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.4s

Profiling