Details

analyze348.0ms

Algorithm: search

sample77.0ms

Algorithm

intervals

Results

17.0ms	46×	body	1280	invalid
16.0ms	45×	body	1280	valid
9.0ms	44×	body	640	invalid
9.0ms	42×	body	640	valid
7.0ms	140×	body	80	valid
3.0ms	23×	body	320	invalid
3.0ms	19×	body	320	valid
1.0ms	11×	body	160	invalid
1.0ms	10×	body	160	valid
1.0ms	14×	body	80	invalid

simplify93.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

prune3.0ms

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

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite11.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` `cosh-def` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `add-log-exp` `unswap-sqr`
1×	`frac-times` `frac-2neg` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `*-commutative`

Counts

2 → 61

Calls

2 calls:

6.0ms	(* (cosh x) (/ (sin y) y))
3.0ms	(/ (sin y) y)

series22.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify35.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	264	392
1	1058	349
2	5002	337

prune88.0ms

Filtered

50 candidates to 67 candidates (-34.0%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	58	9	67
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	58	10	68

Merged error: 0.0b

Counts

68 → 10

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite32.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×	`associate-l` `cbrt-unprod` `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 → 178

Calls

3 calls:

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

series26.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify74.0ms

Algorithm

egg-herbie

Counts

187 → 187

Iterations

Useful iterations: 2 (61.0ms)

Iter	Nodes	Cost
0	617	1319
1	2986	1147
2	5001	1024

prune155.0ms

Filtered

115 candidates to 187 candidates (-62.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	181	6	187
Fresh	4	4	8
Picked	1	0	1
Done	0	1	1
Total	186	11	197

Merged error: 0b

Counts

197 → 11

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

294×	`times-frac`
194×	`add-sqr-sqrt`
161×	`add-cube-cbrt` `*-un-lft-identity`
96×	`sqrt-prod`
83×	`associate-r`
20×	`add-exp-log` `add-cbrt-cube`
16×	`associate-/r*` `div-inv`
10×	`unswap-sqr`
9×	`associate-/l*`
7×	`pow1` `cbrt-undiv` `div-exp`
6×	`associate-l`
4×	`cosh-def` `sqrt-div` `add-log-exp`
3×	`prod-exp` `cbrt-unprod`
2×	`frac-2neg` `clear-num` `associate-/r/`
1×	`frac-times` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `associate-/l/`

Counts

4 → 271

Calls

4 calls:

1.0ms	(sqrt (cosh x))
24.0ms	(* (sqrt (cosh x)) (/ (sqrt (cosh x)) (/ y (sin y))))
7.0ms	(/ (sqrt (cosh x)) (/ y (sin y)))
3.0ms	(/ y (sin y))

series50.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(sqrt (cosh x))
17.0ms	(* (sqrt (cosh x)) (/ (sqrt (cosh x)) (/ y (sin y))))
20.0ms	(/ (sqrt (cosh x)) (/ y (sin y)))
6.0ms	(/ y (sin y))

simplify106.0ms

Algorithm

egg-herbie

Counts

283 → 283

Iterations

Useful iterations: 2 (78.0ms)

Iter	Nodes	Cost
0	829	2884
1	3942	2633
2	5001	2621

prune206.0ms

Filtered

182 candidates to 283 candidates (-55.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	282	1	283
Fresh	2	7	9
Picked	0	1	1
Done	0	1	1
Total	284	10	294

Merged error: 0b

Counts

294 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (sqrt (cosh x)) (/ y (sin y)))
0.1b	(/ y (sin y))
0.2b	(* (sqrt (+ (exp x) (exp (neg x)))) (/ (sqrt (cosh x)) (/ y (sin y))))
0.3b	(/ (* (sqrt (+ (exp x) (exp (neg x)))) (/ (sqrt (cosh x)) (/ y (sin y)))) (sqrt 2))

rewrite75.0ms

Algorithm

rewrite-expression-head

Rules

300×	`times-frac`
196×	`add-sqr-sqrt`
166×	`*-un-lft-identity`
164×	`add-cube-cbrt`
100×	`sqrt-prod`
83×	`associate-r`
34×	`add-exp-log` `add-cbrt-cube`
22×	`associate-/r*`
17×	`div-inv`
14×	`cbrt-undiv` `div-exp`
10×	`associate-/l*` `unswap-sqr`
9×	`sqrt-div`
7×	`associate-l`
6×	`pow1` `prod-exp` `cbrt-unprod` `associate-/l/`
4×	`frac-times` `flip3-+` `associate-*l/` `flip-+` `add-log-exp`
3×	`frac-2neg` `clear-num`
2×	`associate-*r/` `associate-/r/`
1×	`cosh-def` `pow-prod-down` `*-commutative` `distribute-lft-out`

Counts

4 → 296

Calls

4 calls:

7.0ms	(/ (sqrt (cosh x)) (/ y (sin y)))
3.0ms	(/ y (sin y))
32.0ms	(* (sqrt (+ (exp x) (exp (neg x)))) (/ (sqrt (cosh x)) (/ y (sin y))))
17.0ms	(/ (* (sqrt (+ (exp x) (exp (neg x)))) (/ (sqrt (cosh x)) (/ y (sin y)))) (sqrt 2))

series92.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(/ (sqrt (cosh x)) (/ y (sin y)))
6.0ms	(/ y (sin y))
26.0ms	(* (sqrt (+ (exp x) (exp (neg x)))) (/ (sqrt (cosh x)) (/ y (sin y))))
40.0ms	(/ (* (sqrt (+ (exp x) (exp (neg x)))) (/ (sqrt (cosh x)) (/ y (sin y)))) (sqrt 2))

simplify62.0ms

Algorithm

egg-herbie

Counts

308 → 308

Iterations

Useful iterations: 1 (27.0ms)

Iter	Nodes	Cost
0	1028	3924
1	5001	3676

prune295.0ms

Filtered

196 candidates to 308 candidates (-57.1%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	308	0	308
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	308	10	318

Merged error: 0b

Counts

318 → 10

regimes352.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	4
1	7	4

end0.0ms

analyze333.0ms

Algorithm: search

sample2.2s

Algorithm

intervals

Results

549.0ms	1502×	body	1280	valid
453.0ms	1474×	body	1280	invalid
272.0ms	1298×	body	640	valid
240.0ms	1206×	body	640	invalid
206.0ms	4228×	body	80	valid
94.0ms	652×	body	320	valid
93.0ms	637×	body	320	invalid
31.0ms	320×	body	160	valid
31.0ms	543×	body	80	invalid
29.0ms	287×	body	160	invalid

Details

analyze348.0ms

sample77.0ms

simplify93.0ms

prune3.0ms

localize6.0ms

rewrite11.0ms

series22.0ms

simplify35.0ms

prune88.0ms

localize8.0ms

rewrite32.0ms

series26.0ms

simplify74.0ms

prune155.0ms

localize9.0ms

rewrite51.0ms

series50.0ms

simplify106.0ms

prune206.0ms

localize17.0ms

rewrite75.0ms

series92.0ms

simplify62.0ms

prune295.0ms

regimes352.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

analyze333.0ms

sample2.2s

Profiling