Details

Time bar (total: 3.1s)

analyze365.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
12.5%87.4%0.1%7
26.5%73.3%0.1%8
33.5%66.3%0.1%9
49.1%50.7%0.1%10
56.9%42.9%0.1%11
60.8%39%0.1%12
69%30.9%0.1%13
72.5%27.3%0.1%14

sample34.0ms

Algorithm
intervals
Results
14.0ms96×body1280valid
4.0ms38×body640valid
3.0ms17×body2560valid
2.0ms72×body80valid
2.0ms23×body320valid
1.0ms10×body160valid

simplify48.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
047617
147617

prune6.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 44.3b

Counts
2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(+.f64 1 (+.f64 (*.f64 x y) z))
0.0b
(+.f64 (*.f64 x y) z)
11.1b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
19×add-log-exp_binary64
10×*-un-lft-identity_binary64
7×sum-log_binary64
5×add-sqr-sqrt_binary64
3×pow1_binary64 diff-log_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16
2×flip3-+_binary64 distribute-lft-out_binary64 distribute-lft-out--_binary64 +-commutative_binary64 flip-+_binary64
1×sub-neg_binary64 associate--r+_binary64 flip3--_binary64 difference-of-squares_binary64 flip--_binary64 associate-+r+_binary64
Counts
3 → 45
Calls
3 calls:
8.0ms
(+.f64 1 (+.f64 (*.f64 x y) z))
5.0ms
(+.f64 (*.f64 x y) z)
11.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

series160.0ms

Counts
3 → 9
Calls
3 calls:
53.0ms
(+.f64 1 (+.f64 (*.f64 x y) z))
54.0ms
(+.f64 (*.f64 x y) z)
54.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0739
1739
0739
1739
013
113
0339
1339
0339
1339
013
113
0469
1469
0469
1469
013
113

simplify98.0ms

Counts
54 → 54
Iterations

Useful iterations: 0 (77.0ms)

IterNodesCost
05013817

prune51.0ms

Filtered
41 candidates to 54 candidates (-31.7%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New45954
Fresh000
Picked101
Done000
Total46955

Merged error: 43.3b

Counts
55 → 9

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(+.f64 1 (+.f64 z (*.f64 x y)))
0.0b
(+.f64 z (*.f64 x y))
11.1b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
19×add-log-exp_binary64
10×*-un-lft-identity_binary64
7×sum-log_binary64
5×add-sqr-sqrt_binary64
3×pow1_binary64 diff-log_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16
2×flip3-+_binary64 distribute-lft-out_binary64 distribute-lft-out--_binary64 +-commutative_binary64 flip-+_binary64
1×sub-neg_binary64 associate--r+_binary64 flip3--_binary64 difference-of-squares_binary64 flip--_binary64 associate-+r+_binary64
Counts
3 → 45
Calls
3 calls:
7.0ms
(+.f64 1 (+.f64 z (*.f64 x y)))
4.0ms
(+.f64 z (*.f64 x y))
10.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

series161.0ms

Counts
3 → 9
Calls
3 calls:
54.0ms
(+.f64 1 (+.f64 z (*.f64 x y)))
51.0ms
(+.f64 z (*.f64 x y))
55.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0739
1739
0739
1739
013
113
0339
1339
0339
1339
013
113
0469
1469
0469
1469
013
113

simplify100.0ms

Counts
54 → 54
Iterations

Useful iterations: 0 (79.0ms)

IterNodesCost
05018814

prune53.0ms

Filtered
39 candidates to 54 candidates (-38.5%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New47754
Fresh718
Picked101
Done000
Total55863

Merged error: 41.2b

Counts
63 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

8.7b
(cbrt.f64 (+.f64 z (*.f64 x y)))
8.7b
(cbrt.f64 (+.f64 z (*.f64 x y)))
23.3b
(posit16->binary64 (binary64->posit16 (-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 (*.f64 (cbrt.f64 (+.f64 z (*.f64 x y))) (cbrt.f64 (+.f64 z (*.f64 x y)))) (cbrt.f64 (+.f64 z (*.f64 x y))))))))
31.8b
(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 (*.f64 (cbrt.f64 (+.f64 z (*.f64 x y))) (cbrt.f64 (+.f64 z (*.f64 x y)))) (cbrt.f64 (+.f64 z (*.f64 x y))))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp_binary64
8×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
6×add-cube-cbrt_binary64 cbrt-prod_binary64
4×cbrt-div_binary64 pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16
2×flip3-+_binary64 diff-log_binary64 pow1/3_binary64 flip-+_binary64
1×sub-neg_binary64 associate--r+_binary64 flip3--_binary64 difference-of-squares_binary64 remove-posit16 distribute-lft-out--_binary64 flip--_binary64 sum-log_binary64
Counts
4 → 53
Calls
4 calls:
3.0ms
(cbrt.f64 (+.f64 z (*.f64 x y)))
3.0ms
(cbrt.f64 (+.f64 z (*.f64 x y)))
1.0ms
(posit16->binary64 (binary64->posit16 (-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 (*.f64 (cbrt.f64 (+.f64 z (*.f64 x y))) (cbrt.f64 (+.f64 z (*.f64 x y)))) (cbrt.f64 (+.f64 z (*.f64 x y))))))))
10.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 (*.f64 (cbrt.f64 (+.f64 z (*.f64 x y))) (cbrt.f64 (+.f64 z (*.f64 x y)))) (cbrt.f64 (+.f64 z (*.f64 x y))))))

series216.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(cbrt.f64 (+.f64 z (*.f64 x y)))
53.0ms
(cbrt.f64 (+.f64 z (*.f64 x y)))
57.0ms
(posit16->binary64 (binary64->posit16 (-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 (*.f64 (cbrt.f64 (+.f64 z (*.f64 x y))) (cbrt.f64 (+.f64 z (*.f64 x y)))) (cbrt.f64 (+.f64 z (*.f64 x y))))))))
55.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 (*.f64 (cbrt.f64 (+.f64 z (*.f64 x y))) (cbrt.f64 (+.f64 z (*.f64 x y)))) (cbrt.f64 (+.f64 z (*.f64 x y))))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0719
1719
0719
1719
013
113
0779
1779
0779
1779
013
113
0369
1369
0369
1369
013
113
0369
1369
0369
1369
013
113

simplify97.0ms

Counts
65 → 65
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
052391048

prune72.0ms

Filtered
52 candidates to 65 candidates (-25.0%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New62365
Fresh257
Picked011
Done000
Total64973

Merged error: 41.1b

Counts
73 → 9

localize20.0ms

Local error

Found 4 expressions with local error:

8.7b
(cbrt.f64 (+.f64 z (*.f64 x y)))
8.7b
(cbrt.f64 (+.f64 z (*.f64 x y)))
25.6b
(posit16->binary64 (binary64->posit16 (-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 (*.f64 (cbrt.f64 (+.f64 z (*.f64 x y))) (cbrt.f64 (+.f64 z (*.f64 x y)))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))))))))
34.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 (*.f64 (cbrt.f64 (+.f64 z (*.f64 x y))) (cbrt.f64 (+.f64 z (*.f64 x y)))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))))))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp_binary64
8×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
6×add-cube-cbrt_binary64 cbrt-prod_binary64
4×cbrt-div_binary64 pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16
2×flip3-+_binary64 diff-log_binary64 pow1/3_binary64 flip-+_binary64
1×sub-neg_binary64 associate--r+_binary64 flip3--_binary64 difference-of-squares_binary64 remove-posit16 distribute-lft-out--_binary64 flip--_binary64 sum-log_binary64
Counts
4 → 53
Calls
4 calls:
3.0ms
(cbrt.f64 (+.f64 z (*.f64 x y)))
3.0ms
(cbrt.f64 (+.f64 z (*.f64 x y)))
1.0ms
(posit16->binary64 (binary64->posit16 (-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 (*.f64 (cbrt.f64 (+.f64 z (*.f64 x y))) (cbrt.f64 (+.f64 z (*.f64 x y)))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))))))))
9.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 (*.f64 (cbrt.f64 (+.f64 z (*.f64 x y))) (cbrt.f64 (+.f64 z (*.f64 x y)))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))))))

series220.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(cbrt.f64 (+.f64 z (*.f64 x y)))
53.0ms
(cbrt.f64 (+.f64 z (*.f64 x y)))
56.0ms
(posit16->binary64 (binary64->posit16 (-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 (*.f64 (cbrt.f64 (+.f64 z (*.f64 x y))) (cbrt.f64 (+.f64 z (*.f64 x y)))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))))))))
59.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 (*.f64 (cbrt.f64 (+.f64 z (*.f64 x y))) (cbrt.f64 (+.f64 z (*.f64 x y)))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0839
1839
0839
1839
013
113
0899
1899
0899
1899
013
113
0369
1369
0369
1369
013
113
0369
1369
0369
1369
013
113

simplify104.0ms

Counts
65 → 65
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
051261048

prune68.0ms

Filtered
52 candidates to 65 candidates (-25.0%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New64165
Fresh167
Picked011
Done011
Total65974

Merged error: 41.1b

Counts
74 → 9

regimes74.0ms

Accuracy

0% (2.5b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
012173
112173

end0.0ms

sample1.0s

Algorithm
intervals
Results
387.0ms2630×body1280valid
190.0ms1635×body640valid
101.0ms575×body2560valid
71.0ms2126×body80valid
70.0ms707×body320valid
20.0ms327×body160valid

Profiling

Loading profile data...