Details

analyze1.2s

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

sample67.0ms

Algorithm

intervals

Results

17.0ms	194×	body	80	valid
10.0ms	22×	body	1280	valid
8.0ms	23×	body	640	valid
5.0ms	62×	body	80	invalid
4.0ms	7×	body	320	invalid
3.0ms	8×	body	640	invalid
3.0ms	11×	body	320	valid
2.0ms	4×	body	1280	invalid
1.0ms	6×	body	160	valid
1.0ms	6×	body	160	invalid

simplify135.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (132.0ms)

Iter	Nodes	Cost
0	7277	16

prune5.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: 26.2b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.4b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
3.7b	(.f64 (.f64 x (pow.f64 s 2)) x)
9.0b	(*.f64 x (pow.f64 s 2))
16.9b	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))

rewrite43.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:

16.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))

series57.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
7.0ms	(.f64 (.f64 x (pow.f64 s 2)) x)
7.0ms	(*.f64 x (pow.f64 s 2))
19.0ms	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))

simplify45.0ms

Algorithm

egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5017	1507

prune85.0ms

Filtered

68 candidates to 131 candidates (-92.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	122	9	131
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	123	9	132

Merged error: 1.3b

Counts

132 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b	(.f64 (fabs.f64 (.f64 s (.f64 c x))) (fabs.f64 (.f64 s (*.f64 c x))))
0.4b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (fabs.f64 (.f64 s (.f64 c x))) (fabs.f64 (.f64 s (.f64 c x)))))
5.4b	(.f64 s (.f64 c x))
5.4b	(.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))))
6.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))

series45.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(.f64 (fabs.f64 (.f64 s (.f64 c x))) (fabs.f64 (.f64 s (*.f64 c x))))
23.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (fabs.f64 (.f64 s (.f64 c x))) (fabs.f64 (.f64 s (.f64 c x)))))
9.0ms	(.f64 s (.f64 c x))
7.0ms	(.f64 s (.f64 c x))

simplify42.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4940	866
1	4940	866

prune87.0ms

Filtered

58 candidates to 95 candidates (-63.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	85	10	95
Fresh	5	3	8
Picked	1	0	1
Done	0	0	0
Total	91	13	104

Merged error: 1.0b

Counts

104 → 13

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.4b	(/.f64 (cos.f64 (.f64 x 2)) (fabs.f64 (.f64 s (*.f64 c x))))
5.4b	(.f64 s (.f64 c x))
5.4b	(.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))

series52.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (fabs.f64 (.f64 s (.f64 c x)))) (fabs.f64 (.f64 s (*.f64 c x))))
16.0ms	(/.f64 (cos.f64 (.f64 x 2)) (fabs.f64 (.f64 s (*.f64 c x))))
6.0ms	(.f64 s (.f64 c x))
7.0ms	(.f64 s (.f64 c x))

simplify65.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4937	2565
1	4937	2565

prune116.0ms

Filtered

97 candidates to 145 candidates (-49.5%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	134	11	145
Fresh	7	5	12
Picked	1	0	1
Done	0	0	0
Total	142	16	158

Merged error: 1.0b

Counts

158 → 16

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (/.f64 1 (/.f64 (fabs.f64 (.f64 s (.f64 c x))) (cos.f64 (.f64 x 2)))) (fabs.f64 (.f64 s (*.f64 c x))))
0.3b	(/.f64 1 (/.f64 (fabs.f64 (.f64 s (.f64 c x))) (cos.f64 (*.f64 x 2))))
5.4b	(.f64 s (.f64 c x))
5.4b	(.f64 s (.f64 c x))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

471×	`times-frac_binary64`
233×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
47×	`associate-/l*_binary64`
44×	`add-exp-log_binary64`
28×	`add-cbrt-cube_binary64`
22×	`div-inv_binary64`
21×	`div-exp_binary64`
16×	`associate-/r*_binary64`
15×	`pow1_binary64`
9×	`cbrt-undiv_binary64`
6×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `associate-l_binary64` `prod-exp_binary64`
5×	`associate-/r/_binary64`
4×	`add-log-exp_binary64` `1-exp_binary64` `rec-exp_binary64`
2×	`associate-r_binary64` `clear-num_binary64` `frac-2neg_binary64` `*-commutative_binary64`
1×	`associate-/l/_binary64` `inv-pow_binary64` `pow-flip_binary64`

Counts

4 → 312

Calls

4 calls:

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

series54.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(/.f64 (/.f64 1 (/.f64 (fabs.f64 (.f64 s (.f64 c x))) (cos.f64 (.f64 x 2)))) (fabs.f64 (.f64 s (*.f64 c x))))
18.0ms	(/.f64 1 (/.f64 (fabs.f64 (.f64 s (.f64 c x))) (cos.f64 (*.f64 x 2))))
7.0ms	(.f64 s (.f64 c x))
7.0ms	(.f64 s (.f64 c x))

simplify99.0ms

Algorithm

egg-herbie

Counts

324 → 324

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5040	7371

prune171.0ms

Filtered

182 candidates to 324 candidates (-78.0%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	322	2	324
Fresh	2	13	15
Picked	0	1	1
Done	0	0	0
Total	324	16	340

Merged error: 1.0b

Counts

340 → 16

regimes257.0ms

Accuracy

0% (1.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	20
1	17	20

end0.0ms

sample1.9s

Algorithm

intervals

Results

541.0ms	6066×	body	80	valid
326.0ms	651×	body	1280	valid
252.0ms	703×	body	640	valid
158.0ms	1859×	body	80	invalid
101.0ms	384×	body	320	valid
76.0ms	239×	body	640	invalid
57.0ms	124×	body	1280	invalid
43.0ms	183×	body	320	invalid
38.0ms	196×	body	160	valid
17.0ms	108×	body	160	invalid

Details

analyze1.2s

sample67.0ms

simplify135.0ms

prune5.0ms

localize13.0ms

rewrite43.0ms

series57.0ms

simplify45.0ms

prune85.0ms

localize10.0ms

rewrite22.0ms

series45.0ms

simplify42.0ms

prune87.0ms

localize10.0ms

rewrite26.0ms

series52.0ms

simplify65.0ms

prune116.0ms

localize14.0ms

rewrite49.0ms

series54.0ms

simplify99.0ms

prune171.0ms

regimes257.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.9s

Profiling