Details

analyze320.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
12.5%	87.4%	0.1%	4
18.7%	81.2%	0.1%	5
21.9%	78%	0.1%	6
50%	43.7%	6.3%	7
50%	43.7%	6.3%	8
56.2%	34.3%	9.5%	9
56.2%	34.3%	9.5%	10
59.3%	29.7%	11%	11
59.3%	29.7%	11%	12
60.9%	27.3%	11.8%	13
60.9%	27.3%	11.8%	14

sample69.0ms

Algorithm

intervals

Results

18.0ms	55×	body	1024	valid
13.0ms	57×	body	1024	invalid
8.0ms	147×	body	128	valid
6.0ms	37×	body	512	invalid
4.0ms	86×	body	128	invalid
4.0ms	29×	body	512	valid
2.0ms	24×	body	256	valid
1.0ms	14×	body	256	invalid
1.0ms	1×	body	2048	valid

simplify56.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4986	11
1	4986	11

prune1.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.0b

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
19×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `times-frac_binary64`
13×	`associate-r_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`pow1_binary64`
3×	`associate-/r_binary64` `add-log-exp_binary64` `associate-l_binary64` `associate-/l_binary64`
2×	`sinh-def_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `div-inv_binary64` `div-exp_binary64`
1×	`pow-prod-down_binary64` `associate-/l/_binary64` `associate-r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `-commutative_binary64`

Counts

3 → 68

Calls

3 calls:

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

series423.0ms

Counts

3 → 9

Calls

3 calls:

138.0ms	(/.f64 (sinh.f64 y) y)
203.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
81.0ms	(sinh.f64 y)

simplify67.0ms

Algorithm

egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	6557	1002

prune48.0ms

Filtered

60 candidates to 77 candidates (-28.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	73	4	77
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	73	5	78

Merged error: 0b

Counts

78 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

32×	`associate-r_binary64`
28×	`add-sqr-sqrt_binary64` `sqrt-prod_binary64`
21×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
19×	`times-frac_binary64`
11×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`sqrt-div_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `associate-r/_binary64` `associate-l*_binary64` `prod-exp_binary64`
3×	`unswap-sqr_binary64`
2×	`sinh-def_binary64` `div-inv_binary64` `*-commutative_binary64`
1×	`frac-times_binary64` `associate-*l/_binary64`

Counts

4 → 84

Calls

4 calls:

10.0ms	(*.f64 (sin.f64 x) (sqrt.f64 (/.f64 (sinh.f64 y) y)))
1.0ms	(sinh.f64 y)
1.0ms	(sinh.f64 y)
14.0ms	(.f64 (.f64 (sin.f64 x) (sqrt.f64 (/.f64 (sinh.f64 y) y))) (sqrt.f64 (/.f64 (sinh.f64 y) y)))

series1.1s

Counts

4 → 12

Calls

4 calls:

525.0ms	(*.f64 (sin.f64 x) (sqrt.f64 (/.f64 (sinh.f64 y) y)))
68.0ms	(sinh.f64 y)
71.0ms	(sinh.f64 y)
469.0ms	(.f64 (.f64 (sin.f64 x) (sqrt.f64 (/.f64 (sinh.f64 y) y))) (sqrt.f64 (/.f64 (sinh.f64 y) y)))

simplify76.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5077	2283

prune79.0ms

Filtered

74 candidates to 96 candidates (-29.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	96	5	101

Merged error: 0b

Counts

101 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

64×	`cbrt-prod_binary64`
62×	`add-sqr-sqrt_binary64`
42×	`times-frac_binary64`
37×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
19×	`associate-l_binary64`
17×	`associate-r_binary64`
16×	`pow1_binary64` `swap-sqr_binary64`
11×	`add-exp-log_binary64`
10×	`unswap-sqr_binary64`
8×	`cbrt-div_binary64`
7×	`add-cbrt-cube_binary64`
6×	`pow1/3_binary64`
5×	`pow-prod-down_binary64` `associate-*r/_binary64`
4×	`add-log-exp_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `div-inv_binary64`
2×	`sinh-def_binary64` `pow-prod-up_binary64` `pow-sqr_binary64` `frac-times_binary64` `associate-l/_binary64` `-commutative_binary64`
1×	`pow-plus_binary64` `pow2_binary64`

Counts

4 → 116

Calls

4 calls:

1.0ms	(sinh.f64 y)
1.0ms	(sinh.f64 y)
14.0ms	(.f64 (sin.f64 x) (.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) (cbrt.f64 (/.f64 (sinh.f64 y) y))))
15.0ms	(*.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) (cbrt.f64 (/.f64 (sinh.f64 y) y)))

series1.3s

Counts

4 → 12

Calls

4 calls:

71.0ms	(sinh.f64 y)
77.0ms	(sinh.f64 y)
622.0ms	(.f64 (sin.f64 x) (.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) (cbrt.f64 (/.f64 (sinh.f64 y) y))))
560.0ms	(*.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) (cbrt.f64 (/.f64 (sinh.f64 y) y)))

simplify90.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4910	2564
1	4910	2564

prune100.0ms

Filtered

99 candidates to 128 candidates (-29.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	128	5	133

Merged error: 0b

Counts

133 → 5

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`add-sqr-sqrt_binary64`
7×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
5×	`pow1_binary64`
3×	`associate-/r_binary64` `add-log-exp_binary64` `sinh-def_binary64` `associate-r_binary64` `associate-l*_binary64` `times-frac_binary64`
2×	`cbrt-unprod_binary64` `cbrt-undiv_binary64` `prod-exp_binary64` `div-exp_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `associate-/l/_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `div-inv_binary64` `-commutative_binary64`

Counts

3 → 49

Calls

3 calls:

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

series401.0ms

Counts

3 → 9

Calls

3 calls:

71.0ms	(sinh.f64 y)
159.0ms	(*.f64 (sinh.f64 y) (sin.f64 x))
171.0ms	(/.f64 (*.f64 (sinh.f64 y) (sin.f64 x)) y)

simplify51.0ms

Algorithm

egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5614	713

prune27.0ms

Filtered

43 candidates to 58 candidates (-34.9%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	58	0	58
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	58	5	63

Merged error: 0b

Counts

63 → 5

regimes60.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	8	11

end0.0ms

sample2.1s

Algorithm

intervals

Results

506.0ms	2007×	body	1024	valid
472.0ms	2011×	body	1024	invalid
226.0ms	4476×	body	128	valid
156.0ms	1011×	body	512	valid
152.0ms	1010×	body	512	invalid
136.0ms	2698×	body	128	invalid
50.0ms	499×	body	256	valid
48.0ms	483×	body	256	invalid
5.0ms	7×	body	2048	valid

Details

analyze320.0ms

sample69.0ms

simplify56.0ms

prune1.0ms

localize6.0ms

rewrite18.0ms

series423.0ms

simplify67.0ms

prune48.0ms

localize9.0ms

rewrite35.0ms

series1.1s

simplify76.0ms

prune79.0ms

localize13.0ms

rewrite46.0ms

series1.3s

simplify90.0ms

prune100.0ms

localize6.0ms

rewrite15.0ms

series401.0ms

simplify51.0ms

prune27.0ms

regimes60.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.1s

Profiling