Details

Time bar (total: 2.7s)

analyze543.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
18.7%81.1%0.1%8
34.3%65.5%0.1%9
39%60.8%0.1%10
41.3%58.5%0.1%11
52.7%47.2%0.1%12
54%45.7%0.2%13
55.3%43.8%0.9%14

sample29.0ms

Algorithm
intervals
Results
7.0ms187×body80valid
4.0ms24×body1280valid
2.0ms18×body640valid
1.0ms14×body320valid
1.0ms35×body80invalid
1.0msbody2560valid
1.0msbody640invalid
1.0msbody320invalid
1.0ms10×body160invalid
0.0msbody160valid
0.0msbody1280invalid

simplify321.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (302.0ms)

IterNodesCost
064637

prune4.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0b

Counts
2 → 2

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b
(*.f64 y (-.f64 x z))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt_binary64_8672
*-un-lft-identity_binary64_8687 associate-*r*_binary64_8746
add-cube-cbrt_binary64_8658 add-exp-log_binary64_8651 add-cbrt-cube_binary64_8659 pow1_binary64_8629 associate-*l*_binary64_8747
associate-*r/_binary64_8748 sub-neg_binary64_8691
add-log-exp_binary64_8652 cbrt-unprod_binary64_8656 distribute-lft-out--_binary64_8732 flip--_binary64_8713 distribute-rgt-in_binary64_8730 flip3--_binary64_8686 *-commutative_binary64_8755 unswap-sqr_binary64_8715 difference-of-squares_binary64_8716 distribute-lft-in_binary64_8729 prod-exp_binary64_8634 pow-prod-down_binary64_8610
Counts
1 → 24
Calls
1 calls:
8.0ms
(*.f64 y (-.f64 x z))

series327.0ms

Counts
1 → 3
Calls
1 calls:
327.0ms
(*.f64 y (-.f64 x z))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0623546
1623546
046111828
146111828
0623546
1623546
046111828
146111828
013
113

simplify95.0ms

Counts
27 → 27
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
05349236

prune14.0ms

Filtered
18 candidates to 27 candidates (-50.0%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New26127
Fresh101
Picked011
Done000
Total27229

Merged error: 0b

Counts
29 → 2

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(+.f64 (*.f64 y x) (*.f64 y (neg.f64 z)))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
add-log-exp_binary64_8652
add-cube-cbrt_binary64_8658 add-exp-log_binary64_8651 sum-log_binary64_8597 +-commutative_binary64_8754 distribute-rgt-neg-out_binary64_8724 add-cbrt-cube_binary64_8659 flip3-+_binary64_8685 *-un-lft-identity_binary64_8687 add-sqr-sqrt_binary64_8672 unsub-neg_binary64_8692 flip-+_binary64_8712 distribute-lft-out_binary64_8731 pow1_binary64_8629
Counts
1 → 13
Calls
1 calls:
5.0ms
(+.f64 (*.f64 y x) (*.f64 y (neg.f64 z)))

series311.0ms

Counts
1 → 3
Calls
1 calls:
311.0ms
(+.f64 (*.f64 y x) (*.f64 y (neg.f64 z)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0673615
1673615
046021828
146021828
0673615
1673615
046021828
146021828
013
113

simplify125.0ms

Counts
16 → 16
Iterations

Useful iterations: 0 (108.0ms)

IterNodesCost
04929152
14929152

prune10.0ms

Filtered
12 candidates to 16 candidates (-33.3%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New16016
Fresh000
Picked011
Done011
Total16218

Merged error: 0b

Counts
18 → 2

regimes23.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0177
1177

end0.0ms

sample841.0ms

Algorithm
intervals
Results
198.0ms5700×body80valid
131.0ms858×body1280valid
75.0ms633×body640valid
44.0ms1232×body80invalid
40.0ms210×body2560valid
37.0ms393×body320valid
37.0ms312×body640invalid
22.0ms248×body320invalid
14.0ms80×body1280invalid
13.0ms206×body160valid
12.0ms164×body160invalid

Profiling

Loading profile data...