Details

analyze1.0s

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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
26.5%	72.9%	0.5%	9
38.2%	60.7%	1.1%	10
41.7%	54.9%	3.4%	11
47.6%	47.4%	5%	12
53.4%	39.4%	7.2%	13
54.9%	34.5%	10.6%	14

sample66.0ms

Algorithm

intervals

Results

17.0ms	191×	body	80	valid
12.0ms	25×	body	1280	valid
7.0ms	21×	body	640	valid
7.0ms	75×	body	80	invalid
2.0ms	9×	body	320	invalid
2.0ms	8×	body	320	valid
2.0ms	6×	body	640	invalid
2.0ms	4×	body	1280	invalid
2.0ms	11×	body	160	valid
1.0ms	8×	body	160	invalid

simplify220.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (210.0ms)

Iter	Nodes	Cost
0	7279	24

prune3.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 29.1b

Counts

2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

0.9b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
3.6b	(.f64 (.f64 x (pow.f64 s 2)) x)
7.7b	(*.f64 x (pow.f64 s 2))
20.7b	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

122×	`add-exp-log_binary64`
82×	`prod-exp_binary64`
34×	`add-cbrt-cube_binary64`
18×	`pow-to-exp_binary64` `add-sqr-sqrt_binary64` `pow-exp_binary64`
16×	`cbrt-unprod_binary64` `div-exp_binary64`
12×	`-un-lft-identity_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `associate-l*_binary64`
7×	`unpow-prod-down_binary64`
6×	`pow1_binary64`
4×	`add-log-exp_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64`
3×	`unpow2_binary64` `sqr-pow_binary64` `associate-/l_binary64` `times-frac_binary64` `-commutative_binary64`
1×	`pow-prod-down_binary64` `associate-/r*_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `cos-2_binary64`

Counts

4 → 119

Calls

4 calls:

12.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
6.0ms	(.f64 (.f64 x (pow.f64 s 2)) x)
6.0ms	(*.f64 x (pow.f64 s 2))
10.0ms	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))

series196.0ms

Counts

4 → 12

Calls

4 calls:

74.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
30.0ms	(.f64 (.f64 x (pow.f64 s 2)) x)
27.0ms	(*.f64 x (pow.f64 s 2))
65.0ms	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))

simplify73.0ms

Algorithm

egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4975	2228
1	4975	2228

prune94.0ms

Filtered

68 candidates to 131 candidates (-92.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	121	10	131
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	122	10	132

Merged error: 2.1b

Counts

132 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

0.3b	(.f64 (fabs.f64 (.f64 s (.f64 c x))) (fabs.f64 (.f64 s (*.f64 c x))))
0.9b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (fabs.f64 (.f64 s (.f64 c x))) (fabs.f64 (.f64 s (.f64 c x)))))
3.6b	(.f64 s (.f64 c x))
3.6b	(.f64 s (.f64 c x))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

21×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
14×	`add-sqr-sqrt_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
9×	`associate-l_binary64`
8×	`cbrt-unprod_binary64` `prod-exp_binary64`
7×	`pow-prod-down_binary64`
5×	`associate-r_binary64`
4×	`add-log-exp_binary64`
3×	`swap-sqr_binary64` `associate-/l_binary64` `times-frac_binary64` `-commutative_binary64`
2×	`cbrt-undiv_binary64` `div-exp_binary64`
1×	`associate-/r*_binary64` `pow-prod-up_binary64` `pow-plus_binary64` `unswap-sqr_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `pow-sqr_binary64` `cos-2_binary64` `pow2_binary64`

Counts

4 → 83

Calls

4 calls:

4.0ms	(.f64 (fabs.f64 (.f64 s (.f64 c x))) (fabs.f64 (.f64 s (*.f64 c x))))
5.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (fabs.f64 (.f64 s (.f64 c x))) (fabs.f64 (.f64 s (.f64 c x)))))
5.0ms	(.f64 s (.f64 c x))
5.0ms	(.f64 s (.f64 c x))

series177.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(.f64 (fabs.f64 (.f64 s (.f64 c x))) (fabs.f64 (.f64 s (*.f64 c x))))
102.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (fabs.f64 (.f64 s (.f64 c x))) (fabs.f64 (.f64 s (.f64 c x)))))
24.0ms	(.f64 s (.f64 c x))
27.0ms	(.f64 s (.f64 c x))

simplify94.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4951	1303
1	4951	1303

prune92.0ms

Filtered

57 candidates to 95 candidates (-66.7%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	83	12	95
Fresh	6	3	9
Picked	1	0	1
Done	0	0	0
Total	90	15	105

Merged error: 1.3b

Counts

105 → 15

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (fabs.f64 (.f64 s (.f64 c x)))) (fabs.f64 (.f64 s (*.f64 c x))))
0.6b	(/.f64 (cos.f64 (.f64 x 2)) (fabs.f64 (.f64 s (*.f64 c x))))
3.6b	(.f64 s (.f64 c x))
3.6b	(.f64 s (.f64 c x))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

84×	`times-frac_binary64`
56×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
21×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
16×	`associate-/l*_binary64`
14×	`pow1_binary64`
6×	`pow-prod-down_binary64` `associate-/r_binary64` `cbrt-unprod_binary64` `associate-l*_binary64` `prod-exp_binary64` `div-inv_binary64`
4×	`add-log-exp_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
2×	`associate-r_binary64` `clear-num_binary64` `frac-2neg_binary64` `*-commutative_binary64`
1×	`associate-/l/_binary64`

Counts

4 → 133

Calls

4 calls:

6.0ms	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (fabs.f64 (.f64 s (.f64 c x)))) (fabs.f64 (.f64 s (*.f64 c x))))
4.0ms	(/.f64 (cos.f64 (.f64 x 2)) (fabs.f64 (.f64 s (*.f64 c x))))
5.0ms	(.f64 s (.f64 c x))
5.0ms	(.f64 s (.f64 c x))

series229.0ms

Counts

4 → 12

Calls

4 calls:

112.0ms	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (fabs.f64 (.f64 s (.f64 c x)))) (fabs.f64 (.f64 s (*.f64 c x))))
64.0ms	(/.f64 (cos.f64 (.f64 x 2)) (fabs.f64 (.f64 s (*.f64 c x))))
25.0ms	(.f64 s (.f64 c x))
28.0ms	(.f64 s (.f64 c x))

simplify117.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4943	4037
1	4943	4037

prune134.0ms

Filtered

94 candidates to 145 candidates (-54.3%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	139	6	145
Fresh	5	9	14
Picked	1	0	1
Done	0	0	0
Total	145	15	160

Merged error: 1.3b

Counts

160 → 15

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b	(/.f64 1 (fabs.f64 (.f64 s (.f64 c x))))
0.6b	(/.f64 (cos.f64 (.f64 x 2)) (fabs.f64 (.f64 s (*.f64 c x))))
3.6b	(.f64 s (.f64 c x))
3.6b	(.f64 s (.f64 c x))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
20×	`add-exp-log_binary64`
18×	`add-cbrt-cube_binary64` `times-frac_binary64`
15×	`pow1_binary64`
6×	`pow-prod-down_binary64` `associate-/r_binary64` `cbrt-unprod_binary64` `associate-l_binary64` `prod-exp_binary64` `associate-/l_binary64`
4×	`add-log-exp_binary64`
3×	`div-exp_binary64`
2×	`associate-r_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `*-commutative_binary64`
1×	`1-exp_binary64` `inv-pow_binary64` `rec-exp_binary64` `pow-flip_binary64`

Counts

4 → 94

Calls

4 calls:

3.0ms	(/.f64 1 (fabs.f64 (.f64 s (.f64 c x))))
4.0ms	(/.f64 (cos.f64 (.f64 x 2)) (fabs.f64 (.f64 s (*.f64 c x))))
5.0ms	(.f64 s (.f64 c x))
5.0ms	(.f64 s (.f64 c x))

series134.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(/.f64 1 (fabs.f64 (.f64 s (.f64 c x))))
58.0ms	(/.f64 (cos.f64 (.f64 x 2)) (fabs.f64 (.f64 s (*.f64 c x))))
27.0ms	(.f64 s (.f64 c x))
25.0ms	(.f64 s (.f64 c x))

simplify91.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5056	1714

prune67.0ms

Filtered

65 candidates to 106 candidates (-63.1%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	106	15	121

Merged error: 1.3b

Counts

121 → 15

regimes129.0ms

Accuracy

0% (1.1b remaining)

Error of 2.7b against oracle of 1.6b and baseline of 2.7b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	31
1	20	31

end0.0ms

sample1.9s

Algorithm

intervals

Results

560.0ms	6028×	body	80	valid
341.0ms	711×	body	1280	valid
264.0ms	723×	body	640	valid
156.0ms	1778×	body	80	invalid
93.0ms	326×	body	320	valid
76.0ms	232×	body	640	invalid
66.0ms	136×	body	1280	invalid
47.0ms	199×	body	320	invalid
37.0ms	212×	body	160	valid
20.0ms	95×	body	160	invalid

Details

analyze1.0s

sample66.0ms

simplify220.0ms

prune3.0ms

localize18.0ms

rewrite39.0ms

series196.0ms

simplify73.0ms

prune94.0ms

localize10.0ms

rewrite22.0ms

series177.0ms

simplify94.0ms

prune92.0ms

localize10.0ms

rewrite26.0ms

series229.0ms

simplify117.0ms

prune134.0ms

localize12.0ms

rewrite20.0ms

series134.0ms

simplify91.0ms

prune67.0ms

regimes129.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample1.9s

Profiling