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

sample543.0ms

Algorithm

intervals

Results

389.0ms	146×	body	1280	valid
101.0ms	61×	body	640	valid
18.0ms	16×	body	320	valid
8.0ms	24×	body	80	valid
6.0ms	9×	body	160	valid

simplify227.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (212.0ms)

Iter	Nodes	Cost
0	4729	103
1	4729	103

prune6.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: 20.9b

Counts

2 → 1

localize38.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))
3.4b	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))
3.4b	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

rewrite26.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` `insert-posit16`

Counts

4 → 36

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

series888.0ms

Counts

4 → 12

Calls

4 calls:

222.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
221.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
220.0ms	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))
224.0ms	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3

simplify134.0ms

Counts

48 → 48

Iterations

Useful iterations: 0 (115.0ms)

Iter	Nodes	Cost
0	5022	532

prune186.0ms

Filtered

40 candidates to 48 candidates (-20.0%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	33	15	48
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	34	15	49

Merged error: 19.6b

Counts

49 → 15

localize52.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))
3.4b	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

rewrite26.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` `insert-posit16`

Counts

4 → 36

Calls

4 calls:

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

series890.0ms

Counts

4 → 12

Calls

4 calls:

222.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
223.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
220.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
224.0ms	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3

simplify134.0ms

Counts

48 → 48

Iterations

Useful iterations: 0 (114.0ms)

Iter	Nodes	Cost
0	5022	532

prune237.0ms

Filtered

40 candidates to 48 candidates (-20.0%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	38	10	48
Fresh	3	11	14
Picked	1	0	1
Done	0	0	0
Total	42	21	63

Merged error: 12.0b

Counts

63 → 21

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

rewrite28.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` `insert-posit16`

Counts

4 → 36

Calls

4 calls:

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

series906.0ms

Counts

4 → 12

Calls

4 calls:

222.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
224.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
231.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
229.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3

simplify188.0ms

Counts

48 → 48

Iterations

Useful iterations: 0 (166.0ms)

Iter	Nodes	Cost
0	4720	532
1	4720	532

prune281.0ms

Filtered

40 candidates to 48 candidates (-20.0%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	38	10	48
Fresh	7	13	20
Picked	1	0	1
Done	0	0	0
Total	46	23	69

Merged error: 12.0b

Counts

69 → 23

localize51.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))
3.0b	(log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

6×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
5×	`pow1_binary64`
4×	`sin-diff_binary64` `add-log-exp_binary64` `log-pow_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `div-sub_binary64` `insert-posit16`
3×	`log-prod_binary64` `exp-prod_binary64`
1×	`rem-log-exp_binary64` `exp-diff_binary64` `log-div_binary64`

Counts

4 → 44

Calls

4 calls:

6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
7.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
8.0ms	(log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))

series1.2s

Counts

4 → 12

Calls

4 calls:

225.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
222.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
456.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
267.0ms	(log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	426	447
1	426	447
0	83	119
1	83	119
0	426	447
1	426	447
0	83	119
1	83	119
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3

simplify195.0ms

Counts

56 → 56

Iterations

Useful iterations: 0 (174.0ms)

Iter	Nodes	Cost
0	5023	652

prune202.0ms

Filtered

42 candidates to 56 candidates (-33.3%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	53	3	56
Fresh	1	21	22
Picked	1	0	1
Done	0	0	0
Total	55	24	79

Merged error: 11.9b

Counts

79 → 24

regimes1.0s

Accuracy

0% (0.6b remaining)

Error of 13.7b against oracle of 13.1b and baseline of 13.7b

bsearch0.0ms

simplify11.0ms

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	155	150
1	155	150

end0.0ms

sample17.5s

Algorithm

intervals

Results

12.9s	4867×	body	1280	valid
3.1s	1839×	body	640	valid
623.0ms	533×	body	320	valid
184.0ms	564×	body	80	valid
152.0ms	197×	body	160	valid
4.0ms	2×	body	1280	invalid
3.0ms	2×	body	640	invalid

Iter	Nodes	Cost
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3

Iter	Nodes	Cost
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3

Iter	Nodes	Cost
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3

Iter	Nodes	Cost
0	426	447
1	426	447
0	83	119
1	83	119
0	426	447
1	426	447
0	83	119
1	83	119
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3

Iter	Nodes	Cost
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3

Iter	Nodes	Cost
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3

Iter	Nodes	Cost
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3

Iter	Nodes	Cost
0	426	447
1	426	447
0	83	119
1	83	119
0	426	447
1	426	447
0	83	119
1	83	119
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3

Details

analyze6.4s

sample543.0ms

simplify227.0ms

prune6.0ms

localize38.0ms

rewrite26.0ms

series888.0ms

simplify134.0ms

prune186.0ms

localize52.0ms

rewrite26.0ms

series890.0ms

simplify134.0ms

prune237.0ms

localize42.0ms

rewrite28.0ms

series906.0ms

simplify188.0ms

prune281.0ms

localize51.0ms

rewrite29.0ms

series1.2s

simplify195.0ms

prune202.0ms

regimes1.0s

bsearch0.0ms

simplify11.0ms

end0.0ms

sample17.5s

Profiling

Iter	Nodes	Cost
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3

Iter	Nodes	Cost
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3

Iter	Nodes	Cost
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3

Iter	Nodes	Cost
0	426	447
1	426	447
0	83	119
1	83	119
0	426	447
1	426	447
0	83	119
1	83	119
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3
0	329	255
1	329	255
0	53	63
1	53	63
0	329	255
1	329	255
0	53	63
1	53	63
0	9	3
1	9	3