Details

sample515.0ms

Algorithm

intervals

Results

369.0ms	142×	body	1280	valid
89.0ms	66×	body	640	valid
21.0ms	23×	body	320	valid
6.0ms	21×	body	80	valid
3.0ms	4×	body	160	valid

simplify3.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
7	2642
6	985
5	580
4	386
3	195
2	107
1	58
0	26

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.3b

localize89.0ms

Local error

Found 4 expressions with local error:

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

rewrite60.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` `add-cube-cbrt` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`cos-diff` `sin-diff`

Counts

4 → 44

Calls

4 calls:

18.0ms	(sin (/ (- phi1 phi2) 2))
15.0ms	(sin (/ (- phi1 phi2) 2))
10.0ms	(cos (/ (- phi1 phi2) 2))
16.0ms	(cos (/ (- phi1 phi2) 2))

series165.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(sin (/ (- phi1 phi2) 2))
34.0ms	(sin (/ (- phi1 phi2) 2))
38.0ms	(cos (/ (- phi1 phi2) 2))
44.0ms	(cos (/ (- phi1 phi2) 2))

simplify3.4s

Counts

56 → 56

Iterations

Iter	Nodes
done	5014
5	2279
4	859
3	384
2	188
1	101
0	58

prune896.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 25.0b

localize113.0ms

Local error

Found 4 expressions with local error:

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

rewrite442.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` `add-cube-cbrt` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`cos-diff` `sin-diff`

Counts

4 → 44

Calls

4 calls:

14.0ms	(sin (/ (- phi1 phi2) 2))
19.0ms	(sin (/ (- phi1 phi2) 2))
18.0ms	(cos (/ (- phi1 phi2) 2))
389.0ms	(cos (/ (- phi1 phi2) 2))

series140.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(sin (/ (- phi1 phi2) 2))
49.0ms	(sin (/ (- phi1 phi2) 2))
29.0ms	(cos (/ (- phi1 phi2) 2))
25.0ms	(cos (/ (- phi1 phi2) 2))

simplify3.4s

Counts

56 → 56

Iterations

Iter	Nodes
done	5014
5	2279
4	859
3	384
2	188
1	101
0	58

prune983.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 25.0b

localize156.0ms

Local error

Found 4 expressions with local error:

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

rewrite80.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` `add-cube-cbrt` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`cos-diff` `sin-diff`

Counts

4 → 44

Calls

4 calls:

19.0ms	(sin (/ (- phi1 phi2) 2))
24.0ms	(sin (/ (- phi1 phi2) 2))
20.0ms	(cos (/ (- phi1 phi2) 2))
17.0ms	(cos (/ (- phi1 phi2) 2))

series185.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(sin (/ (- phi1 phi2) 2))
53.0ms	(sin (/ (- phi1 phi2) 2))
39.0ms	(cos (/ (- phi1 phi2) 2))
40.0ms	(cos (/ (- phi1 phi2) 2))

simplify3.3s

Counts

56 → 56

Iterations

Iter	Nodes
done	5014
5	2279
4	859
3	384
2	188
1	101
0	58

prune1.1s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 25.0b

localize149.0ms

Local error

Found 4 expressions with local error:

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

rewrite64.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` `add-cube-cbrt` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`cos-diff` `sin-diff`

Counts

4 → 44

Calls

4 calls:

19.0ms	(sin (/ (- phi1 phi2) 2))
19.0ms	(sin (/ (- phi1 phi2) 2))
16.0ms	(cos (/ (- phi1 phi2) 2))
9.0ms	(cos (/ (- phi1 phi2) 2))

series139.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(sin (/ (- phi1 phi2) 2))
33.0ms	(sin (/ (- phi1 phi2) 2))
32.0ms	(cos (/ (- phi1 phi2) 2))
29.0ms	(cos (/ (- phi1 phi2) 2))

simplify3.4s

Counts

56 → 56

Iterations

Iter	Nodes
done	5014
5	2279
4	859
3	384
2	188
1	101
0	58

prune902.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 25.0b

regimes4.1s

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify9.0ms

Iterations

Iter	Nodes
done	39
1	39
0	33

end0.0ms

sample18.0s

Algorithm

intervals

Results

12.9s	4636×	body	1280	valid
3.0s	1987×	body	640	valid
1.1s	613×	body	320	valid
385.0ms	186×	body	160	valid
138.0ms	581×	body	80	valid
1.0ms	1×	body	640	nan