Details

sample891.0ms

Algorithm

intervals

Results

432.0ms	21×	body	320	valid
316.0ms	144×	body	1280	valid
76.0ms	63×	body	640	valid
13.0ms	22×	body	80	valid
3.0ms	6×	body	160	valid

simplify5.4s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
7	4817
6	1329
5	606
4	349
3	176
2	99
1	56
0	26

prune46.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 23.1b

localize115.0ms

Local error

Found 4 expressions with local error:

3.2b	(sin (/ (- lambda1 lambda2) 2.0))
3.2b	(sin (/ (- lambda1 lambda2) 2.0))
4.4b	(sin (/ (- phi1 phi2) 2.0))
4.4b	(sin (/ (- phi1 phi2) 2.0))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 40

Calls

4 calls:

9.0ms	(sin (/ (- lambda1 lambda2) 2.0))
8.0ms	(sin (/ (- lambda1 lambda2) 2.0))
8.0ms	(sin (/ (- phi1 phi2) 2.0))
10.0ms	(sin (/ (- phi1 phi2) 2.0))

series205.0ms

Counts

4 → 12

Calls

4 calls:

68.0ms	(sin (/ (- lambda1 lambda2) 2.0))
49.0ms	(sin (/ (- lambda1 lambda2) 2.0))
40.0ms	(sin (/ (- phi1 phi2) 2.0))
48.0ms	(sin (/ (- phi1 phi2) 2.0))

simplify4.3s

Counts

52 → 52

Iterations

Iter	Nodes
done	5000
6	4304
5	1648
4	761
3	356
2	194
1	111
0	64

prune1.0s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 21.5b

localize178.0ms

Local error

Found 4 expressions with local error:

3.2b	(sin (/ (- lambda1 lambda2) 2.0))
3.2b	(sin (/ (- lambda1 lambda2) 2.0))
3.2b	(sin (/ (- lambda1 lambda2) 2.0))
4.4b	(sin (/ (- phi1 phi2) 2.0))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 40

Calls

4 calls:

10.0ms	(sin (/ (- lambda1 lambda2) 2.0))
8.0ms	(sin (/ (- lambda1 lambda2) 2.0))
9.0ms	(sin (/ (- lambda1 lambda2) 2.0))
16.0ms	(sin (/ (- phi1 phi2) 2.0))

series229.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(sin (/ (- lambda1 lambda2) 2.0))
54.0ms	(sin (/ (- lambda1 lambda2) 2.0))
50.0ms	(sin (/ (- lambda1 lambda2) 2.0))
68.0ms	(sin (/ (- phi1 phi2) 2.0))

simplify4.3s

Counts

52 → 52

Iterations

Iter	Nodes
done	5000
6	4304
5	1648
4	761
3	356
2	194
1	111
0	64

prune1.3s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 11.1b

localize170.0ms

Local error

Found 4 expressions with local error:

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

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 40

Calls

4 calls:

10.0ms	(sin (/ (- lambda1 lambda2) 2.0))
8.0ms	(sin (/ (- lambda1 lambda2) 2.0))
10.0ms	(sin (/ (- lambda1 lambda2) 2.0))
9.0ms	(sin (/ (- lambda1 lambda2) 2.0))

series225.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(sin (/ (- lambda1 lambda2) 2.0))
62.0ms	(sin (/ (- lambda1 lambda2) 2.0))
63.0ms	(sin (/ (- lambda1 lambda2) 2.0))
48.0ms	(sin (/ (- lambda1 lambda2) 2.0))

simplify4.1s

Counts

52 → 52

Iterations

Iter	Nodes
done	5001
6	2180
5	819
4	387
3	187
2	101
1	59
0	34

prune1.4s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 11.0b

localize176.0ms

Local error

Found 4 expressions with local error:

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

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 40

Calls

4 calls:

8.0ms	(sin (/ (- lambda1 lambda2) 2.0))
9.0ms	(sin (/ (- lambda1 lambda2) 2.0))
16.0ms	(sin (/ (- lambda1 lambda2) 2.0))
16.0ms	(sin (/ (- lambda1 lambda2) 2.0))

series242.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(sin (/ (- lambda1 lambda2) 2.0))
54.0ms	(sin (/ (- lambda1 lambda2) 2.0))
65.0ms	(sin (/ (- lambda1 lambda2) 2.0))
60.0ms	(sin (/ (- lambda1 lambda2) 2.0))

simplify3.7s

Counts

52 → 52

Iterations

Iter	Nodes
done	5001
6	2180
5	819
4	387
3	187
2	101
1	59
0	34

prune1.0s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 11.0b

regimes4.8s

Accuracy

0% (0.5b remaining)

Error of 14.5b against oracle of 14.1b and baseline of 14.5b

bsearch0.0ms

simplify12.0ms

Iterations

Iter	Nodes
done	44
1	44
0	37

end0.0ms

sample19.2s

Algorithm

intervals

Results

14.0s	4729×	body	1280	valid
3.4s	1945×	body	640	valid
996.0ms	562×	body	320	valid
135.0ms	551×	body	80	valid
126.0ms	216×	body	160	valid
1.0ms	1×	body	320	nan
0.0ms	1×	body	80	nan