Details

sample127.0ms

Algorithm

intervals

Results

85.0ms	256×	body	80	valid
7.0ms	4×	body	1280	valid
5.0ms	4×	body	640	valid
3.0ms	3×	body	320	valid
1.0ms	2×	body	160	valid

simplify295.0ms

Calls

1 calls:

Slowest

295.0ms

(* (cos (- (/ (* K (+ m n)) 2) M)) (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))))

prune30.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.5b

localize59.0ms

Local error

Found 4 expressions with local error:

34.3b	(cos (- (/ (* K (+ m n)) 2) M))
0.0b	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
0.0b	(pow (- (/ (+ m n) 2) M) 2)
0.0b	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))

rewrite2.2s

Algorithm

rewrite-expression-head

Rules

29×	`*-un-lft-identity`
25×	`add-log-exp`
16×	`add-sqr-sqrt`
13×	`distribute-lft-out--`
12×	`diff-log`
8×	`exp-prod`
7×	`add-cube-cbrt`
6×	`unpow-prod-down`
5×	`pow1` `add-exp-log` `rem-exp-log`
4×	`sub-neg` `distribute-rgt-neg-in` `add-cbrt-cube` `neg-log` `insert-posit16` `difference-of-squares`
3×	`pow-unpow` `exp-sum`
2×	`cos-sum` `associate--r+` `associate--r-`
1×	`associate--l-` `neg-sub0` `cos-diff` `pow-to-exp` `pow-pow` `times-frac` `flip3--` `exp-diff` `pow-exp` `flip--` `unpow2` `sqr-pow`

Calls

4 calls:

Slowest

1.3s	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
776.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
63.0ms	(pow (- (/ (+ m n) 2) M) 2)
38.0ms	(cos (- (/ (* K (+ m n)) 2) M))

series509.0ms

Calls

4 calls:

Slowest

196.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
158.0ms	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
83.0ms	(pow (- (/ (+ m n) 2) M) 2)
71.0ms	(cos (- (/ (* K (+ m n)) 2) M))

simplify11.0s

Calls

55 calls:

Slowest

522.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
474.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
464.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
460.0ms	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) l))
458.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))

prune1.9s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 1.2b

localize51.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
0.0b	(pow (- (/ (+ m n) 2) M) 2)
0.0b	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
0.0b	(- (/ (+ m n) 2) M)

rewrite2.4s

Algorithm

rewrite-expression-head

Rules

31×	`*-un-lft-identity`
27×	`add-log-exp`
21×	`add-sqr-sqrt`
14×	`distribute-lft-out--`
13×	`diff-log`
8×	`exp-prod`
7×	`add-cube-cbrt`
6×	`unpow-prod-down` `difference-of-squares`
5×	`pow1` `add-exp-log` `rem-exp-log`
4×	`sub-neg` `distribute-rgt-neg-in` `add-cbrt-cube` `neg-log` `insert-posit16`
3×	`pow-unpow` `exp-sum`
2×	`times-frac` `flip3--` `flip--` `associate--r+` `associate--r-`
1×	`associate--l-` `neg-sub0` `pow-to-exp` `pow-pow` `exp-diff` `pow-exp` `unpow2` `sqr-pow`

Calls

4 calls:

Slowest

1.5s	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
865.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
34.0ms	(pow (- (/ (+ m n) 2) M) 2)
32.0ms	(- (/ (+ m n) 2) M)

series519.0ms

Calls

4 calls:

Slowest

208.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
170.0ms	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
103.0ms	(pow (- (/ (+ m n) 2) M) 2)
37.0ms	(- (/ (+ m n) 2) M)

simplify11.3s

Calls

58 calls:

Slowest

741.0ms	(exp (- (pow (- (/ (+ m n) 2) M) 2)))
534.0ms	(exp (sqrt (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))))
460.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
444.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
438.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))

prune1.5s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 1.2b

localize47.0ms

Local error

Found 4 expressions with local error:

0.2b	(log (exp (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))))
0.0b	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
0.0b	(pow (- (/ (+ m n) 2) M) 2)
0.0b	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))

rewrite3.4s

Algorithm

rewrite-expression-head

Rules

31×	`*-un-lft-identity`
25×	`add-log-exp`
18×	`add-sqr-sqrt`
14×	`exp-prod`
13×	`distribute-lft-out--`
12×	`diff-log`
9×	`add-cube-cbrt`
7×	`log-pow`
6×	`pow1` `unpow-prod-down` `exp-sum`
5×	`add-exp-log` `rem-exp-log`
4×	`sub-neg` `distribute-rgt-neg-in` `add-cbrt-cube` `neg-log` `insert-posit16` `difference-of-squares`
3×	`pow-unpow` `log-prod` `associate--r-`
2×	`associate--r+`
1×	`associate--l-` `neg-sub0` `pow-to-exp` `pow-pow` `times-frac` `flip3--` `exp-diff` `rem-log-exp` `pow-exp` `flip--` `unpow2` `sqr-pow`

Calls

4 calls:

Slowest

1.4s	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
1.2s	(log (exp (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))))
728.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
56.0ms	(pow (- (/ (+ m n) 2) M) 2)

series681.0ms

Calls

4 calls:

Slowest

240.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
168.0ms	(log (exp (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))))
149.0ms	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
125.0ms	(pow (- (/ (+ m n) 2) M) 2)

simplify13.5s

Calls

62 calls:

Slowest

528.0ms	(exp (sqrt (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))))
518.0ms	(- (+ (* m M) (* M n)) (pow M 2))
484.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
482.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
479.0ms	(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))

prune1.8s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 1.2b

localize100.0ms

Local error

Found 4 expressions with local error:

34.3b	(cos (- (/ (* K (+ m n)) 2) M))
32.2b	(posit16->real (real->posit16 (cos (- (/ (* K (+ m n)) 2) M))))
0.0b	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
0.0b	(pow (- (/ (+ m n) 2) M) 2)

rewrite1.4s

Algorithm

rewrite-expression-head

Rules

19×	`*-un-lft-identity`
15×	`add-log-exp`
14×	`add-sqr-sqrt`
8×	`exp-prod`
7×	`add-cube-cbrt` `distribute-lft-out--`
6×	`unpow-prod-down` `diff-log`
5×	`pow1` `add-exp-log` `rem-exp-log`
4×	`add-cbrt-cube` `insert-posit16`
3×	`pow-unpow` `exp-sum` `difference-of-squares`
2×	`cos-sum` `sub-neg` `distribute-rgt-neg-in` `neg-log`
1×	`cos-diff` `pow-to-exp` `pow-pow` `times-frac` `exp-diff` `pow-exp` `remove-posit16` `unpow2` `associate--r-` `sqr-pow`

Calls

4 calls:

Slowest

1.4s	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
39.0ms	(pow (- (/ (+ m n) 2) M) 2)
26.0ms	(cos (- (/ (* K (+ m n)) 2) M))
0.0ms	(posit16->real (real->posit16 (cos (- (/ (* K (+ m n)) 2) M))))

series416.0ms

Calls

4 calls:

Slowest

147.0ms	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))
108.0ms	(pow (- (/ (+ m n) 2) M) 2)
87.0ms	(posit16->real (real->posit16 (cos (- (/ (* K (+ m n)) 2) M))))
73.0ms	(cos (- (/ (* K (+ m n)) 2) M))

simplify8.0s

Calls

43 calls:

Slowest

486.0ms	(exp (sqrt (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))))
442.0ms	(exp (- (pow (- (/ (+ m n) 2) M) 2)))
421.0ms	(/ 1 (exp (pow (- (/ (+ m n) 2) M) 2)))
408.0ms	(exp (- (- (pow (- (/ (+ m n) 2) M) 2)) l))
391.0ms	(/ 1 (exp (pow (- (/ (+ m n) 2) M) 2)))

prune2.5s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 1.2b

regimes544.0ms

Accuracy

0% (0.2b remaining)

Error of 1.3b against oracle of 1.1b and baseline of 1.3b

bsearch4.0ms

end0.0ms

sample3.4s

Algorithm

intervals

Results

2.8s	8109×	body	80	valid
153.0ms	165×	body	640	valid
129.0ms	96×	body	1280	valid
65.0ms	94×	body	320	valid
30.0ms	54×	body	160	valid
1.0ms	1×	body	2560	valid