Details

Time bar (total: 774.0ms)

analyze17.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
50%50%0.1%3
74.9%25%0.1%4
74.9%25%0.1%5
87.4%12.5%0.1%6
87.4%12.5%0.1%7
93.7%6.2%0.1%8
93.7%6.2%0.1%9
96.8%3.1%0.1%10
96.8%3.1%0.1%11
98.3%1.6%0.1%12
98.3%1.6%0.1%13
99.1%0.8%0.1%14

sample10.0ms

Algorithm
intervals
Results
4.0ms256×body80valid

simplify28.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (13.0ms)

IterNodesCost
0967
1967

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

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b
(-.f64 x (/.f64 y 200))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt_binary64_1692
add-log-exp_binary64_1672 *-un-lft-identity_binary64_1707
difference-of-squares_binary64_1736
add-cube-cbrt_binary64_1678 pow1_binary64_1649 add-exp-log_binary64_1671 distribute-lft-out--_binary64_1752 flip3--_binary64_1706 times-frac_binary64_1702 flip--_binary64_1733 add-cbrt-cube_binary64_1679 diff-log_binary64_1618 sub-neg_binary64_1711
Counts
1 → 14
Calls
1 calls:
9.0ms
(-.f64 x (/.f64 y 200))

series272.0ms

Counts
1 → 3
Calls
1 calls:
272.0ms
(-.f64 x (/.f64 y 200))
Iterations

Useful iterations: 0 (89.0ms)

IterNodesCost
0972419
1972419
06261641
16261641
0972419
1972419
06261641
16261641
049649
149649

simplify149.0ms

Counts
17 → 17
Iterations

Useful iterations: 0 (133.0ms)

IterNodesCost
04855204
14855204

prune10.0ms

Filtered
14 candidates to 17 candidates (-21.4%)
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New17017
Fresh000
Picked011
Done000
Total17118

Merged error: 0.0b

Counts
18 → 1

simplify5.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0237
1237

end0.0ms

sample269.0ms

Algorithm
intervals
Results
144.0ms8000×body80valid

Profiling

Loading profile data...