Details

Time bar (total: 1.4s)

analyze36.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
25%74.9%0.1%3
25%74.9%0.1%4
56.2%43.7%0.1%5
65.6%34.3%0.1%6
79.6%20.3%0.1%7
83.5%16.4%0.1%8
90.1%9.8%0.1%9
91.9%8%0.1%10
95.1%4.8%0.1%11
96%4%0.1%12
97.5%2.4%0.1%13
97.9%2%0.1%14

sample12.0ms

Algorithm
intervals
Results
6.0ms256×body80valid

simplify823.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (316.0ms)

IterNodesCost
0211713
1211713

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
58×*-un-lft-identity_binary64_95117
40×add-sqr-sqrt_binary64_95102
30×times-frac_binary64_95112
19×distribute-lft-out--_binary64_95162
14×add-cube-cbrt_binary64_95088
13×difference-of-squares_binary64_95146
associate-/r*_binary64_95180 distribute-lft-out_binary64_95161
associate-/l*_binary64_95181
add-cbrt-cube_binary64_95089 add-exp-log_binary64_95081
flip--_binary64_95143 associate-/r/_binary64_95182 flip3--_binary64_95116 associate-/l/_binary64_95183
clear-num_binary64_95120 frac-2neg_binary64_95110 cbrt-undiv_binary64_95087 add-log-exp_binary64_95082 div-sub_binary64_95111 pow1_binary64_95059 div-inv_binary64_95118 div-exp_binary64_95066
Counts
1 → 58
Calls
1 calls:
14.0ms
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

series430.0ms

Counts
1 → 3
Calls
1 calls:
430.0ms
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
03012572
13012572
050882421
03012572
13012572
050882421
049592415
149592415

simplify108.0ms

Counts
61 → 61
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
051153710

prune13.0ms

Filtered
39 candidates to 61 candidates (-56.4%)

Profiling

Loading profile data...