Details

Time bar (total: 32.7s)

sample122.0ms

Algorithm
halfpoints
Results

simplify3.6s

Counts
1 → 1

prune45.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize248.0ms

Local error

Found 4 expressions with local error:

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.2b
(*.p16 (real->posit16 9) (-.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)))

rewrite15.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
5.0ms
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.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)))
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 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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))

simplify2.5s

Counts
16 → 16

prune856.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize319.0ms

Local error

Found 4 expressions with local error:

0.7b
(/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a)) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a))
0.3b
(+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a)
0.3b
(+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a)
0.2b
(*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
2×+-commutative associate-*l/ p16-flip--
1×distribute-rgt-in distribute-lft-in *-commutative associate-/l* associate-/l/
Counts
4 → 8
Calls
4 calls:
Slowest
10.0ms
(*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a))
8.0ms
(/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a)) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a))
4.0ms
(+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a)
4.0ms
(+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a)

series0.0ms

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

simplify13.3s

Counts
12 → 12

prune936.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize382.0ms

Local error

Found 4 expressions with local error:

0.2b
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.2b
(+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.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 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))
0.1b
(sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
2×p16-flip--
1×distribute-rgt-in +-commutative sub-neg p16-distribute-lft-out distribute-lft-in associate-*l/ *-commutative distribute-lft-out
Counts
4 → 9
Calls
4 calls:
Slowest
3.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 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))
3.0ms
(+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
2.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.0ms
(sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
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 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))
0.0ms
(sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.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 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))

simplify3.2s

Counts
13 → 13

prune676.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

localize267.0ms

Local error

Found 4 expressions with local error:

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.2b
(-.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))))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
5×sub-neg
4×p16-flip--
1×distribute-rgt-in distribute-lft-in associate-*r/ *-commutative
Counts
4 → 10
Calls
4 calls:
Slowest
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)))
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 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)))

simplify2.1s

Counts
14 → 14

prune621.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.1b

regimes475.0ms

Accuracy

-∞% (-63.8b remaining)

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

bsearch12.0ms

end0.0ms

sample3.0s

Algorithm
halfpoints
Results