Details

Time bar (total: 1.5s)

analyze294.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
37.4%62.4%0.1%8
40.6%57.7%1.7%9
45.2%51.1%3.7%10
57.7%33.5%8.7%11
59.7%29.4%10.9%12
62%25%13%13
68.3%17.4%14.4%14

sample17.0ms

Algorithm
intervals
Results
7.0ms240×body80valid
1.0ms8×body640valid
1.0ms22×body80invalid
0.0ms2×body1280valid
0.0ms3×body320valid
0.0ms3×body160valid

simplify486.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
04310
14310

prune3.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: 0.1b

Counts
2 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(*.f64 d1 (+.f64 3 (+.f64 d2 d3)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
8×*-un-lft-identity_binary64_12177
5×associate-*r*_binary64_12236 add-sqr-sqrt_binary64_12162
3×add-cbrt-cube_binary64_12149 pow1_binary64_12119 distribute-lft-out_binary64_12221 add-exp-log_binary64_12141 add-cube-cbrt_binary64_12148 associate-*l*_binary64_12237
2×associate-*r/_binary64_12238
1×pow-prod-down_binary64_12100 *-commutative_binary64_12245 cbrt-unprod_binary64_12146 add-log-exp_binary64_12142 prod-exp_binary64_12124 flip-+_binary64_12202 distribute-rgt-in_binary64_12220 distribute-lft-in_binary64_12219 flip3-+_binary64_12175 unswap-sqr_binary64_12205
Counts
1 → 24
Calls
1 calls:
10.0ms
(*.f64 d1 (+.f64 3 (+.f64 d2 d3)))

series548.0ms

Counts
1 → 3
Calls
1 calls:
548.0ms
(*.f64 d1 (+.f64 3 (+.f64 d2 d3)))
Iterations

Useful iterations: 0 (103.0ms)

IterNodesCost
0663573
1663573
046731843
146731843
0663573
1663573
046731843
146731843
015641888
115641888

simplify142.0ms

Counts
27 → 27
Iterations

Useful iterations: 0 (124.0ms)

IterNodesCost
049482165
149482165

prune4.0ms

Filtered
19 candidates to 27 candidates (-42.1%)

Profiling

Loading profile data...