Details

analyze6.6s

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

sample574.0ms

Algorithm

intervals

Results

408.0ms	152×	body	1280	valid
105.0ms	62×	body	640	valid
18.0ms	16×	body	320	valid
8.0ms	11×	body	160	valid
4.0ms	15×	body	80	valid

simplify160.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (150.0ms)

Iter	Nodes	Cost
0	4820	103
1	4820	103

prune25.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: 24.9b

Counts

2 → 1

localize50.0ms

Local error

Found 4 expressions with local error:

3.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
4.2b	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))
4.2b	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

4×	`div-sub_binary64_3136` `pow1_binary64_3088` `add-cbrt-cube_binary64_3114` `add-exp-log_binary64_3106` `sin-diff_binary64_2994` `*-un-lft-identity_binary64_3142` `add-cube-cbrt_binary64_3113` `add-log-exp_binary64_3107` `add-sqr-sqrt_binary64_3127`

Counts

4 → 32

Calls

4 calls:

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

series87.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
22.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
24.0ms	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))
21.0ms	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

simplify80.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5313	612

prune418.0ms

Filtered

36 candidates to 44 candidates (-22.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	32	12	44
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	33	12	45

Merged error: 23.6b

Counts

45 → 12

localize81.0ms

Local error

Found 4 expressions with local error:

3.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
4.2b	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

4×	`div-sub_binary64_3136` `pow1_binary64_3088` `add-cbrt-cube_binary64_3114` `add-exp-log_binary64_3106` `sin-diff_binary64_2994` `*-un-lft-identity_binary64_3142` `add-cube-cbrt_binary64_3113` `add-log-exp_binary64_3107` `add-sqr-sqrt_binary64_3127`

Counts

4 → 32

Calls

4 calls:

5.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))
5.0ms	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

series81.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
20.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
19.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
21.0ms	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

simplify84.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5313	612

prune505.0ms

Filtered

36 candidates to 44 candidates (-22.2%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	34	10	44
Fresh	3	8	11
Picked	1	0	1
Done	0	0	0
Total	38	18	56

Merged error: 11.4b

Counts

56 → 18

localize69.0ms

Local error

Found 4 expressions with local error:

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

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

4×	`div-sub_binary64_3136` `pow1_binary64_3088` `add-cbrt-cube_binary64_3114` `add-exp-log_binary64_3106` `sin-diff_binary64_2994` `*-un-lft-identity_binary64_3142` `add-cube-cbrt_binary64_3113` `add-log-exp_binary64_3107` `add-sqr-sqrt_binary64_3127`

Counts

4 → 32

Calls

4 calls:

5.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))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

series89.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
20.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
22.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
25.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

simplify180.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (166.0ms)

Iter	Nodes	Cost
0	5052	612

prune581.0ms

Filtered

36 candidates to 44 candidates (-22.2%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	35	9	44
Fresh	5	12	17
Picked	1	0	1
Done	0	0	0
Total	41	21	62

Merged error: 11.3b

Counts

62 → 21

localize77.0ms

Local error

Found 4 expressions with local error:

3.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
7.2b	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod_binary64_3109`
7×	`*-un-lft-identity_binary64_3142` `add-cube-cbrt_binary64_3113` `add-sqr-sqrt_binary64_3127`
4×	`pow1_binary64_3088` `add-cbrt-cube_binary64_3114` `add-exp-log_binary64_3106` `add-log-exp_binary64_3107`
3×	`div-sub_binary64_3136` `cube-prod_binary64_3115` `sin-diff_binary64_2994` `unpow-prod-down_binary64_3077`
1×	`sqr-pow_binary64_3174` `pow1/3_binary64_3080` `cube-mult_binary64_3117` `unpow3_binary64_3086` `rem-cbrt-cube_binary64_3119`

Counts

4 → 45

Calls

4 calls:

5.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))
6.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

series88.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify96.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	5419	809

prune367.0ms

Filtered

40 candidates to 57 candidates (-42.5%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	50	7	57
Fresh	3	17	20
Picked	1	0	1
Done	0	0	0
Total	54	24	78

Merged error: 11.3b

Counts

78 → 24

regimes3.2s

Accuracy

0% (0.4b remaining)

Error of 13.8b against oracle of 13.4b and baseline of 13.8b

bsearch0.0ms

simplify6.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	155	149
1	155	149

end0.0ms

sample17.3s

Algorithm

intervals

Results

12.4s	4735×	body	1280	valid
3.4s	1992×	body	640	valid
592.0ms	508×	body	320	valid
183.0ms	562×	body	80	valid
146.0ms	203×	body	160	valid
12.0ms	4×	body	1280	invalid
2.0ms	1×	body	640	invalid

Details

analyze6.6s

sample574.0ms

simplify160.0ms

prune25.0ms

localize50.0ms

rewrite21.0ms

series87.0ms

simplify80.0ms

prune418.0ms

localize81.0ms

rewrite21.0ms

series81.0ms

simplify84.0ms

prune505.0ms

localize69.0ms

rewrite22.0ms

series89.0ms

simplify180.0ms

prune581.0ms

localize77.0ms

rewrite23.0ms

series88.0ms

simplify96.0ms

prune367.0ms

regimes3.2s

bsearch0.0ms

simplify6.0ms

end0.0ms

sample17.3s

Profiling