Details

sample773.0ms

Algorithm

intervals

Results

500.0ms	151×	body	1280	valid
183.0ms	62×	body	640	valid
23.0ms	22×	body	320	valid
6.0ms	8×	body	160	valid
4.0ms	13×	body	80	valid

simplify8.0s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
7	3889
6	1100
5	475
4	300
3	173
2	95
1	56
0	26

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.6b

localize220.0ms

Local error

Found 4 expressions with local error:

3.8b	(sin (/ (- lambda1 lambda2) 2.0))
3.8b	(sin (/ (- lambda1 lambda2) 2.0))
4.8b	(sin (/ (- phi1 phi2) 2.0))
4.8b	(sin (/ (- phi1 phi2) 2.0))

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

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

series305.0ms

Counts

4 → 12

Calls

4 calls:

71.0ms	(sin (/ (- lambda1 lambda2) 2.0))
80.0ms	(sin (/ (- lambda1 lambda2) 2.0))
74.0ms	(sin (/ (- phi1 phi2) 2.0))
79.0ms	(sin (/ (- phi1 phi2) 2.0))

simplify6.4s

Counts

44 → 44

Iterations

Iter	Nodes
done	5000
6	3858
5	1303
4	601
3	328
2	174
1	103
0	60

prune1.2s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 24.0b

localize247.0ms

Local error

Found 4 expressions with local error:

3.8b	(sin (/ (- lambda1 lambda2) 2.0))
3.8b	(sin (/ (- lambda1 lambda2) 2.0))
3.8b	(sin (/ (- lambda1 lambda2) 2.0))
4.8b	(sin (/ (- phi1 phi2) 2.0))

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

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

series773.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(sin (/ (- lambda1 lambda2) 2.0))
74.0ms	(sin (/ (- lambda1 lambda2) 2.0))
68.0ms	(sin (/ (- lambda1 lambda2) 2.0))
565.0ms	(sin (/ (- phi1 phi2) 2.0))

simplify6.4s

Counts

44 → 44

Iterations

Iter	Nodes
done	5000
6	3858
5	1303
4	601
3	328
2	174
1	103
0	60

prune1.5s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 15.1b

localize233.0ms

Local error

Found 4 expressions with local error:

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

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

28.0ms	(sin (/ (- lambda1 lambda2) 2.0))
23.0ms	(sin (/ (- lambda1 lambda2) 2.0))
21.0ms	(sin (/ (- lambda1 lambda2) 2.0))
22.0ms	(sin (/ (- lambda1 lambda2) 2.0))

series289.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(sin (/ (- lambda1 lambda2) 2.0))
75.0ms	(sin (/ (- lambda1 lambda2) 2.0))
76.0ms	(sin (/ (- lambda1 lambda2) 2.0))
74.0ms	(sin (/ (- lambda1 lambda2) 2.0))

simplify5.4s

Counts

44 → 44

Iterations

Iter	Nodes
done	5001
6	1325
5	513
4	286
3	158
2	91
1	55
0	32

prune1.3s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 15.0b

localize296.0ms

Local error

Found 4 expressions with local error:

3.8b	(sin (/ (- lambda1 lambda2) 2.0))
3.8b	(sin (/ (- lambda1 lambda2) 2.0))
3.8b	(sin (/ (- lambda1 lambda2) 2.0))
6.0b	(cbrt (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))

rewrite152.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`
3×	`div-sub` `sin-diff`
1×	`cbrt-prod` `cbrt-div` `pow1/3` `pow3` `associate-*l/` `rem-cbrt-cube` `sin-mult`

Counts

4 → 35

Calls

4 calls:

14.0ms	(sin (/ (- lambda1 lambda2) 2.0))
18.0ms	(sin (/ (- lambda1 lambda2) 2.0))
19.0ms	(sin (/ (- lambda1 lambda2) 2.0))
100.0ms	(cbrt (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))

series288.0ms

Counts

4 → 12

Calls

4 calls:

73.0ms	(sin (/ (- lambda1 lambda2) 2.0))
73.0ms	(sin (/ (- lambda1 lambda2) 2.0))
62.0ms	(sin (/ (- lambda1 lambda2) 2.0))
80.0ms	(cbrt (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))

simplify5.2s

Counts

47 → 47

Iterations

Iter	Nodes
done	5000
6	2362
5	976
4	493
3	260
2	132
1	79
0	50

prune1.2s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 15.0b

regimes5.5s

Accuracy

0% (0.4b remaining)

Error of 14.0b against oracle of 13.5b and baseline of 14.0b

bsearch0.0ms

simplify32.0ms

Iterations

Iter	Nodes
done	53
1	53
0	42

end3.0ms

sample27.4s

Algorithm

intervals

Results

19.9s	4702×	body	1280	valid
4.5s	1890×	body	640	valid
1.6s	600×	body	320	valid
303.0ms	196×	body	160	valid
225.0ms	613×	body	80	valid
1.0ms	1×	body	320	nan