Details

Time bar (total: 38.9s)

sample1.8s

Algorithm
halfpoints
Results

simplify374.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
374.0ms
(sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))

prune41.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize349.0ms

Local error

Found 4 expressions with local error:

0.6b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
0.5b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
0.4b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
0.2b
(/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))

rewrite140.0ms

Algorithm
rewrite-expression-head
Rules
3×sub-neg p16-flip--
Counts
4 → 6
Calls
4 calls:
Slowest
52.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
46.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
32.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
11.0ms
(/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))

series0.0ms

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

simplify1.3s

Counts
4 → 10
Calls
4 calls:
Slowest
370.0ms
(sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
360.0ms
(sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
346.0ms
(sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
263.0ms
(sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))

prune471.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize318.0ms

Local error

Found 4 expressions with local error:

1.0b
(/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
0.5b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
0.5b
(-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))
0.4b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
4×p16-flip--
3×sub-neg
2×difference-of-squares
1×associate-/l* associate-/l/
Counts
4 → 9
Calls
4 calls:
Slowest
60.0ms
(/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
23.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
22.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
3.0ms
(-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))

series0.0ms

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

simplify260.0ms

Counts
4 → 13
Calls
4 calls:
Slowest
130.0ms
(-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))
89.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
25.0ms
(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
14.0ms
(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)

prune536.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize347.0ms

Local error

Found 4 expressions with local error:

0.7b
(/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
0.6b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
0.5b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
0.5b
(/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))

rewrite209.0ms

Algorithm
rewrite-expression-head
Rules
4×p16-flip--
3×associate-/r/
2×sub-neg
1×associate-/r*
Counts
4 → 7
Calls
4 calls:
Slowest
83.0ms
(/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
81.0ms
(/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))
22.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
22.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)

series0.0ms

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

simplify163.0ms

Counts
7 → 11
Calls
7 calls:
Slowest
79.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
16.0ms
(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
14.0ms
(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
13.0ms
(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
13.0ms
(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)

prune289.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize310.0ms

Local error

Found 4 expressions with local error:

1.1b
(/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
0.6b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
0.5b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
0.5b
(-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
4×p16-flip--
3×sub-neg
2×difference-of-squares
1×associate-/l* associate-/l/
Counts
4 → 9
Calls
4 calls:
Slowest
63.0ms
(/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
23.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
22.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
3.0ms
(-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))

series0.0ms

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

simplify287.0ms

Counts
4 → 13
Calls
4 calls:
Slowest
157.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
92.0ms
(-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c)))
22.0ms
(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
14.0ms
(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)

prune531.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

regimes440.0ms

Accuracy

-∞% (-63.8b remaining)

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

bsearch5.0ms

end0.0ms

sample30.4s

Algorithm
halfpoints
Results