Details

Time bar (total: 36.7s)

sample1.2s

Algorithm
halfpoints
Results

simplify347.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
347.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)))

prune44.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize399.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))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
3×sub-neg p16-flip--
Counts
4 → 6
Calls
4 calls:
Slowest
35.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)
22.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)) c)
0.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
0.0ms
(/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))

simplify991.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
268.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)))
257.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)))
242.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)))
223.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)))

prune317.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize387.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)

rewrite187.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
95.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))
44.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
42.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
5.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)

simplify336.0ms

Counts
4 → 13
Calls
4 calls:
Slowest
143.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)))
141.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
26.0ms
(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
24.0ms
(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)

prune546.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize394.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)))

rewrite325.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
130.0ms
(/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
121.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)))
42.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
31.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)

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)

simplify211.0ms

Counts
7 → 11
Calls
7 calls:
Slowest
102.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
26.0ms
(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
26.0ms
(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
15.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)

prune305.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize504.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))

rewrite139.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
83.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))
27.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
23.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
6.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)

simplify238.0ms

Counts
4 → 13
Calls
4 calls:
Slowest
108.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)))
84.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
25.0ms
(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
20.0ms
(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)

prune574.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

regimes435.0ms

Accuracy

-∞% (-63.8b remaining)

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

bsearch6.0ms

end0.0ms

sample28.7s

Algorithm
halfpoints
Results