Details

Time bar (total: 1.2s)

analyze71.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
25%74.9%0.1%5
37.5%62.4%0.1%6
56.2%43.7%0.1%7
65.6%34.3%0.1%8
76.5%23.4%0.1%9
82%18%0.1%10
87.8%12.1%0.1%11
90.7%9.2%0.1%12
93.8%6.1%0.1%13
95.3%4.6%0.1%14

sample10.0ms

Algorithm
intervals
Results
4.0ms250×body80valid
0.0msbody640valid
0.0msbody2560valid
0.0msbody1280valid
0.0msbody320valid
0.0msbody160valid

simplify489.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (15.0ms)

IterNodesCost
01397
11397

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 200 (-.f64 x y))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt_binary64_40082
associate-*r*_binary64_40156 *-un-lft-identity_binary64_40097
add-exp-log_binary64_40061 associate-*l*_binary64_40157 add-cbrt-cube_binary64_40069 pow1_binary64_40039 add-cube-cbrt_binary64_40068
associate-*r/_binary64_40158 sub-neg_binary64_40101
cbrt-unprod_binary64_40066 flip--_binary64_40123 distribute-lft-out--_binary64_40142 pow-prod-down_binary64_40020 unswap-sqr_binary64_40125 distribute-rgt-in_binary64_40140 flip3--_binary64_40096 prod-exp_binary64_40044 *-commutative_binary64_40165 distribute-lft-in_binary64_40139 add-log-exp_binary64_40062 difference-of-squares_binary64_40126
Counts
1 → 24
Calls
1 calls:
9.0ms
(*.f64 200 (-.f64 x y))

series474.0ms

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

Useful iterations: 0 (78.0ms)

IterNodesCost
0932370
1932370
013141641
113141641
0932370
1932370
013141641
113141641
013571734
113571734

simplify90.0ms

Counts
27 → 27
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
051281945

prune3.0ms

Filtered
20 candidates to 27 candidates (-35.0%)

Profiling

Loading profile data...