Details

analyze508.0ms

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
25%	74.9%	0.1%	5
43.7%	56.2%	0.1%	6
43.7%	46.8%	9.5%	7
46.8%	42.1%	11%	8
46.8%	36.7%	16.5%	9
48.4%	34%	17.7%	10
48.4%	31%	20.6%	11
49.2%	29.6%	21.3%	12
49.2%	28%	22.8%	13
49.6%	27.3%	23.1%	14

sample67.0ms

Algorithm

intervals

Results

14.0ms	48×	body	1280	invalid
9.0ms	188×	body	80	valid
8.0ms	41×	body	640	invalid
7.0ms	34×	body	640	valid
4.0ms	13×	body	1280	valid
3.0ms	25×	body	320	invalid
2.0ms	16×	body	320	valid
2.0ms	28×	body	80	invalid
1.0ms	8×	body	160	invalid
0.0ms	5×	body	160	valid

simplify179.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5093	11

prune6.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: 13.5b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(sinh.f64 y)
0.1b	(*.f64 (sin.f64 x) (sinh.f64 y))
13.5b	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-exp-log_binary64_5674` `add-cbrt-cube_binary64_5682`
9×	`add-sqr-sqrt_binary64_5695`
7×	`*-un-lft-identity_binary64_5710` `add-cube-cbrt_binary64_5681`
5×	`pow1_binary64_5656`
3×	`associate-r_binary64_5769` `associate-l_binary64_5770` `associate-/r*_binary64_5773` `sinh-def_binary64_5529` `times-frac_binary64_5705` `add-log-exp_binary64_5675`
2×	`cbrt-unprod_binary64_5679` `associate-*r/_binary64_5771` `div-exp_binary64_5663` `prod-exp_binary64_5661` `cbrt-undiv_binary64_5680`
1×	`clear-num_binary64_5713` `frac-2neg_binary64_5703` `unswap-sqr_binary64_5738` `associate-/l_binary64_5774` `-commutative_binary64_5778` `associate-/l/_binary64_5776` `div-inv_binary64_5711` `pow-prod-down_binary64_5637`

Counts

3 → 49

Calls

3 calls:

1.0ms	(sinh.f64 y)
5.0ms	(*.f64 (sin.f64 x) (sinh.f64 y))
6.0ms	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)

series204.0ms

Counts

3 → 9

Calls

3 calls:

34.0ms	(sinh.f64 y)
79.0ms	(*.f64 (sin.f64 x) (sinh.f64 y))
91.0ms	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)

simplify66.0ms

Algorithm

egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5017	673

prune239.0ms

Filtered

46 candidates to 58 candidates (-26.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	51	7	58
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	51	8	59

Merged error: 0.0b

Counts

59 → 8

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 x (sinh.f64 y))
0.0b	(sinh.f64 y)
0.5b	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

87×	`times-frac_binary64_5705`
54×	`add-sqr-sqrt_binary64_5695` `*-un-lft-identity_binary64_5710` `add-cube-cbrt_binary64_5681`
17×	`associate-/r*_binary64_5773`
10×	`add-exp-log_binary64_5674` `add-cbrt-cube_binary64_5682`
6×	`sinh-def_binary64_5529` `associate-/l*_binary64_5774` `associate-/r/_binary64_5775` `div-inv_binary64_5711`
4×	`div-exp_binary64_5663` `cbrt-undiv_binary64_5680`
3×	`pow1_binary64_5656` `add-log-exp_binary64_5675`
2×	`clear-num_binary64_5713` `frac-2neg_binary64_5703`

Counts

3 → 110

Calls

3 calls:

3.0ms	(/.f64 x (sinh.f64 y))
1.0ms	(sinh.f64 y)
7.0ms	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))

series250.0ms

Counts

3 → 9

Calls

3 calls:

117.0ms	(/.f64 x (sinh.f64 y))
37.0ms	(sinh.f64 y)
96.0ms	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))

simplify77.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4993	2256
1	4993	2256

prune424.0ms

Filtered

100 candidates to 119 candidates (-19.0%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	117	2	119
Fresh	2	4	6
Picked	0	1	1
Done	0	1	1
Total	119	8	127

Merged error: 0.0b

Counts

127 → 8

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(sinh.f64 y)
0.1b	(*.f64 (/.f64 (sin.f64 x) x) (sinh.f64 y))
0.1b	(/.f64 (sin.f64 x) x)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64_5695`
19×	`*-un-lft-identity_binary64_5710` `times-frac_binary64_5705` `add-cube-cbrt_binary64_5681`
13×	`associate-l_binary64_5770`
10×	`add-exp-log_binary64_5674` `add-cbrt-cube_binary64_5682`
5×	`pow1_binary64_5656`
3×	`associate-r_binary64_5769` `associate-/r_binary64_5773` `sinh-def_binary64_5529` `associate-/l_binary64_5774` `add-log-exp_binary64_5675`
2×	`cbrt-unprod_binary64_5679` `div-exp_binary64_5663` `unswap-sqr_binary64_5738` `prod-exp_binary64_5661` `cbrt-undiv_binary64_5680` `div-inv_binary64_5711`
1×	`associate-r/_binary64_5771` `clear-num_binary64_5713` `frac-2neg_binary64_5703` `associate-l/_binary64_5772` `*-commutative_binary64_5778` `frac-times_binary64_5702` `pow-prod-down_binary64_5637`

Counts

3 → 69

Calls

3 calls:

1.0ms	(sinh.f64 y)
6.0ms	(*.f64 (/.f64 (sin.f64 x) x) (sinh.f64 y))
4.0ms	(/.f64 (sin.f64 x) x)

series150.0ms

Counts

3 → 9

Calls

3 calls:

35.0ms	(sinh.f64 y)
97.0ms	(*.f64 (/.f64 (sin.f64 x) x) (sinh.f64 y))
18.0ms	(/.f64 (sin.f64 x) x)

simplify55.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5518	1001

prune275.0ms

Filtered

61 candidates to 78 candidates (-27.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	77	1	78
Fresh	1	4	5
Picked	1	0	1
Done	0	2	2
Total	79	7	86

Merged error: 0b

Counts

86 → 7

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(sinh.f64 y)
0.1b	(*.f64 (/.f64 1 (/.f64 x (sin.f64 x))) (sinh.f64 y))
0.2b	(/.f64 1 (/.f64 x (sin.f64 x)))
0.2b	(/.f64 x (sin.f64 x))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

156×	`times-frac_binary64_5705`
104×	`add-sqr-sqrt_binary64_5695`
92×	`*-un-lft-identity_binary64_5710`
90×	`add-cube-cbrt_binary64_5681`
44×	`associate-l_binary64_5770`
28×	`add-exp-log_binary64_5674`
20×	`add-cbrt-cube_binary64_5682`
16×	`associate-/r*_binary64_5773`
10×	`div-inv_binary64_5711`
9×	`div-exp_binary64_5663`
7×	`cbrt-undiv_binary64_5680` `pow1_binary64_5656`
6×	`associate-/l*_binary64_5774`
5×	`unswap-sqr_binary64_5738` `prod-exp_binary64_5661`
4×	`rec-exp_binary64_5662` `add-log-exp_binary64_5675`
3×	`cbrt-unprod_binary64_5679` `associate-r_binary64_5769` `sinh-def_binary64_5529`
2×	`clear-num_binary64_5713` `frac-2neg_binary64_5703` `associate-/r/_binary64_5775`
1×	`associate-r/_binary64_5771` `pow-flip_binary64_5640` `associate-l/_binary64_5772` `*-commutative_binary64_5778` `inv-pow_binary64_5632` `frac-times_binary64_5702` `pow-prod-down_binary64_5637`

Counts

4 → 181

Calls

4 calls:

1.0ms	(sinh.f64 y)
13.0ms	(*.f64 (/.f64 1 (/.f64 x (sin.f64 x))) (sinh.f64 y))
6.0ms	(/.f64 1 (/.f64 x (sin.f64 x)))
5.0ms	(/.f64 x (sin.f64 x))

series181.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(sinh.f64 y)
91.0ms	(*.f64 (/.f64 1 (/.f64 x (sin.f64 x))) (sinh.f64 y))
22.0ms	(/.f64 1 (/.f64 x (sin.f64 x)))
34.0ms	(/.f64 x (sin.f64 x))

simplify94.0ms

Algorithm

egg-herbie

Counts

193 → 193

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5257	2805

prune817.0ms

Filtered

141 candidates to 193 candidates (-36.9%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	193	0	193
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	193	7	200

Merged error: 0b

Counts

200 → 7

regimes362.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 (1.0ms)

Iter	Nodes	Cost
0	10	14
1	10	14

end0.0ms

sample1.8s

Algorithm

intervals

Results

432.0ms	1428×	body	1280	invalid
286.0ms	6074×	body	80	valid
242.0ms	1218×	body	640	invalid
156.0ms	737×	body	640	valid
135.0ms	376×	body	1280	valid
87.0ms	615×	body	320	invalid
73.0ms	515×	body	320	valid
41.0ms	615×	body	80	invalid
38.0ms	339×	body	160	invalid
34.0ms	298×	body	160	valid

Details

analyze508.0ms

sample67.0ms

simplify179.0ms

prune6.0ms

localize9.0ms

rewrite13.0ms

series204.0ms

simplify66.0ms

prune239.0ms

localize10.0ms

rewrite15.0ms

series250.0ms

simplify77.0ms

prune424.0ms

localize9.0ms

rewrite13.0ms

series150.0ms

simplify55.0ms

prune275.0ms

localize20.0ms

rewrite34.0ms

series181.0ms

simplify94.0ms

prune817.0ms

regimes362.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.8s

Profiling