Details

sample728.0ms

Algorithm

intervals

Results

490.0ms	148×	body	1280	valid
162.0ms	63×	body	640	valid
22.0ms	16×	body	320	valid
9.0ms	11×	body	160	valid
6.0ms	18×	body	80	valid

simplify1.7s

Counts

1 → 1

Iterations

Iter	Nodes
7	2745
6	876
5	433
4	291
3	175
2	100
1	56
0	26

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 23.8b

localize108.0ms

Local error

Found 4 expressions with local error:

3.5b	(sin (/ (- phi1 phi2) 2))
3.5b	(sin (/ (- phi1 phi2) 2))
3.6b	(cos (/ (- phi1 phi2) 2))
3.6b	(cos (/ (- phi1 phi2) 2))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 36

Calls

4 calls:

6.0ms	(sin (/ (- phi1 phi2) 2))
7.0ms	(sin (/ (- phi1 phi2) 2))
20.0ms	(cos (/ (- phi1 phi2) 2))
15.0ms	(cos (/ (- phi1 phi2) 2))

series150.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(sin (/ (- phi1 phi2) 2))
49.0ms	(sin (/ (- phi1 phi2) 2))
41.0ms	(cos (/ (- phi1 phi2) 2))
30.0ms	(cos (/ (- phi1 phi2) 2))

simplify1.5s

Counts

48 → 48

Iterations

Iter	Nodes
6	2180
5	914
4	502
3	290
2	162
1	92
0	54

prune753.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 23.6b

localize115.0ms

Local error

Found 4 expressions with local error:

3.6b	(cos (/ (- phi1 phi2) 2))
3.6b	(cos (/ (- phi1 phi2) 2))
3.6b	(cos (/ (- phi1 phi2) 2))
3.6b	(cos (/ (- phi1 phi2) 2))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 36

Calls

4 calls:

10.0ms	(cos (/ (- phi1 phi2) 2))
7.0ms	(cos (/ (- phi1 phi2) 2))
6.0ms	(cos (/ (- phi1 phi2) 2))
7.0ms	(cos (/ (- phi1 phi2) 2))

series146.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(cos (/ (- phi1 phi2) 2))
40.0ms	(cos (/ (- phi1 phi2) 2))
24.0ms	(cos (/ (- phi1 phi2) 2))
39.0ms	(cos (/ (- phi1 phi2) 2))

simplify6.9s

Counts

48 → 48

Iterations

Iter	Nodes
10	7508
9	1756
8	751
7	451
6	309
5	241
4	185
3	136
2	92
1	55
0	34

prune900.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 23.5b

localize175.0ms

Local error

Found 4 expressions with local error:

3.6b	(cos (/ (- phi1 phi2) 2))
3.6b	(cos (/ (- phi1 phi2) 2))
3.6b	(cos (/ (- phi1 phi2) 2))
3.6b	(cos (/ (- phi1 phi2) 2))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 36

Calls

4 calls:

14.0ms	(cos (/ (- phi1 phi2) 2))
14.0ms	(cos (/ (- phi1 phi2) 2))
22.0ms	(cos (/ (- phi1 phi2) 2))
14.0ms	(cos (/ (- phi1 phi2) 2))

series141.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(cos (/ (- phi1 phi2) 2))
44.0ms	(cos (/ (- phi1 phi2) 2))
26.0ms	(cos (/ (- phi1 phi2) 2))
28.0ms	(cos (/ (- phi1 phi2) 2))

simplify7.3s

Counts

48 → 48

Iterations

Iter	Nodes
10	7508
9	1756
8	751
7	451
6	309
5	241
4	185
3	136
2	92
1	55
0	34

prune940.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 23.5b

localize196.0ms

Local error

Found 4 expressions with local error:

3.6b	(cos (/ (- phi1 phi2) 2))
3.6b	(cos (/ (- phi1 phi2) 2))
3.6b	(cos (/ (- phi1 phi2) 2))
3.6b	(cos (/ (- phi1 phi2) 2))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 36

Calls

4 calls:

13.0ms	(cos (/ (- phi1 phi2) 2))
13.0ms	(cos (/ (- phi1 phi2) 2))
13.0ms	(cos (/ (- phi1 phi2) 2))
15.0ms	(cos (/ (- phi1 phi2) 2))

series141.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(cos (/ (- phi1 phi2) 2))
34.0ms	(cos (/ (- phi1 phi2) 2))
40.0ms	(cos (/ (- phi1 phi2) 2))
39.0ms	(cos (/ (- phi1 phi2) 2))

simplify7.2s

Counts

48 → 48

Iterations

Iter	Nodes
10	7508
9	1756
8	751
7	451
6	309
5	241
4	185
3	136
2	92
1	55
0	34

prune861.0ms

Pruning

17 alts after pruning (15 fresh and 2 done)

Merged error: 23.5b

regimes2.4s

Accuracy

0% (0.5b remaining)

Error of 24.5b against oracle of 24.0b and baseline of 24.5b

bsearch0.0ms

simplify24.0ms

Iterations

Iter	Nodes
2	42
1	42
0	33

end0.0ms

sample27.5s

Algorithm

intervals

Results

20.1s	4704×	body	1280	valid
5.4s	1946×	body	640	valid
973.0ms	577×	body	320	valid
334.0ms	583×	body	80	valid
285.0ms	195×	body	160	valid
2.0ms	1×	body	320	nan
1.0ms	1×	body	640	nan