Details

analyze6.4s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
0%	99.8%	0.2%	11
0%	99.8%	0.2%	12
0.6%	99.2%	0.2%	13
1.8%	98%	0.2%	14

sample557.0ms

Algorithm

intervals

Results

389.0ms	151×	body	1280	valid
115.0ms	68×	body	640	valid
25.0ms	19×	body	320	valid
4.0ms	14×	body	80	valid
3.0ms	4×	body	160	valid

simplify99.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	4808	65
1	4808	65

prune11.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: 25.6b

Counts

2 → 1

localize33.0ms

Local error

Found 4 expressions with local error:

2.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
2.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
2.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
2.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

rewrite250.0ms

Algorithm

rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64` `sin-diff_binary64` `add-log-exp_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `div-sub_binary64` `add-sqr-sqrt_binary64`

Counts

4 → 32

Calls

4 calls:

6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
233.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

series23.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

simplify130.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (125.0ms)

Iter	Nodes	Cost
0	4736	396
1	4736	396

prune155.0ms

Filtered

36 candidates to 44 candidates (-22.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	34	10	44
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	35	10	45

Merged error: 25.2b

Counts

45 → 10

localize40.0ms

Local error

Found 4 expressions with local error:

2.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
2.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
2.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.3b	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod_binary64`
7×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`sin-diff_binary64` `div-sub_binary64` `unpow-prod-down_binary64` `cube-prod_binary64`
1×	`rem-cbrt-cube_binary64` `pow1/3_binary64` `sqr-pow_binary64` `unpow3_binary64` `cube-mult_binary64`

Counts

4 → 45

Calls

4 calls:

5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

series23.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

simplify76.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4782	524
1	4782	524

prune186.0ms

Filtered

40 candidates to 57 candidates (-42.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	51	6	57
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	54	13	67

Merged error: 25.2b

Counts

67 → 13

localize43.0ms

Local error

Found 4 expressions with local error:

2.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
2.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
2.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
2.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64` `sin-diff_binary64` `add-log-exp_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `div-sub_binary64` `add-sqr-sqrt_binary64`

Counts

4 → 32

Calls

4 calls:

6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

series23.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

simplify131.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (125.0ms)

Iter	Nodes	Cost
0	4736	396
1	4736	396

prune187.0ms

Filtered

36 candidates to 44 candidates (-22.2%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	41	3	44
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	43	14	57

Merged error: 25.2b

Counts

57 → 14

localize39.0ms

Local error

Found 4 expressions with local error:

2.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
2.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.3b	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))
6.3b	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

24×	`cbrt-prod_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
6×	`unpow-prod-down_binary64` `cube-prod_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
2×	`sin-diff_binary64` `rem-cbrt-cube_binary64` `pow1/3_binary64` `sqr-pow_binary64` `div-sub_binary64` `unpow3_binary64` `cube-mult_binary64`

Counts

4 → 58

Calls

4 calls:

5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))
6.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

series25.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))
8.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

simplify77.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4782	676
1	4782	676

prune122.0ms

Filtered

44 candidates to 70 candidates (-59.1%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	70	14	84

Merged error: 25.2b

Counts

84 → 14

regimes1.1s

Accuracy

0% (0.5b remaining)

Error of 23.9b against oracle of 23.4b and baseline of 23.9b

bsearch0.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	125	71
1	125	71

end0.0ms

sample16.9s

Algorithm

intervals

Results

12.4s	4776×	body	1280	valid
3.1s	1906×	body	640	valid
608.0ms	540×	body	320	valid
172.0ms	568×	body	80	valid
155.0ms	210×	body	160	valid
3.0ms	1×	body	1280	invalid
1.0ms	1×	body	320	invalid

Details

analyze6.4s

sample557.0ms

simplify99.0ms

prune11.0ms

localize33.0ms

rewrite250.0ms

series23.0ms

simplify130.0ms

prune155.0ms

localize40.0ms

rewrite24.0ms

series23.0ms

simplify76.0ms

prune186.0ms

localize43.0ms

rewrite23.0ms

series23.0ms

simplify131.0ms

prune187.0ms

localize39.0ms

rewrite25.0ms

series25.0ms

simplify77.0ms

prune122.0ms

regimes1.1s

bsearch0.0ms

simplify4.0ms

end0.0ms

sample16.9s

Profiling