Details

Time bar (total: 1.5m)

sample319.0ms

Algorithm
halfpoints

simplify52.0ms

Counts
1 → 1
Iterations
IterNodes
437
337
235
127
016

prune64.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.5b

localize288.0ms

Local error

Found 4 expressions with local error:

0.3b
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))
0.3b
(-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))
0.4b
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (*.p16 (real->posit16 2) a))
0.9b
(-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
19×*p16-lft-identity-expand p16-*-un-lft-identity
13×*p16-rgt-identity-expand
12×distribute-lft-out--
10×+p16-lft-identity-expand introduce-quire +p16-rgt-identity-expand
8×p16-times-frac -p16-rgt-identity-expand associate-/l* associate--r+
7×/p16-rgt-identity-expand
4×associate--l+ insert-quire-fdp-sub
3×distribute-rgt-out-- p16-flip--
2×associate--l- distribute-rgt-in insert-quire-sub sub-neg distribute-lft-in associate-/r/ associate--r- associate-/l/
1×associate-/r* associate-*l/
Counts
4 → 84
Calls
4 calls:
0.0ms
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))
5.0ms
(-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))
4.0ms
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (*.p16 (real->posit16 2) a))
4.0ms
(-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))
0.0ms
(-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))
0.0ms
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (*.p16 (real->posit16 2) a))
0.0ms
(-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))

simplify1.3s

Counts
88 → 88
Iterations
IterNodes
32856
2473
1114
060

prune6.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 1.1b

localize333.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.p16 (real->posit16 4) (*.p16 a c))
0.3b
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))
0.3b
(-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))
0.9b
(-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
12×+p16-lft-identity-expand +p16-rgt-identity-expand
10×*p16-lft-identity-expand introduce-quire p16-*-un-lft-identity
8×-p16-rgt-identity-expand *p16-rgt-identity-expand associate--r+
6×/p16-rgt-identity-expand
4×distribute-rgt-in distribute-lft-in associate--l+ insert-quire-fdp-sub distribute-lft-out--
3×associate-*l*
2×associate--l- insert-quire-sub sub-neg p16-flip-- associate--r-
1×distribute-rgt-out-- associate-*r* associate-*l/ associate-*r/ *-commutative
Counts
4 → 74
Calls
4 calls:
8.0ms
(*.p16 (real->posit16 4) (*.p16 a c))
0.0ms
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))
12.0ms
(-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))
5.0ms
(-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(*.p16 (real->posit16 4) (*.p16 a c))
0.0ms
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))
0.0ms
(-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))
0.0ms
(-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))

simplify3.4s

Counts
78 → 78
Iterations
IterNodes
33713
2422
1100
054

prune5.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 1.0b

localize301.0ms

Local error

Found 4 expressions with local error:

0.2b
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) a)
0.3b
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))
0.3b
(-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))
0.9b
(-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
14×*p16-lft-identity-expand p16-*-un-lft-identity
10×introduce-quire *p16-rgt-identity-expand
8×+p16-lft-identity-expand -p16-rgt-identity-expand +p16-rgt-identity-expand associate-/l* distribute-lft-out--
5×/p16-rgt-identity-expand
4×associate--l+ insert-quire-fdp-sub associate--r+
3×p16-flip--
2×associate--l- insert-quire-sub sub-neg distribute-rgt-out-- associate--r- associate-/l/
Counts
4 → 69
Calls
4 calls:
4.0ms
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) a)
0.0ms
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))
5.0ms
(-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))
3.0ms
(-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) a)
0.0ms
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))
0.0ms
(-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))
0.0ms
(-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))

simplify47.8s

Counts
73 → 73
Iterations
IterNodes
423899
31734
2295
186
047

prune5.3s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 1.0b

localize333.0ms

Local error

Found 4 expressions with local error:

0.3b
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))
0.3b
(*.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (real->posit16 2)) (/.p16 (real->posit16 1.0) a))
0.3b
(-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))
0.9b
(-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
34×*p16-lft-identity-expand p16-*-un-lft-identity
28×associate-*l*
26×*p16-rgt-identity-expand
24×p16-times-frac
16×distribute-lft-out--
12×+p16-lft-identity-expand +p16-rgt-identity-expand
10×introduce-quire
8×-p16-rgt-identity-expand associate--r+
5×/p16-rgt-identity-expand
4×distribute-rgt-in distribute-lft-in distribute-rgt-out-- associate--l+ insert-quire-fdp-sub
3×associate-*r*
2×associate--l- insert-quire-sub sub-neg p16-flip-- associate--r-
1×associate-*l/ associate-*r/ associate-/r/ *-commutative
Counts
4 → 101
Calls
4 calls:
0.0ms
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))
22.0ms
(*.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (real->posit16 2)) (/.p16 (real->posit16 1.0) a))
10.0ms
(-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))
5.0ms
(-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))

series1.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))
0.0ms
(*.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (real->posit16 2)) (/.p16 (real->posit16 1.0) a))
0.0ms
(-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))
0.0ms
(-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))

simplify4.4s

Counts
105 → 105
Iterations
IterNodes
34106
2582
1145
065

prune7.1s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 1.0b

regimes1.5s

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
119
019

end0.0ms

sample3.5s

Algorithm
halfpoints