Details

sample753.0ms

Algorithm

intervals

Results

546.0ms	148×	body	1280	valid
132.0ms	63×	body	640	valid
22.0ms	16×	body	320	valid
11.0ms	11×	body	160	valid
8.0ms	18×	body	80	valid

simplify1.8s

Counts

1 → 1

Iterations

Iter	Nodes
done	2020
7	2020
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: 23.8b

localize129.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` `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:

12.0ms	(sin (/ (- phi1 phi2) 2))
13.0ms	(sin (/ (- phi1 phi2) 2))
14.0ms	(cos (/ (- phi1 phi2) 2))
8.0ms	(cos (/ (- phi1 phi2) 2))

series129.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(sin (/ (- phi1 phi2) 2))
35.0ms	(sin (/ (- phi1 phi2) 2))
32.0ms	(cos (/ (- phi1 phi2) 2))
27.0ms	(cos (/ (- phi1 phi2) 2))

simplify1.2s

Counts

56 → 56

Iterations

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

prune1.7s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 23.6b

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

rewrite41.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:

7.0ms	(sin (/ (- phi1 phi2) 2))
7.0ms	(sin (/ (- phi1 phi2) 2))
13.0ms	(cos (/ (- phi1 phi2) 2))
14.0ms	(cos (/ (- phi1 phi2) 2))

series148.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(sin (/ (- phi1 phi2) 2))
38.0ms	(sin (/ (- phi1 phi2) 2))
36.0ms	(cos (/ (- phi1 phi2) 2))
32.0ms	(cos (/ (- phi1 phi2) 2))

simplify1.2s

Counts

56 → 56

Iterations

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

prune1.8s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 23.6b

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

rewrite29.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:

7.0ms	(sin (/ (- phi1 phi2) 2))
7.0ms	(sin (/ (- phi1 phi2) 2))
7.0ms	(cos (/ (- phi1 phi2) 2))
7.0ms	(cos (/ (- phi1 phi2) 2))

series168.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(sin (/ (- phi1 phi2) 2))
46.0ms	(sin (/ (- phi1 phi2) 2))
43.0ms	(cos (/ (- phi1 phi2) 2))
42.0ms	(cos (/ (- phi1 phi2) 2))

simplify1.2s

Counts

56 → 56

Iterations

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

prune1.8s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 23.6b

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

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:

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

series158.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(sin (/ (- phi1 phi2) 2))
45.0ms	(sin (/ (- phi1 phi2) 2))
27.0ms	(cos (/ (- phi1 phi2) 2))
40.0ms	(cos (/ (- phi1 phi2) 2))

simplify1.2s

Counts

56 → 56

Iterations

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

prune1.7s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 23.6b

regimes3.1s

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Iter	Nodes
done	37
1	37
0	31

end0.0ms

sample27.3s

Algorithm

intervals

Results

19.2s	4704×	body	1280	valid
5.7s	1946×	body	640	valid
1.4s	577×	body	320	valid
325.0ms	583×	body	80	valid
188.0ms	195×	body	160	valid
3.0ms	1×	body	640	nan
1.0ms	1×	body	320	nan