Details

Time bar (total: 1.5s)

analyze21.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
50%50%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

sample12.0ms

Algorithm
intervals
Results
5.0ms242×body80valid
0.0msbody2560valid
0.0msbody1280valid
0.0msbody640valid
0.0msbody320valid
0.0msbody160valid

simplify482.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (9.0ms)

IterNodesCost
05612
15612

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 1 expressions with local error:

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

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
add-log-exp_binary64_27847 *-un-lft-identity_binary64_27882
add-exp-log_binary64_27846 flip3-+_binary64_27880 +-commutative_binary64_27949 add-sqr-sqrt_binary64_27867 add-cube-cbrt_binary64_27853 pow1_binary64_27824 sum-log_binary64_27792 distribute-lft-out_binary64_27926 add-cbrt-cube_binary64_27854 flip-+_binary64_27907
Counts
1 → 12
Calls
1 calls:
8.0ms
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))

series799.0ms

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

Useful iterations: 0 (191.0ms)

IterNodesCost
0992664
1992664
048752628
148752628
0992664
1992664
048752628
148752628
040432652
140432652

simplify133.0ms

Counts
15 → 15
Iterations

Useful iterations: 0 (116.0ms)

IterNodesCost
048422875
148422875

prune3.0ms

Filtered
13 candidates to 15 candidates (-15.4%)

Profiling

Loading profile data...