Details

Time bar (total: 19.8s)

sample237.0ms

Algorithm
halfpoints

simplify76.0ms

Counts
1 → 1
Iterations
IterNodes
done42
342
238
127
016

prune35.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.7b

localize238.0ms

Local error

Found 4 expressions with local error:

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

rewrite42.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:
20.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 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))
0.0ms
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))
7.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
(/.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 (*.p16 b b) (*.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 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))

simplify1.2s

Counts
88 → 88
Iterations
IterNodes
done5001
2616
1116
060

prune1.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 1.3b

localize244.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.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×introduce-quire
8×+p16-lft-identity-expand p16-times-frac -p16-rgt-identity-expand +p16-rgt-identity-expand associate-/l*
7×/p16-rgt-identity-expand
4×associate--l+ insert-quire-fdp-sub associate--r+
3×distribute-rgt-out-- p16-flip--
2×associate--l- insert-quire-sub sub-neg associate-/r/ associate--r- associate-/l/
1×associate-/r* associate-*l/
Counts
4 → 80
Calls
4 calls:
4.0ms
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) c) a)))) (*.p16 (real->posit16 2) a))
14.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)))
4.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 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) c) a)))) (*.p16 (real->posit16 2) a))
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 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) c) a))))

simplify1.1s

Counts
84 → 84
Iterations
IterNodes
done5000
2504
1102
054

prune1.8s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 1.2b

localize299.0ms

Local error

Found 4 expressions with local error:

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

rewrite11.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:
3.0ms
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) c) a)))) a)
4.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)))
2.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 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) c) a)))) a)
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 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) c) a))))

simplify2.5s

Counts
73 → 73
Iterations
IterNodes
done5001
32841
2337
190
050

prune2.0s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 1.2b

localize334.0ms

Local error

Found 4 expressions with local error:

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

rewrite13.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:
5.0ms
(-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))
4.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
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))
3.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 (*.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
(sqrt.p16 (-.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)))))

simplify1.6s

Counts
105 → 105
Iterations
IterNodes
done5000
21018
1145
065

prune1.9s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 1.2b

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
done16
016

end0.0ms

sample3.2s

Algorithm
halfpoints