Details

Time bar (total: 13.0s)

sample60.0ms

Algorithm
intervals
Results
22.0ms82×body1280valid
13.0ms63×body640valid
6.0ms19×body2560valid
4.0ms24×body320valid
4.0ms58×body80valid
1.0ms10×body160valid

simplify936.0ms

Counts
1 → 1

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 47.8b

localize36.0ms

Local error

Found 2 expressions with local error:

10.1b
(- (fma x y z) (+ 1 (+ (* x y) z)))
0.0b
(+ (* x y) z)

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
13×add-log-exp
7×*-un-lft-identity
4×add-sqr-sqrt sum-log
3×diff-log
2×pow1 add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 distribute-lft-out--
1×+-commutative sub-neg flip3-+ flip3-- flip-+ flip-- distribute-lft-out associate--r+ difference-of-squares
Counts
2 → 31
Calls
2 calls:
Slowest
49.0ms
(- (fma x y z) (+ 1 (+ (* x y) z)))
13.0ms
(+ (* x y) z)

series98.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
64.0ms
(- (fma x y z) (+ 1 (+ (* x y) z)))
34.0ms
(+ (* x y) z)

simplify951.0ms

Counts
37 → 37

prune393.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 7.6b

localize41.0ms

Local error

Found 2 expressions with local error:

7.4b
(- (fma x y z) (+ (* x y) z))
0.0b
(+ (* x y) z)

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
4×add-sqr-sqrt *-un-lft-identity
2×pow1 sum-log add-cbrt-cube diff-log add-exp-log add-cube-cbrt insert-posit16
1×+-commutative sub-neg flip3-+ flip3-- flip-+ flip-- associate--r+ distribute-lft-out-- difference-of-squares
Counts
2 → 29
Calls
2 calls:
Slowest
13.0ms
(- (fma x y z) (+ (* x y) z))
6.0ms
(+ (* x y) z)

series69.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
39.0ms
(- (fma x y z) (+ (* x y) z))
30.0ms
(+ (* x y) z)

simplify1.7s

Counts
35 → 35

prune472.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 7.6b

localize44.0ms

Local error

Found 2 expressions with local error:

7.4b
(- (fma x y z) (+ (* x y) z))
0.0b
(+ (* x y) z)

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
4×add-sqr-sqrt *-un-lft-identity
2×pow1 sum-log add-cbrt-cube diff-log add-exp-log add-cube-cbrt insert-posit16
1×+-commutative sub-neg flip3-+ flip3-- flip-+ flip-- associate--r+ distribute-lft-out-- difference-of-squares
Counts
2 → 29
Calls
2 calls:
Slowest
13.0ms
(- (fma x y z) (+ (* x y) z))
6.0ms
(+ (* x y) z)

series71.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
37.0ms
(+ (* x y) z)
35.0ms
(- (fma x y z) (+ (* x y) z))

simplify1.7s

Counts
35 → 35

prune906.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 7.6b

localize36.0ms

Local error

Found 3 expressions with local error:

57.0b
(posit16->real (real->posit16 (+ (* x y) z)))
10.1b
(- (fma x y z) (+ 1 (posit16->real (real->posit16 (+ (* x y) z)))))
0.0b
(+ (* x y) z)

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
8×*-un-lft-identity
5×add-sqr-sqrt
3×pow1 add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16
2×sum-log diff-log distribute-lft-out--
1×+-commutative sub-neg flip3-+ flip3-- flip-+ remove-posit16 flip-- distribute-lft-out associate--r+ difference-of-squares
Counts
3 → 39
Calls
3 calls:
Slowest
10.0ms
(- (fma x y z) (+ 1 (posit16->real (real->posit16 (+ (* x y) z)))))
6.0ms
(+ (* x y) z)
0.0ms
(posit16->real (real->posit16 (+ (* x y) z)))

series103.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
53.0ms
(- (fma x y z) (+ 1 (posit16->real (real->posit16 (+ (* x y) z)))))
25.0ms
(posit16->real (real->posit16 (+ (* x y) z)))
25.0ms
(+ (* x y) z)

simplify708.0ms

Counts
48 → 48

prune942.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 7.6b

regimes238.0ms

Accuracy

0% (0.2b remaining)

Error of 8.1b against oracle of 7.9b and baseline of 8.1b

bsearch4.0ms

end0.0ms

sample3.3s

Algorithm
intervals
Results
1.7s2614×body1280valid
595.0ms1684×body640valid
333.0ms568×body2560valid
230.0ms2050×body80valid
200.0ms726×body320valid
55.0ms358×body160valid