Details

sample85.0ms

Algorithm

intervals

Results

53.0ms	260×	body	80	valid
8.0ms	7×	body	1280	valid
2.0ms	4×	body	320	valid
2.0ms	2×	body	640	valid
1.0ms	1×	body	160	valid

simplify940.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	2000
5	2000
4	818
3	257
2	102
1	51
0	21

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.5b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))
0.0b	(- (/ (* (+ m n) K) 2) M)
0.0b	(* (+ m n) K)
31.9b	(cos (- (/ (* (+ m n) K) 2) M))

rewrite201.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-sqr-sqrt`
28×	`*-un-lft-identity`
13×	`pow1`
10×	`associate-l` `add-cube-cbrt`
9×	`associate-r` `difference-of-squares`
8×	`add-cbrt-cube` `swap-sqr` `add-exp-log`
7×	`flip3--` `flip--` `distribute-lft-out--`
6×	`add-log-exp`
4×	`frac-times` `sub-neg` `times-frac` `associate-*l/` `insert-posit16`
2×	`distribute-rgt-in` `cos-sum` `distribute-lft-in` `pow-prod-down` `prod-exp` `associate-r/` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`pow2` `cos-diff` `flip3-+` `pow-plus` `diff-log` `pow-sqr` `pow-prod-up` `flip-+` `distribute-lft-out`

Counts

4 → 97

Calls

4 calls:

147.0ms	(* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))
14.0ms	(- (/ (* (+ m n) K) 2) M)
19.0ms	(* (+ m n) K)
21.0ms	(cos (- (/ (* (+ m n) K) 2) M))

series223.0ms

Counts

4 → 12

Calls

4 calls:

75.0ms	(* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))
57.0ms	(- (/ (* (+ m n) K) 2) M)
24.0ms	(* (+ m n) K)
67.0ms	(cos (- (/ (* (+ m n) K) 2) M))

simplify1.1s

Counts

109 → 109

Iterations

Iter	Nodes
done	2000
3	2000
2	1567
1	484
0	186

prune716.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.8b

localize32.0ms

Local error

Found 1 expressions with local error:

0.0b	(* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))

rewrite214.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt`
19×	`*-un-lft-identity`
8×	`pow1` `swap-sqr` `difference-of-squares`
6×	`flip3--` `associate-r` `associate-l` `flip--` `distribute-lft-out--`
5×	`add-cube-cbrt`
4×	`frac-times` `times-frac`
3×	`add-cbrt-cube` `add-exp-log`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l/` `associate-r/`
1×	`pow2` `pow-plus` `pow-prod-down` `prod-exp` `pow-sqr` `*-commutative` `pow-prod-up` `cbrt-unprod` `insert-posit16` `add-log-exp` `unswap-sqr`

Counts

1 → 49

Calls

1 calls:

212.0ms

(* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))

series122.0ms

Counts

1 → 3

Calls

1 calls:

121.0ms

(* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))

simplify1.2s

Counts

52 → 52

Iterations

Iter	Nodes
done	2004
3	2004
2	986
1	279
0	94

prune257.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.8b

localize57.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))
21.2b	(posit16->real (real->posit16 (* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))))

rewrite181.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
20×	`*-un-lft-identity`
9×	`pow1`
8×	`swap-sqr` `difference-of-squares`
6×	`flip3--` `associate-r` `associate-l` `add-cube-cbrt` `flip--` `distribute-lft-out--`
4×	`frac-times` `times-frac` `add-cbrt-cube` `add-exp-log`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l/` `associate-r/` `insert-posit16` `add-log-exp`
1×	`pow2` `pow-plus` `pow-prod-down` `prod-exp` `pow-sqr` `*-commutative` `pow-prod-up` `cbrt-unprod` `remove-posit16` `unswap-sqr`

Counts

2 → 58

Calls

2 calls:

179.0ms	(* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))
1.0ms	(posit16->real (real->posit16 (* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))))

series171.0ms

Counts

2 → 6

Calls

2 calls:

77.0ms	(* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))
94.0ms	(posit16->real (real->posit16 (* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))))

simplify1.0s

Counts

64 → 64

Iterations

Iter	Nodes
done	2005
3	2005
2	989
1	291
0	103

prune770.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.8b

localize70.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))
0.0b	(- (/ (* K (+ m n)) 2) M)
0.0b	(* K (+ m n))
31.9b	(cos (- (/ (* K (+ m n)) 2) M))

rewrite249.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-sqr-sqrt`
28×	`*-un-lft-identity`
13×	`pow1`
10×	`associate-r` `add-cube-cbrt`
9×	`associate-l` `difference-of-squares`
8×	`add-cbrt-cube` `swap-sqr` `add-exp-log`
7×	`flip3--` `flip--` `distribute-lft-out--`
6×	`add-log-exp`
4×	`frac-times` `sub-neg` `times-frac` `associate-*r/` `insert-posit16`
3×	`distribute-rgt-in` `distribute-lft-in`
2×	`cos-sum` `pow-prod-down` `associate-l/` `prod-exp` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`pow2` `cos-diff` `flip3-+` `pow-plus` `diff-log` `pow-sqr` `pow-prod-up` `flip-+` `distribute-lft-out`

Counts

4 → 99

Calls

4 calls:

182.0ms	(* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))
19.0ms	(- (/ (* K (+ m n)) 2) M)
18.0ms	(* K (+ m n))
28.0ms	(cos (- (/ (* K (+ m n)) 2) M))

series324.0ms

Counts

4 → 12

Calls

4 calls:

96.0ms	(* (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M))
84.0ms	(- (/ (* K (+ m n)) 2) M)
46.0ms	(* K (+ m n))
98.0ms	(cos (- (/ (* K (+ m n)) 2) M))

simplify1.5s

Counts

111 → 111

Iterations

Iter	Nodes
done	2001
3	2001
2	1642
1	494
0	183

prune631.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.8b

regimes440.0ms

Accuracy

0% (0.3b remaining)

Error of 1.5b against oracle of 1.2b and baseline of 1.5b

bsearch0.0ms

simplify3.0ms

Iterations

Iter	Nodes
done	20
1	20
0	16

end0.0ms

sample3.6s

Algorithm

intervals

Results

2.7s	8096×	body	80	valid
180.0ms	132×	body	1280	valid
144.0ms	140×	body	640	valid
137.0ms	116×	body	320	valid
28.0ms	59×	body	160	valid
8.0ms	3×	body	2560	valid