Details

sample566.0ms

Algorithm

intervals

Results

415.0ms	152×	body	1280	valid
80.0ms	57×	body	640	valid
24.0ms	25×	body	320	valid
4.0ms	7×	body	160	valid
4.0ms	15×	body	80	valid

simplify1.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	65
1	56	65
2	96	65
3	180	65
4	322	65
5	852	65
done	5000	65

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.5b

localize112.0ms

Local error

Found 4 expressions with local error:

3.9b	(sin (/ (- lambda1 lambda2) 2.0))
3.9b	(sin (/ (- lambda1 lambda2) 2.0))
5.1b	(sin (/ (- phi1 phi2) 2.0))
5.1b	(sin (/ (- phi1 phi2) 2.0))

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `div-sub` `sin-diff` `add-cbrt-cube` `add-log-exp`

Counts

4 → 32

Calls

4 calls:

23.0ms	(sin (/ (- lambda1 lambda2) 2.0))
21.0ms	(sin (/ (- lambda1 lambda2) 2.0))
21.0ms	(sin (/ (- phi1 phi2) 2.0))
19.0ms	(sin (/ (- phi1 phi2) 2.0))

series195.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(sin (/ (- lambda1 lambda2) 2.0))
48.0ms	(sin (/ (- lambda1 lambda2) 2.0))
45.0ms	(sin (/ (- phi1 phi2) 2.0))
47.0ms	(sin (/ (- phi1 phi2) 2.0))

simplify2.2s

Counts

44 → 44

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	60	452
1	103	452
2	176	396
3	389	396
4	914	396
5	2732	396
done	5000	396

prune546.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 23.1b

localize138.0ms

Local error

Found 4 expressions with local error:

3.9b	(sin (/ (- lambda1 lambda2) 2.0))
3.9b	(sin (/ (- lambda1 lambda2) 2.0))
3.9b	(sin (/ (- lambda1 lambda2) 2.0))
5.1b	(sin (/ (- phi1 phi2) 2.0))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `div-sub` `sin-diff` `add-cbrt-cube` `add-log-exp`

Counts

4 → 32

Calls

4 calls:

10.0ms	(sin (/ (- lambda1 lambda2) 2.0))
20.0ms	(sin (/ (- lambda1 lambda2) 2.0))
22.0ms	(sin (/ (- lambda1 lambda2) 2.0))
10.0ms	(sin (/ (- phi1 phi2) 2.0))

series211.0ms

Counts

4 → 12

Calls

4 calls:

63.0ms	(sin (/ (- lambda1 lambda2) 2.0))
55.0ms	(sin (/ (- lambda1 lambda2) 2.0))
51.0ms	(sin (/ (- lambda1 lambda2) 2.0))
42.0ms	(sin (/ (- phi1 phi2) 2.0))

simplify2.3s

Counts

44 → 44

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	60	452
1	103	452
2	176	396
3	389	396
4	914	396
5	2732	396
done	5000	396

prune770.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 13.0b

localize131.0ms

Local error

Found 4 expressions with local error:

3.9b	(sin (/ (- lambda1 lambda2) 2.0))
3.9b	(sin (/ (- lambda1 lambda2) 2.0))
3.9b	(sin (/ (- lambda1 lambda2) 2.0))
3.9b	(sin (/ (- lambda1 lambda2) 2.0))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `div-sub` `sin-diff` `add-cbrt-cube` `add-log-exp`

Counts

4 → 32

Calls

4 calls:

14.0ms	(sin (/ (- lambda1 lambda2) 2.0))
10.0ms	(sin (/ (- lambda1 lambda2) 2.0))
10.0ms	(sin (/ (- lambda1 lambda2) 2.0))
17.0ms	(sin (/ (- lambda1 lambda2) 2.0))

series223.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(sin (/ (- lambda1 lambda2) 2.0))
63.0ms	(sin (/ (- lambda1 lambda2) 2.0))
63.0ms	(sin (/ (- lambda1 lambda2) 2.0))
52.0ms	(sin (/ (- lambda1 lambda2) 2.0))

simplify1.8s

Counts

44 → 44

Iterations

Useful iterations: 2 (16.0ms)

Iter	Nodes	Cost
0	32	452
1	55	452
2	92	396
3	201	396
4	448	396
5	1251	396
done	5000	396

prune778.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 13.0b

localize79.0ms

Local error

Found 4 expressions with local error:

3.9b	(sin (/ (- lambda1 lambda2) 2.0))
3.9b	(sin (/ (- lambda1 lambda2) 2.0))
3.9b	(sin (/ (- lambda1 lambda2) 2.0))
3.9b	(sin (/ (- lambda1 lambda2) 2.0))

rewrite75.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `div-sub` `sin-diff` `add-cbrt-cube` `add-log-exp`

Counts

4 → 32

Calls

4 calls:

20.0ms	(sin (/ (- lambda1 lambda2) 2.0))
20.0ms	(sin (/ (- lambda1 lambda2) 2.0))
21.0ms	(sin (/ (- lambda1 lambda2) 2.0))
13.0ms	(sin (/ (- lambda1 lambda2) 2.0))

series214.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(sin (/ (- lambda1 lambda2) 2.0))
48.0ms	(sin (/ (- lambda1 lambda2) 2.0))
44.0ms	(sin (/ (- lambda1 lambda2) 2.0))
60.0ms	(sin (/ (- lambda1 lambda2) 2.0))

simplify1.7s

Counts

44 → 44

Iterations

Useful iterations: 2 (16.0ms)

Iter	Nodes	Cost
0	32	452
1	55	452
2	92	396
3	201	396
4	448	396
5	1251	396
done	5000	396

prune629.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 13.0b

regimes2.2s

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	40	96
1	51	96
done	51	96

end0.0ms

sample20.2s

Algorithm

intervals

Results

14.7s	4797×	body	1280	valid
3.8s	1914×	body	640	valid
629.0ms	542×	body	320	valid
143.0ms	572×	body	80	valid
100.0ms	177×	body	160	valid
1.0ms	1×	body	640	nan