Details

Time bar (total: 1.9s)

analyze79.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
50%50%0.1%5
56.2%43.7%0.1%6
74.9%25%0.1%7
76.5%23.4%0.1%8
84.3%15.6%0.1%9
86.2%13.7%0.1%10
91.3%8.6%0.1%11
92.6%7.3%0.1%12
95.4%4.5%0.1%13
96.1%3.8%0.1%14

sample38.0ms

Algorithm
intervals
Results
14.0ms167×body80valid
8.0ms29×body1280valid
6.0ms29×body640valid
3.0ms21×body320valid
1.0ms10×body160valid

simplify503.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0179
1179

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.1b

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.1b
(*.f64 x (/.f64 (sin.f64 y) y))
0.1b
(/.f64 (sin.f64 y) y)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt_binary64_24377
19×times-frac_binary64_24387
18×add-cube-cbrt_binary64_24363 *-un-lft-identity_binary64_24392
13×associate-*r*_binary64_24451
add-exp-log_binary64_24356 add-cbrt-cube_binary64_24364
pow1_binary64_24334
associate-/l*_binary64_24456 associate-*l*_binary64_24452 associate-/r*_binary64_24455
unswap-sqr_binary64_24420 cbrt-unprod_binary64_24361 div-inv_binary64_24393 add-log-exp_binary64_24357 div-exp_binary64_24341 cbrt-undiv_binary64_24362 prod-exp_binary64_24339
pow-prod-down_binary64_24315 frac-2neg_binary64_24385 *-commutative_binary64_24460 associate-*r/_binary64_24453 clear-num_binary64_24395
Counts
2 → 59
Calls
2 calls:
8.0ms
(*.f64 x (/.f64 (sin.f64 y) y))
5.0ms
(/.f64 (sin.f64 y) y)

series1.1s

Counts
2 → 6
Calls
2 calls:
814.0ms
(*.f64 x (/.f64 (sin.f64 y) y))
314.0ms
(/.f64 (sin.f64 y) y)
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
02201599
12201599
053061171
02201599
12201599
053061171
049391127
149391127
01182540
11182540
052342286
01182540
11182540
052342286
022872318
122872318

simplify98.0ms

Counts
65 → 65
Iterations

Useful iterations: 0 (74.0ms)

IterNodesCost
052874134

prune11.0ms

Filtered
54 candidates to 65 candidates (-20.4%)

Profiling

Loading profile data...