Details

Time bar (total: 23.0s)

sample49.0ms

Algorithm
intervals
Results
27.0ms260×body80valid
3.0ms8×body640valid
1.0ms2×body1280valid
1.0ms2×body320valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
done5005
53184
4821
3262
2104
151
021

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.8b

localize64.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
204×add-sqr-sqrt
173×*-un-lft-identity
160×prod-diff
83×add-cube-cbrt
78×unpow-prod-down
68×distribute-rgt-neg-in
66×distribute-lft-neg-in
53×difference-of-squares
45×distribute-lft-out--
26×fma-neg
23×cos-sum
22×times-frac
14×add-log-exp
13×unpow2 sqr-pow
11×associate--r+
7×pow1 add-exp-log
6×neg-mul-1 add-cbrt-cube diff-log
4×expm1-log1p-u associate-*r* insert-posit16 log1p-expm1-u
3×pow-unpow sub-neg associate-*l* div-inv
2×neg-log associate-*r/
1×associate--l- neg-sub0 distribute-rgt-in cos-diff pow-to-exp pow-pow distribute-lft-in flip3-+ flip3-- pow-prod-down pow-exp prod-exp *-commutative cbrt-unprod flip-+ flip-- distribute-lft-out associate--r- unswap-sqr
Counts
4 → 276
Calls
4 calls:
1.4s
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
27.0ms
(* K (+ m n))
62.0ms
(pow (- (/ (+ m n) 2) M) 2)
48.0ms
(cos (- (/ (* K (+ m n)) 2) M))

series395.0ms

Counts
4 → 12
Calls
4 calls:
172.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
28.0ms
(* K (+ m n))
111.0ms
(pow (- (/ (+ m n) 2) M) 2)
85.0ms
(cos (- (/ (* K (+ m n)) 2) M))

simplify1.6s

Counts
288 → 288
Iterations
IterNodes
done5010
22141
11039
0474

prune1.4s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 1.8b

localize30.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (- (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
185×add-sqr-sqrt
154×*-un-lft-identity
139×prod-diff
78×unpow-prod-down
68×distribute-rgt-neg-in
66×distribute-lft-neg-in add-cube-cbrt
53×difference-of-squares
45×distribute-lft-out--
26×fma-neg
13×times-frac unpow2 sqr-pow
12×add-log-exp
11×associate--r+
6×neg-mul-1 diff-log
3×pow1 pow-unpow add-exp-log
2×expm1-log1p-u sub-neg add-cbrt-cube neg-log insert-posit16 log1p-expm1-u
1×associate--l- neg-sub0 pow-to-exp pow-pow flip3-- pow-exp flip-- associate--r-
Counts
2 → 216
Calls
2 calls:
1.3s
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
54.0ms
(pow (- (/ (+ m n) 2) M) 2)

series326.0ms

Counts
2 → 6
Calls
2 calls:
239.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
87.0ms
(pow (- (/ (+ m n) 2) M) 2)

simplify2.0s

Counts
222 → 222
Iterations
IterNodes
done5000
33978
21318
1644
0269

prune743.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 1.8b

localize82.0ms

Local error

Found 4 expressions with local error:

0.0b
(* K (+ m n))
0.0b
(pow (- (/ (+ m n) 2) M) 2)
32.8b
(posit16->real (real->posit16 (cos (- (/ (* K (+ m n)) 2) M))))
35.2b
(cos (- (/ (* K (+ m n)) 2) M))

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
25×*-un-lft-identity
23×cos-sum
21×prod-diff add-cube-cbrt
10×times-frac
7×pow1 add-exp-log
6×unpow-prod-down add-cbrt-cube
4×expm1-log1p-u associate-*r* insert-posit16 log1p-expm1-u add-log-exp
3×pow-unpow associate-*l* div-inv
2×associate-*r/ difference-of-squares
1×distribute-rgt-in cos-diff pow-to-exp sub-neg pow-pow distribute-lft-in flip3-+ pow-prod-down pow-exp prod-exp *-commutative cbrt-unprod flip-+ remove-posit16 distribute-lft-out distribute-lft-out-- unpow2 unswap-sqr sqr-pow
Counts
4 → 95
Calls
4 calls:
19.0ms
(* K (+ m n))
56.0ms
(pow (- (/ (+ m n) 2) M) 2)
0.0ms
(posit16->real (real->posit16 (cos (- (/ (* K (+ m n)) 2) M))))
38.0ms
(cos (- (/ (* K (+ m n)) 2) M))

series304.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(* K (+ m n))
107.0ms
(pow (- (/ (+ m n) 2) M) 2)
84.0ms
(posit16->real (real->posit16 (cos (- (/ (* K (+ m n)) 2) M))))
69.0ms
(cos (- (/ (* K (+ m n)) 2) M))

simplify1.1s

Counts
107 → 107
Iterations
IterNodes
done5000
21324
1601
0281

prune1.6s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 1.8b

localize65.0ms

Local error

Found 4 expressions with local error:

14.1b
(cbrt (* K (+ m n)))
14.1b
(cbrt (* K (+ m n)))
14.1b
(cbrt (* K (+ m n)))
35.7b
(cos (- (/ (* (* (cbrt (* K (+ m n))) (cbrt (* K (+ m n)))) (cbrt (* K (+ m n)))) 2) M))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
23×cos-sum
21×prod-diff
17×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
6×cbrt-div associate-*r/
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-prod flip3-+ pow1/3 flip-+ div-inv
1×cos-diff sub-neg
Counts
4 → 76
Calls
4 calls:
12.0ms
(cbrt (* K (+ m n)))
13.0ms
(cbrt (* K (+ m n)))
14.0ms
(cbrt (* K (+ m n)))
78.0ms
(cos (- (/ (* (* (cbrt (* K (+ m n))) (cbrt (* K (+ m n)))) (cbrt (* K (+ m n)))) 2) M))

series551.0ms

Counts
4 → 12
Calls
4 calls:
123.0ms
(cbrt (* K (+ m n)))
156.0ms
(cbrt (* K (+ m n)))
180.0ms
(cbrt (* K (+ m n)))
92.0ms
(cos (- (/ (* (* (cbrt (* K (+ m n))) (cbrt (* K (+ m n)))) (cbrt (* K (+ m n)))) 2) M))

simplify2.2s

Counts
88 → 88
Iterations
IterNodes
done5000
31772
2759
1430
0230

prune1.0s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 1.7b

regimes1.2s

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done21
121
017

end0.0ms

sample2.8s

Algorithm
intervals
Results
2.1s8124×body80valid
132.0ms96×body320valid
118.0ms120×body1280valid
111.0ms154×body640valid
18.0ms56×body160valid
6.0ms4×body2560valid