Details

Time bar (total: 1.3s)

analyze230.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
18.7%81.1%0.1%7
21.8%78%0.1%8
43.7%56.2%0.1%9
54.6%39%6.4%10
58.5%35.1%6.4%11
67.3%26.3%6.4%12
71.7%18.8%9.5%13
74.1%16.4%9.5%14

sample13.0ms

Algorithm
intervals
Results
6.0ms256×body80valid
0.0msbody80invalid

simplify503.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (18.0ms)

IterNodesCost
018110
118110

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

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(-.f64 x (*.f64 (*.f64 y 4) z))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
add-log-exp_binary64_37642
*-un-lft-identity_binary64_37677 add-cube-cbrt_binary64_37648 sub-neg_binary64_37681 add-sqr-sqrt_binary64_37662 add-exp-log_binary64_37641 pow1_binary64_37619 flip--_binary64_37703 add-cbrt-cube_binary64_37649 diff-log_binary64_37588 flip3--_binary64_37676
Counts
1 → 11
Calls
1 calls:
4.0ms
(-.f64 x (*.f64 (*.f64 y 4) z))

series475.0ms

Counts
1 → 3
Calls
1 calls:
475.0ms
(-.f64 x (*.f64 (*.f64 y 4) z))
Iterations

Useful iterations: 0 (92.0ms)

IterNodesCost
0663573
1663573
09523501
19523501
0663573
1663573
09523501
19523501
049253604
149253604

simplify112.0ms

Counts
14 → 14
Iterations

Useful iterations: 0 (90.0ms)

IterNodesCost
049953770
149953770

prune3.0ms

Filtered
13 candidates to 14 candidates (-7.7%)

Profiling

Loading profile data...