Details

Time bar (total: 22.4s)

sample315.0ms

Algorithm
halfpoints
Results

simplify497.0ms

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

prune56.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.3b

localize292.0ms

Local error

Found 4 expressions with local error:

0.7b
(-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))
0.3b
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (*.p16 (real->posit16 2) a))
0.3b
(-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))
0.3b
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))

rewrite13.0ms

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

series0.0ms

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

simplify4.7s

Counts
12 → 10
Calls
12 calls:
Slowest
1.3s
(-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 4) (*.p16 a c)) (*.p16 (real->posit16 4) (*.p16 a c))))
711.0ms
(-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))))
449.0ms
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (*.p16 (real->posit16 2) a))
436.0ms
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (*.p16 (real->posit16 2) a))
408.0ms
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (*.p16 (real->posit16 2) a))

prune481.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.3b

localize252.0ms

Local error

Found 4 expressions with local error:

0.7b
(-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))
0.3b
(-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))
0.3b
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))
0.3b
(*.p16 (real->posit16 4) (*.p16 a c))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
2×sub-neg p16-flip--
1×associate-*r* *-commutative
Counts
4 → 6
Calls
4 calls:
Slowest
10.0ms
(-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))
8.0ms
(*.p16 (real->posit16 4) (*.p16 a c))
4.0ms
(-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))
0.0ms
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))

series0.0ms

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

simplify3.2s

Counts
11 → 10
Calls
11 calls:
Slowest
723.0ms
(-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))))
644.0ms
(-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 4) (*.p16 a c)) (*.p16 (real->posit16 4) (*.p16 a c))))
376.0ms
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (real->posit16 2))
367.0ms
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (real->posit16 2))
332.0ms
(/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (real->posit16 2))

prune682.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.3b

localize314.0ms

Local error

Found 4 expressions with local error:

0.7b
(-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
0.3b
(-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))
0.3b
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))
0.2b
(/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (real->posit16 2)) a)

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
2×sub-neg p16-flip--
1×associate-/l/
Counts
4 → 5
Calls
4 calls:
Slowest
10.0ms
(-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))
6.0ms
(/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (real->posit16 2)) a)
4.0ms
(-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
0.0ms
(sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))

series0.0ms

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

simplify1.9s

Counts
11 → 9
Calls
11 calls:
Slowest
697.0ms
(-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))))
668.0ms
(-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 (*.p16 (real->posit16 4) a) c) (*.p16 (*.p16 (real->posit16 4) a) c)))
252.0ms
(+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
236.0ms
(neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
23.0ms
(neg.p16 (*.p16 (*.p16 (real->posit16 4) a) c))

prune657.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.3b

localize372.0ms

Local error

Found 4 expressions with local error:

0.8b
(+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))
0.4b
(/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))))
0.3b
(/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (*.p16 (real->posit16 2) a))
0.3b
(-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
1×+-commutative associate-/r* sub-neg p16-flip-- associate-/l/
Counts
4 → 5
Calls
4 calls:
Slowest
10.0ms
(-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))
6.0ms
(/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (*.p16 (real->posit16 2) a))
6.0ms
(/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))))
5.0ms
(+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))

series0.0ms

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

simplify2.9s

Counts
9 → 9
Calls
9 calls:
Slowest
707.0ms
(-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 4) (*.p16 a c)) (*.p16 (real->posit16 4) (*.p16 a c))))
501.0ms
(/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (*.p16 (real->posit16 2) a))
433.0ms
(/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (*.p16 (real->posit16 2) a))
385.0ms
(/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (real->posit16 2))
382.0ms
(/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (*.p16 (real->posit16 2) a))

prune698.0ms

Pruning

11 alts after pruning (7 fresh and 4 done)

Merged error: 0.2b

regimes1.4s

Accuracy

-∞% (-62.5b remaining)

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

bsearch7.0ms

end0.0ms

sample3.4s

Algorithm
halfpoints
Results