Details

Time bar (total: 20.5s)

sample246.0ms

Algorithm
halfpoints

simplify29.0ms

Counts
1 → 1
Iterations
IterNodes
done37
337
235
127
016

prune33.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.8b

localize253.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 (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))
1.1b
(-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
74×*p16-lft-identity-expand p16-*-un-lft-identity
64×p16-times-frac
54×*p16-rgt-identity-expand
40×distribute-lft-out--
30×associate-*l*
11×*-commutative
10×distribute-rgt-out--
9×/p16-rgt-identity-expand
8×associate-/r* +p16-lft-identity-expand introduce-quire +p16-rgt-identity-expand associate-/l*
6×-p16-rgt-identity-expand
5×associate-*r*
3×insert-quire-fdp-sub
2×distribute-rgt-in distribute-lft-in associate-*l/ associate--l+ p16-flip-- associate-/r/ associate--r+ associate-/l/
1×associate--l- insert-quire-sub sub-neg associate-*r/ associate--r-
Counts
4 → 148
Calls
4 calls:
0.0ms
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))
10.0ms
(*.p16 (real->posit16 4) (*.p16 a c))
17.0ms
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (*.p16 (real->posit16 2) a))
11.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 (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.8s

Counts
152 → 152
Iterations
IterNodes
done5002
31883
2421
1107
056

prune1.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 1.3b

localize285.0ms

Local error

Found 4 expressions with local error:

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

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
87×*p16-lft-identity-expand p16-*-un-lft-identity
64×p16-times-frac
57×*p16-rgt-identity-expand
52×distribute-lft-out--
50×associate-*l*
22×introduce-quire
16×insert-quire-fdp-sub
11×distribute-rgt-out-- *-commutative
8×associate-/r* +p16-lft-identity-expand -p16-rgt-identity-expand +p16-rgt-identity-expand associate-/l*
7×/p16-rgt-identity-expand
4×associate--l+ associate--r+
3×p16-flip--
2×associate--l- insert-quire-sub sub-neg associate-/r/ associate--r- associate-/l/
1×associate-*l/
Counts
4 → 168
Calls
4 calls:
30.0ms
(-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) c) a))
0.0ms
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) c) a)))
16.0ms
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) c) a)))) (*.p16 (real->posit16 2) a))
7.0ms
(-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) c) a))))

series0.0ms

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

simplify2.4s

Counts
172 → 172
Iterations
IterNodes
done5012
32443
2439
1129
070

prune2.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 1.3b

localize303.0ms

Local error

Found 4 expressions with local error:

0.3b
(sqrt.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 b b)) (real->posit16 4) (*.p16 c a))))
0.4b
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 b b)) (real->posit16 4) (*.p16 c a))))) (*.p16 (real->posit16 2) a))
1.1b
(-.p16 (neg.p16 b) (sqrt.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 b b)) (real->posit16 4) (*.p16 c a)))))
10.9b
(quire16-mul-sub (posit16->quire16 (*.p16 b b)) (real->posit16 4) (*.p16 c a))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
71×*p16-lft-identity-expand p16-*-un-lft-identity
64×p16-times-frac
51×*p16-rgt-identity-expand
40×distribute-lft-out--
27×associate-*l*
10×distribute-rgt-out--
9×*-commutative
8×associate-/r* associate-/l*
7×introduce-quire
6×/p16-rgt-identity-expand
5×+p16-lft-identity-expand -p16-rgt-identity-expand +p16-rgt-identity-expand
3×insert-quire-fdp-sub
2×associate--l+ p16-flip-- associate-/r/ associate--r+ associate-/l/
1×associate--l- insert-quire-sub sub-neg associate-*l/ associate--r-
Counts
4 → 125
Calls
4 calls:
0.0ms
(sqrt.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 b b)) (real->posit16 4) (*.p16 c a))))
21.0ms
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 b b)) (real->posit16 4) (*.p16 c a))))) (*.p16 (real->posit16 2) a))
4.0ms
(-.p16 (neg.p16 b) (sqrt.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 b b)) (real->posit16 4) (*.p16 c a)))))
0.0ms
(quire16-mul-sub (posit16->quire16 (*.p16 b b)) (real->posit16 4) (*.p16 c a))

series0.0ms

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

simplify1.9s

Counts
129 → 129
Iterations
IterNodes
done5020
31645
2302
185
049

prune1.8s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 1.3b

localize312.0ms

Local error

Found 4 expressions with local error:

0.3b
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 b b)) (real->posit16 4) (*.p16 c a))))) a)
0.3b
(sqrt.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 b b)) (real->posit16 4) (*.p16 c a))))
1.1b
(-.p16 (neg.p16 b) (sqrt.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 b b)) (real->posit16 4) (*.p16 c a)))))
10.9b
(quire16-mul-sub (posit16->quire16 (*.p16 b b)) (real->posit16 4) (*.p16 c a))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
13×*p16-lft-identity-expand p16-*-un-lft-identity
9×*p16-rgt-identity-expand
8×associate-/l* distribute-lft-out--
7×introduce-quire
5×+p16-lft-identity-expand -p16-rgt-identity-expand +p16-rgt-identity-expand
4×/p16-rgt-identity-expand
3×insert-quire-fdp-sub
2×distribute-rgt-out-- associate--l+ p16-flip-- associate--r+ associate-/l/
1×associate--l- insert-quire-sub sub-neg associate--r-
Counts
4 → 51
Calls
4 calls:
12.0ms
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 b b)) (real->posit16 4) (*.p16 c a))))) a)
0.0ms
(sqrt.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 b b)) (real->posit16 4) (*.p16 c a))))
7.0ms
(-.p16 (neg.p16 b) (sqrt.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 b b)) (real->posit16 4) (*.p16 c a)))))
1.0ms
(quire16-mul-sub (posit16->quire16 (*.p16 b b)) (real->posit16 4) (*.p16 c a))

series0.0ms

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

simplify1.7s

Counts
55 → 55
Iterations
IterNodes
done5002
31071
2180
156
036

prune1.0s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 1.3b

regimes1.6s

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done17
017

end0.0ms

sample3.1s

Algorithm
halfpoints