Details

Time bar (total: 14.4s)

sample79.0ms

Algorithm
intervals
Results
30.0ms88×body1280valid
13.0ms44×body640valid
13.0ms19×body2560valid
6.0ms73×body80valid
4.0ms20×body320valid
2.0ms12×body160valid

simplify1.1s

Counts
1 → 1
Iterations
IterNodes
done5001
61175
5392
4218
3101
246
120
09

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 43.5b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite86.0ms

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

series96.0ms

Counts
3 → 9
Calls
3 calls:
25.0ms
(+ (* x y) z)
28.0ms
(+ 1 (+ (* x y) z))
43.0ms
(- (fma x y z) (+ 1 (+ (* x y) z)))

simplify988.0ms

Counts
55 → 55
Iterations
IterNodes
done5001
21465
1249
081

prune269.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 42.6b

localize44.0ms

Local error

Found 3 expressions with local error:

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

rewrite88.0ms

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

series132.0ms

Counts
3 → 9
Calls
3 calls:
50.0ms
(+ 1 (+ (* x y) z))
39.0ms
(+ (* x y) z)
43.0ms
(- (fma x y z) (+ 1 (+ (* x y) z)))

simplify947.0ms

Counts
55 → 55
Iterations
IterNodes
done5001
21480
1249
081

prune582.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 40.6b

localize92.0ms

Local error

Found 4 expressions with local error:

7.2b
(cbrt (+ 1 (+ (* x y) z)))
7.2b
(cbrt (+ 1 (+ (* x y) z)))
28.3b
(posit16->real (real->posit16 (- (fma x y z) (* (* (cbrt (+ 1 (+ (* x y) z))) (cbrt (+ 1 (+ (* x y) z)))) (cbrt (+ 1 (+ (* x y) z)))))))
34.9b
(- (fma x y z) (* (* (cbrt (+ 1 (+ (* x y) z))) (cbrt (+ 1 (+ (* x y) z)))) (cbrt (+ 1 (+ (* x y) z)))))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity
8×cbrt-prod
6×add-sqr-sqrt add-cube-cbrt add-log-exp
4×pow1 cbrt-div add-cbrt-cube add-exp-log insert-posit16
2×flip3-+ pow1/3 flip-+ distribute-lft-out
1×sub-neg flip3-- diff-log remove-posit16 flip--
Counts
4 → 52
Calls
4 calls:
20.0ms
(cbrt (+ 1 (+ (* x y) z)))
21.0ms
(cbrt (+ 1 (+ (* x y) z)))
0.0ms
(posit16->real (real->posit16 (- (fma x y z) (* (* (cbrt (+ 1 (+ (* x y) z))) (cbrt (+ 1 (+ (* x y) z)))) (cbrt (+ 1 (+ (* x y) z)))))))
9.0ms
(- (fma x y z) (* (* (cbrt (+ 1 (+ (* x y) z))) (cbrt (+ 1 (+ (* x y) z)))) (cbrt (+ 1 (+ (* x y) z)))))

series579.0ms

Counts
4 → 12
Calls
4 calls:
215.0ms
(cbrt (+ 1 (+ (* x y) z)))
248.0ms
(cbrt (+ 1 (+ (* x y) z)))
55.0ms
(posit16->real (real->posit16 (- (fma x y z) (* (* (cbrt (+ 1 (+ (* x y) z))) (cbrt (+ 1 (+ (* x y) z)))) (cbrt (+ 1 (+ (* x y) z)))))))
61.0ms
(- (fma x y z) (* (* (cbrt (+ 1 (+ (* x y) z))) (cbrt (+ 1 (+ (* x y) z)))) (cbrt (+ 1 (+ (* x y) z)))))

simplify1.0s

Counts
64 → 64
Iterations
IterNodes
done5000
2964
1251
098

prune1.2s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 40.3b

localize128.0ms

Local error

Found 4 expressions with local error:

7.2b
(cbrt (+ 1 (+ (* x y) z)))
7.2b
(cbrt (+ 1 (+ (* x y) z)))
26.8b
(posit16->real (real->posit16 (- (fma x y z) (* (* (cbrt (+ 1 (+ (* x y) z))) (* (* (cbrt (cbrt (+ 1 (+ (* x y) z)))) (cbrt (cbrt (+ 1 (+ (* x y) z))))) (cbrt (cbrt (+ 1 (+ (* x y) z)))))) (cbrt (+ 1 (+ (* x y) z)))))))
33.2b
(- (fma x y z) (* (* (cbrt (+ 1 (+ (* x y) z))) (* (* (cbrt (cbrt (+ 1 (+ (* x y) z)))) (cbrt (cbrt (+ 1 (+ (* x y) z))))) (cbrt (cbrt (+ 1 (+ (* x y) z)))))) (cbrt (+ 1 (+ (* x y) z)))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity
8×cbrt-prod
6×add-sqr-sqrt add-cube-cbrt add-log-exp
4×pow1 cbrt-div add-cbrt-cube add-exp-log insert-posit16
2×flip3-+ pow1/3 flip-+ distribute-lft-out
1×sub-neg flip3-- diff-log remove-posit16 flip--
Counts
4 → 52
Calls
4 calls:
10.0ms
(cbrt (+ 1 (+ (* x y) z)))
10.0ms
(cbrt (+ 1 (+ (* x y) z)))
0.0ms
(posit16->real (real->posit16 (- (fma x y z) (* (* (cbrt (+ 1 (+ (* x y) z))) (* (* (cbrt (cbrt (+ 1 (+ (* x y) z)))) (cbrt (cbrt (+ 1 (+ (* x y) z))))) (cbrt (cbrt (+ 1 (+ (* x y) z)))))) (cbrt (+ 1 (+ (* x y) z)))))))
5.0ms
(- (fma x y z) (* (* (cbrt (+ 1 (+ (* x y) z))) (* (* (cbrt (cbrt (+ 1 (+ (* x y) z)))) (cbrt (cbrt (+ 1 (+ (* x y) z))))) (cbrt (cbrt (+ 1 (+ (* x y) z)))))) (cbrt (+ 1 (+ (* x y) z)))))

series547.0ms

Counts
4 → 12
Calls
4 calls:
216.0ms
(cbrt (+ 1 (+ (* x y) z)))
220.0ms
(cbrt (+ 1 (+ (* x y) z)))
53.0ms
(posit16->real (real->posit16 (- (fma x y z) (* (* (cbrt (+ 1 (+ (* x y) z))) (* (* (cbrt (cbrt (+ 1 (+ (* x y) z)))) (cbrt (cbrt (+ 1 (+ (* x y) z))))) (cbrt (cbrt (+ 1 (+ (* x y) z)))))) (cbrt (+ 1 (+ (* x y) z)))))))
57.0ms
(- (fma x y z) (* (* (cbrt (+ 1 (+ (* x y) z))) (* (* (cbrt (cbrt (+ 1 (+ (* x y) z)))) (cbrt (cbrt (+ 1 (+ (* x y) z))))) (cbrt (cbrt (+ 1 (+ (* x y) z)))))) (cbrt (+ 1 (+ (* x y) z)))))

simplify1.1s

Counts
64 → 64
Iterations
IterNodes
done5001
21060
1260
0101

prune774.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 40.3b

regimes589.0ms

Accuracy

0% (2.3b remaining)

Error of 44.2b against oracle of 41.8b and baseline of 44.2b

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done25
125
017

end0.0ms

sample3.8s

Algorithm
intervals
Results
1.9s2573×body1280valid
675.0ms1626×body640valid
507.0ms651×body2560valid
271.0ms2112×body80valid
192.0ms691×body320valid
62.0ms347×body160valid