Details

Time bar (total: 11.4s)

sample108.0ms

Algorithm
halfpoints
Results

simplify339.0ms

Counts
1 → 1

prune33.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize214.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.2b
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.2b
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.1b
(*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
4×sub-neg p16-flip--
2×distribute-rgt-in distribute-lft-in *-commutative
1×associate-*l/ associate-*r/
Counts
4 → 12
Calls
4 calls:
Slowest
7.0ms
(*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
6.0ms
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
3.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
3.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.0ms
(*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
0.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))

simplify377.0ms

Counts
20 → 16

prune846.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize250.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.2b
(*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.2b
(+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
0.2b
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
9×sub-neg
4×distribute-rgt-in distribute-lft-in
3×p16-flip--
2×associate-+l+ associate-+r+ associate-*l/ associate-*r/ *-commutative
1×+-commutative distribute-rgt-out associate-*l*
Counts
4 → 18
Calls
4 calls:
Slowest
7.0ms
(*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
7.0ms
(+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
5.0ms
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
3.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
0.0ms
(*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.0ms
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))

simplify298.0ms

Counts
28 → 22

prune1.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize380.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.2b
(*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.2b
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.2b
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
6×sub-neg
4×p16-flip--
2×distribute-rgt-in distribute-lft-in associate-*l/ associate-*r/ *-commutative
1×associate-*l*
Counts
4 → 14
Calls
4 calls:
Slowest
4.0ms
(*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
3.0ms
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
2.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
2.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.0ms
(*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))

simplify1.7s

Counts
22 → 18

prune945.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize371.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.2b
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.2b
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.2b
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
6×sub-neg
4×p16-flip--
2×distribute-rgt-in distribute-lft-in associate-*r/ *-commutative
Counts
4 → 12
Calls
4 calls:
Slowest
9.0ms
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
3.0ms
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
2.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.0ms
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))

simplify599.0ms

Counts
24 → 16

prune716.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

regimes425.0ms

Accuracy

-∞% (-63.8b remaining)

Error of 0.2b against oracle of 64.0b and baseline of 64.0b

bsearch8.0ms

end0.0ms

sample2.6s

Algorithm
halfpoints
Results