Details

Time bar (total: 13.2s)

sample228.0ms

Algorithm
halfpoints
Results

simplify302.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
302.0ms
(/.p16 (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))) a)

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.5b

localize140.0ms

Local error

Found 4 expressions with local error:

0.9b
(-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c))))
0.3b
(sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))
0.3b
(-.p16 (*.p16 b_2 b_2) (*.p16 a c))
0.3b
(/.p16 (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))) a)

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
3×p16-flip--
2×sub-neg
1×associate-/l/
Counts
4 → 5
Calls
4 calls:
Slowest
3.0ms
(-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c))))
3.0ms
(-.p16 (*.p16 b_2 b_2) (*.p16 a c))
3.0ms
(/.p16 (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))) a)
0.0ms
(sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c))))
0.0ms
(sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))
0.0ms
(/.p16 (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))) a)
0.0ms
(-.p16 (*.p16 b_2 b_2) (*.p16 a c))

simplify2.2s

Counts
11 → 9
Calls
11 calls:
Slowest
658.0ms
(*.p16 a (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))))
482.0ms
(-.p16 (*.p16 (neg.p16 b_2) (neg.p16 b_2)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c))) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))))
223.0ms
(/.p16 (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))) a)
211.0ms
(/.p16 (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))) a)
201.0ms
(/.p16 (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))) a)

prune218.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.3b

localize273.0ms

Local error

Found 4 expressions with local error:

1.0b
(+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c))))
0.5b
(/.p16 (+.p16 (*.p16 a c) (*.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))))
0.3b
(sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))
0.3b
(-.p16 (*.p16 b_2 b_2) (*.p16 a c))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
1×+-commutative sub-neg p16-flip--
Counts
4 → 3
Calls
4 calls:
Slowest
3.0ms
(+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c))))
3.0ms
(-.p16 (*.p16 b_2 b_2) (*.p16 a c))
3.0ms
(/.p16 (+.p16 (*.p16 a c) (*.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))))
0.0ms
(sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c))))
0.0ms
(/.p16 (+.p16 (*.p16 a c) (*.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))))
0.0ms
(sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))
0.0ms
(-.p16 (*.p16 b_2 b_2) (*.p16 a c))

simplify1.1s

Counts
7 → 7
Calls
7 calls:
Slowest
297.0ms
(/.p16 (/.p16 (+.p16 (*.p16 a c) (*.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c))))) a)
266.0ms
(/.p16 (/.p16 (+.p16 (*.p16 a c) (*.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c))))) a)
248.0ms
(/.p16 (/.p16 (+.p16 (*.p16 a c) (*.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c))))) a)
212.0ms
(/.p16 (/.p16 (+.p16 (*.p16 a c) (*.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c))))) a)
64.0ms
(-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c)))

prune243.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.3b

localize188.0ms

Local error

Found 4 expressions with local error:

1.0b
(-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2)
0.6b
(/.p16 (+.p16 (*.p16 c a) (real->posit16 0.0)) (*.p16 a (-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2)))
0.3b
(sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a)))
0.3b
(-.p16 (*.p16 b_2 b_2) (*.p16 c a))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
3×p16-flip--
2×sub-neg
1×associate-/r* associate-*r/ associate-/r/
Counts
4 → 6
Calls
4 calls:
Slowest
3.0ms
(/.p16 (+.p16 (*.p16 c a) (real->posit16 0.0)) (*.p16 a (-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2)))
3.0ms
(-.p16 (*.p16 b_2 b_2) (*.p16 c a))
2.0ms
(-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2)
0.0ms
(sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a)))

series0.0ms

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

simplify1.3s

Counts
12 → 10
Calls
12 calls:
Slowest
511.0ms
(-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a)))) (*.p16 b_2 b_2))
150.0ms
(/.p16 (+.p16 (*.p16 c a) (real->posit16 0.0)) (*.p16 a (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a)))) (*.p16 b_2 b_2))))
129.0ms
(/.p16 (+.p16 (*.p16 c a) (real->posit16 0.0)) (*.p16 a (-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2)))
112.0ms
(/.p16 (+.p16 (*.p16 c a) (real->posit16 0.0)) (*.p16 a (-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2)))
104.0ms
(/.p16 (+.p16 (*.p16 c a) (real->posit16 0.0)) (*.p16 a (-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2)))

prune314.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.2b

localize148.0ms

Local error

Found 4 expressions with local error:

1.0b
(-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2)
0.3b
(sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a)))
0.3b
(/.p16 (*.p16 (real->posit16 1.0) c) (-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2))
0.3b
(-.p16 (*.p16 b_2 b_2) (*.p16 c a))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
3×p16-flip--
2×sub-neg
1×associate-/r/ associate-/l*
Counts
4 → 6
Calls
4 calls:
Slowest
10.0ms
(-.p16 (*.p16 b_2 b_2) (*.p16 c a))
3.0ms
(/.p16 (*.p16 (real->posit16 1.0) c) (-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2))
2.0ms
(-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2)
0.0ms
(sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a)))

series0.0ms

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

simplify2.6s

Counts
12 → 10
Calls
12 calls:
Slowest
771.0ms
(-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a)))) (*.p16 b_2 b_2))
504.0ms
(/.p16 (*.p16 (real->posit16 1.0) c) (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a)))) (*.p16 b_2 b_2)))
267.0ms
(/.p16 (*.p16 (real->posit16 1.0) c) (-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2))
256.0ms
(/.p16 (*.p16 (real->posit16 1.0) c) (-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2))
254.0ms
(/.p16 (*.p16 (real->posit16 1.0) c) (-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2))

prune284.0ms

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 0.1b

regimes664.0ms

Accuracy

-∞% (-63.6b remaining)

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

bsearch6.0ms

end0.0ms

sample3.0s

Algorithm
halfpoints
Results