Details

Time bar (total: 49.3s)

sample130.0ms

Algorithm
halfpoints
Results

simplify3.5s

Counts
1 → 1

prune43.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize253.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
(sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))

rewrite13.0ms

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

simplify1.8s

Counts
12 → 12

prune601.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

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

rewrite25.0ms

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

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

simplify17.4s

Counts
13 → 13

prune840.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize240.0ms

Local error

Found 4 expressions with local error:

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

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
4×p16-flip--
2×sub-neg
1×associate-*l/ associate-*r/ *-commutative associate-/l* associate-/l/
Counts
4 → 8
Calls
4 calls:
Slowest
5.0ms
(/.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))
4.0ms
(*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
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 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
0.0ms
(/.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))
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
12 → 12

prune1.4s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

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

rewrite29.0ms

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

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 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.0ms
(/.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9))))
0.0ms
(*.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9))
0.0ms
(*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))

simplify15.6s

Counts
14 → 14

prune918.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

regimes521.0ms

Accuracy

0% (0.1b remaining)

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

bsearch9.0ms

end0.0ms

sample3.4s

Algorithm
halfpoints
Results