Details

sample84.0ms

Algorithm

intervals

Results

31.0ms	103×	body	1280	valid
17.0ms	87×	body	640	valid
14.0ms	294×	body	80	valid
5.0ms	40×	body	320	valid
1.0ms	16×	body	160	valid

simplify61.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	15	4
1	28	4
2	56	4
3	102	4
4	153	4
5	334	4
6	924	4
7	1912	4
8	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.1b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 65

Calls

2 calls:

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

series109.0ms

Counts

2 → 6

Calls

2 calls:

76.0ms	(* (cosh x) (/ (sin y) y))
32.0ms	(/ (sin y) y)

simplify42.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	271	408
1	1085	363
2	5001	351

prune148.0ms

Filtered

71 candidates to 54 candidates (76.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	64	7	71
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	65	7	72

Merged error: 0.0b

Counts

72 → 7

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-sqr-sqrt`
22×	`add-cube-cbrt` `*-un-lft-identity`
20×	`times-frac`
19×	`add-exp-log` `add-cbrt-cube`
14×	`associate-r`
12×	`associate-l`
10×	`pow1` `cosh-def` `sqrt-div`
8×	`sqrt-prod`
7×	`prod-exp` `cbrt-unprod`
6×	`frac-times` `associate-*r/`
4×	`pow-prod-down` `associate-*l/` `unswap-sqr`
3×	`cbrt-undiv` `expm1-log1p-u` `div-exp` `associate-/r` `log1p-expm1-u` `associate-/l` `add-log-exp`
2×	`*-commutative` `div-inv`
1×	`frac-2neg` `clear-num`

Counts

3 → 102

Calls

3 calls:

8.0ms	(* (sqrt (cosh x)) (/ (sin y) y))
9.0ms	(* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ (sin y) y)))
4.0ms	(/ (sin y) y)

series208.0ms

Counts

3 → 9

Calls

3 calls:

102.0ms	(* (sqrt (cosh x)) (/ (sin y) y))
77.0ms	(* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ (sin y) y)))
29.0ms	(/ (sin y) y)

simplify54.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	393	819
1	1681	701
2	5001	699

prune226.0ms

Filtered

111 candidates to 81 candidates (73.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	109	2	111
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	110	8	118

Merged error: 0b

Counts

118 → 8

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

156×	`times-frac`
103×	`add-sqr-sqrt`
91×	`*-un-lft-identity`
89×	`add-cube-cbrt`
44×	`associate-r`
35×	`add-exp-log`
19×	`add-cbrt-cube`
16×	`associate-/r*`
15×	`div-exp`
10×	`div-inv`
7×	`cbrt-undiv` `prod-exp`
6×	`pow1` `associate-/l*`
5×	`unswap-sqr`
4×	`rec-exp` `1-exp`
3×	`expm1-log1p-u` `associate-l` `cbrt-unprod` `log1p-expm1-u` `add-log-exp`
2×	`cosh-def` `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

3 → 184

Calls

3 calls:

20.0ms	(* (cosh x) (/ 1 (/ y (sin y))))
4.0ms	(/ y (sin y))
6.0ms	(/ 1 (/ y (sin y)))

series125.0ms

Counts

3 → 9

Calls

3 calls:

77.0ms	(* (cosh x) (/ 1 (/ y (sin y))))
22.0ms	(/ y (sin y))
26.0ms	(/ 1 (/ y (sin y)))

simplify81.0ms

Algorithm

egg-herbie

Counts

193 → 193

Iterations

Useful iterations: 2 (67.0ms)

Iter	Nodes	Cost
0	628	1345
1	3020	1171
2	5002	1048

prune303.0ms

Filtered

193 candidates to 121 candidates (62.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	193	0	193
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	193	8	201

Merged error: 0b

Counts

201 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (sqrt (cosh x)) (* (sqrt (+ (exp x) (exp (- x)))) (sin y)))
0.2b	(/ (* (sqrt (cosh x)) (* (sqrt (+ (exp x) (exp (- x)))) (sin y))) (* (sqrt 2) y))
0.5b	(* (sqrt 2) y)
0.5b	(* (sqrt (+ (exp x) (exp (- x)))) (sin y))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

34×	`add-exp-log` `add-cbrt-cube`
20×	`add-sqr-sqrt`
19×	`associate-l`
16×	`sqrt-div`
14×	`*-un-lft-identity` `prod-exp` `cbrt-unprod`
13×	`pow1`
12×	`add-cube-cbrt` `associate-*l/` `sqrt-prod`
7×	`associate-r`
6×	`cbrt-undiv` `cosh-def` `div-exp`
5×	`flip3-+` `pow-prod-down` `flip-+` `associate-/l/`
4×	`expm1-log1p-u` `frac-times` `associate-*r/` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`*-commutative`
1×	`frac-2neg` `times-frac` `clear-num` `associate-/r` `div-inv` `distribute-lft-out` `associate-/l`

Counts

4 → 111

Calls

4 calls:

11.0ms	(* (sqrt (cosh x)) (* (sqrt (+ (exp x) (exp (- x)))) (sin y)))
18.0ms	(/ (* (sqrt (cosh x)) (* (sqrt (+ (exp x) (exp (- x)))) (sin y))) (* (sqrt 2) y))
5.0ms	(* (sqrt 2) y)
9.0ms	(* (sqrt (+ (exp x) (exp (- x)))) (sin y))

series687.0ms

Counts

4 → 12

Calls

4 calls:

142.0ms	(* (sqrt (cosh x)) (* (sqrt (+ (exp x) (exp (- x)))) (sin y)))
223.0ms	(/ (* (sqrt (cosh x)) (* (sqrt (+ (exp x) (exp (- x)))) (sin y))) (* (sqrt 2) y))
38.0ms	(* (sqrt 2) y)
285.0ms	(* (sqrt (+ (exp x) (exp (- x)))) (sin y))

simplify86.0ms

Algorithm

egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 2 (74.0ms)

Iter	Nodes	Cost
0	536	1334
1	2923	1165
2	5001	1164

prune336.0ms

Filtered

123 candidates to 84 candidates (68.3%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	123	8	131

Merged error: 0b

Counts

131 → 8

regimes122.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	10	8
1	10	8

end0.0ms

sample2.5s

Algorithm

intervals

Results

975.0ms	2942×	body	1280	valid
517.0ms	2532×	body	640	valid
402.0ms	8430×	body	80	valid
175.0ms	1195×	body	320	valid
63.0ms	647×	body	160	valid

Details

sample84.0ms

simplify61.0ms

prune2.0ms

localize7.0ms

rewrite13.0ms

series109.0ms

simplify42.0ms

prune148.0ms

localize9.0ms

rewrite25.0ms

series208.0ms

simplify54.0ms

prune226.0ms

localize8.0ms

rewrite39.0ms

series125.0ms

simplify81.0ms

prune303.0ms

localize16.0ms

rewrite47.0ms

series687.0ms

simplify86.0ms

prune336.0ms

regimes122.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.5s

Profiling