Details

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

sample61.0ms

Algorithm

intervals

Results

13.0ms	44×	body	1280	invalid
11.0ms	41×	body	640	invalid
9.0ms	192×	body	80	valid
6.0ms	29×	body	640	valid
4.0ms	10×	body	1280	valid
4.0ms	26×	body	320	invalid
1.0ms	11×	body	320	valid
1.0ms	25×	body	80	invalid
1.0ms	14×	body	160	valid
1.0ms	7×	body	160	invalid

simplify47.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4970	7
1	4970	7

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: 14.6b

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite13.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` `associate-*r/_binary64` `prod-exp_binary64` `div-exp_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 (sin.f64 x) (sinh.f64 y))
6.0ms	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)

series46.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(sinh.f64 y)
17.0ms	(*.f64 (sin.f64 x) (sinh.f64 y))
22.0ms	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)

simplify47.0ms

Algorithm

egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4995	419
1	4995	419

prune65.0ms

Filtered

43 candidates to 58 candidates (-34.9%)

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

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 40

Calls

2 calls:

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

series28.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(sinh.f64 y)
20.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) x))

simplify58.0ms

Algorithm

egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4943	383
1	4943	383

prune44.0ms

Filtered

32 candidates to 46 candidates (-43.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	45	1	46
Fresh	2	4	6
Picked	1	0	1
Done	0	1	1
Total	48	6	54

Merged error: 0b

Counts

54 → 6

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

78×	`times-frac_binary64`
45×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
14×	`associate-/r*_binary64`
7×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`sinh-def_binary64` `associate-/r/_binary64` `div-inv_binary64`
3×	`cbrt-undiv_binary64` `associate-/l*_binary64` `div-exp_binary64`
2×	`add-log-exp_binary64` `pow1_binary64`
1×	`clear-num_binary64` `frac-2neg_binary64`

Counts

2 → 82

Calls

2 calls:

2.0ms	(sinh.f64 y)
7.0ms	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))

series28.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(sinh.f64 y)
21.0ms	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))

simplify43.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	4922	1131
1	4922	1131

prune76.0ms

Filtered

74 candidates to 88 candidates (-18.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	88	0	88
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	88	6	94

Merged error: 0b

Counts

94 → 6

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-exp-log_binary64`
17×	`add-cbrt-cube_binary64`
16×	`associate-r_binary64`
14×	`add-sqr-sqrt_binary64`
13×	`prod-exp_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
10×	`pow1_binary64`
9×	`times-frac_binary64`
7×	`cbrt-unprod_binary64`
4×	`pow-prod-down_binary64` `sinh-def_binary64` `associate-r/_binary64` `associate-l*_binary64` `div-exp_binary64`
3×	`add-log-exp_binary64`
2×	`1-exp_binary64` `cbrt-undiv_binary64` `rec-exp_binary64` `*-commutative_binary64`
1×	`unswap-sqr_binary64` `un-div-inv_binary64` `div-inv_binary64` `frac-times_binary64` `associate-*l/_binary64`

Counts

3 → 67

Calls

3 calls:

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

series46.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(sinh.f64 y)
19.0ms	(*.f64 (sin.f64 x) (sinh.f64 y))
20.0ms	(.f64 (.f64 (sin.f64 x) (sinh.f64 y)) (/.f64 1 x))

simplify38.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5276	602

prune47.0ms

Filtered

49 candidates to 76 candidates (-55.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	76	6	82

Merged error: 0b

Counts

82 → 6

regimes236.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	6	7

end0.0ms

sample1.9s

Algorithm

intervals

Results

466.0ms	1466×	body	1280	invalid
292.0ms	6101×	body	80	valid
243.0ms	1160×	body	640	invalid
162.0ms	716×	body	640	valid
149.0ms	381×	body	1280	valid
96.0ms	599×	body	320	invalid
75.0ms	514×	body	320	valid
36.0ms	596×	body	80	invalid
34.0ms	298×	body	160	invalid
30.0ms	288×	body	160	valid

Details

analyze341.0ms

sample61.0ms

simplify47.0ms

prune3.0ms

localize6.0ms

rewrite13.0ms

series46.0ms

simplify47.0ms

prune65.0ms

localize7.0ms

rewrite11.0ms

series28.0ms

simplify58.0ms

prune44.0ms

localize7.0ms

rewrite13.0ms

series28.0ms

simplify43.0ms

prune76.0ms

localize8.0ms

rewrite18.0ms

series46.0ms

simplify38.0ms

prune47.0ms

regimes236.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.9s

Profiling